«graph-theory» etiketlenmiş sorular

Robertson-Seymour teoremi söylüyor herhangi bir küçük kapalı aileGG\mathcal G grafiklerin sayısı, çok sayıda yasaklı küçüklerle karakterize edilebilir. Bir girdi için bir algoritma var mı GG\mathcal G yasak gençleri çıkarır mı yoksa bu kararsız mıdır? Açıkçası, cevap nasıl GG\mathcal Ggirişte açıklanmıştır. Örneğin,GG\mathcal G tarafından verilir MGMGM_\mathcal G üyeliğe karar verebilir. MGMGM_\mathcal …

9 graph-theory  decidability  graph-minor 

1991'den itibaren, onlar için kromatik indeksi belirlemenin sertliği hakkında bilinenleri gösteren farklı grafik aileleri hakkında üç diyagram içeren güzel bir makale var . O zamandan beri bunlardan haber var mı? En çok sınırlı kromatik sayıya sahip grafikler hakkında bilinenlerle ilgileniyorum. Merakım /mathpro/238448/hypergraph-edge-colouring tarafından artırıldı .

9 graph-theory  np-hardness  graph-colouring 

Sabit bir yönlendirilmiş grafik verildi (digraph) DDD, DDD-COLORING karar problemi bir girdi digrafisi olup olmadığını sorar G,GG homomorfizması var DDD. (Bir homomorfizmasıG,GG için DDD bir eşleme fff nın-nin V( G )V(G)V(G) için V( D )V(D)V(D) yayları koruyan, yani sen vuvuv bir yay G,GG, sonra f(u)f(v)f(u)f(v)f(u)f(v) bir yay DDD.) Sınıfı DDD-RENKLEME …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Düzenli bir dil verildi LLL alfabede birbirA, minimal deterministik otomatı sabit dış derece ile yönlendirilmiş bağlı bir çoklu grafik olarak görülebilir | A ||bir||A|ve belirgin bir başlangıç ​​durumu (geçiş etiketlerini, nihai durumları unutarak). İlk durumu koruyoruz, çünkü her tepe noktasına ondan erişilebilir olmalıdır. Sohbet doğru mu? Yani yönlendirilmiş bağlı ufak …

9 graph-theory  automata-theory 

Let ve , iki olmak boyutu -Normal bağlı grafikleri . , olacak şekilde permutasyon kümesi olsun . Eğer , sonra otomorfizmaları kümesidir .GGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG büyüklüğünde en iyi bilinen üst sınır nedir? Belirli grafik sınıfları için herhangi bir sonuç var mı (tam / çevrim grafikleri içermiyor)?AAA Not: Otomorfizm grubunun oluşturulması, en azından …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Aşağıdaki sorunun NP zor olup olmadığını merak ediyorum. Giriş: G=(V,E)G=(V,E)G = (V,E) basit bir grafik ve bir renklendirme f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\} kenarların (fff belirli bir özelliği doğrulamaz). Soru: bölümlemek mümkün müEEE içine |E|/3|E|/3|E|/3 üçgenler, böylece her üçgen her rengin bir kenarına sahip olacak? Ben renkler olmadan bir grafik …

9 graph-theory  np-hardness 

Aşağıdaki sorunu düşünün: Giriş: basit (yönlendirilmemiş) bir grafik .G = ( V, E)G,=(V,E)G=(V,E) Soru: her için de en fazla bir (yönlendirilmiş) - yürüyüşü olduğu özelliğini tatmin eden bir yönelim var mı ?G,G,Gs , t ∈ Vs,t∈Vs,t \in Vsssttt Bu eşdeğer olarak şu şekilde ifade edilebilir: Giriş: basit (yönlendirilmemiş) bir grafik …

9 graph-theory  directed-acyclic-graph 

İzin Vermek G,G,G bir klik ile bağımsız bir kümenin ayrık birleşimi olan bir grafik, yani G =Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+benn2.G,=Kn1+Kn2¯=Kn1+benn2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Tüm bu grafiklerin grafik sınıfı yasak indüklenmiş alt çizgi setiyle karakterize edilir H ={2K2,P3}'H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} ve bu nedenle bir küme grafiğinin ve …

