Pertanyaan yang diberi tag «reference-request»

Istilah inversi program memiliki banyak corak makna, tetapi mungkin dimulai dengan karya J. McCarthy tahun 1956, The Inversion of Functions Defined oleh Turing Machines dalam konteks AI. Saat ini banyak koneksi antara inversi program dan bidang lain telah ditemukan, misalnya pemrograman reversibel (fisik dan logis), evaluasi parsial, verifikasi, pemrograman dua …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Motivasi : Ketika mengembangkan alat untuk versi data, kami akhirnya mencari ke dalam algoritma untuk "membedakan" dua set bilangan bulat, dengan menghasilkan serangkaian transformasi yang membawa satu set bilangan bulat ke yang lain. Kami dapat mengurangi masalah itu menjadi masalah sangat alami berikut yang tampaknya memiliki koneksi untuk mengedit jarak, …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Misalkan adalah bahasa parameter untuk beberapa alfabet . The -slice dari adalah , himpunan contoh di yang memiliki parameter . Kelas kompleksitas berisi bahasa parameter sehingga untuk setiap , mungkin dengan algoritma yang berbeda dan waktu berjalan polinomial terikat untuk setiap . Setiap bahasa parameter-tetap ada di , dan ada …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Misalkan AAA menjadi matriks di atas bidang hingga F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} dan xxx , yyy menjadi vektor ruang Fn2F2n\mathbb{F}_2^n . Saya tertarik pada kompleksitas komputasi untuk memutuskan apakah ada t∈Nt∈Nt \in \mathbb{N} sedemikian rupa sehingga Atx=yAtx=yA^t x = y , yaitu, dalam masalah keterjangkauan untuk sistem dinamika linier di atas …

10 cc.complexity-theory  reference-request  linear-algebra 

Di mana saya dapat menemukan pengantar untuk automata probabilistik dan apa yang mereka kenali (fungsi tertentu dari kata ke )? Apakah ada istilah standar untuk fungsi seperti itu yang dikenali oleh automata probabilistik, analog dengan "bahasa reguler" untuk apa yang dikenali deterministik finite automata (DFA)?[0,1][0,1][0,1] Saya mencari sesuatu yang mendekatinya …

10 reference-request  fl.formal-languages  probabilistic-automata 

Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan: Diberikan: transduser dan bahasa reguler Putuskan: Apakah ia berpendapat bahwa , word, …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Pertimbangkan masalah berikut: Diberikan matriks kami ingin mengoptimalkan jumlah penambahan dalam algoritma multiplikasi untuk komputasi .v ↦ M vM.M.Mv ↦ Mvv↦M.vv \mapsto Mv Saya menemukan masalah ini menarik karena hubungannya dengan kompleksitas perkalian matriks (masalah ini adalah versi terbatas dari perkalian matriks). Apa yang tahu tentang masalah ini? Apakah ada …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Ini adalah fakta yang cukup terkenal yang berasal dari kontradiksi dari ketidaksetaraan (misalnya, ) dalam teori tipe Martin-Loef membutuhkan alam semesta.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Buktinya juga cukup mudah - dengan tidak adanya alam semesta, kita dapat menghapus dependensi dari tipe dependen apa pun untuk mendapatkan …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti formal. Pertanyaan saya adalah tentang pembatasan lebih lanjut …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Pada 1965 artikel " Pada kompleksitas komputasi algoritma " oleh Hartmanis dan Stearns, penulis menduga bahwa jika real-time Turing Machine menghitung jumlah riil , misalnya, basis 10, maka adalah salah bilangan rasional atau nomor transendental.rrrrrrr Apakah ada bilangan transendental yang dapat dihitung yang tidak dapat dihitung oleh mesin Turing real-time …

10 cc.complexity-theory  reference-request  examples 

Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah penelitian utama dalam transaksi terdistribusi? Adakah teori dan solusi terkenal yang membutuhkan …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Apakah ada masalah yang dapat dipecahkan dalam waktu polinomial hanya jika P! = NP, dan sebaliknya dipecahkan dalam waktu (katakanlah) waktu?O ( 2n)O(2n)O(2^n) Contoh sederhana adalah: Jika P! = NP, hitung tes primality untuk angka n-bit acak, jika tidak, evaluasi posisi kasus terburuk acak dalam catur umum papan nxn dengan …

10 cc.complexity-theory  reference-request 

Saya mencoba menemukan distribusi di atas vektor acak, katakanlah , pada -satuan dimensi ruang (di mana ) yang meminimalkan \ max_ {i \ neq j} \ mathrm {Var} (x_i ^ T x_j) tunduk pada kendala \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kE [ x T …

10 reference-request  randomized-algorithms 

Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai NP-complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Dalam Bab 13 "Objek Atom" dari buku "Algoritma Terdistribusi" oleh Nancy Lynch, linearitas (juga dikenal sebagai atomisitas) terbukti menjadi properti yang aman. Dengan kata lain, properti jejak yang sesuai adalah nonempty, prefix-closed, dan limit-closed , sebagaimana didefinisikan dalam Bagian 8.5.3. Secara tidak resmi, properti keselamatan sering diartikan sebagai mengatakan bahwa …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency