«graph-theory» etiketlenmiş sorular

@ Marzio'nun belirttiği gibi, aşağıdaki oyun Genelleştirilmiş Coğrafya olarak bilinir . Bir grafik ve bir başlangıç ​​noktası v ∈ V verildiğinde, oyun aşağıdaki gibi tanımlanır:G = ( V, E)G,=(V,E)G=(V,E)v ∈ Vv∈Vv \in V Her turda (dönüşümlü iki oyuncu), bir oyuncu seçer ve sonra aşağıdakiler olur:u ∈ N( v )u∈N-(v)u\in N(v) …

11 graph-theory  graph-algorithms  gt.game-theory 

Gross ve Tucker'ın Topolojik Grafik Teorisi kitabına göre , bir grafiğin bir yüzeye hücresel gömülmesi göz önüne alındığında ('yüzey' ile burada bazı tutamaçları olan bir küreyi kastediyorum ve S n'nin altında , tam olarak n tutamaçları), orijinal grafiğin yüzlerine köşe olarak muamele ederek ve karşılık gelen yüzlerin orijinal grafikte ortak …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Negatif olmayan kenar ağırlıkları ve iki ayırt edici köşe noktası olan bağlı yönlendirilmemiş bir grafik düşünün . Aşağıdaki formun tümü olan bazı yol sorunları şunlardır: yoldaki kenar ağırlıklarının bazı işlevleri minimum olacak şekilde bir yolu bulun . Bu anlamda hepsi en kısa yol sorununun "akrabaları" dır; ikincisinde fonksiyon basitçe toplamdır.s …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

G1, G2 ve G3 grafiği göz önüne alındığında, G1 ve G2 ile G1 ve G3 arasında izomorfizm testi F yapmak istiyoruz. G2 ve G3, G3'ün bir düğümü silerek ve G2'den bir düğüm ekleyerek oluşturulacağı şekilde çok benzerse ve F'nin (G1, G2) sonucunu elde edersek, F'yi (G1, G3) sıfırdan hesaplamadan hesaplayabilir …

10 graph-theory  graph-algorithms  graph-isomorphism 

Bazı grafik problemlerinin varsayımsal sertliğine dair iki örnekle karşılaştım. Varsayımsal sertlik, bazı varsayımları reddetmenin, ilgili grafik sorununun NP-bütünlüğünü ima edeceği anlamına gelir. Örneğin, Barnette'in varsayımı her 3 bağlantılı kübik düzlemsel iki taraflı grafiğin Hamiltoncu olduğunu belirtir. Feder ve Subi , varsayımın reddedilmesinin , Hamilton sınıfı probleminin varsayım sınıfındaki grafiklerde NP …

10 cc.complexity-theory  graph-theory  np-hardness 

Sınırlı trewidth ile birkaç ilginç grafik sınıfı vardır. Örneğin, ağaçlar (treewidth 1), seri paralel grafikler (treididth 2), dış düzlemsel grafikler (treewidth 2), dış düzlemsel grafikler (trewidth O (k)), dal genişliği k (trewidth O (k)), .. .kkkkkk Soru: Ağaç genişliği sabit değil, düşük büyüyen bir fonksiyonla sınırlı ilginç grafik sınıflarının örnekleri …

10 graph-theory  treewidth 

Let üzerinde basit bir yönsüz çizge köşe ve kenarları.n mG=(V,E)G,=(V,E)G=(V,E)nnnmmm rastgele yayılan ağaç oluşturmak için Wilson algoritmasının beklenen çalışma süresini belirlemeye çalışıyorum . Orada gösterildiği burada, olan ortalama vuruş süresi : ki burada:O ( τ ) τGG,GO(τ)Ö(τ)O(\tau)ττ\tauτ=∑v∈Vπ(v)⋅H(u,v),τ=Σv∈Vπ(v)⋅'H(u,v),\tau = \sum_{v \in V} \pi(v) \cdot H(u, v), ππ\pi olan sabit dağılımı ,π(v)=d(v)2mπ(v)=d(v)2m\pi(v)=\frac{d(v)}{2m} …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

