Index of /ODSA/RST/en/NP/

../
LimComp.rst                                        13-Jan-2026 20:58                3642
NPComplete.rst                                     13-Jan-2026 20:58               15598
NPCoping.rst                                       13-Jan-2026 20:58               11585
Reduction.rst                                      21-Aug-2026 17:34               19753
SAT.rst                                            13-Jan-2026 20:58                 818
SAT_to_threeSAT.rst                                21-Aug-2026 17:34                1553
TSP.rst                                            13-Jan-2026 20:58                1140
circuitSAT.rst                                     13-Jan-2026 20:58                1040
circuitSAT_to_SAT.rst                              13-Jan-2026 20:58                1250
clique.rst                                         13-Jan-2026 20:58                1028
clique_to_independentSet.rst                       21-Aug-2026 17:34                1662
hamiltonianCycle.rst                               13-Jan-2026 20:58                1183
hamiltonianCycle_to_TSP.rst                        13-Jan-2026 20:58                1342
independentSet.rst                                 13-Jan-2026 20:58                1152
independentSet_to_vertexCover.rst                  13-Jan-2026 20:58                1295
provingNPC.rst                                     21-Aug-2026 17:34                7611
threeSAT.rst                                       13-Jan-2026 20:58                1075
threeSAT_to_clique.rst                             13-Jan-2026 20:58                1212
threeSAT_to_hamiltonianCycle.rst                   13-Jan-2026 20:58                1409
threeSAT_to_hamiltonianCycleOLD.rst                13-Jan-2026 20:58                1167
vertexCover.rst                                    13-Jan-2026 20:58                1102