Saya tertarik pada algoritma yang efisien untuk persimpangan DFA untuk kasus khusus. Yaitu, ketika DFA untuk memotong mematuhi struktur tertentu dan / atau beroperasi pada alfabet terbatas. Apakah ada sumber di mana saya dapat menemukan algoritma kasus seperti itu? Agar tidak membuat pertanyaan...
Saya mencari bukti bahwa kompleksitas Kolmogorov tidak dapat dihitung menggunakan pengurangan dari masalah lain yang tidak dapat dihitung. Bukti umum adalah formalisasi paradoks Berry daripada reduksi, tetapi harus ada bukti dengan mengurangi dari sesuatu seperti Masalah Putus, atau Masalah...
Adakah yang telah mengeksplorasi apa kompleksitas sirkuit dari masalah keputusan klasik seperti Primes atau Graph-Isomorphism untuk ukuran input ?NNN Sementara kebanyakan orang tertarik pada bagaimana penskalaan berjalan sebagai , saya pikir itu juga akan menarik untuk melihat bagaimana ini tumbuh...
Saya percaya jawaban untuk pertanyaan ini memberikan kelas sedemikian rupa sehingga untuk semua polinomial , ada masalah di kelas yang tidak memiliki sirkuit ukuran p ( n ) . Namun, saya bertanya tentang ukuran sirkuit ωphalpp(n)hal(n)p(n) .ω(n)ω(n)\omega \hspace{.02
Wikipedia [1] menyatakan bahwa batas bawah paling dikenal untuk ukuran bukti Frege adalah kuadratik, dan bahwa tidak ada batas bawah superlinear yang diketahui untuk jumlah garis bukti Frege. Pertanyaan: 1) Apa batas bawah paling dikenal untuk jumlah garis bukti Frege diperpanjang? 2) Apa...
Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t...
Biarkan menjadi bahasa, dan mendefinisikan f L : A * × A * → { 0 , 1 } oleh f L ( x , y ) = 1 jika dan hanya jika x ⋅ y ∈ L . Saya mencari referensi untuk:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in...
Kami memiliki masalah dan kami menemukan algoritma yang nampak sebagai 2-nexptime. Saya ingin menemukan masalah 2-nexptime-complete yang diketahui untuk menemukan batas bawah. Saya menemukan dalam literatur terutama dua masalah seperti itu: apakah PCP sebagai solusi ukuran kurang dari...
Mengingat generator yang kuat untuk kelompok bertindak atas bitstrings panjang n dan unsur s ∈ { 0 , 1 } n , seberapa sulit untuk menghitung unsur leksikografi minimal G . s , orbit s di G ?(G≤Sn,∗)(G≤Sn,∗)(G \leq S_n, *)nnns∈{0,1}ns∈{0,1}ns \in \{0,
Biarkan menjadi kelas kompleksitas dan BP- C menjadi mitra acak dari didefinisikan dengan cara yang sama dengan didefinisikan sehubungan dengan . Lebih formal kami memberikan banyak bit acak polinomi dan kami menerima input jika probabilitas untuk menerima lebih dari .CC\mathcal{C}BP-...
Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di
Saya seorang sarjana penelitian yang bekerja dalam teori Algoritma dan Kompleksitas, saya menggunakan kompleksitas parameter sampai batas tertentu. Bagi saya tampaknya para peneliti dalam kompleksitas parameter sangat aktif (saya tidak bermaksud yang lain tidak) dalam hal jumlah makalah penelitian....
Saya ingin tahu tentang cara di mana Anda telah melihat ketidakseragaman berguna dalam perhitungan. Salah satu caranya adalah keacakan, seperti dalam , dan yang lainnya adalah tabel pencarian yang digunakan untuk menunjukkan bahwa semua bahasa memiliki sirkuit yang tidak seragam.B PP⊆ P./...
Saya mencari masalah yang sulit diselesaikan dalam waktu FPT tetapi memiliki algoritma perkiraan. Artinya, masalah itu adalah: R1. W [1] -hard. R2. Akui algoritma perkiraan (lebih disukai konstan) dalam waktu FPT. Masalah yang saya kenal adalah menghitung jumlah jalur sederhana panjang dalam...
Hasil ini oleh Tavenas, Koiran dan lain-lain menunjukkan bahwa setiap polinomial yang dihitung oleh sirkuit ukuran sss dihitung oleh kedalaman-4 sirkuit homogen ukuran sd√sds^{\sqrt{d}} . Apakah ada hasil yang serupa untuk sirkuit Boolean atau kita tahu mengapa hal seperti itu tidak mungkin?...
Untuk banyak masalah, algoritma dengan kompleksitas asimptotik terbaik memiliki faktor konstan yang sangat besar yang disembunyikan oleh notasi O besar. Ini terjadi dalam perkalian matriks, perkalian integer (khususnya, algoritma multiplikasi integer O (n log n) baru-baru ini dari Harvey dan van...
Masalah berikut baru-baru ini muncul dari penelitian saya dan saya ingin bertanya apakah ada yang tahu apakah masalah ini dipertimbangkan sebelumnya atau telah mendengar apa pun yang mungkin terkait. Pengaturan umum adalah sebagai berikut. Kita diberi FFF , keluarga ttt -subsets dari { 1 , 2 , ....
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...
Biarkan menjadi matriks persegi yang diberikan. Apakah ada bukti bahwa mengalahkan batas bawah kuadratik untuk B sehingga det ( B ) = per ( A ) bisa sulit?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Adakah dugaan masuk akal yang menyiratkan bahwa membuktikan batas bawah itu...
ini adalah penulisan ulang pertanyaan saya yang lain baru-baru ini [1] yang tidak dinyatakan dengan baik (memiliki penyederhanaan yang jelas, mea culpa) tapi saya pikir masih ada pertanyaan yang tidak penting di jantungnya. telah melihat masalah serupa dalam literatur tetapi tidak yang satu ini...