algorithmizable
Schönhage-Strassen algorithm
prenex
factorize
Karp reduction
tractable
penalty function
gadget
determinant
brute force
fill-in
sublogarithmic
NC
constraint
number cruncher
complexity theory
figuring
quantic
computation
Kosaraju's algorithm
boundary condition
numerical integration
calculation
demonstrate
hillclimbing
subquadratic
reckoning
unsoluble
intractable
supersolution
plug and chug
Kernighan-Lin algorithm
fencepost problem
insolvable
unresolvable
solving
simheuristics
synthetic division
problem statement
resolution
unsolvable
Gordian knot
Richardson's theorem
probabilistically checkable proof
relaxation method
problemed
resolvable
relaxation