|
gptkb:PSPACE_(complexity_class)
|
Is PSPACE = EXPTIME?
|
|
gptkb:BPP_(complexity_class)
|
Is BPP = NP?
|
|
gptkb:EXPTIME
|
EXPTIME vs NEXPTIME
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = PSPACE
|
|
gptkb:coNP
|
NP vs coNP
|
|
gptkb:PSPACE
|
NP vs PSPACE
|
|
gptkb:NP_(nondeterministic_polynomial_time)
|
Is P equal to NP?
|
|
gptkb:EXPTIME
|
EXPTIME vs PSPACE
|
|
gptkb:PSPACE
|
gptkb:P_vs_PSPACE
|
|
gptkb:continuum_(set_theory)
|
gptkb:continuum_hypothesis
|
|
gptkb:Suslin_lines
|
Existence is independent of ZFC
|
|
gptkb:PSPACE_vs_EXPTIME
|
Is PSPACE = EXPTIME?
|
|
gptkb:Unique_Games_problem
|
Unique Games Conjecture validity
|
|
gptkb:PSPACE_(complexity_class)
|
Is NP = PSPACE?
|
|
gptkb:Grand_Unification
|
unification energy scale unknown
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = EXPTIME
|
|
gptkb:Perfect_Number_Problem
|
Infinitude of perfect numbers
|
|
gptkb:BPP_(complexity_class)
|
Is P = BPP?
|
|
gptkb:Unique_Games_problem
|
polynomial-time solvability
|
|
gptkb:PSPACE
|
gptkb:PSPACE_vs_EXPTIME
|