Apakah sudah ada penelitian dalam mengimplementasikan konstruksi pengacakan acak? Tampaknya bukti ekstraktor menggunakan Big-Oh, meninggalkan kemungkinan untuk konstanta tersembunyi yang besar, membuat implementasi terprogram berpotensi tidak realistis. Beberapa konteks: Saya tertarik menggunakan...
Apakah mungkin untuk membangun sebuah eksplisit 0 / 1 -matrix dengan N 1,5 yang seperti bahwa setiap N 0,499 × N 0,499 submatrix mengandung kurang dari N 0,501 orang?N× NN×NN \times N 0 / 10/10/1N1.5N1.5N^{1.5}N0,499× N0,499N0.499×N0.499N^{0.499} \times N^{0.499}N0,501N0.501N^{0.501} Atau mungkin...
Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif,...
Tujuan penting dari metode formal adalah untuk membuktikan kebenaran sistem, baik dengan cara otomatis atau yang diarahkan manusia. Namun, tampaknya bahkan jika Anda dapat memberikan bukti kebenaran, Anda TIDAK mungkin dapat menjamin bahwa sistem tidak akan gagal. Sebagai contoh: Spesifikasi...
Tentukan kelas bahasa "sirkular" berikut di atas alfabet alfabet hingga. Sebenarnya, nama itu sudah ada untuk menunjukkan hal yang berbeda tampaknya, digunakan di bidang komputasi DNA. AFAICT, itu kelas bahasa yang berbeda. Bahasa L adalah bundaran iff untuk semua kata www di Σ∗Σ∗\Sigma^* , kami...
Seorang kolega yang bekerja pada pemrograman genetika menanyakan kepada saya pertanyaan berikut. Saya pertama kali mencoba menyelesaikannya berdasarkan pendekatan serakah, tetapi pada pemikiran kedua, saya menemukan contoh tandingan terhadap algoritma serakah. Jadi, saya pikir layak disebutkan di...
Dalam pertanyaan ini , kami tampaknya telah mengidentifikasi masalah alami yang NP-lengkap di bawah reduksi acak, tetapi mungkin tidak di bawah reduksi deterministik (meskipun ini tergantung pada asumsi yang tidak terbukti dalam teori bilangan yang benar). Apakah ada masalah lain yang diketahui?...
Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang...
The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Pertanyaan ini terutama terkait dengan masalah rekayasa-perangkat lunak praktis, tetapi saya ingin tahu jika para ahli teori dapat memberikan wawasan lebih dalam. Sederhananya, saya memiliki simulasi Monte Carlo yang menggunakan generator nomor pseudorandom, dan saya ingin memparalelkannya...
Lima pertanyaan terkait diajukan, dan satu jawaban terintegrasi diharapkan: T1: Apakah ada bahasa yang dikenali semata-mata oleh mesin-mesin Turing dalam yang runtime eksponennya tidak dapat ditentukan ?LLLPPP T2: Dapatkah contoh mesin Turing ini dibuat secara halus? Q3: Dapatkah mesin...
Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jika maka .P = W [ P ]F P T = W...
Misalkan grafik dengan n simpul disajikan sebagai aliran tepi m , tetapi beberapa lintasan diizinkan melewati aliran.GGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan, dan Sridar Rajagopalan mengamati bahwa ruang diperlukan untuk menentukan apakah ada jalur antara dua simpul yang diberikan...
Apa beberapa hasil yang diketahui untuk menemukan subarray n-dimensi yang tepat di dalam array n-dimensi? Dalam 1D, itu hanya masalah pencocokan string, KMP melakukannya dalam waktu linier. Dalam 2D, makalah ini menunjukkan dapat dilakukan dalam waktu linier dengan sedikit ruang ekstra. Bisakah...
Sebagai contoh, dalam bahasa pemrograman adalah umum untuk menulis kompiler / juru bahasa X-in-X, tetapi pada tingkat yang lebih umum banyak sistem Turing-complete yang dikenal dapat mensimulasikan diri mereka dengan cara yang mengesankan (misalnya mensimulasikan Game of Life Conway dalam Game of...
Negara-negara PCP teorema bahwa tidak ada algoritma waktu polinomial untuk MAX 3SAT untuk menemukan tugas memuaskan klausul formula 3SAT satisfiable kecuali P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Ada sepele polinomial waktu algoritma yang memenuhi dari klausa. Jadi, bisa kita lakukan...
Ini adalah pernyataan kembali dari pertanyaan sebelumnya . Pertimbangkan permainan informasi sempurna yang tidak memihak antara dua pemain, Alice dan Bob. Para pemain diberi permutasi bilangan bulat 1 sampai n. Di setiap belokan, jika permutasi saat ini meningkat, pemain saat ini kalah dan pemain...
Saya baru-baru ini membaca ringkasan masalah yang terlibat dengan melakukan perbedaan di antara pohon-pohon dan itu membuat saya tertarik untuk belajar apa yang paling canggih untuk masalah ini. Juga, anggaplah bahwa di antara operasi edit yang diizinkan adalah simpul tambah / hapus tradisional,...
Penafian: Saya bukan ahli teori CS. Berasal dari aljabar abstrak, saya terbiasa berurusan dengan hal-hal yang setara dengan isomorfisme - tetapi saya mengalami kesulitan menerjemahkan konsep ini ke struktur data. Saya pertama kali berpikir bahwa set lurus morfisme bijective teoritis akan...
Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya...