«graph-theory» etiketlenmiş sorular

Grafik teorisi, nesneler arasındaki ikili ilişkileri modellemek için kullanılan grafiklerin, matematiksel yapıların incelenmesidir.

5
Treewthth kavramının kökeni
Bugün benim sorum (her zamanki gibi) biraz saçma; ama nazik düşünmenizi rica ediyorum. Treewthth kavramının arkasındaki genesis ve / veya motivasyon hakkında bilmek istedim. FPT algoritmalarında kullanıldığından eminim ama bu kavramın tanımlanmasının nedeni bu olduğunu sanmıyorum. Bu konuda yazılan notları Prof Robin Thomas sınıfında yazdım . Sanırım bu kavramın bazı …
3
Grafik izomorfizm problemi için yarı-polinomlu bir zaman algoritmasının sonuçları
Grafik İzomorfizma sorunu (Gl) muhtemelen bir en iyi bilinen bir adaydır NP ara sorun. En iyi bilinen algoritma, çalışma zamanı 2 O ( √) olan üstel üstel algoritmadır.. O GI olmadığı bilinmektedirNPsürece -tamamlamakpolinom hiyerarşiçöker.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism problemi için yarı-polinomlu bir zaman algoritmasının karmaşıklık teorik sonuçları ne olurdu? GI …
2
Bir grafiğin seçilebilirliğini daha düşük düzeyde sınırlamak için kaç farklı renge ihtiyaç vardır?
Bir grafiktir -choosable (aynı zamanda -Tedarikçilerin listesi-renklendirilebilir her fonksiyonu için, eğer varsa) kümelerine köşe haritalar renk, bir renk atama olduğunu gibi tüm noktalar için, bu , de ve öyle ki, tüm kenarlar için , .kkkkkkfffkkkcccvvvc(v)∈f(v)c(v)∈f(v)c(v)\in f(v)vwvwvwc(v)≠c(w)c(v)≠c(w)c(v)\ne c(w) Şimdi bir grafiğinin seçilebilir olmadığını varsayalım. Yani, köşelerden geçerli renk ataması olmayan renklerin …
17
Dört Renk Teoremini ima eden varsayımlar
Dört Renk Teoremi (4CT), her düzlemsel grafiğin dört renklendirilebilir olduğunu belirtir. [Appel, Haken 1976] ve [Robertson, Sanders, Seymour, Thomas 1997] tarafından verilen iki kanıt vardır. Her iki kanıt da bilgisayar destekli ve oldukça korkutucu. Grafik teorisinde 4CT'yi ima eden birkaç varsayım vardır. Bu varsayımların çözülmesi, muhtemelen 4CT'nin kanıtlarının daha iyi …
3
Negatif ağırlık kenarlı maksimum kesim
G=(V,E,w)G=(V,E,w)G = (V, E, w)w:E→Rw:E→Rw:E\rightarrow \mathbb{R}argmaxS⊂V∑(u,v)∈E:u∈S,v∉Sw(u,v)arg⁡maxS⊂V∑(u,v)∈E:u∈S,v∉Sw(u,v)\arg\max_{S \subset V} \sum_{(u,v) \in E : u \in S, v \not \in S}w(u,v)w(e)≥0w(e)≥0w(e) \geq 0e∈Ee∈Ee \in E tepe noktalarının rastgele bir alt kümesini seçin .SSS Noktalar üzerinde bir sıralama Pick iştahla her köşe yer içinde veya kenarları kadar kesilmiş en üst düzeye çıkarmak içinvvvSSSS¯S¯\bar{S} …
3
Ağırlıklı bir haneye bakıldığında, her ağırlığın ata ağırlıklarının toplamı ile yer değiştirmesi için bir O (V + E) algoritması var mı?
Sorun elbette çift saymadır. Bazı DAG sınıfları = ağaç veya seri-paralel ağaç için yapılabilecek kadar kolaydır. Genel DAG'lar üzerinde makul bir sürede çalışan tek algoritma yaklaşık bir değerdir (Sinopsis difüzyonu), ancak hassasiyetini artırmak bitlerin sayısında üsteldir (ve çok fazla bit gerekir). Arka plan: Bu görev BBChop'ta olasılık hesaplamalarının bir parçası …
1
Gerilim ve NL - L Problemi
ST-Bağlantı iki ayırt edici noktalar arasında yönlendirilmiş bir yolu vardır olup olmadığını belirlemenin bir sorundur ve yönlendirilmiş grafikte . Bu problemin logspace içerisinde çözülebilmesi, uzun zamandır açık bir problemdir. Bu vs sorunu denir .ssstttG ( V, E)G,(V,E)G(V,E)N-LN-LNLLLL altta yatan yönlendirilmemiş grafiği treewdth sınırlandırdığında ST-Connectivity'in karmaşıklığı nedir ?G,G,G NL-zor olduğu biliniyor …
5
Küçük hariç tutulan grafikler için kolay olan nedir?
Jung / Shah algoritmasını kullanarak, az sayıdaki dışlanmış grafiklerde yaklaşık renklendirme sayısının kolay olduğu görülüyor . Genel grafiklerde zor olan, ancak küçük dışlanan grafiklerde kolay olan diğer sorun örnekleri nelerdir? Güncelleme 10/24 Grohe'nin sonuçlarına göre, sınırsız dişli grafiklerinde test etmek için FPT olan formül, küçük dışlanmış grafiklerde test etmek için …
1
Grafik izomorfizmi karekök sınırlı nondeterminizm ile karar verilebilir mi?
Sınırlı nondeterminizm, fonksiyonunu , yeni bir g - C sınıfı oluşturmak için, kaynağa bağlı deterministik Turing makineleri tarafından kabul edilen dillerin Cg(n)g(n)g(n) sınıfı ile ilişkilendirir . Bu sınıf, bazı tanımlayıcı olmayan Turing makinesi M tarafından kabul edilen ve C'yi tanımlamak için kullanılan kaynak sınırlarına uyan dillerden oluşur , ancak M'nin …
4
Sadece spektral grafik teorisi ile elde edilen kanıtlar
Büyüleyici bulduğum spektral grafik teorisine artan bir ilgi duyuyorum ve şu ana kadar sahip olduğumdan daha iyi okumak için sahip olduğum birkaç belgeyi toplamaya başladım. Ancak, ben (örneğin çeşitli kaynaklardan de geçiyor o açıklamada merak ediyorum Oradaki grafik teoride bazı sonuçlar yalnızca spektrum tabanlı teknikler kullanılarak kanıtladı ve o ana …
3
Hamilton döngüsü olmayan rastgele bir grafik nasıl üretilir?
A sınıfı , bir Hamilton döngüsüne sahip tüm boyutundaki grafikleri gösterir. Take - rastgele bu sınıftan grafiği üretmek kolaydır , n , izole düğümleri rastgele Hamilton döngüsü ekleyin ve sonra rasgele kenarları ekleyin.nnnnnn B sınıfı , Hamilton döngüsüne sahip olmayan tüm boyutundaki grafikleri göstersin . Bu sınıftan rastgele bir grafiği …
4
Polinom zamanında en büyük bağımsız kümenin bulunduğu maksimal sınıflar?
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 …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.