Theoretical Computer Science
Marzio De Biasi's user avatar
Marzio De Biasi's user avatar
Marzio De Biasi's user avatar
Marzio De Biasi
  • Member for 11 years, 8 months
  • Last seen this week
Profile Activity
Stats
22,325
reputation
414k
reached
258
answers
40
questions
Communities
View all
About

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

Badges
View all badges
2
gold badges
54
silver badges
123
bronze badges
Top tags
View all tags
520
Score
96
Posts
32
Posts %
242
Score
53
Posts
18
Posts %
227
Score
53
Posts
18
Posts %
204
Score
26
Posts
9
Posts %
171
Score
27
Posts
9
Posts %
153
Score
30
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
39
What is the smallest Turing machine where it is unknown if it halts or not?
Feb 11, 2014
answer
37
Is this variation of TQBF still PSPACE-complete?
Sep 3, 2014
answer
31
Turing Machine restrictions that render halting decidable
May 12, 2016
answer
29
A simple decision problem whose decidability is not known
Sep 4, 2013
question
28
Natural NP-complete problems with "large" witnesses
Oct 26, 2014
answer
26
Techniques for showing that problem is in hardness "limbo"
Feb 6, 2014
answer
25
How much time to recognize palindromes in logarithmic space?
Mar 3, 2014
answer
23
What is the "nearest" problem to the Collatz conjecture that has been successfully resolved?
Jun 2, 2012
answer
21
Direct SAT to 3-SAT reduction
Jul 3, 2011
question
21
Languages that we cannot (dis)prove to be Context-Free
Apr 5, 2019
Top Meta posts
4
1
8
Limiting non research level questions
7
How to signal users that probably are bots?
Top network posts
View all network posts
35
Can I express any odd number with a power of two minus a prime?
33
Kolmogorov-mania
23
Is rejection sampling the only way to get a truly uniform distribution of random numbers?
22
Classification of intractable/tractable satisfiability problem variants
20
Tikz and directed graph

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.