Ilmu Komputer Teoritis

Pertanyaan ini mungkin memiliki jawaban yang jelas ... tetapi inilah pertanyaannya. Secara intuitif, ini adalah pernyataan masuk akal berikut - "mesin dengan subrutin A yang pada gilirannya memiliki subrutin B sama dengan mesin dengan subrutin A yang memiliki akses ke subrutin B". Untuk mendefinisikan masalah ini secara formal, saya akan …

11 complexity-classes  oracles 

Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah pengurangan Karp dan …

11 cc.complexity-theory  np-hardness  reductions 

Apakah ada sesuatu dalam literatur yang dekat dengan masalah berikut: Diberikan grafik bipartit dengan bipartisi seimbang { U , W } , apakah ada M yang cocok dengan sempurna di G sehingga untuk setiap 2 tepi u 1 w 1 , u 2 w 2 ∈ M , ada tepi …

11 matching 

Saya akan sangat tertarik pada referensi ke teori fungsi submodular (dari dasar ke lanjutan). Secara khusus, saya sedang mempelajari perkiraan untuk masalah optimasi keras dan saya ingin mengembangkan dasar saya dalam fungsi submodular karena mereka relevan dengan masalah optimasi yang telah saya pelajari. Terima kasih sebelumnya.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Salah satu konsekuensi paling praktis dari korespondensi "Curry-Howard-Lambek" adalah bahwa sintaks dari banyak lambda-calucli / logika dapat digunakan untuk melakukan konstruksi dalam kategori yang cukup terstruktur. Misalnya, Synthetic Differential Geometry memiliki model dalam topoi yang berisi dan menyematkan kategori manifold halus, sehingga Anda dapat menggunakan logika tingkat tinggi untuk membangun …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Pertimbangkan grafik tidak langsung yang terhubung dengan bobot tepi non-negatif, dan dua simpul dibedakan . Di bawah ini adalah beberapa masalah lintasan yang semuanya dari bentuk berikut: temukan lintasan , sedemikian sehingga beberapa fungsi bobot tepi pada lintasan adalah minimum. Dalam hal ini mereka semua adalah "saudara" dari masalah jalan …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Robin Gandy adalah murid Alan Turing . Gandy melakukan analisis Mesin Analitik Babbage (lihat 'Gandy - The Confluence of Ideas pada tahun 1936' dikutip dalam 'Herken, Rolf - Mesin Universal Turing - Sebuah Survei Setengah Abad . Springer Verlag') - dan mengatakan hal itu terjadi (lih. hlm. 52–53): Fungsi aritmatika …

10 turing-machines  universal-computation  charles-babbage 

Masalah pencocokan sempurna dua-warna adalah memutuskan apakah grafik memiliki pewarnaan dengan dua warna sedemikian rupa sehingga setiap simpul memiliki satu tetangga yang persis sama dengan warnanya. Masalahnya terbukti NP-lengkap oleh Schaefer . Itu tetap NP-lengkap bahkan untuk grafik kubik planar. Saya tertarik pada varian di mana kami ingin memutuskan apakah …

10 cc.complexity-theory  np-hardness 

Mengingat grafik G1, G2 dan G3, kami ingin melakukan uji isomorfisme F antara G1 dan G2 serta G1 dan G3. Jika G2 dan G3 sangat mirip sehingga G3 dibentuk dengan menghapus satu simpul dan memasukkan satu simpul dari G2, dan kita memiliki hasil F (G1, G2), dapatkah kita menghitung F …

10 graph-theory  graph-algorithms  graph-isomorphism 

Kita tahu di bawah kita tidak bisa menyelesaikan -SUM dalam waktu bawah fungsi apa pun f ( K ) (biasanya 2 O ( K ) ).ETHETHETHKKKf( K) p o l y( n K.)f(K)halHaily(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2HAI(K)2^{O(K)} Apakah ada dugaan yang mencegah kompleksitas ( logn )O ( K)(catatan⁡n)HAI(K)(\log n)^{O(K)} (ini sepenuhnya …

10 cc.complexity-theory  subset-sum 

Di Kebun Binatang Kompleksitas, ia mengatakan [ 1 ] itu, dalam kompleksitas deskriptif, PPP dapat didefinisikan oleh tiga jenis yang berbeda dari formula, FO(LFP)FO(LFP)FO(LFP) yang juga FO(nO(1))FO(nO(1))FO(n^{O(1)}) , dan juga sebagai SO(HORN)SO(HORN)SO(HORN) . Namun, ada beberapa pengecualian, misalnya, EvennessEvennessEvenness tidak bisa diungkapkan oleh FP (FP memiliki kekuatan ekspresif yang sama …

10 lo.logic  polynomial-time  descriptive-complexity 

Saya bertanya-tanya apakah seseorang dapat memberi saya intuisi di balik mengapa kepastian positif tipe data induktif menjamin normalisasi yang kuat. Untuk menjadi jelas, saya melihat bagaimana memiliki kejadian negatif mengarah pada perbedaan, yaitu dengan mendefinisikan: data X where Intro : (X->X) -> X kita dapat menulis fungsi yang berbeda. Tetapi …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Saat ini saya sedang mencari subjek untuk tesis dan menemukan bidang teori informasi algoritmik. Lapangan itu tampaknya sangat menarik bagi saya, tetapi tampaknya semuanya adalah lapangan yang telah dilakukan sebelum bertahun-tahun. Jadi pertanyaan saya adalah: Apakah bidang itu "hidup" atau cukup tertutup? Apakah ada pertanyaan terbuka? Terima kasih

10 cc.complexity-theory  it.information-theory 

Kelas NCsayaNCsaya\textrm{NC}^i adalah fungsi kelas yang dapat dihitung oleh rangkaian keluarga dengan ukuran kipas masuk, nO ( 1 )nHAI(1)n^{O(1)} dan kedalaman O ( logsaya( n ) )HAI(catatansaya⁡(n))O(\log^i(n)) . The NCNC\textrm{NC} -hierarchy adalah gabungan dari kelas-kelas. Apakah ada studi varian ukuran linear dari hierarki ini? Itu adalah keluarga rangkaian fan-in terbatas, …

10 cc.complexity-theory  circuit-complexity 

Ini adalah generalisasi dari pertanyaan saya sebelumnya . Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle . Awalnya kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan menjadi beberapa string.M.MMSEBUAHAASEBUAHAAxxx Pertimbangkan permainan Alice dan Bob berikut ini. Awalnya, Alice dan …

10 cc.complexity-theory  complexity-classes  gt.game-theory