|
gptkb:PSPACE
|
gptkb:PSPACE_vs_EXPTIME
|
|
gptkb:BPP_(complexity_class)
|
Is BPP = NP?
|
|
gptkb:BPP_(complexity_class)
|
Is P = BPP?
|
|
gptkb:Riesel_problem
|
Are there smaller Riesel numbers than 509203?
|
|
gptkb:PSPACE
|
NP vs PSPACE
|
|
gptkb:NP_(complexity_class)
|
Is P equal to NP?
|
|
gptkb:PSPACE_(complexity_class)
|
Is PSPACE = EXPTIME?
|
|
gptkb:PSPACE_vs_EXPTIME
|
Is PSPACE = EXPTIME?
|
|
gptkb:co-NP_(complexity_class)
|
Is NP equal to co-NP?
|
|
gptkb:Unique_Games_problem
|
polynomial-time solvability
|
|
gptkb:EXPTIME
|
EXPTIME vs PSPACE
|
|
gptkb:Perfect_Number_Problem
|
Infinitude of perfect numbers
|
|
gptkb:NEXPTIME
|
whether NEXPTIME = NP
|
|
gptkb:EXPTIME
|
EXPTIME vs NEXPTIME
|
|
gptkb:Suslin_lines
|
Existence is independent of ZFC
|
|
gptkb:Grand_Unification
|
unification energy scale unknown
|
|
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:NEXPTIME
|
whether NEXPTIME = PSPACE
|
|
gptkb:PSPACE
|
gptkb:P_vs_PSPACE
|