Temukan jalur terpendek dalam grafik unipathic yang ditimbang

Grafik berarah dikatakan unipathic jika untuk setiap dua simpul $u$ dan $v$ dalam grafik $G=(V,E)$ , paling tidak ada satu jalur sederhana dari $u$ ke $v$ .

Misalkan saya diberi grafik unipathic $G$ sehingga setiap sisi memiliki bobot positif atau negatif, tetapi tidak mengandung siklus bobot negatif.

Dari sini saya ingin menemukan algoritma $O(|V|)$ yang menemukan semua jalur terpendek ke semua node dari sumber node $s$ .

Saya tidak yakin bagaimana cara mendekati masalah ini. Saya mencoba melihat bagaimana saya bisa menggunakan fakta bahwa tidak mengandung siklus berat negatif dan tentu saja paling banyak satu jalur sederhana antara sembarang simpul $u$ ke $v$ .

algorithms graphs

— gprime
sumber

Apa yang sudah Anda coba sejauh ini? Jika Anda benar-benar mandek, mulailah dari yang kecil: seperti apa sebenarnya grafik unipathic? Sebagai contoh, gambar setiap grafik unipathic dengan satu titik, dua titik, tiga titik, dan sebagainya. Anda mungkin menemukan pola yang bermanfaat. Selain itu, Anda menyebutkan tidak ada siklus berat negatif - apakah ada siklus (berberat apa pun)?

— Juho

@ mrm Pola apa yang Anda pikirkan? Grafik unipathic dapat memiliki siklus, dengan cara terbatas sehingga saya tidak dapat menemukan cara yang mudah untuk mengekspresikan.

— Gilles 'SANGAT berhenti menjadi jahat'

@ mrm No. Tepi dapat dimiliki paling banyak satu siklus. Node dapat menjadi bagian dari sejumlah siklus: grafik

-pointed-berbentuk bintang

adalah unipathic (dan Anda bisa mendapatkan yang lebih tinggi lagi rasio siklus dasar per node).

n

$n$

E = ⋃_{i \leq n} {(a, b_{i}), (b_{i}, a)}

$E=\bigcup_{i\le n} \{(a,b_i),(b_i,a)\}$

— Gilles 'SO- berhenti bersikap jahat'

Pilih representasi data

Pertama, lihat ukuran hasilnya. Anda ingin koleksi jalur terpendek dari ke setiap node lainnya. Kecuali jika panjang rata-rata lintasan dibatasi oleh konstanta (yang bukan: lamanya daftar, dan jika Anda mengambil root untuk , panjang total lintasan adalah mana adalah panjang daftar), Anda harus berhati-hati dalam representasi data Anda: struktur yang mengandung jalur harus menggunakan berbagi antar jalur. $s$ $s$ $n(n-1)/2$ $n$

Tidak termasuk siklus, ada jalur tunggal dari ke simpul lain . Jika jalur tersebut melewati titik tengah , maka segmen pertama dari jalur tersebut adalah jalur yang diinginkan dari ke . $s$ $u$ $t$ $s$ $t$

Saya mengusulkan untuk menyimpan hasilnya dalam array, diindeks oleh node bernomor dari hingga , dengan . Setiap elemen dalam array menyimpan indeks dari node sebelumnya pada path ke node tersebut (gunakan mis sebagai penanda khusus untuk node yang tidak dapat dijangkau dari ). Jalur dari ke adalah $0$ $|E|-1$ $s=0$ $-1$ $s$ $s$ $t$ . $(s=R[\ldots R[t]\ldots],\ldots,R[R[t]],R[t],t)$

Lintasi grafik

Inisialisasi untuk semua . $R$ $-1$

Lakukan traversal kedalaman-pertama atau luas-pertama dari grafik mulai dari . Setiap kali simpul tercapai, atur ke pendahulunya. $s$ $u$ $R[u]$

Karena ada siklus, sebuah simpul mungkin dicapai lebih dari satu kali. Memiliki menunjukkan bahwa telah dikunjungi. $R[u] \ne -1$ $u$

Buktikan kebenarannya

