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 12 years, 8 months
  • Last seen this week
Profile Activity
Stats
22,610
reputation
440k
reached
261
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
57
silver badges
126
bronze badges
Top tags
View all tags
527
Score
97
Posts
32
Posts %
243
Score
53
Posts
18
Posts %
235
Score
55
Posts
18
Posts %
208
Score
26
Posts
9
Posts %
174
Score
29
Posts
10
Posts %
154
Score
30
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
45
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
27
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
25
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
24
Is rejection sampling the only way to get a truly uniform distribution of random numbers?
22
Classification of intractable/tractable satisfiability problem variants
21
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.