«reference-request» etiketlenmiş sorular

Başlangıç ​​düzeyindeki bir öğrenci düzeyinde derleyici doğruluk kanıtlarını, tercihen seslendirme yöntemlerini kullanarak öğretici materyal arıyorum. Alternatif olarak, sorunları göstermek için kullanabileceğim bazı basit derleyici örneklerini biliyor musunuz? (Bana gelen ilk örnek, infix'ten postfix ifadelerine bir çevirmenti. Ancak sözdiziminde indüksiyonun nasıl yapılacağı dışında ilginç bir şey gösteremedi.)

20 reference-request  pl.programming-languages  semantics  compilers 

Bir n boyutlu dizinin içinde tam bir n boyutlu altdizinin bulunması için bilinen bazı sonuçlar nelerdir? 1D'de, sadece bir dize eşleme problemidir, KMP bunu lineer zamanda yapar. 2B olarak, bu makale , fazladan az alanla doğrusal zamanda yapılabileceğini göstermektedir. Bu problem herhangi bir sabit boyut için doğrusal zamanın en kötü …

20 ds.algorithms  reference-request  string-matching 

Son zamanlarda araştırmamda şu ilginç sorun ortaya çıktı: ANLIK: Grafik .G(V,E)G(V,E)G(V, E) ÇÖZÜM: bir üst olarak tanımlanan bir chordless tek döngülü tamamlama, E′E′E' kenar seti EEE böylece tamamlanmış grafiği hep G′(V,E′)G′(V,E′)G'(V, E') her kenar, bu özelliğe sahip G′G′G' bir chordless tek döngü içinde ihtiva edilmektedir. TEDBİR: Tamamlanma büyüklüğü, yani |E′−E||E′−E||E' …

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

Bir grafiktir varsayalım GGG ile köşe bir akışı olarak sunulmuştur kenarları, ancak birden fazla geçiş akımı üzerinde izin verilir.nnnmmm Monika Rauch Henzinger, Prabhakar Raghavan ve Sridar Rajagopalan , veriler üzerinde geçişlerine izin verilirse , verilen iki köşe arasında bir yol olup olmadığını belirlemek için boşluğunun gerekli olduğunu gözlemlediler . (Ayrıca …

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

Rasgelelik çıkarıcı yapıların uygulanması konusunda araştırmalar yapıldı mı? Çıkarıcı kanıtları, büyük gizli sabitler olasılığını bırakarak, programlı uygulamaları potansiyel olarak gerçekçi olmayan hale getiren Big-Oh'u kullanıyor gibi görünüyor. Bazı bağlamlar: Monte Carlo simülasyonlarında kullanım için rasgele sayıların (muhtemelen?) Rasgele sayıların hızlı bir kaynağı olarak kullanılmasıyla ilgileniyorum. Biz (bir ETHZ Hesaplamalı Fizik …

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

karmaşıklık sınıfında , sınıfında OLMAMASI için tahmin edilen bazı problemler vardır , yani deterministik paralel algoritmalarla ilgili problemler. Maksimum Akış sorunu buna bir örnektir. Ve içinde sorunlar var , ancak henüz bir kanıt bulunamadı.N C N CPP\mathsf{P}N CNC\mathsf{NC}N CNC\mathsf{NC} Mükemmel uyum sorunu grafik teorisi yükseltilmiş en temel sorun biridir: bir …

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

Ben iyi algoritmaları anket ve lineer cebir karmaşıklığına arıyorum (rank, ters, özdeğerler gibi işlemler, ... Boolean için ve tamsayılar / rationals matrisleri) paralel vurgu ( N C hiyerarşi) ve polytime algoritmaları . Yakın zamanda bir tane bulamadım.FpFp\mathbb{F}_pNCNCNC Doğrusal cebirin karmaşıklığı hakkında yeni bir araştırma veya kitap biliyor musunuz?

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

Olasılık teorisinde klasik bir problem, bir olayın olasılığını daha spesifik olaylar açısından ifade etmektir. En basit durumda, diyebiliriz P[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]P[bir∪B]=P[bir]+P[B]-P[bir∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B]. A ∩ B …

20 reference-request  pr.probability 

"Özellik testi" ile ilgili geniş bir literatür vardır - iki durumu birbirinden ayırmak işlevine az sayıda kara kutu sorgusu yapma sorunu :f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R Cfff , fonksiyon sınıfının bir üyesidirCC\mathcal{C} ε Cfff isimli -far sınıftaki her işlevinden .εε\varepsilonCC\mathcal{C} İşlevin aralığı bazen Boole'dir: , ancak her zaman değil.R = { 0 …

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

Karmaşıklığı sınıfı PPAD (örneğin, çeşitli Nash dengesini işlem) indirgenebilir polytime toplam arama bir dizi problem olarak tanımlanabilir HAT SONU : HAT SONU : Verilen devreler S ve P ile N giriş bit ve n, çıkış bitleri şekilde , P (0 , n ) = 0 , N ! = S …

20 reference-request  combinatory-logic  graph-theory  ppad 

Bir ekleme zinciri ve pozitif bir tamsayı dizisidir burada ve her bir indeks , elimizdeki bazı göstergeler için . Uzunluğu ekleme zinciri olduğu ; Hedef ekleme zinciri olan .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i …

20 reference-request  np-hardness 

Bu soru, bir bilgisayarın algoritma ve veri yapılarını tasarlamak için doğru teorik modelin ne olduğu hakkında daha genel bir soruya benzer . Burada, özellikle mevcut yüksek performanslı bilgisayarlar ( Top 500 olarak listelenenler gibi ) veya hatta yaklaşan süper bilgisayarlar. Bu bilgisayarların genellikle I / O modelinin ( 1988'de Aggarwal …

20 reference-request  soft-question  machine-models 

Ana / Genel Soru Let LLL bir dil olmak. Dil tanımlama LiLiL_i ile ve için . düşünün . Bu yüzden, \ hat {L} elde etmek için yi tekrar tekrar kendi içine "gömdük" .L0=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 ı L Li≥1i≥1i …

19 reference-request  fl.formal-languages 

Adyabatik kuantum hesaplamasında (AQC), çözüm [problem] Hamiltonian temel durumunda bir optimizasyon problemine . Bu temel hale almak için, Hamilton ile kolayca soğutulabilir başlangıç (zemin) durumunda başlatılacak doğru ve "tavlama" (adyabatik karıştırmayı) , yaniH i H p'HpHpH_p'HbenHiH_i'HpHpH_p 'H( S ) = s , Hben+ ( 1 - s ) HpH(s)=sHi+(1−s)Hp H(s) …

19 reference-request  quantum-computing  physics  topology 

Grover algoritmasının zaman karmaşıklığı (sorgu karmaşıklığı değil) nedir? O olduğu bana açık görünüyor olmadığından yineleme ve her iterasyon sırayla zaman alır yansıma çalışması kullanımını gerektirir herhangi bir standart evrensel kapı seti kullanarak.Ω( √Ω ( günlük( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(log(N))Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( günlük( N) )Ω(log⁡(N))\Omega(\log(N)) Sorun şu ki, Grover algoritmasının zaman …

19 reference-request  quantum-computing  time-complexity