Menemukan setidaknya dua jalur dengan panjang yang sama dalam grafik terarah

Misalkan kita memiliki grafik diarahkan dan dua node dan . Saya ingin tahu apakah sudah ada algoritma untuk menghitung masalah keputusan berikut: $G=(V,E)$ $A$ $B$

Apakah setidaknya ada dua jalur antara dan dengan panjang yang sama? $A$ $B$

Bagaimana dengan kerumitannya? Bisakah saya menyelesaikannya dalam waktu polinomial?

Saya ingin menambahkan batasan baru pada grafik, mungkin masalahnya lebih bisa dipecahkan. Pada matriks adjacency, setiap kolom tidak kosong. Jadi, setiap simpul memiliki setidaknya satu panah pada input dan ada juga setidaknya satu simpul yang terhubung dengan dirinya sendiri. Jadi jika simpulnya adalah simpul ke- , maka adalah tepi pada grafik. $i$ $(i,i)$

complexity-theory graph-theory time-complexity graphs Paolo Parisen T.
sumber

Apakah maksud Anda jalur sederhana? (mengunjungi setiap simpul paling banyak satu kali), Apakah mereka diizinkan memiliki simpul internal yang sama?

tidak, tidak ada batasan pada jalur. Anda dapat mengulang, jika Anda mau.

Paolo Parisen T.

Pengamatan mudahnya adalah ini: jika hanya ada satu jalur sederhana antara , dan jalur sederhana ini terhubung ke paling banyak satu loop, Anda bisa langsung mengatakan , Jika setidaknya ada dua loop dengan panjang berbeda yang terhubung ke jalur sederhana ini , Anda bisa mengatakan ya, .... (Saya pikir hal-hal serupa bermanfaat dan Anda dapat membuktikannya), Tetapi dalam kasus jalur sederhana yang terputus-putus (jika selama ini Anda menemukan jalan yang terputus-putus), itu adalah NPC.

A, B

$A,B$

N o

$No$

@ mrm: Saya tidak melihat ini sebagai duplikat. Meminta semua jalan adalah operasi yang memakan waktu besar-besaran (secara umum, ada banyak jalan), sedangkan OP meminta dua jalur (sederhana), tidak semua jalan.

Dave Clarke

Jawaban:

Perhatikan grafik , kita ingin tahu apakah ada dua jalur berbeda dari ke dengan panjang yang sama. Melakukan apa? Sederhana: kode dua jalur dalam satu. Tentukan grafik dengan simpul . Anda membuat langkah di dengan membuat dua langkah independen dalam . Bit tambahan memberi tahu Anda apakah kedua jalur sudah terpisah satu sama lain. $G$ $A$ $B$ $G'$ $V \times V \times \{0,1\}$ $G'$ $G$

Secara formal, ada edge di iff $(i,j,e) \to (i',j',e')$ $G'$ , di dan . $i \to i'$ $j \to j'$ $G$ $e'=e ∨ (i,i')≠(j,j')$

Algoritma memeriksa apakah ada jalur ke dalam , yaitu , atau sesuatu seperti . $(A,A,0)$ $(B,B,1)$ $G'$ $O(V^4)$ $O((V+E)^2)$

Jika Anda setuju bahwa algoritma ini benar maka, sebagai akibatnya, jalur dalam panjangnya paling banyak , oleh karena itu potensi "tumbukan jalur" harus terjadi paling baru pada panjang itu. Anda bisa mendapatkan algoritma dari pengamatan ini, di mana adalah kompleksitas perkalian matriks (tanyakan apakah Anda memerlukan spoiler ...). $G'$ $2n^2$ $O(V^{\omega} \log V)$ $\omega$

Saya sangat merasakan ada algoritma , yang menggunakan lebih banyak struktur masalah. $O(V+E)$

sdcvvc
sumber

Itu elegan.

Raphael

Mungkin saya punya jawaban untuk masalah ini, tapi saya tidak yakin itu berfungsi.

Tidaklah penting untuk "menemukan" dua jalan, satu-satunya yang penting adalah "mengetahui" apakah ada atau tidak. Saya tidak berpikir bahwa ini adalah masalah lengkap NP.

Jadi, mengambil adjacency matrix . Kita dapat dengan mudah mengira bahwa itu diisi dengan nilai 0,1. (0 = tanpa tepi; 1 = ada tepi) Mari kita gunakan aljabar berikut dengan 3 nilai (0,1,2), di mana semuanya bekerja seperti biasa kecuali: ; $\textbf A$ $2+\text{<something>} = 2$ $2*\text{<whatever greater than 0>} = 2$

Jadi, jika ada dua jalur dengan panjang yang sama dari saya berharap ada nilai sehingga . $i,j$ $p$ $(\textbf A^p)_{i,j} = 2$

$n$ $\textbf A$ $n\times n$ $p$ $\textbf A$ $n^2$ $p<n^2$ $\text A$ $\text A^2$ $\text A^3$

inilah argumentasi saya:

$n$
$n^2$ $n^2$
$\alpha + \beta m = \gamma + \delta k$ $m$ $k$ $\text A^q$ $i$ $j$ $q$ $\textbf A^q$ $1$ $i$ $j$ $n^2$ $\delta$ $\beta$ $LCM(a,b)$ $(a*b)/GCD(a,b)$ $n$

$(\textbf A^p)_{i,j} = 2$

Apakah aku salah?

Paolo Parisen T.
sumber

α

$\alpha$

γ

$\gamma$

2

$2$

n^{2}

$n^2$

n

$n$

α

$\alpha$

γ

$\gamma$

L C M (a, b) + α + γ < a * b + α + γ

$LCM(a,b) + \alpha+\gamma < a*b+\alpha + \gamma$

α + γ + a + b < n

$\alpha+\gamma+a+b < n$

a * b + α + γ

$a*b+\alpha+\gamma$

n^{2}

$n^2$