Pengamatan mudah adalah bahwa jika masalah adalah decidable oleh program non-deterministik waktu polinomial menggunakan O ( log n ) bit nondeterministic (yaitu, semua saksi yang logaritmik panjang), kemudian A ∈ P .SEBUAHAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Jika seseorang kemudian...
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan...
Dalam pracetak https://arxiv.org/abs/1801.00776 baru-baru ini , dinyatakan bahwa bilangan real dapat diurutkan dalam waktu O ( n √nnn dan ruang linear. Makalah ini tampaknya masuk akal, meskipun saya bukan ahli dalam menyortir algoritma.O(nlogn−−−−√),O(nlogn),O(n \sqrt{\log n}), Jika benar,...
Ada peneliti yang menunjukkan bahwa menghapus bit harus mengkonsumsi energi, sekarang adakah penelitian yang dilakukan terhadap konsumsi rata-rata algoritma dengan kompleksitas komputasi ? Saya kira, kompleksitas komputasi F ( n ) berkorelasi dengan konsumsi energi rata-rata, harap saya bisa...
Bayangkan kita memiliki dua set ukuran mmm dari titik X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Apa kerumitan (waktu) pengujian jika perbedaannya hanya berdasarkan rotasi? : ada matriks rotasi OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sedemikian rupa sehingga X=OYX=OYX=OY ? Ada masalah yang mewakili nilai-nilai...
Saya membaca buktinya dari sini dan saya menemukan masalah teknis (yang sangat penting). Saya tahu ini agak spesifik dan konteksnya bermasalah, tetapi saya sendiri tidak bisa memahaminya. Di halaman 51 dan 55, setelah menyajikan verifier "standar", mereka beralih untuk memodifikasi verifier untuk...
Diberikan grafik G sederhana yang tidak terarah, adalah nontrivial untuk menentukan apakah G memiliki automorfisme nontrivial (bukan identitas). Tetapi apa hasil pada batas atas / bawah masalah keputusan
Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah...
Apa kompleksitas waktu yang tepat dari algoritma ruang log st-konektivitas yang tidak diarahkan oleh Omer
Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya...
Untuk grafik diberikan , Masalah Pemisah menanyakan apakah set vertex atau edge dari kardinalitas kecil (atau berat) ada yang memindahkan partisi G menjadi dua grafik terpisah dengan ukuran yang kira-kira sama. Ini disebut Masalah Pemisah Verteks ketika himpunan yang dihapus adalah himpunan simpul,...
Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua...
Berikut ini mungkin tampak bodoh (dan itu mungkin mencerminkan pemahaman saya yang buruk - jadi tolong tahan dengan saya) Saya punya pertanyaan tentang teorema PCP. Kita tahu bahwa setelah tiga langkah pertama yaitu. Pengurangan Gelar, Ekspanderisasi dan Penguatan Gap, kami memiliki grafik kendala...
Ini adalah kelanjutan dari pertanyaan saya sebelumnya tentang komunikasi batas bawah untuk fungsi boolean parsial . Dapatkah seseorang menyarankan referensi tentang batas bawah untuk komunikasi multi pihak non-deterministik? Saya telah mensurvei makalah di lapangan, tetapi semua orang tampaknya...
Gim dua babak proverver (2P1R) adalah alat yang penting untuk kekerasan perkiraan. Secara khusus, pengulangan paralel game dua putaran satu-prover memberikan cara untuk meningkatkan ukuran celah dalam versi keputusan dari masalah perkiraan. Lihat ceramah survei Ran Raz di CCC 2010 untuk ikhtisar...
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan...
Saya sedang membaca makalah berjudul Random Oracles with (out) Programmability . Paragraf terakhir dari bagian 2.3 berbunyi: [Menggunakan pendekatan baru kami] tidak perlu menerapkan teknik derandomisasi asimtotik (dan seragam) klasik yang terkenal berdasarkan lemma Borel-Cantelli . Sejauh...
Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira...
Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i...
Merlin, yang memiliki sumber daya komputasi tidak terbatas, ingin meyakinkan Arthur bahwa untuk dengan dan Menghitung jumlah ini dengan cara langsung (eksponensial dan penambahan modular) membutuhkan waktu dengan perkalian berbasis FFT. * Tetapi Arthur hanya dapat melakukan operasi .m | ∑p ≤ N, p...