Ilmu Komputer Teoritis

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, …

8 ds.algorithms  sorting  permutations  edit-distance 

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 dua kawat yang sesuai dengan …

8 fl.formal-languages  context-free-languages 

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 adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

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 / Berkelanjutan.

8 application-of-theory 

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 kelas bahasa yang dikenali oleh maschine nondeterministic seperti itu …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

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 oracle, sebenarnya bisa mencari set 4-elemen hanya menggunakan satu panggilan.O ( …

8 quantum-computing  quantum-information 

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 menjauh dari analisis statis dan Rekayasa terbalik …

8 cr.crypto-security  security 

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 …

8 cc.complexity-theory  np-hardness  set-cover 

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 Curry-Howard, saya merasa bahwa keutamaan UTM-s dapat merusak penelitian pada …

8 pl.programming-languages  universal-computation  type-systems  program-verification  formal-methods 

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 th unsur . …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

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. Untuk makalah orisinal: Saya telah melihat karya Dershowitz tentang pembuktian …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems 

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 polinomial non-nol kelas yang terletak di VNP, dalam n 3 …

8 cc.complexity-theory  algebraic-complexity 

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 ∈ …

8 ds.algorithms  convex-optimization  convex-geometry  high-dimensional-geometry 

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 …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

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 )Ω(catatan∗⁡n)\Omega(\log^*{n}) Saya ingin tahu apakah ada kemajuan …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds