Computer Science
Profile Activity
Meta user
Network profile
11,888
reputation
1
26
57

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
~469k
people reached
  • nearly42.org
  • Member for 9 years
  • 1,018 profile views
  • Last seen Dec 25 '20 at 13:42

Communities (12)

Top network posts

Top tags (132)

Score 235
Posts 50
Posts % 24
Score 191
Posts 47
Score 154
Posts 34
Score 90
Posts 18
Score 80
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 (84)

Gold

1

Rarest

Silver

26

Rarest

Bronze

57

Rarest

View all badges →