«graph-theory» etiketlenmiş sorular

Aşağıdaki soru Bellman-Ford sss - ttt en kısa yol dinamik programlama algoritmasının optimalliği ile ilgilidir ( bağlantı için bu yazıya bakınız ). Ayrıca, olumlu bir cevap , STCONN problemi için monoton belirsiz bir dallanma programının minimal boyutunun Θ ( n 3 ) olduğu anlamına gelecektir . Θ(n3)\Theta(n^3) Let GGG bir …

10 graph-theory  circuit-complexity  lower-bounds 

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 

Grafiğe Karar Verme Homomorfizm genellikle NP-Complete'tir. Altta yatan grafikler cebirsel yapıya sahip olduğunda bu sorunu inceleyen herhangi bir sonuç var mı (Cayley veya Cayley coset grafiklerinden homomorfizmlerin belirli bir yapıya sahip diğer grafiklere de karar verilmesi gibi)? Ayrıca karmaşıklık sonuçlarına yardımcı cebirsel ve / veya spektral tekniklerle de ilgileniyorum.

10 cc.complexity-theory  graph-theory  co.combinatorics 

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 

Bağlı düşünün rastgele küp grafiği G = ( V, E)G=(V,E)G=(V,E) ve G ( n , 3- reg ) 'n = | V|n=|V|n =|V| den çizilen köşeler ( burada tanımlandığı gibi , yani 3 n eşittir ve herhangi iki grafik aynı olasılığa sahiptir).G ( n , 3G(n,3G(n, 3)))3 n3n3n Tabii ki …

10 graph-theory  co.combinatorics 

, (pozitif) ağırlıklı kenarları olan bir grafik olsun . alt satırında bir düğüm ile ilişkilendirmek için bir düğüm / site kümesi için Voronoi diyagramını tanımlamak istiyorumGGGSSSv∈Sv∈Sv \in SR(v)R(v)R(v) bir kesinlikle daha yakın tüm düğümler tarafından indüklenen v başka bir düğüme göre S , bir yolun uzunluğunu yaylar üzerindeki ağırlıkların toplamıyla …

10 reference-request  graph-theory  cg.comp-geom 

Tanımlar Let ve izin d , r , ve g (pozitif tamsayı olmak g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Let , bir basit d , en azından çevresi olan -Normal, yönlendirilmeyen, sonlu grafik g .G = ( V, E)G=(V,E)G …

10 graph-theory  co.combinatorics  dc.distributed-comp 

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 

Sınırlı dereceli grafiklerde kesirli kromatik sayıya yaklaşmak yaklaşık zor mu?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Çalışmam sırasında aşağıdaki problemle karşılaştım: Aşağıdaki özelliklere sahip, herhangi bir için bir -matrix bulmaya çalışıyorum :( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 belirleyicisi eşittir.MMM Boş olmayan alt-gruplar için ile, alt yalnızca ve olması durumunda tek determinantı vardır . | I | = | …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

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 

Bağlam: Sadece digrafileri ele alıyoruz. CYCLE, bir döngülü grafiklerin dili olsun; NL-tam bir sorundur. HASEDGE en az bir kenarı olan grafiklerin dili olsun. Sonra önemsiz bir şekilde, artık NL-hard değil, öyle.ÇEVRİM ∪ ¯ HASEDGECYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Gerçek sorun: dilinin hala NL zor.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists u,v,x,y)[E(u, v) \land …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Ağlar üzerindeki etkileşimleri değerlendirirken, dinamiği analitik olarak hesaplamak genellikle çok zordur ve yaklaşımlar kullanılır. Ortalama alan yaklaşımları genellikle ağ yapısını tamamen göz ardı eder ve nadiren de iyi bir yaklaşımdır. Popüler bir yaklaşım, bitişik düğümler arasındaki doğal korelasyonları dikkate alan çift yaklaşımdır (sezgisel olarak bunu kenarlarda ortalama alan yaklaşımı türü …

10 graph-theory  gt.game-theory  evolutionary-game-theory