Computer Science
Profile Activity
Meta user
Network profile
11,848
reputation
1
25
56

Vor

Basically I'm a programmer :-)
I enjoy reading papers about the complexity of puzzle games, and I'm writing (amateur) proofs on the complexity of a few puzzle games.

My blog on Computational Complexity, Puzzles, and Machines: www.nearly42.org

174
answers
33
questions
~450k
people reached
  • nearly42.org
  • Member for 8 years, 9 months
  • 984 profile views
  • Last seen Nov 24 at 20:48

Communities (12)

Top network posts

Top tags (132)

Score 235
Posts 50
Posts % 24
Score 190
Posts 47
Score 153
Posts 34
Score 90
Posts 18
Score 79
Posts 21
Score 72
Posts 21
View all tags →

Top posts (207)

All Questions Answers
Votes Newest
22 Is rejection sampling the only way to get a truly uniform distribution of random numbers? Jul 4 '12
21 Classification of intractable/tractable satisfiability problem variants Apr 12 '12
17 Why is this true: “There are countably many Turing Machines” Mar 25 '13
15 Planarity conditions for Planar 1-in-3 SAT Oct 1 '12
15 Using logic to prove non-regularity of a language Jan 18 '16
13 Decidable restrictions of the Post Correspondence Problem Mar 23 '12
13 Boolean search explained May 3 '16
13 If $L_1L_2$ is regular language then $L_2L_1$ is regular to? Dec 4 '15
13 How to prove that a language is not context-free? Jul 3 '13
13 How to prove 2-EXP != EXP Jun 20 '12
View all questions and answers →

Badges (82)

Gold

1

Rarest

Silver

25

Rarest

Bronze

56

Rarest

View all badges →