User Denis

31 votes

4 answers

5k views

Consequences of NP=PSPACE

asked Feb 13, 2014 at 17:11

24 votes

5 answers

5k views

EXPSPACE-complete problems

asked Oct 22, 2014 at 15:49

37 votes

8 answers

3k views

Problems with big open complexity gaps

asked Feb 26, 2015 at 12:11

29 votes

7 answers

2k views

Nontrivial membership in NP

asked Feb 17, 2014 at 14:08

14 votes

1 answer

2k views

Distance between regular languages

asked Jun 3, 2013 at 13:24

11 votes

3 answers

935 views

Implementation of surreal numbers for games

asked Oct 3, 2014 at 11:56

14 votes

2 answers

925 views

Büchi automata with acceptance strategy

asked May 9, 2012 at 13:05

5 votes

2 answers

609 views

graph isomorphism given a partial isomorphism

asked Apr 5, 2014 at 19:00

17 votes

0 answers

391 views

Intermediate problems between PSPACE and EXPTIME

asked Jun 9, 2017 at 13:50

9 votes

2 answers

296 views

Understanding graph minor theorem

asked Nov 27, 2014 at 16:08

9 votes

1 answer

285 views

Directed multigraphs as minimal automata

asked Oct 7, 2015 at 12:31

6 votes

3 answers

261 views

Solving problems by deciding a logic

asked Jul 14, 2014 at 17:05

10 votes

1 answer

256 views

Succinctness of regular expressions with empty word

asked Jul 5, 2021 at 13:12

13 votes

1 answer

236 views

Combinatorics of a badminton tournament

asked Apr 16, 2023 at 17:48

3 votes

0 answers

234 views

PSPACE-complete under NP reduction

asked Feb 11, 2021 at 9:30

6 votes

1 answer

203 views

On bandwidth of graphs

asked May 30, 2016 at 15:40

8 votes

1 answer

188 views

Word equations with integer parameters

asked Mar 24, 2022 at 14:55

2 votes

0 answers

106 views

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

asked Mar 17, 2023 at 12:22

3 votes

0 answers

105 views

Advances in complexity by studying particular problems

asked Oct 28, 2015 at 13:12

1 vote

0 answers

96 views

Induced subgraphs with interface

asked Apr 11 at 12:48

5 votes

0 answers

95 views

Complexity of inclusion of transfinite expressions

asked Jun 17, 2021 at 15:14

4 votes

0 answers

58 views

Reference for cost of translating between regular language formalisms

asked Aug 16, 2022 at 14:10

Stack Exchange Network

22 Questions

Consequences of NP=PSPACE

EXPSPACE-complete problems

Problems with big open complexity gaps

Nontrivial membership in NP

Distance between regular languages

Implementation of surreal numbers for games

Büchi automata with acceptance strategy

graph isomorphism given a partial isomorphism

Intermediate problems between PSPACE and EXPTIME

Understanding graph minor theorem

Directed multigraphs as minimal automata

Solving problems by deciding a logic

Succinctness of regular expressions with empty word

Combinatorics of a badminton tournament

PSPACE-complete under NP reduction

On bandwidth of graphs

Word equations with integer parameters

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

Advances in complexity by studying particular problems

Induced subgraphs with interface

Complexity of inclusion of transfinite expressions

Reference for cost of translating between regular language formalisms