kalıtsal bir grafik sınıfı olsun . (Kalıtsal = kaynaklı subgraphs alarak göre kapalı). Let kümesini belirtir de -vertex grafikler . Diyelim ki Q_n içinde düşen -vertex grafiklerinin bir kısmı olarak yaklaşırsa neredeyse tüm grafikleri içerir .Q n n Q Q n Q n n → ∞QQQQnQnQ_nnnnQQQQQQnnnQnQnQ_nn→∞n→∞n\rightarrow\infty Soru: Kalıtsal bir grafik …

10 graph-theory 

Bu blog bir bilgisayar kullanarak onları numaralandıran "kıvrımlı küçük labirentine" üretmekten bahsediyor. Numaralandırma UST'yi almak için Wilson algoritması kullanılarak yapılabilir , ancak orada kaç tane formül hatırlamıyorum. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Prensip olarak, Matris Ağacı Teoremi bir grafiğin yayılan ağaç sayısının grafiğin Laplacian matrisinin determinantına eşit olduğunu belirtir. Let G=(E,V)G=(E,V)G= (E,V) grafik olarak …

10 graph-theory  randomized-algorithms  matrices  tree 

İspat karmaşıklığı, hesaplama karmaşıklığı teorisinin en temel alanıdır. Bu alanın nihai amacı ispatlamaktır , yani herhangi bir ispat verilen girdi formülünün tatmin edilemez olduğuna dair bir kanıt veremez. N-P≠ c o NPN-P≠cÖN-PNP\neq coNP Bir grafik, resmi ispat modellerinden biridir. Benim sorum bu modele daha fazla sınırlama getirmek. Bir kanıt DAG …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

MO'dan Crossposted . (kenar) renkli grafik izomorfizmi, renkleri koruyan GI'dir (kenar renkli ise kenarlar). (Kenar) renkli GI'den GI'ye dönüşümler / araçlar kullanılarak yapılan birkaç azalma vardır. Kenar renkli GI için en basit olanı, renkli kenarı, rengi kodlayan bir GI koruma aracıyla değiştirmektir (kenarı yeterince alt bölümlere ayırmak en basit durumdur). …

10 graph-theory  graph-isomorphism  automorphism 

David Eppstein'ın ortaya çıkardığı açık bir sorunla karşılaştım ve karmaşıklık durumu ile ilgileniyorum. NP'nin eksiksiz olduğunu tahmin etti. Girdi: ile n, 0 ve 1 's, sekansının matrisi , n 2 0 ve 1' snnnnnnn2n2n^2 Soru: Bitişik matris girişleri boyunca, her bir matris girişini tam olarak bir kez kapsayan, verilen sırayla …

10 cc.complexity-theory  graph-theory 

Ağaç genişliği herhangi bir hoş grafik sınıfları vardır klik numarası bir işlev tarafından üst sınırlanan w ( G ) , yani t ağırlık ( G ) ≤ f ( ω ( G ) ) ?t w ( G )tw(G,)tw(G)ω ( G )ω(G,)\omega(G)t w ( G ) ≤ f( ω ( …

10 graph-theory  treewidth 

Yönlendirilmiş bir grafik verildiğinde, grafiğin eşit uzunlukta yönlendirilmiş bir döngü içerip içermediğine karar vermek istiyoruz. YUSTER ve ZWICK'in 1997 tarihli bu makalesinde , sorunun olarak bilinmediği veya N P-tamamlandığı bilinmemektedir .PPPNPNPNP Yönlendirilmiş grafiklerde çift döngü sorununun karmaşıklığını çözen yeni bir sonuç var mı?

10 cc.complexity-theory  reference-request  graph-theory 

Bir yaprak kümesi, konakçı grafikte tam bir alt çizgi oluşturuyorsa, bir grafiğin yayılan ağacına tamlık ağacı denir. Bir grafik ve bir tamsayı k verildiğinde, G en fazla k yapraklı bir bütünlük ağacı içeriyorsa karar vermenin karmaşıklığı nedir?GGGkkkGGGkkk Bu soruyu sormanın bir nedeni, bağımsızlık ağaçları için karşılık gelen sorunun NP-tamamlanmış olmasıdır, …

10 cc.complexity-theory  graph-theory  graph-algorithms