Theoretical Computer Science
Meta user
Network profile
20,832
reputation
2
46
114

Marzio De Biasi

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

247
answers
37
questions
~316k
people reached
  • nearly42.org
  • Member for 8 years, 10 months
  • 2,605 profile views
  • Last seen 50 mins ago

Communities (10)

Top Meta Posts
3
1

Top network posts

Top tags (161)

Score 475
Posts 93
Posts % 33
Score 220
Posts 52
Score 212
Posts 47
Score 190
Posts 25
Score 156
Posts 25
Score 144
Posts 29
View all tags →

Top posts (284) All Questions Answers | Votes Newest

38 What is the smallest Turing machine where it is unknown if it halts or not? Feb 11 '14
34 Is this variation of TQBF still PSPACE-complete? Sep 3 '14
30 Turing Machine restrictions that render halting decidable May 12 '16
28 Natural NP-complete problems with “large” witnesses Oct 26 '14
25 A simple decision problem whose decidability is not known Sep 4 '13
25 How much time to recognize palindromes in logarithmic space? Mar 3 '14
22 Techniques for showing that problem is in hardness “limbo” Feb 6 '14
22 What is the “nearest” problem to the Collatz conjecture that has been successfully resolved? Jun 2 '12
21 Languages that we cannot (dis)prove to be Context-Free Apr 5
21 Dark Integers: General Purpose Computations on Internet Routers May 25 '11
View all questions and answers →

Badges (162)

Gold

2

Rarest

Silver

46

Rarest

Bronze

114

Rarest

View all badges →