|
gptkb:PSPACE_(complexity_class)
|
Is NP = PSPACE?
|
|
gptkb:PSPACE
|
gptkb:P_vs_PSPACE
|
|
gptkb:PSPACE
|
gptkb:PSPACE_vs_EXPTIME
|
|
gptkb:Grand_Unification
|
unification energy scale unknown
|
|
gptkb:coNP
|
NP vs coNP
|
|
gptkb:Perfect_Number_Problem
|
Infinitude of perfect numbers
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = EXPTIME
|
|
gptkb:Grand_Unification
|
proton decay not yet observed
|
|
gptkb:Suslin_lines
|
Existence is independent of ZFC
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = NP
|
|
gptkb:PSPACE_vs_EXPTIME
|
Is PSPACE = EXPTIME?
|
|
gptkb:BPP_(complexity_class)
|
Is BPP = NP?
|
|
gptkb:PSPACE
|
NP vs PSPACE
|
|
gptkb:Perfect_Number_Problem
|
Existence of odd perfect numbers
|
|
gptkb:PSPACE_(complexity_class)
|
Is P = PSPACE?
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = PSPACE
|
|
gptkb:NP_(nondeterministic_polynomial_time)
|
Is P equal to NP?
|
|
gptkb:EXPTIME
|
EXPTIME vs PSPACE
|
|
gptkb:Unique_Games_problem
|
Unique Games Conjecture validity
|
|
gptkb:co-NP_(complexity_class)
|
Is NP equal to co-NP?
|