Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada?
Apa sebutan masalah ini? Di mana saya bisa tahu lebih banyak?
Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada?
Apa sebutan masalah ini? Di mana saya bisa tahu lebih banyak?
Jawaban:
Sebagai contoh, Shelby Kimmel menggunakan metode musuh dalam makalah ini untuk menunjukkan bahwa harus ada algoritma permintaan untuk masalah tertentu yang kita tidak tahu solusi kueri konstan. Dia melakukan ini dengan cara yang sangat apik dengan menemukan kompleksitas kueri dari masalah yang disusun dengan dirinya sendiri d kali dan kemudian menemukan kompleksitas kueri Q dari fungsi kompos, dan mencatat bahwa kompleksitas kueri dari fungsi asli adalah pesanan Q 1 .
Tentu, ada banyak contoh, setidaknya dalam semangat pertanyaan Anda.
Seringkali seseorang mendapatkan hasil seperti itu dari metode probabilistik . Sebagai contoh, satu kertas yang saya suka yang mengalami masalah adalah pada merekonstruksi grafik dalam model aditif . Di sini, penulis menunjukkan bahwa ada seperangkat kueri yang akan (secara optimal) mempelajari grafik target. Diberikan set ini, algoritma ini efisien. Namun, mereka menggunakan metode probabilistik untuk menunjukkan keberadaan set kecil ini (untuk setiap ukuran masalah) yang akan bekerja pada semua input, tetapi tidak secara eksplisit membangunnya. Jadi yang terbaik yang bisa mereka lakukan hanyalah pencarian dengan kekerasan melalui keluarga permintaan yang eksponensial karena mereka tidak memiliki konstruksi eksplisit.
Tidak, Anda selalu dapat menggunakan algoritma tercepat dan terpendek untuk semua masalah yang terdefinisi dengan baik . ;)
Sunting: Jawaban di bawah ini adalah mengatur keberadaan solusi untuk masalah komputasi yang diberikan, bukan pada keberadaan algoritma. Awalnya, saya salah menafsirkan pertanyaan itu.
Menjawab
Ada kelas kompleksitas yang menangkap masalah komputasi semacam ini. Ini dikenal sebagai TFNP . Itu didefinisikan dalam makalah ini:
Nimrod Megiddo dan Christos Papadimitriou. Pada fungsi total, teorema keberadaan dan kompleksitas komputasi . Ilmu Komputer Teoritis 81 (2): 317-324.
Di sini Anda akan menemukan masalah seperti Trichromatic Triangle, yang keberadaan solusinya dijamin oleh Sperner's Lemma (lihat makalah untuk definisi masalah ini).
Anda juga memiliki kertas berikut:
Christos Papadimitriou. Tentang Kompleksitas Argumen Paritas dan Bukti Keberadaan Lainnya yang Tidak Efisien . Jurnal Ilmu Komputer dan Sistem 48 (3), 1990.
Dalam tulisan ini Anda akan menemukan:
Makalah ini memiliki banyak contoh masalah jenis ini. Jadi saya sarankan untuk melihatnya.