«clique» etiketlenmiş sorular

Üzerinde biraz akıl yürütme iken bu soruya , tüm grafiği kendisi için farklı nedenleri tespit etmek denedim olmak başarısız olabilir yalandan. Bunlar şimdiye kadar tanımlayabilmemin tek 2 nedeni:kG=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk GGG , boyutunda bir klik içerir . Bu bariz bir sebep.k+1k+1k+1 Aşağıdaki ifadelerin her ikisinin de doğru olması için bir …

21 graph-theory  co.combinatorics  graph-colouring  clique 

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 

Bırakın 0≤p≤10≤p≤10\le p\le 1 ve karar problemini düşünün CLIQUE p Giriş: tamsayı s , t köşeleri olan grafik G ve ⌈ p ( tpp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceilkenarları Soru:etmezGGGen az bir klik ihtivasssköşe? CLIQUE p örneği, olası tüm kenarlardan bir p oranı içerir . Açıkça CLIQUE p , bazı p değerleri …

17 cc.complexity-theory  np  parameterized-complexity  clique 

şöyle -cycle sorundur:kkk Eşgörünüm: köşesi olan ve n \ en fazla 2 kenar içeren yönlendirilmemiş bir grafikG,GGnnn( n2)(n2)n \choose 2 Soru: G'de (uygun) bir kkk döngüsü var mı?G,G,G Arka plan: Herhangi bir sabit kkk , 2 k2k2k döngüsünü O ( n2)Ö(n2)O(n^2) zamanda çözebiliriz . Raphael Yuster, Uri Zwick: Hatta Döngüleri …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Basit bir şekilde: İki yönlü sonlu bir otomat , o ( v 3 ) durumları olan bir üçgen içeren vvv -vertex grafiklerini tanıyabilir mi?o(v3)o(v3)o(v^3) ayrıntılar Burada ilgi çekici olan, -vertex grafikleri bir kenar dizisi kullanılarak kodlanmış olup, her kenar den bir çift farklı köşe noktasıdır .{ 0 , 1 , …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Bu soru Peng Zhang'ın bir MathOverflow sorusu tarafından motive edilmiştir . Valiant, genel bir grafikte maksimal klipleri saymanın # P tam olduğunu gösterdi, ancak karşılaştırılamazlık grafikleriyle kısıtlarsak (yani, sonlu bir posetteki maksimum antiksinleri saymak istiyorsak)? Bu soru, daha önce ele alındığından şüpheleneceğim kadar doğal görünüyor, ancak literatürde bulamadım.

13 cc.complexity-theory  counting-complexity  partial-order  clique 

3 Klik Bölme problemi, gibi bir grafiğin köşelerinin 3 klibe bölünüp bölünemeyeceğini belirleme problemidir . Bu sorun, 3-renklendirme probleminden basit bir azalma ile NP-zordur. Çap ( G ) = 1 veya çap ( G ) > 5 olduğunda bu sorunun cevabının kolay olduğunu görmek zor değildir . Diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Örneği çok daha büyük hale getirmeden -Clique'i SAT'a düşürmekle ilgileniyorum .kkk Klips NP'de olduğundan logaritmik boşluk kullanılarak SAT'a indirgenebilir. Basit Garey / Johnson ders kitabı küçültme örneği kübik boyuta getirir . Bununla birlikte, -Clique her sabit k için P'dir, bu nedenle en azından sabit k için etkili bir azalma olmalıdır …

10 cc.complexity-theory  sat  reductions  clique 

in en fazla altkümesinden ailesi verildi . Sendika kapatma başka dizi ailedir 1 veya daha fazla setleri birliğini alarak inşa edilebilir her kümesini içeren . By set sayısını belirtiriz . n { 1 , 2 , … , n } F C F | C | CFF\mathcal Fnnn{ 1 , …

10 co.combinatorics  graph-algorithms  clique  independence 

Ay ve Moser 1965 klibi sonucunun tam metinlerini Grafiklerde Cliques'ta arıyorum ( üstel maksimum sayıda klibi olan grafikler var ). Üniversitemin ödeme duvarının ilgili dergiye erişimi yok. (Aslında, önizleme ispatın ilk birkaç cümlesini sağlar, ancak daha sonra beni dinlenmeden bırakır!)nnn Takip ettiğim bir araştırma yönüyle ilgili bu sonuçla ilgileniyordum, ancak …

10 reference-request  graph-theory  co.combinatorics  clique 

EPT (bir ağaçtaki yolların kenar kesişimi) grafikleri hakkında eski bir MC Golumbic gazetesi okuyorum. Bu makalede, bir EPT grafik örneğinin maksimum klip sayısının polinom olduğu gösterilmiştir. Bir kâhin bir grafikGGG bir EPT grafiğidir, o zaman maksimum klibi standart bir klişe numaralandırma algoritmasıyla bulmak mümkündür. Her şeyden önce, bu standart klik …

9 ds.algorithms  graph-algorithms  clique