Tour
About Us
Meta
Loading…
Log in
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
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
34
votes
Problems with big open complexity gaps
cc.complexity-theory
complexity-classes
big-list
asked Feb 26 '15 at 12:11
cstheory.stackexchange.com
30
votes
Consequences of NP=PSPACE
cc.complexity-theory
complexity-classes
conditional-results
asked Feb 13 '14 at 17:11
cstheory.stackexchange.com
28
votes
Nontrivial membership in NP
reductions
np
asked Feb 17 '14 at 14:08
cstheory.stackexchange.com
24
votes
Probabilities in a riddle involving axiom of choice
pr.probability
sequences-and-series
axiom-of-choice
asked Dec 9 '13 at 16:16
mathoverflow.net
23
votes
EXPSPACE-complete problems
cc.complexity-theory
reference-request
big-list
expspace
asked Oct 22 '14 at 15:49
cstheory.stackexchange.com
22
votes
Circular track riddle
nt.number-theory
puzzle
asked Jul 19 '20 at 15:10
mathoverflow.net
16
votes
Intermediate problems between PSPACE and EXPTIME
cc.complexity-theory
complexity-classes
exp-time-algorithms
pspace
asked Jun 9 '17 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 '12 at 13:05
cstheory.stackexchange.com
13
votes
Distance between regular languages
reference-request
fl.formal-languages
regular-language
asked Jun 3 '13 at 13:24
cstheory.stackexchange.com
13
votes
Faulty computers
logic-puzzle
strategy
liars
asked Oct 6 '14 at 23:58
puzzling.stackexchange.com
1
2
next
Top Answers
109
Interview riddle
math.stackexchange.com
44
Real computers have only a finite number of states, so what is the relevance of Turing machines to real computers?
cstheory.stackexchange.com
35
Are there any examples of non-computable real numbers?
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
26
What is a limit point
math.stackexchange.com
25
rescue operation - where is your partner?
puzzling.stackexchange.com
24
Essays and thoughts on mathematics
mathoverflow.net
17
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
Are all mathematical statements true or false?
math.stackexchange.com
13
Counterintuitive results for undergraduates
cstheory.stackexchange.com
13
A simple decision problem whose decidability is not known
cstheory.stackexchange.com
12
On the realisation of monoids as syntactic monoids of languages
cstheory.stackexchange.com
12
Caterpillar decomposition of trees
cstheory.stackexchange.com
11
The paradox with the first uncountable ordinal
mathoverflow.net
11
Are Boolean circuits 'universal'
cstheory.stackexchange.com
10
Deterministic Büchi + its complement covers LTL?
cstheory.stackexchange.com
9
Useless math that became useful
mathoverflow.net
9
A quine in pure lambda calculus
cs.stackexchange.com
8
Major unsolved problems in theoretical computer science?
cstheory.stackexchange.com
8
Is the game 2048 always solveable?
math.stackexchange.com
8
What exactly are equivalence classes
math.stackexchange.com
8
Constraints on sliding windows
cstheory.stackexchange.com
8
Complexity of Unknotting problems
cstheory.stackexchange.com
7
Have I negated the statement “for every prime number $p$, $p+7$ is composite” correctly?
math.stackexchange.com
7
decidability of fullness of intersection of a CSL with a regular language
cstheory.stackexchange.com
7
Why can a $2k$-regular graph be $k$-factored?
math.stackexchange.com
7
Context-free language and regular expressions
cs.stackexchange.com
1
2
3
next
Stack Exchange works best with JavaScript enabled