Biarkan menjadi grafik. Biarkan k ≤ | V | menjadi bilangan bulat. Mari O k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan ganjil tepi. Mari E k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan jumlah yang lebih dari tepi. Biarkan Δ k = O k - E k . Masalah...
Saya mencoba untuk memahami makalah tentang Sistem dan Logika p-Optimal untuk PTIME . Ada gagasan yang disebut sistem bukti di koran dan saya tidak mendapatkan intinya: ... Kami mengidentifikasi masalah dengan himpunan bagian Q di Σ ∗ .Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\}QQQΣ∗Σ∗\Sigma^* Saya...
Untuk lebih memahami makalah saya mencoba untuk mendapatkan pemahaman singkat tentang logika titik paling tidak tetap. Ada beberapa poin di mana saya terjebak. Jika adalah grafik danG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...
Dalam makalah dari Adi Shamir [1] dari 1979 ia menunjukkan, bahwa anjak piutang dapat dilakukan dalam sejumlah langkah aritmatika polinomial . Fakta ini disajikan kembali, dan dengan demikian menjadi perhatian saya, dalam makalah Borwein dan Hobart baru-baru ini [2] dalam konteks program garis...
Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti dalam waktu menggunakan spasi . Biarkan menjadi kelas bahasa yang diputuskan dengan bergantian mesin Turing yang berhenti menggunakan bergantian dan spasi .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n),...
Saya bingung. Saya ingin membuktikan bahwa bahwa masalah menyortir oleh n matriks yaitu baris dan kolom dalam urutan menaik adalah Ω ( n 2 log n ) . Saya melanjutkan dengan mengasumsikan bahwa itu dapat dilakukan lebih cepat daripada n 2 log n dan mencoba untuk melanggar log ( m ! ) Batas bawah...
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 7 tahun yang lalu . Bagaimana kita dapat...
Asumsikan kita beroperasi di bidang yang terbatas. Kami diberi p polinomial tetap besar (x) (dari, katakanlah, derajat 1000) di atas bidang ini. Polinomial ini diketahui sebelumnya dan kami diizinkan untuk melakukan perhitungan menggunakan banyak sumber daya dalam "tahap awal." Hasil ini dapat...
Pertimbangkan formula Monotone 3CNF yang memiliki batasan tambahan berikut: Setiap variabel muncul tepat klausa.222 Dengan klausa, mereka membagikan paling banyak 1 variabel.222111 Saya ingin tahu betapa sulitnya menghitung tugas yang memuaskan dari formula seperti itu. Perbarui 06/04/2013...
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Algoritma Berkowitz menyediakan sirkuit ukuran polinomial dengan kedalaman logaritmik untuk penentu matriks kuadrat menggunakan kekuatan matriks. Algoritma secara implisit menggunakan pembatalan. Apakah pembatalan penting untuk mencapai sirkuit ukuran polinomial dengan kedalaman logaritmik atau...
Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C...
Biarkan untuk , dengan janji bahwa (di mana jumlahnya lebih dari ). Lalu apa kompleksitas penentuan jika ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Perhatikan bahwa secara...
Apa sajakah sumber terbaik (buku dan makalah) untuk memotivasi dan mempelajari kompleksitas komunikasi sendiri dan dalam hubungannya dengan hubungannya dengan teori kompleksitas
Pertimbangkan masalah klasik # P-complete # 3SAT, yaitu untuk menghitung jumlah penilaian untuk membuat 3CNF dengan variabel yang memuaskan. Saya tertarik pada perkiraan aditif . Jelas, ada algoritma sepele untuk mencapai 2 ^ {n-1} -error, tetapi jika k <2 ^ {n-1} , apakah mungkin untuk memiliki...
Sebuah homomorfisma dari grafik untuk grafik G ' = ( V ' , E ' ) adalah pemetaan f dari V ke V ' sehingga jika x dan y yang berdekatan di E maka f ( x ) dan f ( y ) berbatasan dengan E ′ . Sebuah endomorfisma dari grafik GG = ( V, E)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V',...
Apa hasil terbaik untuk jumlah gerbang dalam rangkaian yang mengalikan dua bilangan bulat n-bit? Metode yang jelas menghasilkan gerbang . Ada pendekatan yang lebih baik dengan gerbang θ ( n log n log log n ) dan θ ( n log n 2 log ∗ ( n ) ) .θ ( n2)θ(n2)\theta(n^2)θ ( n logn logcatatann...
Katakanlah kita memiliki fungsi Boolean f: { - 1 , 1 }n→ { - 1 , 1 }f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} dan kami menerapkan pembatasan δδ\delta -random pada fff . Selain itu, katakan bahwa pohon keputusan TTT yang menghitung fff menyusut ke ukuran O ( 1 )HAI(1)O(1) sebagai akibat dari...
Biarkan f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] menjadi polinomial yang diberikan oleh sirkuit aritmatika CCC ukuran . Diberikan sebagai input, apakah ada algoritma deterministik untuk memeriksa apakah semua faktor irreducible dari di adalah bentuk linear? Pada...
Mari kita perbaiki penyandian mesin-Turing dan mesin-Turing universal, U, yang pada input (T, x) menghasilkan output T apa pun pada input x (mungkin keduanya berjalan selamanya). Tentukan kompleksitas Kolmogorov dari x, K (x), sebagai panjang dari program terpendek, p, sehingga U (p) = x. Apakah...