Saya mengalami masalah pencocokan ini yang saya tidak dapat menuliskan algoritma waktu polinomial. Biarkan menjadi grafik tertimbang lengkap dengan masing-masing set vertex dan , di mana . Juga, biarkan dan menjadi fungsi bobot masing-masing di tepi danP V Q VP, QP,QP, QPVPVP_VQVQVQ_V| PV| = |...
diketahui dengan baik bahwa modal kalkulusμμ\mu adalah salah satu logika temporal yang paling ekspresif untuk mengekspresikan properti pohon / grafik, dan bahwa CTL * sangat kurang ekspresif daripada kalkulus.μμ\mu Di sini saya ingin meminta contoh formula kalkulus, sesederhana mungkin, yang tidak...
Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak
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...
Saya tertarik pada kompiler terverifikasi yang diformalkan dalam teori tipe Martin-Löf, yaitu Coq / Agda. Saat ini saya sudah menulis contoh mainan kecil. Dengan demikian saya dapat membuktikan bahwa optimasi saya benar. Misalnya penambahan dengan nol dapat dihilangkan, yaitu ekspresi seperti "x +...
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...
Apakah ada keluarga aksi kelompok yang diketahui dengan elemen yang ditunjuk dalam set yang sedang ditindaklanjuti, di mana diketahui cara efisien \: sampel (pada dasarnya seragam) dari kelompok, menghitung operasi terbalik, \: hitung operasi grup, dan hitung aksi grup dan tidak ada algoritma...
Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua...
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...
Saya mengajar kursus tentang meta-heuristik dan perlu membuat contoh menarik dari masalah kombinatorial klasik untuk proyek jangka. Mari kita fokus pada TSP. Kami menangani grafik dimensi dan lebih besar. Saya mencoba tentu saja untuk menghasilkan grafik dengan matriks biaya dengan nilai yang...
Saya melihat beberapa orang menggunakan notasi Krivine untuk aplikasi fungsi ketika menyajikan sintaks untuk -calculus. Sebagai contoh, -term (dengan konvensi normal yang berfungsi mengaitkan aplikasi ke kiri, sehingga sebenarnya berarti ) ditulis (dengan konvensi serupa yang sebenarnya berarti )....
Saya seorang mahasiswa pascasarjana dari India. Saya sangat tertarik menghadiri Lokakarya, konferensi, dan mengundang dosen yang diberikan oleh profesor terkemuka. Di akhir pembicaraan seperti biasa beberapa orang akan bertanya dan pembicara akan menjawabnya. Tetapi masalah saya adalah saya tidak...
Kita tahu bahwa . Dari Teorema Savitch, , dan, dari Space Hierarchy Teorem, . Jadi, karena kita tidak tahu apakah , kita tidak tahu apakah , atau kita tahu itu ? Adakah yang mencoba membuktikan bahwa \ mathcal L ^ 2 \ subseteq \ mathcal P ? Apa hasil terbaru, atau upaya, dengan cara ini? Saya sudah...
Saya menemukan pertanyaan berikut, yang merupakan latihan yang mudah (spoiler di bawah). Kami diberikan contoh masalah penghentian (yaitu TMs ), dan kami harus memutuskan mana yang benar-benar berhenti di . Artinya, kita perlu menampilkan . Kami diberi oracle untuk masalah penghentian, tetapi kami...
Banyak literatur komputasi kuantum berfokus pada model rangkaian. Komputasi kuantum adiabatik tidak didasarkan pada penerapan urutan operator kesatuan, tetapi pada perubahan Hamiltonian yang bergantung waktu. Saya mencari wawasan tentang hal-hal berikut. Apakah komputasi kuantum adiabatik sekuat...
Pertimbangkan grafik dengan semua sisi memiliki kapasitas unit. Satu dapat menemukan potongan min di waktu polinomial. Misalkan saya diizinkan untuk meningkatkan kapasitas setiap tepi hingga tak terbatas (setara dengan menggabungkan node di kedua sisi tepi). Apa cara optimal untuk memilih set tepi...
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...
Berikut adalah dua keluarga dari fungsi hash pada string x⃗ = ⟨ X0x1x2... xm⟩x→=⟨x0x1x2...xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : halhalpxsaya∈ Zhalxsaya∈Zhalx_i \in \mathbb{Z_p}h1Sebuah( x⃗ ) = ∑asayaxsayamod phSebuah1(x→)=∑Sebuahsayaxsayamodhalh^1_{a}(\vec{x}) = \sum a^i x_i \bmod...