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                                      13-Jan-2026 20:58               18467
SAT.rst                                            13-Jan-2026 20:58                 818
SAT_to_threeSAT.rst                                13-Jan-2026 20:58                1146
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                       13-Jan-2026 20:58                1248
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                                     13-Jan-2026 20:58                7206
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