solvable

1000polynomial
667NP
656undecidable
637solved
619decidable
613finite
609deterministic
605graph
605solving
604satisfiability
        
previous:SOLV
next:solvatochromism
random:Gurgur


More distant neighbors

algorithm combinatorial equations theorem nontrivial Hilbert solve algebraic graphs isomorphism algebra Turing solves quadratic PSPACE problem generalized trivial matrix optimization matrices Boolean computation computational equation infinite eigenvalue inverse integer linear algorithms variables mathematical discrete generalization probabilistic theorems constraint subset

Back