Wdrażam część systemu, która wymaga pomocy. Dlatego kadruję go jako problem graficzny, aby uczynić go niezależnym od domeny.
Problem: Otrzymujemy ukierunkowany wykres acykliczny . Bez utraty ogólności załóżmy, że G ma dokładnie jeden wierzchołek źródłowy s i dokładnie jeden wierzchołek tonący ; pozwolić P oznacza zbiór wszystkich skierowanych ścieżek z S na T , w G . Jesteśmy również otrzymuje zestaw wierzchołków R ⊆ V . Problem polega na przypisaniu nieujemnych wag liczb całkowitych do krawędzi G , więc dowolne dwie ścieżki w P mają tę samą wagę wtedy i tylko wtedy, gdy zawierają ten sam podzbiór wierzchołków . (Ciężar ścieżki jest sumą wag jej krawędzi.) Zakres wag ścieżek w P powinien być jak najmniejszy.
Obecnie moje podejście nie wydaje się skuteczne; Szukam tylko odniesień do literatury lub dobrych spostrzeżeń. Cokolwiek innego jest również mile widziane.
Edycja: Czy istnieje dowód na twardość tego problemu? Czy kompaktowa numeracja zawsze istnieje?
źródło
Odpowiedzi:
nie słyszałem o tym problemie dokładnie w literaturze [może ktoś inny], jednak jako „problem w pobliżu” wydaje mi się, że minimalne drzewo opinające miałoby użyteczne właściwości do rozwiązania twojego problemu. na przykład może wygenerowanie dwóch minimalnych drzew rozpinających, zaczynając od wierzchołka źródłowego i wierzchołka synchronizacji, i propagowanie ich na zewnątrz, aż się dotkną itp., może rozwiązać problem lub dać dokładną odpowiedź. zanim ktokolwiek rzuci mnie na ten temat tutaj, proszę zrozumieć, że rozszerzam pomysł MST, który ma być generowany, zaczynając od danego wierzchołka [zwykle zaczyna się od najkrótszej krawędzi na całym wykresie]. jeśli to nie działa, jestem ciekawy z tego powodu.
źródło