Biarkan menjadi masalah grafik NP-complete. Misalkan X dapat dipecahkan dalam waktu polinomial pada grafik dengan diameter terikat. Dengan kata lain, X yang diparameterisasi dengan diameter ada di XP. (Ingat masalah ada di XP jika bisa diselesaikan dalam waktu n f ( k ) ). Apakah ini menyiratkan...
vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time})...
Apakah ada hasil ketidakmungkinan bersyarat atau pertanyaannya benar-benar
Model Standar fisika (model matematika yang memprediksi bos Higg), sejauh yang saya mengerti, model alam semesta kita yang paling lengkap. Dengan kata lain, ini adalah deskripsi terbaik dari permainan matematika yang akan dimainkan untuk membuat prediksi tentang hasil percobaan yang dilakukan di...
Apakah kompleksitas komunikasi (CC) satu-satunya pendekatan yang dikenal untuk algoritma streaming yang batas bawahnya? Apakah ada teknik lain, bahkan jika batas bawah bersyarat ? Secara umum, apakah kita puas dengan kemajuan yang dicapai melalui CC? Atau mencari teknik alternatif (meskipun...
\newcommand{\cc}[1]{\mathsf{#1}} Apakah teorema di sepanjang baris berikut ini berlaku: Jika g(n)g(n)g(n) sedikit lebih besar dari f(n)f(n)f(n) , maka NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap...
Saya menemukan presentasi oleh Ryan O'Donnell tentang prinsip invarian. Setelah membuktikan teorema Berry-Esseen, ada slide yang membahas ekstensi teorema dan yang disebutkan ada apa yang disebut "versi derandomized ': Jika C -bagus (yaitu, telah membatasi momen ketiga), 3-bijaksana independen.,...
Saya ingat membaca posting blog yang menampilkan dua versi dari bukti yang sama, satu ditulis oleh manusia dan yang lainnya oleh mesin, dan meminta pembaca untuk mengatakan mana yang mana. Mencoba google post lagi, sepertinya saya tidak dapat menemukan kata kunci yang tepat; kebanyakan hal hanya...
Adalah umum untuk mendefinisikan kelengkapan sehubungan dengan reduksi banyak-satu ruang log.PPP Saya mencari kelas kerumitan sedemikian rupa sehingga ada masalah - P lengkap dan banyak-satu pengurangan - C .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Berapakah pengurangan kelas banyak-satu...
Dalam makalah 'Pada lenyapnya koefisien Kronecker' di sini di http://arxiv.org/pdf/1507.02955v1.pdf , ditunjukkan bahwa menentukan kepositifan koefisien kronecker pada umumnya sulit NP. Namun ada peringatan yang menyatakan bahwa hanya kepositifan 'koefisien Kronecker persegi panjang' diperlukan...
Dalam [1] dinyatakan bahwa "Ini masih menjadi pertanyaan terbuka apakah setiap fungsi di memiliki sirkuit T C 0 (meskipun setidaknya diketahui bahwa tidak semua fungsi # P memiliki sirkuit T C 0 DLogTime-uniform-uniform )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 sirkuit yang dihasilkan oleh...
Apakah ada algoritma untuk memeriksa apakah ukuran ekspresi reguler cocok dengan string ukuran , dengan asumsi alfabet ukuran tetap jika itu penting?O(n+m)O(n+m)O(n+m)nnnmmm Algoritma NFA standar adalah kasus terburuk . Groz et al. mencapai waktu linier untuk berbagai kelas ekspresi reguler,...
Diberikan vektor v 1 , … , v n ∈ R N dengan ‖ v i ‖ 2 2 ≤ 1 di setiap i ∈ { 1 , … , n } , dugaan Komlos menyatakan bahwa, ada c ∈ R (tidak bergantung pada n , N ) sedemikian rupa sehingga pada beberapa ϵ ∈ { - 1 , + 1 } n , ‖nnnv1, ... , vn∈ RNv1,…,vn∈RNv_1,\dots,v_n\in\Bbb R^N∥ vsaya∥22≤...
Saya selalu bertanya-tanya apakah bukti dalam ilmu komputer akan dianggap sebagai bukti yang cukup dari proposisi jika mereka perlu mengambil hukum fisik? Sebagai contoh, saya bertanya-tanya apa yang akan terjadi jika seseorang suatu hari nanti membuktikan P! = NP dengan asumsi hukum kedua...
Adakah kompleksitas komunikasi acak yang diketahui (non-sepele) dengan batas bawah untuk masalah kesenjangan alami di mana 1-input secara linear jauh dari 0-input? Artinya, fungsi parsial sedemikian rupa sehingga jarak Hamming antara setiap ( x , y ) ∈ f - 1 ( 1 ) dan ( x ′ , y ′ ) ∈ f - 1 (f: { 0...
Dalam makalah Diskriminasi istilah lambda yang dikodekan - Henk Barendregt suatu pengkodean dari istilah lambda M adalah istilah sedemikian rupa sehingga M (dan bagian-bagiannya) dapat direkonstruksi darinya dengan cara yang dapat didefinisikan dengan lambda. Pada dasarnya kita perlu bisa menulis...
Menurut Handshaking Lemma: setiap grafik tidak berarah yang memiliki simpul yang derajatnya adalah bilangan ganjil harus memiliki beberapa simpul lain yang derajatnya adalah bilangan ganjil. Pengamatan ini berarti bahwa jika kita diberi grafik dan simpul derajat ganjil, dan kita diminta untuk...
The isomorfisma Dugaan dari Berman dan Hartmanis menyatakan bahwa semua -Lengkap set waktu polinomial isomorfik satu sama lain. Ini berarti bahwa masalah lengkap dapat direduksi secara efisien satu sama lain melalui waktu polinomial yang dapat dihitung dan biopsi yang tidak dapat dibalik. Dugaan...
Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan...
Apa adalah beberapa contoh dari masalah dengan waktu kuasi-polinomial ( ) algoritma yang dibayangkan bisa berada di . Dengan kata lain, mereka berada di tanpa alasan yang jelas selain tidak ada yang menemukan algoritma polinomial-waktu?P Q PQ PQPQPPPPQ PQPQP Pertanyaan ini dimotivasi oleh hasil...