Karena properti unipathic, tidak masalah bagaimana kita mencapai setiap node, selama kita belum menyelesaikan siklus. Hanya ada satu jalur sederhana.

Buktikan kerumitannya

Algoritme dapat mencapai setiap node lebih dari satu kali, jadi tidak jelas bahwa kerumitannya adalah . Pekerjaan yang dilakukan sebenarnya mana adalah tepi yang dapat dijangkau dari sumber. Lebih tepatnya, kita mencapai sebuah simpul lebih dari sekali hanya dalam satu keadaan: jika simpul tersebut adalah yang pertama yang kita capai pada siklus tertentu, dan dalam hal ini kita mencapai dua kali (satu kali dari jalur sederhana, dan satu kali setelah menyelesaikan siklus) ). $O(|V|)$ $\Theta(|E_0|)$ $V_0$

Baiklah kalau begitu. Mari kita buktikan bahwa dalam grafik unipathic, jumlah siklus elementer tumbuh paling banyak secara linier dengan jumlah node. (Siklus elementer adalah siklus yang tidak mengandung siklus yang lebih pendek.) Dalam diskusi berikut, saya akan berasumsi bahwa grafik tidak memiliki self-edge (tidak ada edge dari node ke dirinya sendiri; edge seperti itu tidak relevan untuk konstruksi path pula) ).

Grafik unipathic dapat memiliki siklus, tetapi dengan cara yang sangat terbatas. Akan lebih baik jika kita bisa mengaitkan setiap siklus dengan simpul yang berbeda (atau paling tidak, paling banyak jumlah siklus per node yang dibatasi). Bisakah siklus berbagi simpul? Sayangnya ya.

$m$ $a$ $a$ $b_i$ $\forall i, a \leftrightarrows b_i$

Jadi kita harus bekerja lebih keras. Baiklah, mari kita coba buktikan secara induktif. Biarkan menjadi jumlah node dalam grafik , jumlah tepi dan jumlah siklus dasar yang bukan tepi diri. Saya menyatakan bahwa jika adalah unipathic dan tidak kosong maka . $\#V(G)$ $G$ $\#E(G)$ $\#C(G)$ $G$ $\#C(G) \le \#V(G)-1$

Untuk grafik dengan satu atau dua node, ini jelas. Anggaplah pernyataan berlaku untuk semua grafik sedemikian rupa sehingga dan biarkan menjadi grafik unipathic dengan node. Jika tidak memiliki siklus, , tutup huruf. Kalau tidak, biarkan menjadi siklus dasar. $\#V(G) < n$ $G$ $n$ $G$ $0 = \#C(G) < \#V(G)$ $(a_1,\ldots,a_m)$

Perkecil siklus: misalkan adalah grafik yang simpulnya adalah dari minus plus simpul dan yang ujung-ujungnya adalah semua tepi tidak melibatkan , ditambah setiap kali dan setiap kali . Setiap jalur di menginduksi jalur di (jika jalur melibatkan , maka ganti dengan $G'$ $G$ $\{a_1,\ldots,a_m\}$ $a$ $G$ $a_i$ $a \rightarrow_{G'} b$ $\exists i, a_i \rightarrow_G b$ $b \rightarrow_{G'} a$ $\exists i, b \rightarrow_G a_i$ $G'$ $G$ $b \rightarrow a \rightarrow c$ $b \rightarrow a_i \rightarrow a_{i+1} \rightarrow \ldots \rightarrow a_j \rightarrow c$ dalam ). Karena itu adalah unipathic. Lebih lanjut, karena siklus dalam tidak berbagi sisi, memiliki semua siklus dalam kecuali untuk siklus yang kami hilangkan: . Dengan induksi, . Karena , kita memiliki . $G$ $G'$ $G$ $G'$ $G$ $\#C(G') = \#C(G)-1$ $\#C(G') \le \#V(G')-1$ $\#V(G') = \#V(G) - m + 1$ $\#C(G) = \#C(G')+1 \le \#V(G) - m = n-m \le n-1$

Ini menyimpulkan buktinya. Traversal mengikuti paling banyak edge. $2|V|-2$

— Gilles 'SANGAT berhenti menjadi jahat'
sumber