«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

2
Yeterince büyük boyuttaki afin alt uzaylarda sabit olmayan bir Boolean fonksiyonu
Açık bir Boolean işlevi f ile ilgileniyorum :f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}şu özelliğe sahipse: , bazı afin alt uzayında sabitse, bu alt uzayın boyutu .fff o ( n )0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Simetrik bir fonksiyonun dikkate alınarak bu özelliği karşılamadığını göstermek zor değildir . herhangi bir tam olarak 'e sahiptir ve bu nedenle …
4
“Farklı hipergraf renklendirme” - bilinen problem?
Aşağıdaki sorunla ilgileniyorum: Bir X kümesi ve X_1, ..., X_n alt kümeleri verildiğinde, X öğelerinin k renkleriyle renklendirilmesini bulun, böylece her X_i'deki öğeler farklı renktedir. Daha spesifik olarak, tüm X_i'nin k boyutunda olduğu duruma bakıyorum. Bu literatürde bir isim altında biliniyor mu? Renklendirilebilir örneklerin karakteristiklerini ve karmaşıklık ile ilgili sonuçları …
2
Gauss karmaşıklığına daha düşük sınırlar
Bir matrisinin Gauss karmaşıklığını , matrisi üst üçgen formuna getirmek için gereken minimum satır ve sütun işlemleri sayısı olarak tanımlayın . Bu, ile n ^ 2 arasındaki bir miktardır (Gauss eleminasyonu yoluyla). Bu kavram her alanda mantıklıdır.n × nnxnn \times n000n2n2n^2 Bu sorun kesinlikle çok basit görünüyor ve üzerinde çalışılmış …
1
NP ve Parity-P için en iyi bilinen eklem muhafazaları?
Parite-P , yalnızca çift sayı veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan kabul yolu yerine) arasında ayrım yapabilen, deterministik olmayan bir Turing makinesi tarafından tanınan diller kümesidir. Bu nedenle Parity-P, temelde PP'nin bodur küçük kardeşi: PP, bir NP makinesinin kabul yollarının sayısının çoğunluk olup olmadığını ( yani bu …
3
Sorgu karmaşıklığı açısından kesinlikle klasik ve kuantum arasında hesaplama modelleri
İyi bilinen kuantum bilgisayarlar, sorgu karmaşıklığı açısından klasik benzerlerinden kesinlikle daha güçlüdür . Sorgu karmaşıklığı açısından kesinlikle kuantum ile klasik arasında kalan başka modeller (doğal veya yapay) var mı? Ayrılma olabilir belirli sorunlar: model X işlevi işlevini kuantumdan kesinlikle daha fazla sorgu ile hesaplar , ancak klasikte alt sınırdan daha …
5
Tamsayı çarpanlara ayırma kehaneti ile P
Ben sadece "okumak ? Çarpanlara tamsayı NP-tam problemi mi " sorusunu ... Ben başka bir soru sorarak itibarımı bazı :-) geçirmeye karar böylece sahip P ( Q önemsiz ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Eğer çarpanlara tamsayı çözer, gücü nedir o bir kahin olan …
2
Kalıcıların benzersiz bir terimi olup olmadığına karar verebilir miyiz?
Tamsayı girişleri olan bir n'ye n matrisi, M, varsayalım. Biz olup olmadığını P karar Can bir permütasyon öyle ki tüm permütasyon için Elimizdeki ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Uyarılar. Elbette ürün bir miktarla değiştirilebilir, sorun aynı kalır. Matrisin yalnızca 0/1 girişleri varsa, NC'de bile olan Bipartite-UPM problemini alırız. Düzenleme: Yorumlarda …
2
Bir CNF'yi şifrelemek mümkün mü?
Bir CNF dönüştürmek mümkündür başka CNF içine Ψ ( Cı ) olacak şekildeCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Fonksiyon gizli bir rastgele parametrelerden polinom bir sürede elde edilebilir r .ΨΨ\Psirrr sadece C'nin bir çözeltisi varsabir çözeltiye sahiptir.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Herhangi bir çözüm ve Ψ ( Cı ) verimli bir şekilde ihtiva eden bir …
1
PSPACE'i polinom hiyerarşisinden ayıran minimum karmaşıklık kehaneti nedir?
Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …
3
NP-tamamlama problemlerinde faz geçişi ne kadar yaygındır?
Birçok NP-tam probleminin faz geçişi sergilediği iyi bilinmektedir . Burada, bir algoritmaya göre girdinin sertliğinden ziyade, dilde tutulma açısından faz geçişiyle ilgileniyorum. Kavramı kesinleştirmek için, resmi olarak şu şekilde tanımlayalım. dili , eğer faz (geçişle ilgili olarak) faz geçişi gösterirse,LLL Örneğin bir polinom zaman hesaplamalı, gerçek değerli fonksiyonu olan bir …
2
Minimum kümülatif küme toplamı
Bu sorunu ele alalım: sonlu kümeler listesi göz önüne alındığında, bir sipariş bulmak s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots o en aza indirir |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . Bunun için bilinen algoritmalar var mı? Karmaşıklığı nedir? Henüz verimli bir optimal algoritma düşünemedim, ancak …
2
Korse kavşak sorununun karmaşıklığı
Simetri grubu göz önüne alındığında ve iki alt grup ve yapar G \ pi \ kapak H = \ emptyset tutma?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Bildiğim kadarıyla sorun, coset kesişimi problemi olarak biliniyor. Merak ediyorum karmaşıklık nedir? Özellikle, bu sorunun coAM'da olduğu biliniyor mu? Dahası, abelyan olması kısıtlanırsa, karmaşıklık ne …
1
Belirsiz devrelerin boyutu için daha düşük sınırlar
Eşlik işlevini hesaplayan devrelerinin minimum boyutunun tam olarak olduğu bilinmektedir . Alt sınır kanıtı kapı eleme yöntemine dayanır. 3 ( n - 1 )U2U2U_23(n−1)3(n−1)3(n-1) Son zamanlarda, kapı eliminasyon yönteminin belirsiz olmayan devreleri için de iyi çalıştığını fark ettim ve parite fonksiyonunu hesaplayan belirsiz olmayan devrelerinin boyutu için alt sınırını kanıtlayabiliriz. …
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.