Halting

999problem
461Znam
433undecidable
414QQBF
405satisfiability
403PSPACE
389unknotting
382LQQR
381unsolvability
379undecidability
        
previous:haltijas
next:halting
random:CALT


More distant neighbors

NP LQQG solvable funarg Diophantine solved EXPSPACE solving Zarankiewicz QQuadratic Turing brachistochrone computability residuosity 3SAT solves halting decidable unsolvable Satisfiability PTAS solve polynomial solution isoperimetric satisfiable Entscheidungsproblem Yannakakis intractable nondeterministic solver knapsack Dinostratus BorQundvka trisecting Presburger

Back