Mari dan menjadi set, dan menjadi partisi . Saya ingin membuktikan bahwa ada distribusi lebih dari yang marginalnya seragam lebih dari , dan sedemikian rupa sehingga distribusi lebih dari diinduksi oleh memiliki entropi besar ( distribusi terakhir didefinisikan dengan menetapkan setiap massa...
Saya mencari solusi untuk masalah berikut dan bertanya-tanya apakah ada yang bisa mengarahkan saya ke beberapa penelitian yang ada tentang topik ini. Saya datang dari aplikasi grafik dunia nyata jadi bersabarlah jika terminologi saya tidak tepat. Saya memiliki sistem basis data di mana pengguna...
Penyortiran menggunakan perbandingan 2-elemen memiliki kompleksitas kasus terburuk asimptotik dari (dicapai oleh mergesort, heapsort, penyisipan biner, setidaknya ford-johnson), yang optimal.nlog2(n)nlog2(n)n \log_2(n) Jika kita mengurutkan menggunakan perbandingan yang mengurutkan elemen k...
Apakah ada batas bawah non-sepele pada waktu berjalan algoritma grafik dalam RAM / PRAM / model perhitungan? Saya tidak mencari hasil NP-Hardness di sini. Berikut ini adalah hasil yang bisa saya temukan [lihat ref L92]: 3-Pewarnaan dari n-cycle membutuhkan waktu .Ω ( log∗n
Apakah diketahui jika tensor rank tiga dimensi tensor terletak pada VNP (non-deterministic class valiant)? Jika ya, apa yang diketahui tentang peringkat tensor dimensi tinggi? Sebenarnya saya tertarik pada masalah yang jauh lebih sederhana. Saya ingin tahu apakah seseorang dapat membangun...
Saya tahu varian masalah SUBSETSUM berikut: ( Elberfeld at., 2010 ), NP-complete , dan NEXP-complete ( tautan ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S UM.SUBSETSUM....
Saya baru mempelajari sistem penulisan ulang sebagai mahasiswa PhD tahun pertama. Saya ingin mengusulkan kursus topik khusus tentang teori penulisan ulang, dan saya ingin memastikan saya tidak meninggalkan sumber asli. Saya memiliki salinan Barendregt dan Terese sebagai sumber buku pelajaran....
Pertimbangkan polytope rasional yang didefinisikan dengan cara oracle pemisahan. Yaitu, dapat digambarkan secara implisit sebagai , tetapi karena adalah sangat besar, kami menggunakan oracle, yang diberi titik , baik kata atau kembali setengah-ruang sehingga .P P = { x ∈ R k : A x ≤ b , A ∈ Z m × k...
Apa set terbesar yang mengakui algoritma pencarian kuantum deterministik, untuk elemen bertanda tunggal, yang beroperasi hanya dengan satu panggilan ke oracle? Pertanyaannya menarik karena algoritma Grover, yang untuk pencarian tidak terstruktur pada set elemen membutuhkan O ( √NNNpanggilan ke...
Misalkan kita ingin menemukan elemen terkecil dari himpunan , yang elemennya diindeks dari ke . Kami tidak memiliki akses ke nilai-nilai elemen ini, tetapi kami dapat membandingkan dua elemen untuk melihat mana yang lebih kecil. Untuk setiap indeks dan , ada terkait biaya untuk membandingkan th dan...
Saya mencari sumber tentang gagasan formal tentang program. Ini tampaknya terkait erat dengan korespondensi Curry-Howard, tetapi orang juga bisa melacak ini kembali ke Mesin Universal Turing dan kemampuannya untuk membaca deskripsi dan input dari setiap TM. Ketika membaca tentang koresponden...
Saya ingin tahu pentingnya TCS dalam penelitian Malware. Karena volume besar varian malware baru yang diterima per hari (~ 50.000 sampel / hari menurut McAfee), peneliti malware sangat bergantung pada analisis dinamis (yaitu menjalankan sampel dalam kotak pasir dan memantau perilaku mereka) dan...
Adakah yang tahu tentang karya apa pun yang menghubungkan Ilmu Komputer Teoritis dan Energi Murah / Berkelanjutan? yaitu apakah ada pekerjaan di TCS dengan aplikasi dalam Energi Murah /
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa...
Apakah masalah berikut NP-hard? Diberikan satu set bilangan real (target) x 1 , … , x N dan "trisula" yang didefinisikan oleh dua jarak a , b dari pusat trisula, berapakah angka minimum K dari posisi p 1 , ... , p K dari trisula untuk mencakup semua target, yaitu K ⋃ k = 1 { p k - a , p k , p k +...
Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan...
Dalam pekerjaan saya muncul masalah klasifikasi CFL di bawah gambar fungsi rasional. Dalam istilah lain, apa kelas bahasa bahasa membentuk , untuk konteks tetap bahasa bebas L dan deterministik negara yang terbatas transduser T . Saya telah memperoleh beberapa hasil mudah seperti bahasa Dyck dengan...
Saya ingin metode yang efisien untuk menghitung jumlah minimum transposisi yang diperlukan untuk mengurutkan daftar. Saya tidak perlu tahu apa sebenarnya transposisi itu. Misalnya, daftar [1, 1, 2, 0] membutuhkan 2 transposisi: [1, 1, 2, 0] // Start [1, 1, 0, 2] // Swap index 2 and 3 [0, 1, 1, 2]...
Saya membaca tentang Masalah Ketinggian Bintang dan memperhatikan bahwa keluarga Eggan tentang ekspresi reguler mengikuti pola sederhana yang dapat dijelaskan dengan ekspresi reguler. Pertanyaan saya adalah: apakah ada hasil yang menarik tentang ekspresi reguler yang menggambarkan keluarga ekspresi...
Saya mencari kertas asli tempat Hoare (atau orang lain saya kira) membahas pemutusan hubungan kerja (Total Correctness). Atau karya awal lainnya tentang terminasi untuk logika "vanilla" Hoare (saya kira maksud saya HL untuk bahasa mainan mirip-C). Saya telah melihat dasar Aksiomatik untuk Program...