npycomp.reductions

Implementations of reductions between NP-complete problems.

NPyComp reductions provides implementations of reductions between NP-complete problems. Each reduction in this module is a function that transforms an instance of one problem into an instance of another problem.

Reductions

clique_to_sat(A, k)	Reduce a clique problem to a SAT problem.
threesat_to_clique(clauses)	Convert a 3SAT problem to a clique problem.
threesat_to_sat(clauses)	Convert a 3SAT problem to a SAT problem.