Jalur minimum yang mencakup masalah


10

Kami bekerja di komputer terdistribusi, dan kami menemukan masalah kompleksitas yang mengurangi masalah jalur minimum. Kami saat ini tidak tahu bagaimana menyelesaikannya. Masalahnya adalah sebagai berikut:

Biarkan ada beberapa integer, dan membiarkan Z k menjadi grafik yang berisi k ( k + 1 )kZk simpul. Kami memberi label pada setiap simpul dengan pasangan(i,j)sedemikian sehingga1ijk. Selanjutnya, kami beri nama simpul menggunakan label mereka. Himpunan tepi diZkdidefinisikan sebagai berikut: {((i,j),(i',j'))| i>iji}.k(k+1)2(i,j)1ijkZk{((i,j),(i,j))|i>iji}

Apakah lintasan minimal meliputi dari ?Zk

Membaca "On Path Cover Problem dalam Digraphs dan Aplikasi ke Program Testing" oleh Ntafos et al. , kita telah melihat bahwa penutup jalur minimum sama dengan kardinal dari himpunan simpul terbesar yang tak tertandingi. Kami berpikir tentang himpunan berikut: yang memiliki kardinal k 2S={(i,j):ik/2j<k/2} .k24k2

Hormat kami,

Pierre


harus itu bukannya j 'i dalam definisi tepi Z k ? jjjiZk
Suresh Venkat

Jawaban:


10

Sepertinya grafik Anda adalah DAG yang ditutup secara transparan, bukan? Jika demikian (dan ini mungkin merupakan pernyataan ulang dari apa yang Anda katakan dalam kutipan Ntafos et al), jumlah minimum jalur yang diperlukan untuk menutupi DAG hanyalah jumlah maksimum elemen yang tak tertandingi berpasangan; ini adalah teorema Dilworth .

Contoh Anda mungkin cukup sederhana sehingga seseorang dapat mengidentifikasi set maksimum yang tak tertandingi ini secara langsung, tetapi secara umum dimungkinkan untuk menemukan set ini dalam waktu polinomial, dengan algoritma yang didasarkan pada pencocokan grafik. Bagian "Bukti melalui teorema König" dari artikel Wikipedia tentang teorema Dilworth menjelaskan caranya.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.