## Archive for the ‘**Uncategorized**’ Category

## A Class of Graph Properties Computable in Linear Time

A cool theorem.

Ron Fagin is a great theorist who has made many important contributions to diverse aspects of computing. He is perhaps most famous for his brilliant categorization of polynomial time by second order logic—Fagin’s Theorem.

Today I plan on talking about a related theorem—Courcelle’s—proved in 1990. Yet the theorem is not, in my opinion, as well known as it should be. The truth is I did not know this pretty theorem until I ran across it the other day. So perhaps everyone else knows Courcelle’s result except for me. Oh well.

View original post 940 more words

## The Beginning

Well,I have been thinking to start a blog for years! But I was busy with ‘other things’ and couldn’t start it off!

But I finally began to regret about the wonderful literary ideas that come to my mind which I soon forget about because I didn’t wrote it down. So maybe by encouraging my slightly narcissistic mind, I could have some motivation to write those down somewhere.(Now was that narcissistic?)

So in short, I would be posting crap just to read it myself. My language is famous for its hieroglyphic nature; so reading my posts would be tough.

Anyway I am a second year B.Tech engineering student. My posts would be a mix of technology, movies and philosophical crap. So let me see how far would this venture go!