«counting-complexity» etiketlenmiş sorular

Çözüm sayısını saymak ne kadar zor?

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 …
1
Rastgele 2-SAT'ın sayım karmaşıklığı nedir?
# 2-SAT'ın rastgele örneklerinin karmaşıklığının , yan tümce yoğunluğuna göre nasıl değiştiği konusunda herhangi bir çalışma yapıldı mı? Yani: Rastgele üretilen 2-SAT örneğine tatmin edici çözümler saymanın zorluğu , madde yoğunluğu değiştikçe nasıl değişir? Özellikle, kritik eşikler ile ilgili bilinen kesin sonuçlar var mı? Tabii ki, çünkü 2-SAT ∈ P …
1
# 2-SAT'ın # P-complete alt aileleri nelerdir?
Kısa versiyon. # 2-SAT'ın #P -complete olduğuna dair orijinal kanıt, aslında # 2-SAT'ın hem monoton (herhangi bir değişkenin olumsuzluğunu içermeyen) hem de bipartit ( değişkenler iki parçalı bir grafiktir) #P -hard. Bu nedenle, # 2-MONOTONE-SAT ve # 2-BIPARTITE-SAT olmak üzere iki özel durum #P -hard. Formülün #P -hard olan 'doğal' …
1
Genel bir grafikteki basit
I Başlangıç tepe verilen bir yönlendirilmiş grafikte basit yolların sayısı yaklaştırmak için bazı iyi polinom zaman algoritmanın var olduğunu söylendi verilen son tepe . Bu konuda iyi bir referans bilen var mı?sssttt Arka plan: genel bir grafikte tam yol sayısını saymak # P-tamamlandı ancak problem için polinom zaman yaklaşımları olabilir. …
2
Bir grafiğin kenar kapaklarının sayısını saymanın karmaşıklığı
Bir kenar kapak grafiğin her tepe kapağı en az bir kenarına bitişik olacak şekilde bir grafik kenarlarının bir alt kümesidir. Aşağıdaki iki makale, sayma kenarı kapaklarının # P -complete olduğunu söylüyor : Kenar Kapaklarını Saymak ve Yol Grafiklerinin Kenar Kapaklarını Oluşturmak için Basit Bir FPTAS . Ancak, bir şeyi kaçırmadıkça, …
2
Negatif olmayan tamsayılarda doğrusal diofantin denklemi
Negatif olmayan tamsayılarda lineer diofantin denklemini çözmede NP-tam problemi hakkında bulabileceğim çok az bilgi var. Yani, negatif olmayan denklemine bir çözüm var mı, burada tüm sabitler pozitif mi? Bu sorunun bildiğim tek kayda değer sözü Schrijver'in Doğrusal ve Tamsayılı Programlama Teorisinde . Ve o zaman bile, bu oldukça sıradan bir …
3
Kübik Hamilton grafiklerinde Hamilton çevrimlerinin sayısını mı hesaplıyorsunuz?
Bu ise kübik Hamilton grafiklerde uzun döngüsünün değişmez bir yaklaşımının bulunması için -Sert. Kübik Hamilton grafikleri en az iki Hamilton döngüsüne sahiptir.N-PN-PNP Kübik Hamilton grafiklerinde Hamilton çevrimlerinin sayısında en iyi bilinen üst sınır ve alt sınır nedir? Kübik bir Hamilton grafiği göz önüne alındığında, Hamilton çevrimlerinin sayısını bulmanın karmaşıklığı nedir? …
1
Tepe etiketlerinin “yerel” işlevlerini birleştirmek için grafik ayrışmaları
Bulduğumuz istediğinizi varsayalım ∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j) veya maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xben,xj)\max_x \prod_{ij \in E} f(x_i,x_j) V'nin tüm etiketlemeleri üzerinde maks veya toplam alındığında VVV, G = \ {V, E \} grafiği için ürün E'nin tüm kenarlarından alınır ve f isteğe bağlı bir fonksiyondur. Bu miktar sınırlı ağaç genişliği grafikleri için ve …
2
#P'nin üstünde ve arama sorunlarını sayma
Sekiz kraliçe sorunu hakkında wikipedia makalesini okuyordum. Kesin çözüm sayısı için bilinen bir formül olmadığı belirtilmektedir. Biraz arama yaptıktan sonra, "Tam eşlemelerin problemlerini saymanın sertliği hakkında" adlı bir makale buldum. Bu yazıda, en çok #queens kadar sert olduğu gösterilen ve #P'nin ötesinde bir sorun var. Vikipedi makalesinde # sayıların kapsamlı …
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
2
Ben-Dor / Halevi'den kalıcılığın P-tam ispatına bir soru
Ben-Dor / Halevi'nin [1] makalesinde, kalıcı maddenin olduğuna dair bir kanıt daha verilmiştir . Kağıdın sonraki bölümünde , kalıcı değer zincir boyunca korunurken , redüksiyon zincirini IntPerm ∝ NoNegPerm ∝ 2PowersPerm ∝ 0/1-Perm gösterirler. Bir 3SAT formül satiesfying atamaları sayısı yana cp kalıcı değer elde edilebilir, son kalıcı hesaplamak için …
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.