Pertanyaan yang diberi tag «reference-request»

Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya adalah penerjemah dari infix ke ekspresi postfix. Tetapi gagal menunjukkan …

20 reference-request  pl.programming-languages  semantics  compilers 

Masalah menarik berikut muncul dalam penelitian saya baru-baru ini: INSTAN: Grafik .G ( V, E)G(V,E)G(V, E) SOLUSI: Selesai siklus aneh chordless, didefinisikan sebagai superset dari edge set sehingga grafik memiliki properti yang setiap tepi dalam terkandung dalam siklus aneh chordless. E G ′ ( V , E ′ ) G …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Apa beberapa hasil yang diketahui untuk menemukan subarray n-dimensi yang tepat di dalam array n-dimensi? Dalam 1D, itu hanya masalah pencocokan string, KMP melakukannya dalam waktu linier. Dalam 2D, makalah ini menunjukkan dapat dilakukan dalam waktu linier dengan sedikit ruang ekstra. Bisakah masalah ini diselesaikan dalam kasus terburuk linear waktu …

20 ds.algorithms  reference-request  string-matching 

Misalkan grafik dengan n simpul disajikan sebagai aliran tepi m , tetapi beberapa lintasan diizinkan melewati aliran.GGGnnnmmm Monika Rauch Henzinger, Prabhakar Raghavan, dan Sridar Rajagopalan mengamati bahwa ruang diperlukan untuk menentukan apakah ada jalur antara dua simpul yang diberikan dalam G , jika k pass diizinkan pada data. (Lihat juga …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

Apakah sudah ada penelitian dalam mengimplementasikan konstruksi pengacakan acak? Tampaknya bukti ekstraktor menggunakan Big-Oh, meninggalkan kemungkinan untuk konstanta tersembunyi yang besar, membuat implementasi terprogram berpotensi tidak realistis. Beberapa konteks: Saya tertarik menggunakan ekstraktor acak sebagai sumber cepat (terbukti?) Bilangan acak untuk digunakan dalam simulasi Monte Carlo. Kami (grup Fisika Komputasi …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru. NCFhalFp\mathbb{F}_pNCNCNC Apakah Anda tahu survei terbaru atau …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Masalah klasik dalam teori probabilitas adalah untuk menyatakan probabilitas suatu peristiwa dalam hal peristiwa yang lebih spesifik. Dalam kasus yang paling sederhana, orang dapat mengatakan P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Tulis Mari ABABAB untuk acara A∩BA∩BA \cap B . Kemudian ada beberapa cara …

20 reference-request  pr.probability 

Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N CPP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Matching sempurna masalah adalah salah satu masalah mendasar yang …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Ada literatur besar tentang "pengujian properti" - masalah membuat sejumlah kecil permintaan kotak hitam ke fungsi untuk membedakan antara dua kasus:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff adalah anggota dari beberapa kelas fungsiCC\mathcal{C} fff adalah -far dari setiap fungsi di kelas .εε\varepsilonCC\mathcal{C} Rentang fungsi kadang-kadang Boolean: , tetapi tidak selalu.RRRR={0,1}R={0,1}R = \{0,1\} Di …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Sebuah rantai Selain merupakan urutan bilangan bulat positif di mana dan masing-masing indeks , kita memiliki untuk beberapa indeks . The panjang rantai Selain adalah ; yang sasaran dari rantai samping adalah .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j …

20 reference-request  np-hardness 

Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian sehingga P (0 n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang superkomputer mendatang. Mengingat bahwa komputer ini …

20 reference-request  soft-question  machine-models 

Pertanyaan Utama / Umum Biarkan menjadi bahasa. Tentukan bahasa dengan dan untuk . Pertimbangkan . Jadi, kami berulang kali "menyematkan" ke dalam dirinya sendiri untuk memperoleh .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L i L Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} Sudahkah …

19 reference-request  fl.formal-languages 

Dalam perhitungan kuantum adiabatik (AQC), seseorang mengkodekan solusi untuk masalah optimisasi dalam keadaan dasar [masalah] Hamiltonian . Untuk sampai ke keadaan dasar ini, Anda mulai dalam keadaan awal (ground) yang mudah didinginkan dengan Hamiltonian dan " " ( adiabatik) menuju , yaituH i H pHhalHpH_pHsayaHiH_iHhalHpH_p H( s ) = s …

19 reference-request  quantum-computing  physics  topology 

Apa kompleksitas waktu (bukan kompleksitas kueri) dari algoritma Grover? Tampak jelas bagi saya bahwa itu adalah karena adaΩ( √Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})iterasi dan setiap iterasi membutuhkan penggunaan operasi refleksi yang pada gilirannya membutuhkan waktuΩ(log(N))menggunakan setiap set standar gerbang universal.Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) Masalahnya adalah, saya tidak dapat menemukan satu pun referensi yang mengatakan kompleksitas waktu …

19 reference-request  quantum-computing  time-complexity