«counting-complexity» etiketlenmiş sorular

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

1
Parite-L'den CNOT devrelerine log alanı azaltma?
Soru. Makalelerinde dengeleyici devrelerinin Geliştirilmiş simülasyon , Aaronson ve Gottesman, istem bir CNOT devresi simüle olduğu ⊕L (logspace indirimleri altında) -tamamlamak. ⊕L'de bulunduğu açıktır ; sertlik sonucu nasıl tutulur? Eşdeğer olarak: yinelenen matris ürünleri modulo 2'den, temel matrislerin (satır dönüşümlerini gerçekleştiren ters çevrilebilir matrisler) mod 2 yinelenen ürünlerine bir günlük …
3
Gap-P sorununun #P dışında olduğunu nasıl gösterebilirim?
Kombinasyonel temsil teorisi ve cebirsel geometride, hiçbir pozitif formülü bilinmeyen bir takım problemler vardır. Düşündüğüm birkaç örnek var, ancak Kronecker katsayılarını hesaplamaya örnek olarak vereyim . Genellikle, "pozitif formül" kavramı kombinatoriklerde tam olarak tanımlanmamıştır, ancak kabaca "makul bir şekilde açık kümenin kardinalitesi olarak bir tanım" anlamına gelir. Son zamanlarda Jonah …
4
Tepe kapaklarının sayısını saymak: ne zaman zordur?
Belirli bir grafiğinin köşe kapaklarının sayısını saymak için # P-complete problemini düşünün .G = ( V, E)G=(V,E)G = (V, E) Böyle bir sorunun sertliğinin bazı parametrelerine göre nasıl değiştiğini gösteren herhangi bir sonuç olup olmadığını bilmek istiyorum (örneğin, ).d = | E |G,GGd= | E|| V|d=|E||V|d = \frac{|E|}{|V|} Benim hissim, …
3
İki CNF'nin aynı sayıda çözüme sahip olup olmadığını kontrol etmenin karmaşıklığı
İki CNF verildiğinde, doğru yapmak için aynı sayıda ödeve sahiplerse, "Evet" yanıtı, aksi takdirde "Hayır" yanıtını verin. olduğunu görmek kolaydır , çünkü bu iki CNF'ye kesin çözüm sayısını bilirsek, sadece onları kamp eder ve "Evet" veya "Hayır" yanıtını veririz.P#PP#PP^{\#P} Bu sorunun karmaşıklığı nedir?
2
Median-SAT'ın karmaşıklığı nedir?
değişkenleri ve cümleleri olan bir CNF formülü olsun . değişken bir atamayı temsil etsin ve değişken atama tarafından yerine getirilen cümle sayısını . Daha sonra Median-SAT'ı nin tüm medyan değerini hesaplama sorunu olarak tanımlayın . Örneğin, bir totoloji ise, Median-SAT çözümü olacaktır, çünkü atamadan bağımsız olarak her fıkra tatmin edilecektir. …
1
Parite-L ve NL
L olarak da bilinen parite-L, yalnızca çift sayı veya tek sayıda "kabul" yolu ayırt edebilen deterministik olmayan bir Turing makinesi tarafından tanınan dil kümesidir. Yakın zamanda ilgili bir soru Niel de Beaudrap tarafından sorulmuştur.⊕⊕\oplus Sorum şu: Bildiğimiz musunuz NL eğer ⊆⊆\subseteq ⊕⊕\oplus L? Yoksa bu iki sınıfın kıyaslanamaz olduğuna inanılıyor …
1
# P-complete karşılaştırılamazlık grafiğinde maksimum uçları saymak mı?
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.
6
Herhangi bir algoritmik problemin zaman karmaşıklığına sahip olması sayılır mı?
Sayma olarak adlandırdığım şey, bir işleve çözüm sayısını bulmaktan oluşan sorundur. Daha doğrusu, f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (ille de kara kutu değil) işlevi verildiğinde , yaklaşık #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Bir çeşit sayımı içeren ve zaman karmaşıklığının bu temel sayma probleminden büyük ölçüde etkilendiği algoritmik problemler arıyorum. Tabii ki, sorunları kendileri …
4
Sayma ve Kombinatorikte Pfaffian Yöntemleri Hakkında
Son zamanlarda, Holografik Algoritmalara bir giriş yapıyordum. Pfaffianlar adlı bazı kombinatoryal nesnelere rastladım. Şu anda bunlar hakkında çok fazla şey bilmiyorum ve koyabilecekleri şaşırtıcı kullanımlarla karşılaştım. Örneğin, düzlemsel grafiklerde mükemmel eşleşme sayısını etkili bir şekilde saymak için kullanılabileceklerini öğrendim. Ayrıca, 2 * 1 fayans kullanarak bir satranç tahtasının olası eğim …
2
Monoton-2CNF formüllerinin sayım çözeltileri
Bir Monoton-2CNF formülü, her bir maddenin tam olarak 2 pozitif değişmezden oluştuğu bir CNF formülüdür. Şimdi, bir Monoton-2CNF formülü . , tatmin edici ödevleri kümesi olsun . Ayrıca aşağıdaki bilgileri verebilen bir kehanet var:FFFSSSFFFOOO Set kardinalitesi (yani çözelti sayısı ).SSSFFF değişkeni verildiğinde : xxx pozitif değişmez değeri içeren çözelti sayısı …
2
POZİTİF CNF-SAT'daki tatmin edici görevlerin sayısını sayma
Belirli bir genel boole formülünde (CNF-SAT), belirli bir DNF formülünde veya hatta belirli bir 2SAT formülünde tatmin edici atama sayısını saymanın problemini # P-tamamlama problemidir. Şimdi, negatif değişmez değeri olmayan bir CNF-SAT düşünün ( , her zaman ). Karar problemi çok kolaydır (tüm değişkenleri TRUE olarak ayarlayın ve atamanın formülü …
2
Bağlı tüm altgrafları saymanın karmaşıklığı
G bağlantılı bir grafik olsun. G aşağıdaki tiplerden biriyse , bağlı tüm altgrafları saymanın karmaşıklığı nedir ? G geneldir. G düzlemseldir. G iki taraflıdır. Herhangi bir yapıyı umursamıyorum ya da ..., tüm bağlı altgrafları saymalıyım! Ayrıca , G'de tam olarak k düğümleri olan tüm bağlı altgrafları saymanın karmaşıklığıyla da ilgileniyorum. …
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.