Diberikan permainan zero-sum informasi-informasi parsial deterministik dengan hanya banyak negara bagian, yang kemungkinan hasilnya adalah [kalah, seri, menang] masing-masing dengan nilai [-1,0, + 1], apa kompleksitas perkiraan nilai tersebut sebuah game secara aditif dalam
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Entri Kebun Binatang untuk TC0TC0\mathsf{TC^0} hanya menyebutkan pemisahan antara kedalaman 2 dan 3. Juga adakah referensi standar untuk fakta bahwa AC0dACd0\mathsf{AC^0_d} hierarki tidak...
Ini adalah pertanyaan menarik yang saya temukan di web. Diberikan array yang berisi n angka (tanpa informasi tentangnya), kita harus memroses terlebih dahulu array dalam waktu linier sehingga kita dapat mengembalikan elemen terkecil k dalam waktu O (k), ketika kita diberi angka 1 <= k <=...
Bisakah kita membuktikan hasil konsentrasi yang tajam pada jumlah variabel acak eksponensial independen, yaitu Let X1,…XrX1,…XrX_1, \ldots X_r be variabel acak independen sehingga Pr(Xi<x)=1−e−x/λiPr(Xi<x)=1−e−x/λiPr(X_i < x) = 1 - e^{-x/\lambda_i} . Mari Z=∑XiZ=∑XiZ = \sum X_i . Bisakah kita...
Pertanyaan ini dimotivasi oleh postingan ini, Dapatkah Anda mengidentifikasi jumlah dari dua permutasi dalam waktu polinomial? , dan minat saya pada sifat komputasi permutasi. Sebuah perbedaan urutan dari permutasi π nomor 1 , 2 , ... n + 1 dibentuk dengan menemukan perbedaan antara setiap dua...
Saya memiliki otomat terbatas non-deterministik yang sangat besar dan saya perlu mengubahnya ke DFA. Secara umum saya maksudkan 40 000+ negara bagian. Sejauh ini saya telah melakukan beberapa percobaan dan memprogram algoritma default yang mencari melalui tabel (seperti dijelaskan di sini ),...
Apa saja aplikasi konkret dan menarik untuk memperkirakan volume polyhedra cembung dari jenis yang dipertimbangkan dalam makalah yang lebih baru tentang metode berjalan acak? Makalah ini pada estimasi volume menyebutkan integrasi numerik sebagai satu motivasi. Apa contoh integral yang ingin...
Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah...
Apakah ada dalam antrian prioritas integer yang menggunakan kata-kata ruang dengan operasi berikut, semua dalam waktu terburuk dan tanpa akses ke keacakan:O(n)O(n)O(n) createEmptyQueuedi untuk beberapa konstanta c .O ( l gcU)O(lgcU)O(lg^c U)ccc insertdalam
Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah...
Terkandung di antara setiap tingkat hirarki polinomial adalah berbagai kelas kompleksitas, termasuk ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k , dan ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Karena kurangnya terminologi yang lebih baik, saya akan merujuk pada ini dan...
Baru-baru ini saya mulai membaca banyak tentang kompleksitas bukti dan sangat menikmati apa yang saya baca. Saya benar-benar ingin belajar lebih banyak tentang ini, tetapi saya mengalami kesulitan menemukan beberapa bahan pemula yang baik untuk memulai. Adakah yang bisa merekomendasikan beberapa...
Cukup mirip dengan pertanyaan saya yang diposting sebelumnya . Namun kali ini, grafik tidak diarahkan. Diberikan Sebuah diarahkan grafik GGG tanpa multiple-tepi atau loop, Sumber simpul sss , Target titik ttt, Panjang jalur maksimal lll , Saya mencari G′G′G' - Subgraf GGG yang berisi simpul...
Saya mencoba memahami kelas kompleksitas mana yang termasuk masalah berikut: Memecahkan Masalah Polinomial Root (EPRP) Biarkan be polinomial dengan deg ( p ) ≥ 0 dengan koefisien diambil dari bidang yang terbatas G F ( q ) dengan q bilangan prima, dan r akar primitif untuk bidang itu. Tentukan...
Apa batas yang diketahui dari kesesuaian perbandingan tingkat pertumbuhan fungsi dari ? Saya di sini memikirkan kepantasan pertanyaan seperti "Apakah x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" atau "Apakah 2 lg ∗ x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg(x+2)⌋x^x \sim...
Saya mencari referensi bibliografi untuk algoritme / masalah berikut: Saya menamakannya "BiSelect" atau "t-ary Select" atau "Select in Union of Sorted Arays", tapi saya kira itu diperkenalkan sebelum dengan nama lain? Masalah Pertimbangkan masalah berikut: Mengingat kkk disjoint array yang...
Saya membaca makalah Freyd "Kategori Lengkap Aljabar" di Como90 yang terkenal dan saya memiliki dua pertanyaan tentang gagasan kekompakan aljabar yang ia definisikan dalam makalah itu. (Jika Anda tidak terbiasa dengan definisi tersebut, ini dia: Kategori yang disebut aljabar kompak jika setiap...
Instance: Grafik tidak berarah dengan dua simpul dibedakan s ≠ t , dan integer k ≥ 2 .GGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pertanyaan: Apakah ada jalur di G , sehingga jalur tersebut menyentuh paling banyak simpul k ? (Titik disentuh oleh jalan jika titik baik di jalan, atau memiliki tetangga di...
Definisi "algebraic poset" dalam Continuous Lattices and Domains , Definisi I-4.2, mengatakan bahwa, untuk semua ,x∈Lx∈Lx \in L set harus merupakan set yang diarahkan, danA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) . Di...
Properti grafik disebut herediter jika ditutup sehubungan dengan menghapus simpul (yaitu, semua subgraf yang diinduksi mewarisi properti). Properti grafik disebut aditif jika ditutup sehubungan dengan mengambil serikat terputus-putus. Tidak sulit untuk menemukan sifat-sifat yang turun temurun,...