«co.combinatorics» etiketlenmiş sorular

Trevisan ve Lovett'in TCS'de aditif birleştiricinin uygulamaları üzerine anketler okuyorum . Bu uygulamaların çoğu , örneğin daha düşük sınırlar gibi, hesaplama karmaşıklığı altındadır . Katkı kombinatoriklerinin algoritma tasarımında da uygulamalar bulup bulamadığını merak ediyorum . Sorumun motivasyonu şudur: Katkı birleştirici ve karmaşıklık arasındaki bağlantı biraz doğal gibi görünse de, katık …

12 ds.algorithms  reference-request  co.combinatorics 

Bu soru bu yazı tarafından motive edilmiştir , Polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? ve permütasyonların hesaplama özelliklerine olan ilgim. Bir farklılık sırası bir permütasyon ait tt numaralarının 1 , 2 , ... , n + 1 permütasyon her iki bitişik sayı arasındaki fark bulunarak oluşturulur tt . Başka …

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

Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum. Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Küçük bir grafiktir arıyorum GGG olan vektör renk sayısı renk sayısı, daha küçük olan χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( vektör renk sayısı sahip q bir atama ise X : V → R, d köşe komşu ilişkili vektörler birbirinden uzak olan sezgisel bir gerekliliktir. ⟨ X ( h ) , X ( ağırlık …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

H. Lenstra'nın Sabit Sayıda Değişkenle Programlama adlı ünlü 1983 makalesi, sabit sayıda değişkene sahip tam sayı programlarının veri uzunluğunda zaman polinomunda çözülebildiğini belirtmektedir. Bunu şu şekilde yorumluyorum. Tamsayı programlama hala NP-tamamlanmış ancak eldeki tipik sorun büyüklüğüm (yaklaşık 10.000 değişken, rasgele sayıda kısıtlama varsa) pratikte mümkün ise, o zaman kısıtlamaların sayısı …

12 co.combinatorics  linear-programming  integer-programming 

Burada: http://www.planarity.org/Klein_elementary_graph_theory.pdf (bölüm düğünlerinde) bir düzlemsel grafiğin birleştirici gömülmesi tanımı verilmiştir . (yüzlerin tanımı vb. ile) Herhangi bir grafik için kolayca kullanılabilse de, düzlemsel grafiği Euler formülünün tuttuğu grafik olarak tanımlar (grafiğin bağlı olduğu varsayılarak). Her düzlem grafiği için, kombinatoryal gömmedeki yüzlerin tanımının topolojik gömmedeki yüzlerin tanımına benzer olması oldukça …

12 graph-theory  co.combinatorics  planar-graphs 

Petkovsek, Wilf ve Zeilberger'in A = B kitabı , farklı binom miktarlarını hesaplamak için algoritmaları açıklar. AFAIK, bu algoritmalar farklı yazarlar tarafından hala geliştirilmektedir. Bu algoritmaların en güncel uygulamalarını nerede bulabileceğimizi biliyor musunuz? Sage gibi bazı ücretsiz yazılımlarda uygulama olup olmadığını biliyor musunuz ?

12 ds.algorithms  co.combinatorics  implementation 

Eğer maksimum derecede 3 olan bir grafiktir ve küçük bir olan , H , o G bir topolojik küçük olan H .GGGHHHGGG'HHH Wikipedia, bu sonucu Diestel'in "Grafik Teorisi" nden alıntı yapıyor. Kitabın son sürümünde Prop 1.7.4 olarak listelenmiştir. Kitapta kanıt veya alıntı yok. Bunun nerede (orijinal) bir kanıtı olduğu biliniyor …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Let tarafından ve göstermektedirler cinsi bir yüzeyi üzerinde gömülebilir grafiklerin grubu bütün çıkıntılar bu şekilde dış yüzeyinde yer almaktadır . Örneğin, , dış düzlem grafik kümesidir. İçinde grafiklerin treewidth Can üst bazılarının fonksiyonu sınırlanmış olması ?G k k G 0 G k kk ∈ Nk∈Nk\in\mathbb{N}G,kGkG_kkkkG,0G0G_0G,kGkG_kkkk Diğer yön açık değildir, çünkü …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Bu soruyu birkaç hafta önce mathoverflow'da sordum , ama cevap alamadım . Burada, kenar uzunluğunun 3B ızgarasıyla, ve ile grafiğini kastediyorum. , yani, düğümler 1 ile arasındaki 3 boyutlu tamsayı koordinatlarına yerleştirilir ve bir koordinatta bir tane farklı olan diğer 6 düğüm.G = ( V , E ) V = …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Yine karmaşıklığı merak ettiğim bir kenar bölümleme problemi, önceki bir soru ile motive oldu . Girdi: kübik grafikG=(V,E)G=(V,E)G=(V,E) Soru: bir bölme vardır içine her biri tarafından uyarılan alt grafiğinin, öyle ki, (yani pençe ya da bir , genellikle bir yıldız olarak da adlandırılır) ya da -Path ( yani )?E 1 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Grafik renklendirme sorunları zaten çoğu insan için yeterince zor . Buna rağmen, zor olmalıyım ve hipergraf renklendirme ile ilgili bir sorun sormam gerekecek. Soru. K-düzgün hipergraflar için yaklaşık olarak optimal kenar renklendirme bulmak için hangi etkili algoritmalar vardır? Detaylar --- Bir k-muntazam hipergrafı, her bir kenarın tam olarak k köşeleri …

12 co.combinatorics  hypergraphs  graph-colouring 

Let sonlu bir yapı olabilir. İlk sipariş teorisi yapar T : = T , H ( A ) bir olduğu anlamda, sınırlı niceleyici dereceye sahip q ∈ N , öyle ki tüm cp ∈ T ile q r ( φ ) &gt; q, olduğu bir φ ' ∈ T ile …

11 co.combinatorics  lo.logic  relational-structures 

içindeki normal vektörleri tarafından belirlenen bir dizi hiperplan verildiğinde , hücre tipleri (veya işaret vektörleri) bunların hepsi olan vektörleridir. bir vektör var böylece ve tüm tutar . Burada iç çarpımı belirtir ve sıfır olmayan gerçek sayı işaretini ( veya ) belirtir .h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dt∈{+,−}mt∈{+,−}mt\in\{+,-\}^mv∈Rdv∈Rdv\in\mathbf R^d⟨v,hi⟩≠0⟨v,hi⟩≠0\langle v,h_i \rangle \neq 0ti=sign(⟨v,hi⟩)ti=sign(⟨v,hi⟩)t_i …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Crossposted MO'dan . CCC , tümü döngüsel olan (en az bir döngü içerir) sınırlı sayıda yasaklanmış alt bölümle tanımlanan bir grafik sınıfı olsun . Clique ve Clique cover dışında için polinom zamanda çözülebilen NP-sert grafik problemleri var mı?CCC Doğru hatırlıyorsam, bu bağımsız küme için mümkün değildir ( olmadığı sürece ).P=NPP=N-PP=NP …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics