Hal ini juga ditetapkan bahwa untuk setiap matroid MMM dan fungsi berat badan www , ada keluar algoritma GreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) yang mengembalikan secara berat maksimum MMM . Jadi, apakah arah sebaliknya juga benar? Artinya, jika ada beberapa algoritma serakah, maka...
Misalkan menjadi fungsi mayoritas, yaitu f ( x ) = 1 jika dan hanya jika β n i = 1 x i > n / 2f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 . Saya bertanya-tanya apakah ada bukti sederhana dari fakta berikut (dengan...
Saya sedang mempelajari model perhitungan BSS baru-baru ini (lih misalnya Kompleksitas dan Komputasi Nyata; Blum, Cucker, Shub, Smale.) Untuk real , ditunjukkan bahwa, diberi sistem polinomial , keberadaan nol adalah . Namun, saya bertanya-tanya, apakah itu polinomial hanya memiliki koefisien...
Cara yang biasa untuk membuktikan ketidakpastian adalah dengan mereduksi dari masalah RE-complete seperti masalah penghentian, validitas dalam logika urutan pertama, kepuasan persamaan Diophantine, dll. Diketahui bahwa ada masalah yang berulang secara berulang, tetapi tidak dapat dipastikan yang...
Judulnya sedikit menyesatkan: tapi semoga pertanyaannya bukan: Hasil baru Grønlund dan Pettie menunjukkan bahwa 3SUM hanya memiliki kompleksitas pohon keputusan membuat saya bertanya-tanya:O(n3/2)O(n3/2)O(n^{3/2}) Apakah ada contoh sederhana dari masalah dengan kompleksitas pohon keputusan...
Saat membaca pertanyaan Contoh dimana keunikan dari solusi membuatnya lebih mudah untuk menemukan , baru (? Mudah) pertanyaan datang ke pikiran saya: sebenarnya kita tidak tahu apakah Grafik isomorfisma ( ) masalah adalah di P .GIGIGIPPP Tapi apa yang terjadi jika kita berasumsi bahwa kedua dan G...
Apa karir khas ilmuwan komputer teoretis (orang dengan gelar sarjana dalam ilmu komputer teoretis)? Industri dan institusi seperti apa yang mencari pengetahuan ilmu komputer teoretis? Karier apa yang biasanya digunakan oleh ilmuwan komputer
Diketahui bahwa kompleksitas membedakan koin ϵϵ\epsilon bias dari yang adil adalah θ(ϵ−2)θ(ϵ−2)\theta(\epsilon^{-2}) . Apakah ada hasil untuk membedakan koin ppp dari koin p+ϵp+ϵp+\epsilon ? Saya dapat melihat bahwa untuk kasus khusus p=0p=0p=0 , kompleksitasnya adalah ϵ−1ϵ−1\epsilon^{-1} . Saya...
Saya mengalami pengurangan masalah partisi berikut menjadi masalah penjadwalan tertentu: Input: Daftar bilangan bulat positif dalam urutan yang tidak berkurang.Sebuah1⩽ ⋯ ⩽ anSebuah1⩽⋯⩽Sebuahna_1\leqslant\cdots\leqslant a_n Pertanyaan: Apakah ada vektor sedemikian rupa sehingga( x1, ... , xn) ∈ {...
Latar Belakang: Kompleksitas pohon keputusan atau kompleksitas kueri adalah model perhitungan sederhana yang didefinisikan sebagai berikut. Biarkan menjadi fungsi Boolean. Kompleksitas kueri deterministik dari f , dilambangkan D ( f ) , adalah jumlah bit minimum dari input x ∈ { 0 , 1 } n yang...
Dengan diberikannya algoritma yang berjalan dalam waktu , kita dapat mengubahnya menjadi rangkaian keluarga seragam "sepele" untuk masalah ukuran yang sama paling banyak ≈ t ( n ) log t ( n ) .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) Di sisi lain, mungkin kita memiliki sirkuit...
Dalam masalah perpanjangan, kami diberikan bagian dari solusi dan kami ingin memutuskan apakah kami dapat memperluasnya ke solusi yang lengkap. Beberapa masalah perpanjangan dapat dipecahkan secara efisien sementara masalah perpanjangan lainnya mengubah masalah yang mudah menjadi sulit. Misalnya,...
Apakah Anda mengetahui masalah apa pun (lebih disukai setidaknya agak terkenal), di mana, untuk ukuran masalah praktis , algoritma eksponensial berjalan jauh lebih cepat daripada rekan waktu polinomial yang paling terkenal. Sebagai contoh, anggaplah suatu masalah memiliki ukuran praktis * dan ada...
The -hierarchy adalah hirarki kelas kompleksitas W [ t ] dalam kompleksitas parameter, lihat Zoo Kompleksitas untuk definisi. Definisi alternatif mendefinisikan W [ t ] menggunakan pembobotan Fagin tertimbang untuk Π t- formula logika orde pertama, lihat buku teks oleh Flum dan Grohe...
Diberikan grup permutasi pada [ n ] = { 1 , ⋯ , n } , dan dua vektor u , v ∈ Γ n di mana Γ adalah alfabet terbatas yang tidak cukup relevan di sini, pertanyaannya adalah apakah ada beberapa π ∈ G sedemikian rupa sehingga π ( u ) = v di mana π ( u ) berarti menerapkan permutasi π pada Anda dengan...
Saya membaca kertas "Fast Paxos" oleh Leslie Lamport dan terjebak dengan bukti kebenaran dari Paxos klasik dan Fast Paxos. Untuk konsistensi, nilai vvv dipilih oleh koordinator dalam fase 2a2a2a di babak iii harus memuaskan CP(v,i):CP(v,i):CP(v,i): Untuk setiap rondej<ij<ij < i , tidak...
Sambil menulis posting kecil tentang kompleksitas videogames Nibbler dan Snake ; Saya menemukan bahwa keduanya dapat dimodelkan sebagai masalah konfigurasi ulang pada grafik planar; dan tampaknya tidak mungkin bahwa masalah seperti itu belum dipelajari dengan baik di bidang perencanaan gerak...
Karena saya tertarik pada parser (terutama dalam tata bahasa ekspresi parser), saya bertanya-tanya apakah ada beberapa pekerjaan yang memberikan perlakuan kategorikal parsing. Setiap referensi pada aplikasi teori kategori untuk parsing sangat
Saya telah membaca sedikit tentang metode sum-of-square (SOS) dari survei Barak & Steurer dan catatan kuliah Barak . Dalam kedua kasus mereka menyapu masalah akurasi numerik di bawah karpet. Dari pemahaman saya (yang diakui terbatas) tentang metode ini, hal-hal berikut ini harus benar:...
Apakah ada yang diketahui tentang - t terkecil - terpotong dalam aliran jaringan? Atau, lebih umum, tentang masalah ini:sssttt Input: Jaringan dan angka k , semuanya dalam biner. Output: Sebuah k th terkecil s - t cut.NNNkkkkkksssttt Sebuah th terkecil s - t cut ( S , T ) adalah setiap s - t...