|
Parent folder |
|
-
|
|
LimComp.rst |
|
3.3 kB
|
|
|
NPComplete.rst |
|
14.7 kB
|
|
|
NPCoping.rst |
|
10.1 kB
|
|
|
Reduction.rst |
|
17.2 kB
|
|
|
SAT.rst |
|
557 Bytes
|
|
|
SAT_to_threeSAT.rst |
|
750 Bytes
|
|
|
TSP.rst |
|
729 Bytes
|
|
|
circuitSAT.rst |
|
764 Bytes
|
|
|
circuitSAT_to_SAT.rst |
|
823 Bytes
|
|
|
clique.rst |
|
657 Bytes
|
|
|
clique_to_independentSet.rst |
|
818 Bytes
|
|
|
hamiltonianCycle.rst |
|
758 Bytes
|
|
|
hamiltonianCycle_to_TSP.rst |
|
880 Bytes
|
|
|
independentSet.rst |
|
736 Bytes
|
|
|
independentSet_to_vertexCover.rst |
|
829 Bytes
|
|
|
provingNPC.rst |
|
5.2 kB
|
|
|
threeSAT.rst |
|
701 Bytes
|
|
|
threeSAT_to_clique.rst |
|
781 Bytes
|
|
|
threeSAT_to_hamiltonianCycle.rst |
|
846 Bytes
|
|
|
vertexCover.rst |
|
704 Bytes
|
RST