Saya belum bisa menemukan karakterisasi yang tepat dalam menghilangnya kesenjangan dualitas SDP. Atau, kapan "dualitas kuat" bertahan? Misalnya, ketika seseorang bolak-balik antara Lasserre dan SOS SDP, pada prinsipnya seseorang memiliki celah dualitas. Namun, entah mengapa ada alasan "sepele"...
Biarkan menjadi polinomial di atas bidang hingga yang tetap. Misalkan kita diberi nilai pada beberapa vektor dan vektor .P y ∈ { 0 , 1 } n yP( x1, x2, ... , xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈ { 0 , 1 }ny∈{0,1}ny \in \{0,1\}^nyyy Kami sekarang ingin menghitung nilai pada vektor sehingga...
PERTANYAAN SINGKAT: Apakah MAJ-3CNF masalah PP-lengkap di bawah banyak-satu pengurangan? VERSI LAMA: Sudah diketahui bahwa MAJSAT (memutuskan apakah mayoritas penugasan hukuman proporsional memenuhi hukuman) adalah PP-lengkap di bawah banyak-satu pengurangan dan #SAT adalah # P-lengkap di bawah...
Apakah fakta bahwa masalah adalah waktu EXP lengkap berarti bahwa tidak ada dalam ?A D T I M E ( 2 o ( n ) )SEBUAHAASEBUAHAAD TsayaM.E( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Saya sadar bahwa menurut teorema hierarki waktu, tidak termasuk dalam . Namun demikian ini tampaknya tidak mengecualikan...
Penaksir yang bias berguna dalam statistik karena mereka dapat mengoptimalkan kesalahan rata-rata lebih dari apa yang dapat dilakukan oleh penaksir yang tidak bias . Saya bertanya-tanya apakah dalam theoryCS apakah ada contoh yang sangat terkenal dari penggunaan efektif estimator yang bias. Saya...
Dalam karya klasik kalkulus konstruksi ada aturan yang menyatakan (halaman 7 dari pdf, halaman 101 dari dokumen asli) Aturan ini berarti bahwa konteks apa pun dapat direduksi menjadi anggota konteks itu. Sepertinya ini seharusnya tidak benar, karena akan memerlukan 1 ≅ Nat 3 ≅ Nat 1 ≅ 3 jika...
Apakah ada upaya untuk menunjukkan bahwa keacakan Kolmogorov akan cukup untuk RP ? Apakah probabilitas yang digunakan dalam pernyataan "Jika jawaban yang benar adalah YA, maka (mesin Turing probabilistik) mengembalikan YA dengan probabilitas ..." selalu didefinisikan dengan baik dalam kasus itu?...
Misalkan HA L TnHALTnHALT_n menunjukkan string dengan panjang 2n2n2^n sesuai dengan tabel kebenaran dari penghentian masalah untuk input panjang nnn . Jika urutan kompleksitas Kolmogorov K( HA L Tn)K(HALTn)K(HALT_n) adalah O(1)O(1)O(1) , maka salah satu string saran akan sering digunakan tanpa...
Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E (...
Saya memiliki bahasa di mana tipe tidak dikotakkan secara default, dengan inferensi tipe berdasarkan Hindley-Milner. Saya ingin menambahkan polimorfisme tingkat tinggi, terutama untuk bekerja dengan tipe eksistensial. Saya rasa saya mengerti bagaimana memeriksa jenis ini, tapi saya tidak yakin apa...
Biarkan menjadi kelas kompleksitas dan \ textrm {BP -} \ mathcal {C} menjadi mitra acak dari \ mathcal {C} didefinisikan sebagai \ textrm {BPP} sehubungan dengan \ textrm {P} . Lebih formal kami menyediakan banyak bit acak polinomi dan kami menerima input jika probabilitas untuk menerima lebih dari...
Elberfeld, Jakoby, dan Tantau 2010 ( ECCC TR10-062 ) membuktikan versi teorema Bodlaender yang hemat ruang. Mereka menunjukkan bahwa untuk grafik dengan treewidth paling banyak , dekomposisi pohon dengan lebar dapat ditemukan menggunakan ruang logaritmik. Faktor konstan dalam batas ruang tergantung...
Misalkan adalah bahasa parameter untuk beberapa alfabet . The -slice dari adalah , himpunan contoh di yang memiliki parameter . Kelas kompleksitas berisi bahasa parameter sehingga untuk setiap , mungkin dengan algoritma yang berbeda dan waktu berjalan polinomial terikat untuk setiap . Setiap bahasa...
Misalkan saya memiliki dua daftar bilangan bulat positif dari manitude yang dibatasi, dan saya mengambil produk dari semua elemen dari setiap daftar. Apa cara terbaik untuk menentukan produk mana yang lebih besar? Tentu saja saya dapat dengan mudah menghitung setiap produk, tetapi saya berharap...
Kami diberi pasangan benda (katakanlah, angka). Setiap objek paling banyak muncul dalam pasangan . Tujuan kami adalah untuk mendistribusikan pasangan ke tempat sampah berukuran sama, sehingga setiap objek terjadi dalam sesedikit mungkin tempat sampah yang berbeda.qqq Lebih tepatnya, kami tertarik...
Motivasi : Ketika mengembangkan alat untuk versi data, kami akhirnya mencari ke dalam algoritma untuk "membedakan" dua set bilangan bulat, dengan menghasilkan serangkaian transformasi yang membawa satu set bilangan bulat ke yang lain. Kami dapat mengurangi masalah itu menjadi masalah sangat alami...
Biarkan menjadi grup abelian terbatas, dan misalkan menjadi polytope di didefinisikan sebagai poin memenuhi ketidaksetaraan berikut:P R Γ xΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈ Gxg≤ | G |xg≥ 0∀ G ≤ Γ∀ g∈ Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma...
Saya tertarik untuk menentukan kerumitan masalah keputusan berikut: Diberikan dua bilangan bulat dan (masing-masing dengan paling banyak m bit), putuskan apakah bit paling signifikan dari perkalian adalah 1 (di mana hasilnya dicetak dalam 2m bit dengan kemungkinan memimpin 0's)?l 2 l 1 ⋅ l...
Pertimbangkan masalah berikut. Ada nnn nilai yang tidak diketahui v1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R} . Tugasnya adalah menemukan indeks yang terbesar hanya menggunakan kueri dari formulir berikut. Kueri ditentukan oleh himpunan S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\} dan...
Pertimbangkan permainan 2-pemain berikut: Alam secara acak memilih program Setiap pemain memainkan angka dalam [0, tak terbatas] inklusif sebagai respons terhadap gerakan alam Ambil jumlah minimum pemain, dan jalankan program untuk (hingga) banyak langkah (kecuali kedua pemain memilih angka tak...