Postselection dalam teori kompleksitas geometris


8

Konteks: Seperti yang saya pahami, dalam teori kompleksitas geometris, keberadaan penghalang berfungsi sebagai sertifikat bukti, sehingga dapat dikatakan, untuk tidak adanya sirkuit komputasi yang efisien untuk fungsi keras eksplisit dalam masalah batas bawah yang sedang dipertimbangkan. Sekarang ada beberapa asumsi lain untuk penghalang bahwa mereka harus pendek, mudah diverifikasi dan mudah dibangun.

Pertanyaan: Pertanyaan saya adalah yang mengatakan bahwa saya memiliki masalah yang saya duga dapat diselesaikan dalam waktu polinomial. Lalu bagaimana saya bisa menunjukkan bahwa tidak ada halangan untuk masalah ini, yaitu jika tidak ada halangan maka masalahnya dapat dihitung secara efisien dan memang dalam waktu polinomial.

Pendekatan: Saya pikir, dan saya mungkin salah dalam pernyataan ini, bahwa menunjukkan tidak ada penghalang bisa setara dengan pengurangan standar masalah NP untuk masalah lain yang kompleksitasnya belum diketahui, dalam bukti bahwa mereka sendiri di NP. Jadi dalam hal ini seseorang dapat, jika mungkin, menunjukkan bahwa ada penghalang ketika seseorang mencoba untuk mengurangi masalah NP menjadi masalah yang sedang dipertimbangkan, dengan cara itu, pengurangan itu tidak bisa dilakukan. Juga peran apa yang dimainkan pasca pemilihan dalam semua ini? Apakah mungkin untuk hanya memilih setelah tidak ada penghalang? Terima kasih dan maafkan kurangnya pernyataan yang tepat dalam pendekatan dan pertanyaan saya.

Sebagai contoh lain, pertimbangkan masalah X yang kita tahu ada di P. Sekarang katakanlah kita tidak tahu tentang masalah yang dapat dipecahkan dalam waktu polinomial, maka apakah mungkin, bahwa seseorang dapat membuat pernyataan berikut:

Karena tidak ada penghalang dalam perhitungan X kita dapat mengatakan bahwa itu ada di kelas P

Dari sana, masalahnya adalah penemuan (penghitungan) yang mudah dari penghalang-penghalang itu, bahkan jika ada, akan menunjukkan bahwa X tidak dalam waktu polinomial. Namun sebaliknya, menemukan bahwa tidak ada penghalang adalah tugas yang sulit.


Saya juga ingin menambahkan bahwa saya tidak dapat memikirkan bagaimana pengurangan yang tidak dapat dipecahkan akan menyebabkan masalah menjadi bebas dari penghalang, bagaimana seseorang dapat memperluas gagasan itu?
dhillonv10

Jawaban:


5

P

Untuk keperluan jawaban ini, kita dapat mempartisi program GCT Mulmuley-Sohoni menjadi dua langkah:

  1. permdetVpermVdetVpermVdetpermpdet

  2. VpermVdet

Perhatikan bahwa implikasi dalam (2) hanya berjalan satu arah (keberadaan obstruksi tidak menyiratkan dimasukkannya varietas), sehingga ada kemungkinan bahwa bukan proyeksi dari dan belum ada representasi-penghalang teoretis yang ada. Jadi dalam kasus ini, hanya membuktikan bahwa tidak ada penghalang tidak cukup untuk menunjukkan bahwa itu mudah. Di sisi lain, dalam (1) dimasukkannya varietas aljabar diperlukan dan cukup untuk dimasukkannya kelas kompleksitas.permpdetperm

[Dalam contoh di atas tentu saja banyak detail yang dihilangkan - ketergantungan pada ukuran input, bagaimana berbicara tentang kelas kompleksitas alih-alih , fakta bahwa dimasukkannya varietas setara dengan dapat diperkirakan oleh proyeksi , ... Tapi esensinya masih benar.]Pdetpermpdet


Begitu ya, terima kasih atas jawaban itu Josh. Jadi pada dasarnya ternyata bahwa jika seseorang dapat mengurangi masalah yang diberikan ke bentuk representasi-teori seperti yang ditunjukkan dalam program GCT, maka satu dengan metode penghalang menunjukkan bahwa kelas-kelas tersebut dapat dipisahkan. Secara umum, bagi saya tampaknya tidak dapat dipungkiri untuk menunjukkan bahwa tidak ada penghalang yang menyiratkan mudah.
dhillonv10

Meskipun saya sudah menutup jawabannya karena pertanyaan utama yang saya miliki adalah tentang penghalang, saya akan sangat menghargai jika Anda (@ joshua-grochow) dapat mengomentari bagaimana pemilihan pos mungkin berperan. Terima kasih.
dhillonv10

@ dhillonv10 Saya mengalami kesulitan memahami dengan tepat apa yang Anda tanyakan tentang pemilihan pascapemilihan, tetapi mungkin itu hanya karena saya belum tahu banyak tentang pascapemilihan. Maaf.
Joshua Grochow

np, terima kasih lagi.
dhillonv10

5

Saya suka berpikir seperti ini juga, dan saya menautkannya dengan dugaan . Disebutkan di sana atau di sana (saya kesulitan menemukan halaman tentang dugaan ini karena saya hanya dapat merujuknya dengan simbol matematika yang tidak disukai Google).P=NPcoNP

Masalah ada di NP ketika Anda bisa memberikan sertifikat untuk jawaban "Benar" (contoh: siklus hamiltonian untuk masalah TSP atau penugasan yang valid untuk masalah SAT). Ada dalam NP bersama ketika Anda dapat memberikan sertifikat untuk jawaban "Salah" (contoh: "bukti" bahwa rumus SAT tidak memuaskan, potongan buruk dalam grafik yang mencegah keberadaan siklus hamiltonian, dll. ..)

Sebenarnya, itu mungkin "penghalang" yang mungkin Anda rujuk juga. Dan dugaan ini adalah tentang mengatakan: masalah yang ada di NP adalah polinomial ketika saya tahu apa penghalang itu.

Sekarang, "penghalang" dapat mengambil berbagai bentuk. Untuk masalah pencocokan (yang polinomial) dapat berupa partisi dari grafik (lihat karakterisasi Tutte tentang grafik yang cocok dengan sempurna ), atau dapat berupa sertifikat yang diberikan oleh Lemma Farkas untuk pemrograman linier (dan masalah grafik yang dapat dikurangi untuk itu). Ini sebenarnya bisa menjadi banyak hal, jadi saya biasanya "menggunakan" dugaan ini dalam satu arah: Ketika saya tidak menemukan penghalang, saya tidak menyimpulkan bahwa masalah saya adalah NP-Hard. Beberapa penghalang benar-benar sulit ditemukan ... Tetapi ketika saya memiliki algoritma polinomial yang rumit untuk suatu masalah, saya kadang-kadang yakin bahwa "harus ada serangkaian penghalang yang dapat dimengerti, yang akan lebih mudah untuk memahami bahwa algoritma yang rumit".

Baiklah ... Dua sen saya :-)

Nathann


Terima kasih atas wawasan Nathan, masalah utama di sini adalah apa yang Anda sebutkan, tidak ada cara untuk benar-benar yakin bahwa suatu masalah tidak memiliki penghalang, Mulmuley menyebut ini sebagai P-Barrier di mana menemukan beberapa penghalang mungkin memerlukan waktu yang eksponensial.
dhillonv10
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.