Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff adalah anggota dari beberapa kelas fungsiCC\mathcal{C} fff adalah -far dari setiap fungsi di kelas...
Wikipedia memberikan contoh masalah di mana versi penghitungannya sulit, sedangkan versi keputusannya mudah. Beberapa di antaranya menghitung kecocokan sempurna, menghitung jumlah solusi untuk -SAT dan jumlah penyortiran topologi.222 Apakah ada kelas penting lainnya (misalnya contoh dalam kisi,...
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di...
Sebuah rantai Selain merupakan urutan bilangan bulat positif di mana dan masing-masing indeks , kita memiliki untuk beberapa indeks . The panjang rantai Selain adalah ; yang sasaran dari rantai samping adalah .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2,...
Sementara teorema Adleman menunjukkan, bahwa , saya tidak mengetahui adanya literatur yang menyelidiki kemungkinan dimasukkannya . Apa konsekuensi kompleksitas-teoretis yang akan dimiliki oleh inklusi seperti itu?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq
Masalah klasik dalam teori probabilitas adalah untuk menyatakan probabilitas suatu peristiwa dalam hal peristiwa yang lebih spesifik. Dalam kasus yang paling sederhana, orang dapat mengatakan P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Tulis Mari ABABAB...
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...
Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru....
Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N
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...
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...
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...
Masalah menarik berikut muncul dalam penelitian saya baru-baru ini: INSTAN: Grafik .G ( V, E)G(V,E)G(V, E) SOLUSI: Selesai siklus aneh chordless, didefinisikan sebagai superset dari edge set sehingga grafik memiliki properti yang setiap tepi dalam terkandung dalam siklus aneh chordless. E G ′ ( V...
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...
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . (Pertanyaan ini sedikit "survei".) Saya saat ini sedang mengerjakan masalah di mana saya mencoba untuk
Apakah ada survei algoritma untuk menghitung interpolant? Bagaimana dengan makalah pada hanya satu algoritma? Kasus yang paling saya minati adalah A=¬p∧qA=¬p∧qA=\lnot p\land q dan C=qC=qC=q , ditambah kendala bahwa interpolant sekecil mungkin. (Saya tahu makalah McMillan dari 2005 , yang...
Pertanyaan Utama / Umum Biarkan menjadi bahasa. Tentukan bahasa dengan dan untuk . Pertimbangkan . Jadi, kami berulang kali "menyematkan" ke dalam dirinya sendiri untuk memperoleh .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L i...
Menghitung konstanta Cheeger dari sebuah grafik , juga dikenal sebagai konstanta isoperimetri (karena pada dasarnya rasio area / volume minimum), dikenal sebagai NP-complete. Umumnya diperkirakan. Saya tertarik untuk mengetahui apakah algoritma polinom persis dikenal untuk kelas grafik khusus....
Memprediksi pasar saham itu sulit! Bisakah TCS menjadikan sentimen ini lebih formal? Baru-baru ini saya mulai berpikir sedikit tentang keuangan, dan bertanya-tanya bagaimana pengetahuan tentang TCS dapat membantu. Hedge fund dan perusahaan investasi tampaknya menggunakan perdagangan algoritmik,...
Apa kompleksitas waktu (bukan kompleksitas kueri) dari algoritma Grover? Tampak jelas bagi saya bahwa itu adalah karena adaΩ( √Ω(log(N)N−−√)Ω(log(N)N)\Omega(\log(N) \sqrt{N})iterasi dan setiap iterasi membutuhkan penggunaan operasi refleksi yang pada gilirannya membutuhkan...