«ds.algorithms» etiketlenmiş sorular

Programlama dersine girişte, bir algoritmanın beklediğimizi yaptığını kanıtlamanın Başlatma-Bakım-Sonlandırma yöntemini öğreniyoruz. Ancak, sadece doğru olduğu bilinen bir algoritmanın doğru olduğunu kanıtlamak zorundaydık. Hiçbir zaman bir algoritmanın doğru olmadığını göstermemiz istenmedi. Doğru görünen, ancak doğru olmayan klasik algoritma örnekleri var mı? İlklendirme-Bakım-Sonlandırma yaklaşımının ilk bakışta sezginin yapmadığı bir şey yakaladığı vakaları …

15 ds.algorithms  proofs 

Doğal sayıların bir aralığının asal içerip içermediğine karar vermenin karmaşıklığı nedir? Eratosthenes Elek bir varyantı, bir verir algoritması, L aralığının uzunluğudur ve ~ deri aralığının başlangıç noktası olarak poli-logaritmik faktörler; daha iyi yapabilir miyiz ( yalnız L açısından )?Ö~( L )O~(L)\tilde O(L)LLL~∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Aşağıdaki basit monoton devre modelini düşünün: her kapı sadece bir ikili OR'dir. fonksiyonunun karmaşıklığı nedir; burada A , O ( n ) 0'lara sahip bir Boole n × n matrisidir ? Doğrusal boyutlu OR devreleri ile hesaplanabilir mi?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) Daha resmi olarak, n ila n bit arasında bir işlevdir …

14 ds.algorithms  circuit-complexity  upper-bounds 

Sabit zaman, zaman karmaşıklığının mutlak düşük sonudur. Birisi merak edebilir: sabit zamanda hesaplanabilen önemsiz bir şey var mı? Turing makinesi modeline bağlı kalırsak, cevap girişin sadece sabit uzunlukta bir başlangıç ​​segmentine bağlı olabileceğinden, çok fazla şey yapılamaz, çünkü girişin daha uzak kısımlarına sabit zamanda bile ulaşılamaz. Öte yandan, bit sayılarındaki …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Aşağıdaki ayarı göz önünde bulundurun: bir yığın verilir içerir , n ürün.sssnnn sabit sayıda ekstra yığın kullanabiliriz.O ( 1 )O(1)O(1) bu yığınlara aşağıdaki işlemleri uygulayabiliriz: bir yığının boş olup olmadığını kontrol edin, iki yığının üst öğelerini karşılaştırır, bir yığındaki üst öğeyi sil, üstteki öğeyi bir yığının içine bas, bir yığının …

14 ds.algorithms  sorting 

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Makalelerinde Yaklaşık Uzaklık Oracles , Thorup ve Zwick bir ağırlıklı yönsüz grafik için, bir veri büyüklüğü yapısını inşa etmek mümkün olduğunu göstermiştir bir dönebilir ( 2 k - 1 ) -approximate grafikteki herhangi bir köşe çifti arasındaki mesafe.O(kn1+1/k)O(kn1+1/k)O(k n^{1+1/k})(2k−1)(2k−1)(2k-1) Temel düzeyde, bu yapı uzaya yakın bir değiş tokuş yapar - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Girdi olarak bir tamsayı nnn ve { 1 , öğelerinden oluşan bir dizi SSS kümesi verilir . . . , n } , { 1 , öğelerinin T kümesini bulmanın karmaşıklığı nedir . . . , N } , öyle ki , T az önem düzeyi vardır ve T setleri …

14 cc.complexity-theory  ds.algorithms 

Kapsamlı arama algoritmalarıyla ilişkili karmaşıklık sınıfı nedir? (Eğer biri varsa) NP mi yoksa PSPACE mi? Açgözlü ve dinamik programlama modellerine benzer kapsamlı arama algoritmaları sınıfını yakalayan sınırlı hesaplama modelleri var mı?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Bir süre önce, son birkaç on yılda bilgisayar programlarında görülen hızlanmanın çoğunun daha hızlı donanımdan ziyade daha iyi algoritmalardan geldiğini iddia eden bir çalışma veya makale gördüğümü hatırlıyorum. Çalışmayı veya makaleyi bilen var mı?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Aşağıdaki süreçte üretilebilen nnn köşelerdeki grafiklerle ilgileniyorum . Rasgele bir grafik ile başlayın GGG ile k≤nk≤nk\le n köşe. Tüm köşe etiketleyin GGG olarak kullanılmayan . Yeni bir grafik üretmek G′G′G' yeni tepe noktası ekleyerek vvv bir veya daha fazla bağlı olan, kullanılmayan bir köşe GGG ve herhangi bir bağlı olmayan …

14 ds.algorithms  graph-theory  treewidth 

Bir tamsayı programının değerleri ile ikili ("dualite boşluğu") arasındaki boşluk sıfır ise, tamsayı programının doğrusal programlama gevşemeleri ve gevşemenin ikizi arasında, her ikisinin de integral çözümleri (sıfır "integralite) kabul ettiğini biliyoruz. boşluğu "). En azından bazı durumlarda sohbetin geçerli olup olmadığını bilmek istiyorum. Bir 0-1 tam sayı programı olduğunu varsayalım …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Bir kısmını yardım gerektiren bir sistem uyguluyorum. Bu nedenle, etki alanını bağımsız hale getirmek için bir grafik sorunu olarak çerçeveliyorum. Sorun: Yönlendirilmiş asiklik grafik . Genelliği kaybetmeden varsayalım tam olarak bir kaynak tepe vardır ve sadece tek bir lavabo köşe ; izin tüm yönlendirilmiş yollar kümesini ifade için olarak . …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Dobkin ve Kirkpatrick'in yazısında çokyüzlülerin ayrılması konusunda bir adım anlamakta ciddi bir sıkıntı yaşıyorum. Bu sürümü anlamaya çalışıyorum: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf R i ve s i tarafından gerçekleştirilen ve S'nin en iyi ayrılmasını öğrendikten sonra , O ( 1 ) adımlarında P i - 1 ve S'nin en iyi ayrılmasını bulabileceğimizi iddia …

14 ds.algorithms  cg.comp-geom 

Optimizasyon için sezgisel tarama hakkında bazı ders materyalleri hazırlıyorum ve koordinat iniş yöntemlerine bakıyorum. Buradaki ayar, optimize etmek istediğiniz çok değişkenli bir işlevidir . f , herhangi bir tek değişkenle sınırlı özelliğe sahiptir, optimize edilmesi kolaydır. Böylece koordinat inişi, koordinatlar arasında dolaşarak, seçilen dışında hepsini sabitleyerek ve bu koordinat boyunca …

14 ds.algorithms  reference-request  optimization  heuristics