9 reference-request  graph-theory  graph-classes 

İzin Vermek G=(V,E)G=(V,E)G=(V,E)grafik olmak. Bir tepe noktası setiX⊆VX⊆VX\subseteq Veğer kritik olarak adlandırılırsaX≠∅X≠∅X\neq\emptyset ve tepe noktası yok V∖XV∖XV\setminus X tam olarak bir tepe noktasına bitişik XXX. Sorun, bir köşe kümesi bulmaktırS⊆VS⊆VS\subseteq V minimum boyutta S∩X≠∅S∩X≠∅S\cap X\neq\emptyset her kritik set için XXX. Sorun şu söylentiyi yayıyor: Vertex iii söylenti komşusuna yayılıyor jjj …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Aşağıdaki sorun için referanslar arıyorum: verilen tamsayılar nnn ve kkk, izomorfik olmayan tüm düzlemsel grafikleri nnn köşe noktaları ve trewthth ≤k≤k\leq k. Hem teorik hem de pratik sonuçlarla ilgileniyorum, ancak kodlamak ve mümkün olan en büyük değerleri çalıştırmak için mümkün olan pratik algoritmalarnnn ve kkk (düşünmek k≤5k≤5k \leq 5 ve …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Bu soru iki yönlüdür ve temel olarak referans amaçlıdır: Grafik küçük teoremini kanıtlamak için ana sezgilerin ayrıntılara çok fazla girmeden verildiği bir yer var mı? İspatın uzun ve zor olduğunu biliyorum, ama elbette daha kolay bir şekilde iletilebilecek anahtar fikirler olmalı. Grafiklerde, yarı-emir olarak gösterilebilecek, belki de küçük ilişkiden daha …

9 reference-request  graph-theory  graph-minor 

Varsayalım PPP elemanlardan alınan setler rrrolası olanlar. Her setin boyutunnn (n &lt; rn&lt;rn<r), burada kümeler çakışabilir. Aşağıdaki iki sorunun NP-tamamlanmış olup olmadığını belirlemek istiyorum: Sorun A. var mıdırMMM (1 ≤ M≤ P1≤M≤P1 \le M \le P) içinde farklı kümelerPPP kümeler (yani, çift yönlü kesişimleri boş)? Sorun B. Şimdikkk (k &lt; …

9 graph-theory  np-hardness 

Bir digrafın geçişinin kontrol edilmesi (asimptotik karmaşıklık açısından) digrafın geçişli kapanışını almaktan daha kolay değil mi? Herhangi bir alt sınırı daha iyi biliyor muyuzΩ (n2)Ω(n2)\Omega(n^2) bir digrafın geçişli olup olmadığını belirlemek için?

9 graph-theory  directed-acyclic-graph  transitive-closure 

Burada, böyle bir şeyin mümkün olup olmadığını düşündüren geçişli tamamlama hakkında birkaç soru ( 1 , 2 , 3 ) vardı: Girdi yönelimli bir grafiği aldığımızı ve ? ' " türündeki sorguları yanıtlamak istediğimizi varsayalım , yani grafiğinin geçişli tamamlanmasında iki köşe arasında bir kenar olup olmadığını sormak ister misiniz? …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Bir tepe grafiğinde kaç tane döngüsü vardır, öyle ki grafikte herhangi bir döngü .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m&gt;k)(m&gt;k)(m>k) Örneğin , , grafikte en fazla iki bulunacaktır, böylece herhangi bir sahipn=5n=5n=5k=3k=3k=3C3C3C_3GGGCk(k&gt;3).Ck(k&gt;3).C_k (k > 3). Ben olduğunu düşünüyorum devir koşulları yukarıda orada tatmin olacaktır.O(n)O(n)O(n) Bazıları bana yardım edebilir mi?

9 graph-theory  graph-algorithms