«co.combinatorics» etiketlenmiş sorular

Not: Bu standart 9x9 sudoku bulmacası hakkında. Çözüm, yalnızca çözülmüş yasal bulmacaları desteklemeli . Dolayısıyla bir çözümün boş hücreleri desteklemesi gerekmez ve çözülmüş bir sudoku bulmacasının özelliklerine güvenebilir. Bunu merak ediyordum, ama memnun olduğum bir cevabı düşünemedim. Saf bir çözelti, her bir hücre (81 hücre) için toplam 648 bit kullanan …

28 co.combinatorics  puzzles 

ISGCI listeleri grafiklerin 1100 sınıfları. Bunların çoğu için INDEPENDENT SET'in polinom zamanında karar verilip verilemeyeceğini biliyoruz; Bunlara bazen IS-easy sınıfı denir . Maksimum IS-easy sınıflarının bir listesini derlemek istiyorum . Bu sınıflar birlikte, bu problem için (bilinen) izlenebilirlik sınırını oluşturur. İzlenebilirliği etkilemeden herhangi bir sınırsız IS-easy sınıfına sınırlı sayıda grafik …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

Bilgisayar bilimi eğitimimde, ayrık problemlerin çoğunun NP tamamlandı (en azından) olduğunu, sürekli problemlerin optimize edilmesinin genellikle degrade teknikleriyle neredeyse her zaman kolayca elde edilebildiğini fark ettim. Bunun istisnaları var mı?

27 cc.complexity-theory  co.combinatorics  optimization 

Diyelim ki , boyama numarasını d = χ ( G ) olan bir grafiktir . Alice ve Bob arasındaki şu oyunu göz önünde bulundurun. Her turda, Alice bir köşe alır ve Bob bu köşe için { 1 , … , d - 1 } ' de bir renkle cevap verir …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Sürpriz, bu konuda yazılar bulamadım - muhtemelen yanlış anahtar kelimeleri aradım. Yani, biz bir şey bir dizi ve bir işlev var kendi endeksleri üzerinde; f bir permütasyondur.ffffff Diziyi göre belleğe ve çalışma zamanına O ( 1 ) ve O ( n ) 'ye mümkün olduğunca yakın şekilde nasıl yeniden düzenleriz …

27 ds.algorithms  co.combinatorics  permutations 

Aşağıdaki tür hata düzeltme kodları arıyorum: Sabit oranlı ikili kodlar, bazı sabit hata fraksiyonlarından, büyüklüğünde bir Boole devresi olarak uygulanabilen bir kod çözücü tarafından çözülebilmektedir , burada , kodlama uzunluğudur.NO ( N)O(N)O(N)N-NN Bazı arka plan: Spielman, Doğrusal Zamanlı Kodlanabilir ve Kodlanabilir Hata Düzeltme Kodlarında , logaritmik maliyetli RAM modelinde zamanda …

27 co.combinatorics  it.information-theory  coding-theory 

Düzenli bir ağaç dilini TATA kitabındaki gibi tanımlarız : Belirsiz bir sonlu ağaç otomatiği (Bölüm 1) veya eşdeğerde normal bir ağaç dilbilgisi (Bölüm 2) tarafından üretilen ağaçlar kümesi tarafından kabul edilen ağaçlar kümesidir. Her iki formalizm, iyi bilinen dize analoglarına yakın benzerlikler taşımaktadır. Düzenli ağaç dil var mı hangi boyutta …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Tüm maksimum bağımsız kümelerin aynı kardinaliteye sahip olması ve dolayısıyla maksimum IS olması özelliğine sahip grafik sınıfı hakkında bilinen bir şey var mı? Örneğin, düzlemde bir dizi nokta alın ve kümedeki nokta çiftleri arasındaki tüm segmentler arasındaki kesişim grafiğini göz önünde bulundurun. (bölümler-> köşeler, kavşaklar-> kenarlar). Bu grafik yukarıdaki özelliklere …

26 graph-theory  co.combinatorics 

Düzenli bir dil verildiğinde (NFA, DFA, dilbilgisi veya regex), belirli bir dilde sözcükleri kabul etme sayısı nasıl sayılabilir? Hem "tam olarak n harfi ile" hem de "en fazla n harfi ile" her ikisi de ilgi çekicidir. Margareta Ackerman'ın , bir NFA tarafından kabul edilen kelimelerin sıralanmasıyla ilgili iki makalesi var, …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Herhangi İçin , bir dizi olduğunu söylemek ler tamsayılar içinde { 1 , ... , n } ise n -tamamlamak , eğer her permütasyon için p ait { 1 , ... , n } , pairwise farklı tamsayılar dizisi şeklinde yazılı p 1 , ... , p , n , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Szemeredi'nin Düzenliliği Lemma, her yoğun grafiğin, birçok çift taraflı genişletici grafiğin bir birliği olarak yaklaştırılabileceğini söylüyor . Daha doğrusu, çoğu tepe noktasının kümeleri halinde bir bölümü vardır, öyle ki kümelerin çoğu çift taraflı genişleticiler oluşturur (bölümdeki kümelerin sayısı ve genişletme parametresi yaklaşık değer parametresine bağlıdır):O(1)O(1)O(1)O(1)O(1)O(1) http://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemma Seyrek grafikler için "iyi …

25 graph-theory  co.combinatorics  expanders 

Knuth en hacmi III Bilgisayar Programlama Sanatı (3.2 ayet bölüm 5,) listeleme Aşağıdaki tablo içerir kesin karşılaştırmaların asgari sayısını seçmek için gerekli boyutta bir sıralanmamış kümesinden inci en küçük elemanı tümü için, . Bu tablo, iyi bilinen kapalı form ifadeleri ile birlikte ve , 1976’dan bu yana sanatın çoğunu temsil …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Tarafından sonuç Robertson ve Seymour bir gösterir sabit bir grafiktir olup olmadığını test etmek için bir algoritma G küçük bir olan , H . Bu konuda iki buçuk sorum var:O (n3)O(n3)O(n^3)G,G,G'H'HH 1) O zamandan beri bu algoritmada gelişmeler olduğu anlaşılıyor. Şu anda en iyi bilinen algoritma nedir? 2a) İnsanlar en …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Yönlendirilmemiş ve ağırlıklandırılmamış bir grafik ve eşit bir tamsayı göz önüne alındığında tepe noktalarının sayımının hesaplamalı karmaşıklığı nedir; öyle ki ve tepe kümesine sınırlı alt mükemmel bir eşleşme kabul ediyor? Karmaşıklık # P-tamamlandı mı? Bu problem için referans var mı?k S ⊆ V | S | = K G GG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Aşağıdaki problemin karmaşıklığı incelenmiştir mi? Giriş : bir kübik (veya düzenli) grafik G = ( V , E ) , doğal bir üst sınır t333G = ( V, E)G=(V,E)G=(V,E)ttt Soru : içine bir bölümü var mı | E | / 3 boyutta parça 3 (nonnecessarily bağlı) karşılık gelen Alt Graflar …

25 graph-theory  np-hardness  co.combinatorics