Apa itu kekerasan UG, dan apa bedanya dengan kekerasan NP berdasarkan dugaan game yang unik?


22

Ada banyak hasil yang tidak dapat diperkirakan yang bergantung pada dugaan game yang unik. Sebagai contoh,

Dengan asumsi dugaan permainan yang unik, NP-sulit untuk memperkirakan masalah pemotongan maksimum dalam faktor R untuk setiap R > R GW yang konstan .

(Di sini R GW = 0,878 ... adalah rasio perkiraan dari algoritma Goemans-Williamson.)

Namun, beberapa orang lebih suka menggunakan istilah " keras-UG " sebagai:

Sangat sulit untuk memperkirakan masalah pemotongan maksimum dalam faktor R untuk setiap R > R GW yang konstan .

Apakah yang terakhir hanya singkatan untuk yang pertama, atau apakah itu berarti pernyataan yang berbeda?


+1 Sangat Bagus. Terima kasih Tsuyoshi untuk menjelaskan konsep penting ini dalam teori kompleksitas.
Mohammad Al-Turkistany

Jawaban:


15

Versi sebelumnya dari jawaban ini pada awalnya diposting sebagai jawaban atas pertanyaan " Konsekuensi Game Unik menjadi masalah NPI " oleh NicosM. Karena ternyata itu tidak menjawab apa yang ingin dia tanyakan, saya memindahkannya ke pertanyaan ini.

Jawaban singkat: Mereka berarti pernyataan yang berbeda. Yang terakhir menyiratkan yang pertama, tetapi yang pertama tidak selalu berarti yang kedua.

Jawaban panjang: Ingatlah bahwa masalah game yang unik adalah masalah janji berikut.

Unik masalah game dengan parameter k ∈ℕ dan ε , δ > 0 (1- ε > δ )
Instance : Sebuah dua pemain satu putaran permainan yang unik G dengan ukuran label k .
Ya-janji : G memiliki nilai setidaknya 1− ε .
Tanpa janji : G memiliki nilai paling banyak δ .

Dugaan game unik ini:

Dugaan game yang unik. Untuk semua konstanta ε dan δ , terdapat konstanta k sedemikian sehingga masalah gim unik dengan parameter k , ε , dan δ adalah NP-complete.

Pertimbangkan hasil dari formulir berikut:

(1) Dengan asumsi dugaan game unik, masalah X adalah NP-hard.

(Contoh X adalah masalah perkiraan pemotongan maksimum dalam beberapa faktor konstan R > R GW .)

Sebagian besar (jika tidak semua) dari hasil formulir (1) benar-benar membuktikan fakta berikut:

(2) Ada ada konstanta ε dan delta sehingga untuk setiap konstan k , masalah permainan yang unik dengan parameter k , ε , dan δ dapat direduksi menjadi X .

Sangat mudah untuk memverifikasi bahwa (2) menyiratkan (1). Namun, (2) menyiratkan lebih dari (1): misalnya, anggaplah bahwa suatu hari kita dapat membuktikan bahwa varian dari permainan unik dugaan di mana "NP-complete" diganti dengan " GI -hard." Kemudian (2) menyiratkan bahwa X juga GI-keras. (1) tidak menyiratkan ini. Inilah mengapa beberapa orang menganggap bahwa pernyataan (1) bukan cara terbaik untuk menyatakan teorema: (1) lebih lemah dari apa yang sebenarnya terbukti, dan perbedaannya mungkin penting.

Meskipun (2) adalah pernyataan yang lebih akurat tentang apa yang terbukti, itu jelas tidak berarti. Inilah sebabnya mengapa orang membuat sebuah steno untuknya: “Masalah X adalah UG-keras” adalah singkatan untuk (2).


8
Ini tampaknya analog dengan dua pernyataan: "(1) Dengan asumsi P! = NP, X tidak memiliki algoritma waktu polinomial" dan "(2) X adalah NP-hard." (2) menyiratkan (1), tetapi (1) tidak menyiratkan (2). Dalam praktiknya, kami biasanya membuktikan (2), meskipun kami sering mengatakan (1) untuk menjelaskan pentingnya bukti bagi orang yang tidak terbiasa dengan kekerasan NP.
Robin Kothari

1
@TsuyoshiIto Anda mungkin mempertimbangkan menerima jawaban Anda sendiri :). Ini sebenarnya dianjurkan, dan ini adalah referensi yang bagus untuk googler masa depan.
Suresh Venkat

@ Suresh: Terima kasih. Saya mungkin akan, tetapi sistem mengharuskan saya untuk menunggu 48 jam setelah memposting pertanyaan sebelum menerima jawaban saya sendiri.
Tsuyoshi Ito

@ TsuyoshiIto: Ah saya tidak menyadarinya. kedengarannya bagus.
Suresh Venkat

@ TsuyoshiIto: jawaban yang jelas dan bagus! maaf saya tidak menindaklanjuti permintaan Anda untuk membuat komentar saya jawaban untuk pertanyaan lain: saya sibuk pesta, sebagian malas, sebagian tidak merasa bahwa pertanyaan yang direvisi adalah pertanyaan sama sekali.
Sasho Nikolov
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.