Problemy „ukierunkowane”, które są łatwiejsze niż ich wariant „niekierowany”.

28

Prezentowałem wykład na temat sortowania naleśników i wspomniałem, że:

Co skłoniło mnie do myślenia. W pewnym sensie sortowanie „sygnowane” jest „ukierunkowane” - możesz postrzegać znak jako kierunek (i rzeczywiście jest to motywacja z biologii ewolucyjnej). Ale to łatwiejszy problem! Jest to niezwykłe, ponieważ ogólnie (przynajmniej na wykresach) problemy kierowane są trudniejsze (lub przynajmniej tak trudne) jak ich niekierowane odpowiedniki.

Zakładając hojną definicję „ukierunkowanego”, czy są jakieś przykłady ukierunkowanych problemów, które są łatwiejsze niż ich niekierowane odpowiedniki?

Suresh Venkat
źródło
2
Możesz rozważyć Róg 3SAT (każda klauzula może być reprezentowana jako (A i B) C) jako klauzule ukierunkowane, ponieważ mogą być postrzegane jako implikacje. Tak więc tutaj ukierunkowana sprawa jest łatwa, podczas gdy niedokierowana 3SAT jest trudna.
Mohammad Al-Turkistany,
1
Zastanawiałem się nad podobnym pytaniem dla klasy, której nauczałem (gdzie używaliśmy LP do przybliżenia rozwiązania IP): czy istnieje klasa problemów, w których znalezienie rozwiązania liczb całkowitych było łatwiejsze niż znalezienie racjonalnego rozwiązania
Gopi

Odpowiedzi:

15

GrGkrk=1kk=22

Chandra Chekuri
źródło
13

Być może nie jest to najlepszy przykład, ale rozważ (Directed) Cycle Cover, gdzie zadaniem jest objęcie wszystkich wierzchołków cyklami rozłącznymi (ukierunkowanymi) wierzchołków. W ukierunkowanym przypadku można to zredukować do dwustronnego dopasowania i rozwiązać w czasie wielomianowym. W przypadku nieukierunkowanym problem można sprowadzić do dopasowywania dwudzielnego (i odwrotnie), co jest trudniejszym problemem, ale nadal rozwiązanym w czasie wielomianowym.

Daniel Marks
źródło
10
GGG
To zdecydowanie dobry przykład i zgodny z tym, o czym myślałem, kiedy zadałem pytanie.
Suresh Venkat,
2
Zawsze miałem wrażenie, że „problemy z cyklami” są łatwiejsze na ukierunkowanych wykresach. Być może kryje się za tym jakaś zasada, na przykład, że 2 połączone komponenty mają „mniejszą strukturę” niż silnie połączone komponenty („problemy związane z cyklami” = te, które można rozwiązać, patrząc oddzielnie na każdy komponent).
Diego de Estrada,
3
Diego: jeśli skierowany zamknięty spacer przechodzi przez wierzchołek v, wówczas następuje cykl skierowany przez v. Analogiczne stwierdzenie nie jest prawdziwe dla grafów niekierowanych. Tak więc na wykresach ukierunkowanych często możemy myśleć o marszach zamiast cyklach. Spacery są bardziej wytrzymałe i mniej teoretyczne niż wykresy, co może być zaletą. Być może jest to formalne wyjaśnienie twojego wrażenia.
Daniel Marx,
9

Oto problem, który, jak niedawno uświadomiłem sobie, wygląda trudniej na niekierowanych grafach niż na kierowanych.

mnlogCmnCn3,mnlogn

mnlogCn3,mnlogn

dziewice
źródło
ale tutaj „twarde” oznacza po prostu w odniesieniu do (wielomianowych) środowisk uruchomieniowych znanych nam algorytmów; może się zdarzyć, że brakuje nam jakiejś techniki
virgi
2
To kolejny interesujący przykład. I psi gratulujemy niesamowitego nowego wyniku.
Suresh Venkat,
1
Dzięki, Suresh! Z innej notatki, właśnie zauważyłem, że ilyaraz miał moją odpowiedź w komentarzu do odpowiedzi Daniela Marksa ... przepraszam za duplikat.
virgi,