Mengapa dugaan serakah begitu sulit?


14

Baru-baru ini saya belajar tentang dugaan serakah untuk Masalah Superstring Terpendek .

Dalam masalah ini, kita diberi satu set string s1,...,sn dan kami ingin menemukan terpendek superstring s yaitu sehingga setiap ssaya muncul sebagai substring dari s .

Masalah ini NP-hard dan setelah kertas yang panjang, algoritma pendekatan yang paling dikenal untuk masalah ini memiliki rasio 2+1130 [Paluch '14].

Dalam praktiknya, ahli biologi menggunakan algoritma Greedy berikut:

Pada setiap langkah, gabungkan dua string yang memiliki tumpang tindih maksimum pada semua pasangan (akhiran maksimum yang merupakan awalan dari string lain), dan ulangi pada instance baru ini hingga hanya ada satu string yang tersisa (yang merupakan superstring dari semua string input) )

Batas bawah 2 dalam rasio pendekatan Algoritma Greedy ini dapat diperoleh dari input c(Sebuahb)k,(bSebuah)k,(Sebuahb)kc .

2 perkiraan untuk Masalah Superstring Terpendek. Saya sangat terkejut melihat bahwa algoritma yang alami dan mudah seperti itu sangat sulit untuk dianalisis.

Adakah intuisi, fakta, pengamatan, contoh yang menunjukkan mengapa pertanyaan ini begitu menantang?


7
Salah satu alasannya mungkin bahwa sifat-sifat yang diketahui dari representasi grafik standar dari masalah (seperti ketidaksetaraan Monge dan Triple) terbukti tidak cukup untuk membuktikan dugaan serakah. Lihat, misalnya, Laube, Weinard "Ketidaksetaraan bersyarat dan masalah superstring umum terpendek", dan Weinard, Schnitger "Tentang dugaan superstring serakah".
Alex Golovnev

@AlexGolovnev: Sepertinya jawaban yang sangat bagus untuk saya!
Joshua Grochow

@ JoshuaGrochow: Terima kasih! Sekarang saya akan memperluas ke sebuah jawaban.
Alex Golovnev

Jawaban:


8

Pertama-tama saya coba meringkas apa yang diketahui tentang dugaan serakah.

  1. Blum, Jiang, Li, Tromp, Yannakakis membuktikan bahwa Gregor Algorithm memberikan 4-aproksimasi, dan Kaplan dan Shafrir menunjukkan bahwa ia memberikan 3,5-aproksimasi untuk masalah Shortest Common Superstring.
  2. Versi algoritma serakah diketahui memberikan 3-perkiraan ( Blum, Jiang, Li, Tromp, Yannakakis ).
  3. 34 ).
  4. Dugaan Greedy berlaku jika Algoritma Greedy terjadi untuk menggabungkan string dalam beberapa urutan tertentu ( Weinard, Schnitger ; Laube, Weinard ).
  5. Algoritma Greedy memberikan 2-aproksimasi kompresi Tarhio, Ukkonen (yang didefinisikan sebagai total panjang string input dikurangi panjang superstring umum terpendek).
  6. Ada implementasi yang sangat efisien dari Ukkonen Algoritma Greedy .

Saya pikir salah satu alasan mengapa sulit untuk membuktikan dugaan serakah mungkin sebagai berikut. Sebagian besar pendekatan untuk membuktikan jaminan aproksimasi dari Greedy Algorithm menganalisis grafik tumpang tindih (atau, ekuivalen, grafik awalan) dari set input string. Kita hanya tahu beberapa properti dari grafik ini (seperti ketidaksetaraan Monge dan Triple), tetapi properti ini terbukti tidak cukup untuk membuktikan dugaan serakah ( Weinard, Schnitger ; Laube, Weinard ).

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.