«graph-algorithms» etiketlenmiş sorular

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 …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

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 …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

, 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 …

19 graph-theory  graph-algorithms  ds.data-structures 

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 …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Bilgisayar bir grafik Cheeger sabit (esas olarak en az alanı / hacim oranı nedeniyle), aynı zamanda Kümenin sabiti olarak da bilinen, NP, bitmiş olduğu bilinmektedir. Genellikle yaklaşıktır. Özel grafik sınıfları için kesin polinom algoritmalarının bilinip bilinmediğini öğrenmek istiyorum. Örneğin, normal grafikler için hala NP-tamamlanmış mı? İçin mesafeye düzenli grafikler ? …

19 ds.algorithms  reference-request  graph-algorithms 

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. …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

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 …

18 graph-theory  graph-algorithms  treewidth 

Belirli bir grafikte belirli bir küçükler kümesi olup olmadığını test etmek için herhangi bir ücretsiz grafik kütüphaneleri olup olmadığını bilmek ister misiniz?

18 graph-algorithms  implementation  graph-minor 

Bir grafiğin üçlü genişliğini hesaplamak istiyorum . Altgraf izomorfizması için VF2 gibi diğer NP-sert grafik problemleri için gerçekten iyi sezgisel tarama var , örneğin igraph'ta kod mevcut . Onları grafiklerimde denedim ve verilerim için çok hızlı çalıştıklarını fark ettim. Benzer bir damarda trewidth hesaplaması için hızlı algoritmalar var mı?

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

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 

Diyelim ki , yapısını bilmediğimiz sabit dereceli bir ağaçtır. Sorun çıkışına ağaçtır "düğüm mu: Formun sorguları sorarak düğümü gelen yolda yalan düğümü için ?". Her bir sorgunun bir kehanet tarafından sabit zamanda cevaplanabileceğini varsayın. değerini , ağaçtaki düğüm sayısını biliyoruz . Amaç, ağacının çıktısını almak için harcanan zamanı en aza …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Let bir yönsüz basit grafik olabilir ve izin ayrı noktalar olabilir. Basit bir st yolunun uzunluğunun yoldaki kenar sayısı olmasına izin verin. Her bir yolun tek bir uzunluğa sahip olacağı ve her bir yol çiftinin tepe kümelerinin çift olarak yalnızca s ve t ile kesişeceği şekilde basit st yollarının bir …

18 matching  graph-algorithms 

Bir yönlendirilmiş asiklik grafiktir için , ikinci dereceden bir alan ya da doğrusal bir zaman gerektirmeden ulaşılabilirlik sorguları için izin veren bir veri yapısı var mı? İdeal tepe noktası ve logaritmik zaman başına yalnızca O (log n) kullanılarak algoritma alanı aramaya ⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle}.n = | V| + | E|n=|V|+|E|n=|V|+|E| …

17 graph-algorithms 

Bizim bir grafiktir diyelim olduğu halinde -connected herhangi çıkarılması bir köşe ve her B kenarlarda G her yaprak bağlı bir grafik. Örneğin , standart tanıma göre k bağlantılı bir grafik, yeni tanıma göre ( k - 1 , 0 ) bağlıdır . Karar vermek için bir polinom zamanlı bir algoritma …

17 ds.algorithms  graph-theory  graph-algorithms 

Üç tür düğüm ile bir anahtar ağı (ad icat edilir) yapılır: bir Başlangıç ​​düğümü bir Bitiş düğümü bir veya daha fazla Anahtar düğümü Anahtar düğümünde 3 çıkış bulunur: Sol, Yukarı, Sağ; iki L ve R durumu ve bir hedef durumu TL veya TR'dir . Her anahtar aşağıdaki kurallara göre hareket …

17 ds.algorithms  reference-request  graph-algorithms  np