«ds.algorithms» etiketlenmiş sorular

Köşelerinde gerçek sayı ağırlıkları olan yönlendirilmiş bir asiklik grafiğim olduğunu varsayalım. Topolojik sıralamanın her öneki için ağırlıkların toplamının negatif olmadığı DAG'ın topolojik sıralamasını bulmak istiyorum. Veya, sipariş teorik terminolojisini tercih ederseniz, ağırlıklı bir kısmi düzene sahibim ve her öneki negatif olmayan bir ağırlığa sahip olacak şekilde doğrusal bir uzantı istiyorum. …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Bir zamanlar pek çok kişi tarafından güvenilir görülebilen algoritmalar ve karmaşıklık hakkında varsayımlar arıyorum, ancak daha sonra karşı kanıtlar monte edildikleri için ya onaylanmadı ya da en azından reddedildi. İşte iki örnek: Rastgele kehanet hipotezi: hemen hemen tüm göreceli dünyalar için geçerli olan karmaşıklık sınıfları arasındaki ilişkiler, ilişkisiz hale getirilmiş …

44 cc.complexity-theory  ds.algorithms 

Integrality Gap (IG) ' nin önemini anlamada her zaman sorun yaşadım ve bununla sınırladım. IG, optimal bir tamsayı cevabının (kalitesinin) problemin gevşemesinin optimal bir gerçek çözümünün (kalitesinin) oranıdır. Vertex kapağını (VC) örnek olarak düşünelim. VC, aşağıdaki lineer denklemlerin optimal bir tamsayı çözümünü bulmak olarak ifade edilebilir: Sıfır / bir değerli …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Dinamik programlamayı yeniden adlandırabilirseniz, buna ne derdiniz?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Başka bir konu , Joe Fitzsimons "3SAT'taki en iyi güncel alt sınırlar" diye sordu. Diğer yoldan gitmek isterdim: 3SAT'taki en iyi güncel üst sınırlar hangisi ? Başka bir deyişle, en verimli SAT çözücüsünün zaman karmaşıklığı nedir? Özellikle, SAT için üstel (henüz süper polinom) algoritması bulmak düşünülebilir mi?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT çözücülerinin pratik başarısı için hangi teorik açıklamalar var ve birileri hepsini birleştiren bir "wikipedia tarzı" genel bakış ve açıklama verebilir mi? Analoji ile simpleks algoritması için yapılan düzgünleştirilmiş analiz ( arXiv sürümü )), en kötü durumda üssel olarak zaman almasına ve NP güçlü ( arXiv versiyonu ) olmasına rağmen …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

1937'de Turing, bir Turing makinesini tanımladı. O zamandan beri birçok bilgisayar modelinin gerçek bir bilgisayar gibi bir model bulma girişimi olduğu, ancak algoritmaları tasarlayacak ve analiz edecek kadar basit olduğu belirtildi. Sonuç olarak, farklı hesaplama modelleri için SORT problemi için bir düzine algoritmamız var. Maalesef, bit vektör işlemleri ile izin …

41 ds.algorithms  reference-request  soft-question  machine-models 

Grafik İzomorfizma sorunu (Gl) muhtemelen bir en iyi bilinen bir adaydır NP ara sorun. En iyi bilinen algoritma, çalışma zamanı 2 O ( √) olan üstel üstel algoritmadır.. O GI olmadığı bilinmektedirNPsürece -tamamlamakpolinom hiyerarşiçöker.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism problemi için yarı-polinomlu bir zaman algoritmasının karmaşıklık teorik sonuçları ne olurdu? GI …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Sorum basit: Bir hesaplamak için en iyi bilinen algoritmanın çalışma süresi en kötü durum nedir eigendecomposition bir bir n×nn×nn \times n matrisinin? Eigendecomposition matris çarpımı azaltılması veya algoritmalar bilinen en iyi mu O(n3)O(n3)O(n^3) yoluyla ( SVD en kötü durumda)? Lütfen durum numarası gibi soruna bağlı sabitleri olan sınırlar için değil, …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Her öğeyi kez karşılaştıracak şekilde sıralama ağlarına indirgemeyen bilinen bir karşılaştırma sıralama algoritması var mı?O(logn)O(log⁡n)O(\log n) Bildiğim kadarıyla , her eleman üzerinde karşılaştırması ile sıralama yapmanın tek yolu, girişler için bir AKS sıralama ağı oluşturmak ve girişi sıralama ağında çalıştırmaktır.O(logn)O(log⁡n)O(\log n)nnn AKS'nin uygulanması kolay değildir ve pratik bir sabit faktörü …

39 ds.algorithms  sorting  sorting-network 

Yijie Han'ın , lineer uzay, tamsayı sıralama algoritmasını bilen var mı ? Bu sonuç oldukça kısa bir makalede ( O ( n log log n ) 'de deterministik sıralama ) ve doğrusal uzayda ortaya çıkmaktadır. J. Alg. 50: 96-105, 2004) temel olarak daha önceki sonuçları bir araya getirerek uygun uyarlamaları …

38 ds.algorithms  sorting 

Karmaşıklık sınıfı , en fazla bir tane hesaplama yoluna sahip olan polinom zaman belirsiz bir makinesi tarafından kararlaştırılabilecek olan oluşur . Yani, eğer varsa çözüm bu anlamda benzersizdir . Her şey pek olası düşünülmektedir -Sorunları içindedir çünkü tarafından, Yiğit-Vazirani Teoremi bu çöküş anlamına gelecektir .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} Öte yandan, hiçbir olduğu bilinmemektedir; …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Karekök toplamı sorunu, iki sekans verilen sorar ve toplamı olup, pozitif tamsayılar az, buna eşit veya daha büyük bir sum toplamından . Bu sorunun karmaşıklık durumu açık; bkz Bu yayını daha detaylı bilgi için. Bu problem, hesaplama geometrisinde, özellikle de Öklid'in en kısa yollarını içeren problemlerde doğal olarak ortaya çıkar …

37 ds.algorithms  big-list  reductions  computing-over-reals 

İdeal olarak, aşağıdaki özelliklere sahip olan çoklu küme tam sayı kümesini saklamanın bir yolu olup olmadığını merak ediyorum: O (1) alanı kullanır Bir ekleme veya silme işleminin O (1) sürede yansıtılması için güncellenebilir İki özdeş koleksiyon (yani aynı çokluğa sahip aynı öğelere sahip olan koleksiyonlar) her zaman aynı değere sahip …

36 ds.algorithms  ds.data-structures  hash-function 

Bir Doğrusal Programa bir çözüm bulmak için simpleks algoritmasında üst sınır nedir? Böyle bir durum için bir kanıt bulma konusunda nasıl gidebilirim? En kötü durum her köşenin gezilmesi gerekip gerekmediği sanki . Bununla birlikte, pratikte simpleks algoritması daha standart problemler için bundan daha hızlı çalışacaktır.O ( 2)n)O(2n)O(2^n) Bu yöntem kullanılarak …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis