Denis's user avatar
Denis's user avatar
Denis's user avatar
Denis
  • Member for 12 years
  • Last seen this week
37 votes
8 answers
3k views

Problems with big open complexity gaps

31 votes
4 answers
5k views

Consequences of NP=PSPACE

29 votes
7 answers
2k views

Nontrivial membership in NP

23 votes
5 answers
5k views

EXPSPACE-complete problems

17 votes
0 answers
383 views

Intermediate problems between PSPACE and EXPTIME

14 votes
2 answers
911 views

Büchi automata with acceptance strategy

14 votes
1 answer
2k views

Distance between regular languages

13 votes
1 answer
225 views

Combinatorics of a badminton tournament

11 votes
3 answers
915 views

Implementation of surreal numbers for games

10 votes
1 answer
251 views

Succinctness of regular expressions with empty word

9 votes
1 answer
280 views

Directed multigraphs as minimal automata

9 votes
2 answers
291 views

Understanding graph minor theorem

8 votes
1 answer
185 views

Word equations with integer parameters

6 votes
3 answers
261 views

Solving problems by deciding a logic

6 votes
1 answer
203 views

On bandwidth of graphs

5 votes
0 answers
94 views

Complexity of inclusion of transfinite expressions

5 votes
2 answers
593 views

graph isomorphism given a partial isomorphism

4 votes
0 answers
56 views

Reference for cost of translating between regular language formalisms

3 votes
0 answers
105 views

Advances in complexity by studying particular problems

3 votes
0 answers
223 views

PSPACE-complete under NP reduction

2 votes
0 answers
99 views

What kind of solver should I use for this hypergraph problem?

0 votes
0 answers
56 views

Induced subgraphs with interface