User:Realazthat/Projects wishlist/NP/Reduction library: Difference between revisions

no edit summary
(Created page with ' Make an NP-complete reduction library, which will be capable of reducing NP-complete problems to each-other. '''Features:''' * Computation of exact complexity ** By annotation …')
 
No edit summary
Line 1:
 
Make an NP-complete reduction library, which will be capable of reducing NP-complete problems to each-other.
 
Line 6 ⟶ 5:
** By annotation of functions with their complexity
** Stacking of functions annotations
 
 
* SAT to DHC
** http://www.ecst.csuchico.edu/~amk/foo/csci650/notes/ch11/NP4.html
* DHC to UHC
** http://www.ecst.csuchico.edu/~amk/foo/csci356/notes/ch11/ch11.html