Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
9,847
reputation
1
19
52

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

156
answers
29
questions
~327k
people reached
  • nearly42.org
  • Member for 6 years, 10 months
  • 783 profile views
  • Last seen 3 hours ago

Communities (10)

Top Network Posts

Top Tags (126)

Score 225
Posts 49
Posts % 26
Score 165
Posts 40
Score 137
Posts 31
Score 86
Posts 18
Score 75
Posts 21
Score 70
Posts 18
View all tags →

Top Posts (185) All Questions Answers | Votes Newest

20 Classification of intractable/tractable satisfiability problem variants Apr 12 '12
18 Is rejection sampling the only way to get a truly uniform distribution of random numbers? Jul 4 '12
16 Why is this true: “There are countably many Turing Machines” Mar 25 '13
14 How to prove that a language is not context-free? Jul 3 '13
14 Planarity conditions for Planar 1-in-3 SAT Oct 1 '12
13 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 2-EXP != EXP Jun 20 '12
View all questions and answers →

Badges (72)

Gold

1

Rarest

Silver

19

Rarest

Bronze

52

Rarest

View all badges →