«ds.algorithms» etiketlenmiş sorular

Boole formül dengeleme sorununun karmaşıklığı hakkında referanslar arıyorum . Özellikle, Boole formüllerinin dengelenebileceği biliniyor muydu ?AC0AC0\mathsf{AC^0} Boole formül dengelemesinin basit bir kanıtı var mı ?AC0AC0\mathsf{AC^0} "Basit" derken, aşağıda bahsettiğimden daha basit bir kanıt demek istiyorum, özellikle Boolean formül değerlendirmesinin olmasına bağlı olmayan bir kanıt arıyorum .NC1NC1\mathsf{NC^1} Arka fon Burada bahsedilen …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Gauss Eliminasyonunun aritmetik işlemlerini yaptığını biliyorum , ancak daha iyi algoritmaların bilinip bilinmediğinden emin değilim.O ( n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Fix . Yeterince büyük , boyutundaki tüm alt kümeleri tam olarak den pozitif tamsayılarla etiketlemek istiyoruz . Bu etiketlemenin aşağıdaki özelliği karşılamasını istiyoruz: bir dizi tamsayı var, stk≥5k≥5k\ge5nnn{1..n}{1..n}\{1..n\}n/kn/kn/k{1...T}{1...T}\{1...T\}SSS Eğerkkk boyutu alt kümeleri n/kn/kn/k değil kesiştiği yapmak (yani bu setleri birliği tüm set oluşturan {1..n}{1..n}\{1..n\} ), sonra etiketlerine toplamı ise SSS …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Polinom kimlik testi için belirli bir polinomun sıfır olup olmadığını kontrol eden birçok randomize algoritma var gibi görünmektedir. Belirli bir nokta kümesi üzerinde polinom tahminleri yapan algoritmaların sonuçları var mı? Bu, örneğin, polinomun bu noktaların hangi kısmının sıfıra değerlendirdiğini veya polinomun bu noktalar üzerindeki ortalama değerini yaklaşık olarak tahmin etmesi …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Let . Basit grafikler oluşturmak için gereken G bölgesinin çevresi g gibi tüm grubu olduğu gr formları bir çift kenar kapak -cycles G (her kenar tarafından paylaşılır tam olarak iki g -cycles) ve bu şekilde herhangi iki kesişme g- döngüleri bir tepe noktası, bir kenar veya boştur. Oluşturulan grafikler keyfi …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Grafikler için en basit gösterimler bitişik matrisler / listeler kullanır, yani her düğüm ve kenar açıkça temsil edilir. Güçlü düzenlilik sergileyen grafikler için örtük temsillerin önemi uzun zamandır bilinmektedir. Örneğin, Galperin ve Wigderson (1983), Papadimitriou ve Yannakakis ( Grafiklerin Özlü Gösterimleri Üzerine Bir Not , 1986), bitişiklik matrisi bir kenar …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Ağırlıksız bir bipartit grafik için önce maksimum eşleştirmeyi bularak ve König Teoremini kullanarak bir tepe örtüsüne dönüştürerek minimum tepe kapağını bulabileceğimi biliyorum. Düğümler ağırlıklı ise kullanılabilecek bir değişiklik var mı?

10 ds.algorithms  graph-theory 

Let bir yönsüz çizge. Ayrışma V ayrık alt-grup halinde V i denen Hamilton ayrışma ve G , her resim grubu tarafından uyarılan alt grafiğinin eğer V ı ya da bir Hamilton grafiktir veya tek bir kenar oluşur | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Örnek : İki parçalı grafiğin tamamı …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Dize dizileri karşılaştırmak için sonek ağaçları kullanmaya çalışıyorum. Ek ağaçları kullanarak en uzun ortak alt dize sorunu için uygulamalar / teori buldum. Ancak, ne arıyorum ilgili sorun - "tüm ortak alt dizeleri" bir tartışmadır. Özellikle, ben ilk önce en uzun ortak alt dize bulmak, sonra zaten bulunan lcs indeksleri içermeyen …

10 ds.algorithms  string-matching 

Gazetede iki bilgi teorisi problemi üzerine Erdõs ve Rényi, bir para setindeki sahte paraların sayısını belirlemek için yapılması gereken minimum tartım sayısı üzerinde daha düşük sınırlar vermektedir .nnn Daha resmi: Sahte paralar doğru paralardan daha küçük bir ağırlığa sahiptir; hem doğru hem de yanlış sikkelerin ve ağırlıkları bilinir. Bir ölçek …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Yönlendirilmemiş bir grafik ve belirli bir köşe kümesi için, tüm elemanlarını içeren basit bir yol bulmak için asimptotik olarak en hızlı bilinen algoritma nedir . Yolun mümkün olduğunca kısa olmasını istiyorsak ne olur?S SG,GGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Diyelim ki değişkenleri ve c cümleleri olan 3-SAT düşünüyoruz . Bu açıklamaya uyan herhangi bir SAT sorununu çözmek için O ( v 2 + log c ) zamanını / alanını alan bir metodu araştırıyorum . Ancak, bir yakalama var.vvvcccO ( v2 + günlükc)O(v2+log⁡c)O(v^{2+\log c}) Bu yöntem, bir dizi önceden hesaplanmış …

10 ds.algorithms  sat  upper-bounds 

Düzlemsel ağırlıksız grafik ve tepe çiftleri topluluğu verilen ( k ≥ 2 , arayan bir sabittir) k gelen yolları (kaynak hariç) tepe-gg ayrık s için t ı bu en uzun yol uzunluğu en aza indirilir.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Soru: Problem için bir polinom-zaman algoritması var mı? İlgili bazı sonuçlar: Eğer sorun sabit değildir …

10 ds.algorithms  graph-algorithms 

Aşağıdaki basit sorunun daha önce incelenip incelenmediğini ve herhangi bir çözümün bilinip bilinmediğini bilmek istiyorum. G sonlu (MxN) bir ızgara olsun, S G'nin hücrelerinin bir alt kümesi ("kırıntıları"). Koordinatları en fazla bir tane farklıysa (yani, kareler olarak çizilirse, en az bir köşe noktasını paylaşırlarsa) iki kırıntı (yerel olarak) bağlandığı söylenir. …

10 ds.algorithms  graph-theory  graph-algorithms 

Belirli bir grafiğinin kapsayan bir örümceğini bulmak için bir polinom zaman algoritması var mı? Örümcek, derecesi 2'den fazla olan en fazla bir düğüme sahip bir ağaçtır: G'deki çeşitli derece koşullarının (aslında yeterince büyük düğüm dereceleri) yayılan bir örümcek varlığını garanti ettiğini biliyorum . Ama keyfi G için bir algoritma olup …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms