Powiedzmy, że istnieje program taki, że jeśli podasz częściowo wypełnione Sudoku o dowolnym rozmiarze, otrzymasz odpowiednie wypełnione Sudoku.
Czy możesz potraktować ten program jako czarną skrzynkę i użyć go do rozwiązania TSP? Mam na myśli, czy istnieje sposób na przedstawienie problemu TSP jako częściowo wypełnionego Sudoku, więc jeśli dam ci odpowiedź na to Sudoku, możesz podać rozwiązanie TSP w czasie wielomianowym?
Jeśli tak to jak? jak reprezentujesz TSP jako częściowo wypełnione Sudoku i interpretujesz odpowiadające wypełnione Sudoku dla wyniku.
algorithms
np-complete
reductions
traveling-salesman
sudoku
Chakrapani N Rao
źródło
źródło
Odpowiedzi:
W przypadku Sudoku 9x9, nie. Jest skończony, więc można go rozwiązać w czasie .O ( 1 )
Ale jeśli miałeś solver dla Sudoku , który działał dla wszystkich i wszystkich możliwych tablic częściowych i działał w czasie wielomianowym, to tak, można go użyć do rozwiązania TSP w czasie wielomianowym, jako ukończenie a Sudoku jest NP-kompletne.n2)× n2) n n2)× n2)
Dowód kompletności NP działa poprzez zredukowanie problemu NP-zupełnego R do Sudoku; następnie ponieważ R jest NP-kompletny, możesz zmniejszyć z TSP do R (wynika z definicji kompletności NP); a łączenie tych obniżek umożliwia wykorzystanie solwera Sudoku do rozwiązania TSP.
źródło
Rzeczywiście możliwe jest użycie ogólnego solvera Sudoku do rozwiązywania instancji TSP, a jeśli ten solver zajmuje czas wielomianowy, wówczas również cały proces (w terminologii złożoności występuje redukcja czasu wielomianowego z TSP do Sudoku). Wynika to z faktu, że Sudoku jest NP-kompletne, a TSP jest w NP. Ale jak to zwykle bywa w tej dziedzinie, patrzenie na szczegóły redukcji nie jest szczególnie pouczające. Jeśli chcesz, możesz go poskładać, używając prostej redukcji z uzupełnienia kwadratu łacińskiego do Sudoku tutaj , redukcji z triangulacji jednolitych trójstronnych wykresów do uzupełnienia kwadratu łacińskiego tutaj , zmniejszenia z 3SAT do triangulacji tutajoraz sformułowanie TSP jako problemu 3SAT. Jeśli jednak chcesz zrozumieć pomysł przejścia z Sudoku do TSP, myślę, że lepiej byłoby przestudiować twierdzenie Cooka (pokazujące, że SAT jest NP-kompletny) i kilka prostych redukcji z 3SAT (np. Do dopasowania trójwymiarowego) i będąc zadowolonym ze świadomości, że redukcja TSP-Sudoku jest po prostu tym samym, ale dłuższym i bardziej niespokojnym.
źródło