Index of /ODSA/RST/en/NP/


../
LimComp.rst                                        27-Apr-2026 20:54                3642
NPComplete.rst                                     27-Apr-2026 20:54               15598
NPCoping.rst                                       27-Apr-2026 20:54               11585
Reduction.rst                                      27-Apr-2026 20:54               18467
SAT.rst                                            27-Apr-2026 20:54                 818
SAT_to_threeSAT.rst                                27-Apr-2026 20:54                1146
TSP.rst                                            27-Apr-2026 20:54                1140
circuitSAT.rst                                     27-Apr-2026 20:54                1040
circuitSAT_to_SAT.rst                              27-Apr-2026 20:54                1250
clique.rst                                         27-Apr-2026 20:54                1028
clique_to_independentSet.rst                       27-Apr-2026 20:54                1248
hamiltonianCycle.rst                               27-Apr-2026 20:54                1183
hamiltonianCycle_to_TSP.rst                        27-Apr-2026 20:54                1342
independentSet.rst                                 27-Apr-2026 20:54                1152
independentSet_to_vertexCover.rst                  27-Apr-2026 20:54                1295
provingNPC.rst                                     27-Apr-2026 20:54                7206
threeSAT.rst                                       27-Apr-2026 20:54                1075
threeSAT_to_clique.rst                             27-Apr-2026 20:54                1212
threeSAT_to_hamiltonianCycle.rst                   27-Apr-2026 20:54                1409
threeSAT_to_hamiltonianCycleOLD.rst                27-Apr-2026 20:54                1167
vertexCover.rst                                    27-Apr-2026 20:54                1102