Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Denis
ENS Lyon, Lyon, France
http://perso.ens-lyon.fr/denis.kuperberg
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
36
votes
Problems with big open complexity gaps
cc.complexity-theory
complexity-classes
big-list
asked Feb 26, 2015 at 12:11
cstheory.stackexchange.com
31
votes
Consequences of NP=PSPACE
cc.complexity-theory
complexity-classes
conditional-results
asked Feb 13, 2014 at 17:11
cstheory.stackexchange.com
28
votes
Nontrivial membership in NP
reductions
np
asked Feb 17, 2014 at 14:08
cstheory.stackexchange.com
25
votes
Probabilities in a riddle involving axiom of choice
pr.probability
sequences-and-series
axiom-of-choice
asked Dec 9, 2013 at 16:16
mathoverflow.net
23
votes
EXPSPACE-complete problems
cc.complexity-theory
reference-request
big-list
expspace
asked Oct 22, 2014 at 15:49
cstheory.stackexchange.com
22
votes
Circular track riddle
nt.number-theory
puzzle
asked Jul 19, 2020 at 15:10
mathoverflow.net
17
votes
Intermediate problems between PSPACE and EXPTIME
cc.complexity-theory
complexity-classes
exp-time-algorithms
pspace
asked Jun 9, 2017 at 13:50
cstheory.stackexchange.com
14
votes
Büchi automata with acceptance strategy
fl.formal-languages
automata-theory
regular-language
nondeterminism
omega-language
asked May 9, 2012 at 13:05
cstheory.stackexchange.com
13
votes
Distance between regular languages
reference-request
fl.formal-languages
regular-language
asked Jun 3, 2013 at 13:24
cstheory.stackexchange.com
13
votes
Faulty computers
logic-puzzle
strategy
liars
asked Oct 6, 2014 at 23:58
puzzling.stackexchange.com
1
2
3
next
Top Answers
110
Interview riddle
math.stackexchange.com
45
Real computers have only a finite number of states, so what is the relevance of Turing machines to real computers?
cstheory.stackexchange.com
41
Are there any examples of non-computable real numbers?
math.stackexchange.com
35
What is a limit point
math.stackexchange.com
32
What is the smallest Turing machine where it is unknown if it halts or not?
cstheory.stackexchange.com
29
Most important new papers in computational complexity
cstheory.stackexchange.com
25
rescue operation - where is your partner?
puzzling.stackexchange.com
24
Essays and thoughts on mathematics
mathoverflow.net
21
Linear span of the empty set
math.stackexchange.com
15
Parameterized complexity of inclusion of regular languages
cstheory.stackexchange.com
14
What notable automaton models have polynomially-decidable containment?
cstheory.stackexchange.com
13
A simple decision problem whose decidability is not known
cstheory.stackexchange.com
13
Counterintuitive results for undergraduates
cstheory.stackexchange.com
13
Are all mathematical statements true or false?
math.stackexchange.com
12
Caterpillar decomposition of trees
cstheory.stackexchange.com
12
On the realisation of monoids as syntactic monoids of languages
cstheory.stackexchange.com
11
Are Boolean circuits 'universal'
cstheory.stackexchange.com
11
The paradox with the first uncountable ordinal
mathoverflow.net
10
Deterministic Büchi + its complement covers LTL?
cstheory.stackexchange.com
10
How to acknowledge answers of TCS in the paper?
cstheory.stackexchange.com
9
Proof and computational complexity
cstheory.stackexchange.com
9
Complexity of Unknotting problems
cstheory.stackexchange.com
9
A quine in pure lambda calculus
cs.stackexchange.com
9
Useless math that became useful
mathoverflow.net
9
What exactly are equivalence classes
math.stackexchange.com
8
Closure of CFL against right-quotient with regular languages
cs.stackexchange.com
8
Is the game 2048 always solveable?
math.stackexchange.com
8
For a specific unbounded Turing machine, is its Halting problem undecidable?
cstheory.stackexchange.com
8
Constraints on sliding windows
cstheory.stackexchange.com
8
Major unsolved problems in theoretical computer science?
cstheory.stackexchange.com
1
2
3
next
Stack Exchange works best with JavaScript enabled