«graph-theory» etiketlenmiş sorular

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


1
Yayılan ağaç sayısını hızlı sayın
t(G)t(G)t(G)GGGnnnt(G)t(G)t(G)O(n3)O(n3)O(n^3)1n2det(J+Q)1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 daha hızlı hesaplamanın bir yolu olup olmadığını merak ediyorum . (Evet, hesaplayıcı belirleyici için algoritmalarından daha hızlıdır, ancak bazı yeni yaklaşımlarla ilgileniyorum.)t(G)t(G)t(G)O(n3)O(n3)O(n^3) Ayrıca, özel grafik ailelerini (düzlemsel, belki?) Düşünmekle de ilgileniyor. Örneğin, circulant grafikler için, de hesaplanabilir kimlik ile aritmetik işlemler burada , Laplacian matrisinin sıfır …

2
Geri bildirim tepe noktası problemi polinom zamanda 3 derecelik sınırlı grafikler için çözülebilir mi?
Geri Bildirim Vertex Seti, genel grafikler için NP-eksiksizdir. Köşe örtüsünün azalmasından dolayı derece-8 sınırlı grafikler için NP-tam olduğu bilinmektedir. Wikipedia makalesi o derece-3 sınırlanmış grafikler için poli-time çözülebilir ve derece-4 sınırlanmış grafikler için NP-tam olduğunu söylüyor. Ama bunun için hiçbir yerde kanıt bulamadım. Bu doğru mu? Derece-d sınırlı grafiklerde FVS'nin …


1
İyi uyarılmış alt paragraf bulma
Bir grafik verilmiştir ile köşe. İsterseniz iki taraflı olabilir. (birbirinden deyin) kenar kümesi vardır . Ben indüklenen grafik her bir sınıfından en az bir kenarı , mümkün olduğunca küçük (veya daha küçük) bir alt küme bulma sorunu ile ilgileniyorum .G = ( V, E)G,=(V,E)G = (V,E)nnnmmmE1, … , Em⊆ EE1,...,Em⊆EE_1,\ldots, …

2
En kısa yollar için veri yapısı
, köşeli ve kenarlı , ağırlıksız yönlendirilmemiş bir grafik olsun . önişlemek ve O (n) zamanında " ile arasındaki mesafe" biçimindeki sorguları yanıtlayabilmesi için büyüklüğünde bir veri yapısı üretmek mümkün müdür ?n m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv …

2
En Kısa Yollar için Aksiyomlar
Yönlendirilmemiş ağırlıklı bir grafiğimiz G=(V,E,w)G=(V,E,w)G = (V, E, w) (negatif olmayan ağırlıklarla) varsayalım . en kısa yolların GGGbenzersiz olduğunu varsayalım . Bu yollarımız olduğunu (ağırlıksız kenar dizileri), ancak kendisini bilmediğini varsayalım . Bu yolları polinom zamanında en kısa olarak verebilecek herhangi bir G üretebilir miyiz ? Daha zayıf versiyon: böyle …

2
büyüyen yönlendirilmemiş bir grafiğin dengeli bir yayılma ağacını korumak
Grafiğe yeni düğümler / kenarlar eklediğim için, bir grafiğin nispeten dengeli bir yayılma ağacını korumanın yollarını arıyorum. Tek bir düğüm, "kök" olarak başlayan yönlendirilmemiş bir grafik var. Her adımda, grafiğe ya yeni bir düğümü ve grafiğe bağlayan bir kenarı ya da sadece iki eski düğümü bağlayan yeni bir kenarı eklerim. …

11
Gerçek bilgisayar ağları için rastgele grafik modelleri
Gerçek bilgisayar ağlarının grafiklerine benzeyen rastgele grafik modelleri ile ilgileniyorum. Ortak iyi çalışılmış modelinin ( n köşe noktası, her olası kenar p olasılığı ile seçildiğinden ) gerçek bilgisayar ağlarını incelemek için iyi olup olmadığından emin değilim (değil mi?).G(n,p)G(n,p)G(n,p)nnnppp pratikte ortaya çıkan bilgisayar ağlarını anlamak için hangi rastgele grafik modelleri yararlıdır? …

1
Her köşenin benzersiz bir ortak komşusuna sahip olduğu grafiklerin oluşturulması
, derece tepe noktası olmadan köşelerinde basit bir grafik olsun . herhangi iki köşesi için her ikisine bitişik benzersiz bir tepe noktası olduğunu varsayalım . Böyle bir grafiğin düzenli olduğunu kanıtlamak, Kombinasyon Dersi , van Lint ve Wilson'dan bir alıştırmadır .GGGnnn(n>3)(n>3)(n > 3)n−1n−1n − 1GGG Ancak sorum, verilen kısıtlamaları karşılayan …

2
Bir bitişiklik matrisinin karesinden kurtarılmasının karmaşıklığı
Aşağıdaki sorunla ilgileniyorum: matrisi verildiğinde , bitişiklik matrisi o matris olan köşelerinde yönlendirilmemiş bir grafik var mı?n×nn×nn\times nnnn Bu sorunun hesaplama karmaşıklığı biliniyor mu? Uyarılar: Tabii ki, bu da matris verilen bir arama sorunu olarak ifade edilebilir için , bir yönsüz grafiğin bir bitişiklik matrisi ve problem (bir yönsüz grafiğin) …

3
Sınırlı üçlü genişlik grafikleri üzerinde kolay küresel sorunları zor küresel sorunlardan ayıran nedir?
Sınırlı üçlü genişlikli grafikler üzerinde polinom zamanında çok sayıda sert grafik problemi çözülebilir . Aslında, ders kitapları tipik olarak yerel bir sorun olan örnek olarak bağımsız küme kullanır . Kabaca, yerel bir sorun, her köşenin küçük bir mahallesini inceleyerek çözümü doğrulanabilen bir sorundur. İlginç bir şekilde, küresel nitelikteki problemler bile …



5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

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.