Computer Science
Profile Activity
Meta user
Network profile
11,699
reputation
1
25
55

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

171
answers
32
questions
~425k
people reached
  • nearly42.org
  • Member for 8 years, 4 months
  • 944 profile views
  • Last seen 2 days ago

Communities (11)

Top network posts

Top tags (130)

Score 232
Posts 49
Posts % 24
Score 189
Posts 46
Score 152
Posts 34
Score 89
Posts 18
Score 79
Posts 21
Score 71
Posts 21
View all tags →

Top posts (203)

All Questions Answers
Votes Newest
21 Is rejection sampling the only way to get a truly uniform distribution of random numbers? Jul 4 '12
20 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 Using logic to prove non-regularity of a language Jan 18 '16
14 Planarity conditions for Planar 1-in-3 SAT Oct 1 '12
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 (81)

Gold

1

Rarest

Silver

25

Rarest

Bronze

55

Rarest

View all badges →