NP

999	problem
686	solved
681	solve
671	solving
665	solvable
656	PSPACE
653	polynomial
651	algorithm
637	complexity
618	undecidable

previous:	nozzle
next:	NPC
random:	Cotylorhynchus

More distant neighbors

graph constraint problems solves theorem mathematical Hilbert correct conjecture p linear generalized proof deterministic graphs solutions computational algorithms classification optimization combinatorial theory logic trivial satisfiability subset discrete partial define P arbitrary relation logical fix constraints QQ formulated assumption finite

Back