Umpan Balik Vertex Set adalah NP-complete untuk grafik umum. Ini dikenal sebagai NP-lengkap untuk grafik terikat derajat-8 karena pengurangan dari penutup simpul. The artikel Wikipedia mengatakan bahwa itu adalah poli-waktu dipecahkan untuk gelar-3 grafik dibatasi dan NP-lengkap untuk gelar-4 grafik dibatasi. Tetapi saya belum dapat menemukan bukti untuk ini di mana saja. Apakah itu benar
Berapakah nilai minimum d sehingga FVS dalam grafik terikat derajat-d adalah lengkap-NP?
Jawaban:
Algoritma Li dan Liu tidak benar (diterbitkan di Cina, meskipun dalam bahasa Inggris). Algoritme Ueno et al. Benar, dan algoritma yang serupa dapat ditemukan di Furst et al. 1 . Kedua algoritma mengurangi masalah untuk masalah paritas matroid polinomial-solvable [3].
Pengurangannya dari VC memastikan NP-hardness untuk grafik terikat derajat-6! Karena VC sudah NP-hard pada grafik kubik. Speckenmeyer telah mengklaim bahwa tesisnya [4] berisi bukti NP-hardness FVS pada grafik planar tingkat maksimum empat, tetapi sangat sulit untuk menemukan (saya akan sangat menghargai jika siapa yang memiliki akses ke tesisnya dapat mengirim saya salinannya) ). Untungnya, bukti baru dari kekerasan NP dari derajat-empat grafik terikat dapat ditemukan di 2 :
Keterangan pada 2 : - Faktanya, dia membuktikan bahwa masalahnya adalah APX-hard, tetapi mudah untuk memverifikasi bahwa pengurangannya juga berlaku untuk bukti NP-hardness masalah. - Pengurangannya TIDAK berlaku untuk grafik planar.
sumber
Referensi yang relevan tampaknya adalah:
Ueno, Shuichi; Kajitani, Yoji; Gotoh, Shin'ya. Pada set masalah independen dan umpan balik mengatur masalah untuk grafik tanpa derajat simpul melebihi tiga. Prosiding Konferensi Jepang Pertama tentang Teori Grafik dan Aplikasi (Hakone, 1986). Matematika Terpisah. 72 (1988), no. 1-3, 355–360 .
Li, Deming; Liu, Yanpei. Algoritma polinomial untuk menemukan set simpul umpan balik minimum dari grafik sederhana 3-reguler. Acta Math. Sci. 19 (1999), no. 4, 375–381.
(Peringatan: Saya belum membaca keduanya tetapi mereka berdua mengklaim dapat menyelesaikan masalah dalam waktu polinomial. Saya tidak berpikir perbedaan antara 3-reguler dan maks tiga adalah penting untuk masalah ini.)
sumber