Ilmu Komputer Teoritis

Saya tahu bahwa pertanyaan "apakah formula orde pertama memiliki model" tidak dapat diputuskan secara umum.ϕϕ\phi Adakah yang bisa memberi saya tautan atau buku yang memberikan jawaban untuk model yang terbatas. Jika saya memiliki rumus urutan pertama , apakah dapat diputuskan apakah ϕ memiliki model terbatas? Saya cukup yakin bahwa pertanyaannya …

11 reference-request  lo.logic  computability  finite-model-theory 

Saya mencoba menemukan masalah yang kompleksitas ruang kasus rata-ratanya telah dianalisis. Lebih khusus, saya tertarik untuk mengetahui apakah ada masalah dengan kompleksitas ruang yang terbukti batas bawahnya yang super-linear, dan terutama jika ada dengan analisis kasus rata-rata (misalnya, terikat berlaku bahkan jika algoritma diizinkan untuk melakukan kesalahan dalam persentase kecil …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NPNP^{\text{NP}} Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah lengkap selain yang umum (diberi mesin NEXP dan sebuah …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Keamanan SHA-1 telah didiskusikan sejak algoritma untuk menemukan tabrakan pertama kali diterbitkan di CRYPTO 2004 dan kemudian ditingkatkan. Wikipedia mendaftar beberapa referensi , namun tampaknya penelitian terbaru yang diterbitkan (dan kemudian ditarik) pada subjek ini adalah pada tahun 2009 (Cameron McDonald, Philip Hawkes dan Josef Pieprzyk "Jalur Diferensial untuk SHA-1 …

11 cr.crypto-security  hash-function  cryptographic-attack 

Dalam makalah lokakarya tahun 1999 "Model Metrik PCF" , Martín Escardó menunjukkan bahwa adalah mungkin untuk memberikan interpretasi sederhana PCF dalam kategori ruang ultrametrik lengkap dan peta non-luas. Dia menunjukkan bahwa model ini memadai, dan dapat memodelkan penambahan konstruk batas waktu (yaitu, operator yang akan menjalankan argumennya untuk sejumlah langkah …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Nurikabe adalah teka-teki isian kisi-kisi berbasis kendala, mirip dengan Minesweeper / Nonograms; angka ditempatkan pada kisi yang harus diisi dengan nilai on / off untuk setiap sel, dengan masing-masing angka menunjukkan wilayah terhubung 'on' sel dengan ukuran itu, dan beberapa kendala kecil pada wilayah sel 'off' (itu harus terhubung dan …

11 cc.complexity-theory  np-hardness  puzzles 

Angluin dan Laird ('88) memformalkan pembelajaran dengan data yang rusak secara acak dalam model "PAC dengan noise klasifikasi acak" (atau PAC berisik). Model ini mirip dengan pembelajaran PAC , kecuali untuk label contoh yang diberikan kepada pelajar rusak (terbalik), secara independen secara acak, dengan probabilitas .η&lt; 1 / 2η&lt;1/2\eta < …

11 lg.learning 

Saya seorang siswa CS. Kami melakukan teori grafik dalam satu saja. Saya menemukan itu menarik. Apa aplikasi nyata dari teori grafik di bidang ilmu komputer? Sebagai contoh, saya menemukan bahwa beberapa konsep dalam teori grafik dapat digunakan untuk merancang jaringan. Apa aplikasi serupa lainnya?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Apa kendala untuk membuat pemecah SAT kompetitif dengan algoritma grafik khusus? Dengan kata lain, apakah layak untuk mengharapkan pemecah SAT yang dapat menggantikan peran perancang algoritma - yaitu, dapat secara otomatis mengenali struktur masalah dan kemudian menyelesaikannya secepat algoritma khusus? Berikut beberapa contoh yang menurut saya menantang untuk pemecah SAT …

11 ds.algorithms  graph-theory  sat 

Merlin, yang memiliki sumber daya komputasi tidak terbatas, ingin meyakinkan Arthur bahwa untuk dengan dan Menghitung jumlah ini dengan cara langsung (eksponensial dan penambahan modular) membutuhkan waktu dengan perkalian berbasis FFT. * Tetapi Arthur hanya dapat melakukan operasi .m | ∑p ≤ N, p prime halkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i .iiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Apakah ada kelas algoritma hash, apakah teoretis atau praktis, sehingga suatu algoritma di kelas dapat dianggap 'refleksif' sesuai dengan definisi yang diberikan di bawah ini: hash1 = algo1 ("input teks 1") hash1 = algo1 ("input teks 1" + hash1) Operator + mungkin merupakan gabungan atau operasi tertentu lainnya untuk menggabungkan …

11 ds.algorithms  hash-function 

Misalkan menjadi grafik berarah asiklik, sedemikian sehingga derajat dari titik mana pun adalah . Untuk setiap simpul kita dapat menghitung jumlah simpul yang bisa dijangkau, hanya dengan menjalankan dfs dari setiap simpul dan ini akan membutuhkan waktu . Apakah ada cara yang lebih baik untuk menyelesaikan masalah ini?G ( V, …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Saya sedang membaca makalah berjudul Random Oracles with (out) Programmability . Paragraf terakhir dari bagian 2.3 berbunyi: [Menggunakan pendekatan baru kami] tidak perlu menerapkan teknik derandomisasi asimtotik (dan seragam) klasik yang terkenal berdasarkan lemma Borel-Cantelli . Sejauh pengetahuan kami, pendekatan ini adalah novel untuk makalah ini. Saya melihat entri Wikipedia …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira beberapa drift polinomial konstan atau bahkan dapat dipahami tetapi …

11 cc.complexity-theory  approximation-algorithms  reductions