gptkb:NEXPTIME
|
whether NEXPTIME = EXPTIME
|
gptkb:proton_mass_puzzle
|
how most of the proton mass arises from QCD dynamics rather than quark masses
|
gptkb:Grand_Unification
|
proton decay not yet observed
|
gptkb:PSPACE
|
NP vs PSPACE
|
gptkb:coNP
|
NP vs coNP
|
gptkb:Unique_Games_problem
|
Unique Games Conjecture validity
|
gptkb:PSPACE_vs_EXPTIME
|
Is PSPACE = EXPTIME?
|
gptkb:PSPACE
|
gptkb:P_vs_PSPACE
|
gptkb:EXPTIME
|
gptkb:P_vs_EXPTIME
|
gptkb:Suslin_lines
|
Existence is independent of ZFC
|
gptkb:NP_(complexity_class)
|
Is P equal to NP?
|
gptkb:NEXPTIME
|
whether NEXPTIME = PSPACE
|
gptkb:co-NP_(complexity_class)
|
Is NP equal to co-NP?
|
gptkb:EXPTIME
|
EXPTIME vs PSPACE
|
gptkb:continuum_(set_theory)
|
gptkb:continuum_hypothesis
|
gptkb:Perfect_Number_Problem
|
Infinitude of perfect numbers
|
gptkb:BPP_(complexity_class)
|
Is P = BPP?
|
gptkb:BPP_(complexity_class)
|
Is BPP = NP?
|
gptkb:Unique_Games_problem
|
polynomial-time solvability
|
gptkb:PSPACE_(complexity_class)
|
Is PSPACE = EXPTIME?
|