Pertanyaan yang diberi tag «reference-request»

Saya mencari referensi bibliografi untuk algoritme / masalah berikut: Saya menamakannya "BiSelect" atau "t-ary Select" atau "Select in Union of Sorted Arays", tapi saya kira itu diperkenalkan sebelum dengan nama lain? Masalah Pertimbangkan masalah berikut: Mengingat kkk disjoint array yang disortir A1,…,AkA1,…,AkA_1,\ldots, A_k , dengan ukuran masing-masing n1,…,nkn1,…,nkn_1,\ldots,n_k , dan …

12 reference-request 

Saya mencoba memahami kelas kompleksitas mana yang termasuk masalah berikut: Memecahkan Masalah Polinomial Root (EPRP) Biarkan be polinomial dengan deg ( p ) ≥ 0 dengan koefisien diambil dari bidang yang terbatas G F ( q ) dengan q bilangan prima, dan r akar primitif untuk bidang itu. Tentukan solusi …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Saat ini saya sedang melakukan penelitian Bahasa Formal yang melibatkan kelas-kelas bahasa di atas Reguler tetapi di bawah Konteks Gratis. Saya melihat hal-hal seperti Mesin Multicounter Berbalik-Pembalikan, mesin penghitung tumpukan tunggal, CFL deterministik, dll. Saya ingin tahu apakah ada yang tahu buku bagus atau makalah survei yang menguraikan sifat-sifat bahasa …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Entri Kebun Binatang untuk TC0TC0\mathsf{TC^0} hanya menyebutkan pemisahan antara kedalaman 2 dan 3. Juga adakah referensi standar untuk fakta bahwa AC0dACd0\mathsf{AC^0_d} hierarki tidak runtuh?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Algoritma simpleks sering diperlakukan baik dalam aritmatika nyata, atau dalam dunia diskrit dengan perhitungan yang tepat. Namun, tampaknya paling sering diterapkan dengan aritmatika floating-point. Ini mengarah pada pertanyaan apakah algoritma simpleks harus dianggap sebagai algoritma numerik, khususnya bagaimana kesalahan pembulatan mempengaruhi perhitungan. Saya tidak tertarik pada implementasi praktis, tetapi lebih …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Jika Anda diberi koleksi pesanan parsial, jenis topologi akan memberi tahu Anda jika ada perpanjangan koleksi ke pesanan total (ekstensi dalam hal ini adalah pesanan total yang konsisten dengan masing-masing pesanan parsial). Saya menemukan variasi: Perbaiki satu set . Anda diberikan urutan elemen yang diambil dari tanpa pengulangan (urutannya panjang …

12 ds.algorithms  reference-request  order-theory 

MPA (multipebble automaton) adalah 2DFA (otomat hingga hingga deterministik dua arah) yang dapat menggunakan jumlah kerikil yang sewenang-wenang (sebenarnya paling banyak kerikil pada input yang diberikan - input ditulis pada kaset di antara dua ujung -Penanda sebagai ). Selama perhitungan, MPA dapat mendeteksi apakah simbol di bawah kepala memiliki kerikil, …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Saya harap seseorang tahu referensi untuk ini, jadi saya tidak perlu membaca literatur ... Pertimbangkan urutan angka . Pikirkan urutan sebagai interval . Jelas, urutan asli adalah bitonic jika ada titik pada garis nyata menusuk paling banyak 2 interval. Kita akan merujuk pada urutan di mana titik menusuk paling banyak …

12 ds.algorithms  reference-request  sorting 

SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi pertanyaan saya adalah: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Saya mencari referensi (bukan bukti, yang bisa saya lakukan) untuk perpanjangan Chernoff berikut. Misalkan menjadi variabel acak Boolean, tidak harus independen . Sebagai gantinya, dijamin bahwa untuk setiap dan setiap peristiwa yang hanya bergantung pada .X1,..,XnX1,..,XnX_1,..,X_nPr(Xi=1|C)<pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Terima kasih sebelumnya!

12 reference-request  pr.probability  chernoff-bound 

Kita dapat menganggap kompleksitas Kolmogorov dari sebuah string sebagai panjang dari program terpendek P dan input y sedemikian rupa sehingga x = P ( y ) . Biasanya program-program ini diambil dari beberapa set Turing-complete (seperti P mungkin merupakan deskripsi mesin Turing, atau bisa juga program di LISP atau C). …

12 reference-request  computability  kolmogorov-complexity 

Jika adalah grafik dengan derajat 3 maksimum dan merupakan minor , maka adalah minor topologiH G HGGGHHHGGGHHH . Wikipedia mengutip hasil ini dari "Grafik Theory" Diestel. Itu terdaftar sebagai Prop 1.7.4 di versi terbaru buku. Buku ini tidak memiliki bukti atau kutipan. Apakah keberadaannya diketahui sebagai bukti (asli) dari ini? …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Apakah ada survei (dari makalah, bab buku, tutorial, tautan, ...) tentang semantik dari berbagai fitur bahasa pemrograman? Saya awalnya kewalahan oleh fitur-fitur D di sini http://www.digitalmars.com/d/2.0/comparison.html Saya ingin melihat apa yang mungkin saya dapat dari sini, walaupun saya telah mengajukan pertanyaan serupa tentang stackoverflow dan memahami kedua situs ini memiliki …

12 reference-request  pl.programming-languages  survey 

Saya mencari referensi yang baik untuk jalur terpendek bottleneck. Khususnya, mengingat simpul s dan t dalam grafik tidak berarah dengan bobot tepi, Anda ingin jalur terpendek dari s ke t, di mana panjang jalur adalah tepi maksimum di jalur itu. Ini dapat dipecahkan dalam waktu O (n + m) dengan …

12 ds.algorithms  reference-request  graph-algorithms 

Apa yang diketahui tentang masalah berikut? Diberikan kumpulan fungsi f : { 0 , 1 } n → { 0 , 1 } , temukan subkoleksi terbesar S ⊆ C tunduk pada kendala bahwa VC-Dimensi ( S ) ≤ k untuk beberapa bilangan bulat k .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq kkkk …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension