«cc.complexity-theory» etiketlenmiş sorular

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

2
L'nin devreler açısından bir tanımı var mı?
Turing makineleri ile tanımlanan birçok karmaşıklık sınıfı, düzgün devreler açısından tanımlara sahiptir. Örneğin P, aynı zamanda, tekdüze polinom boyutlu devreler kullanılarak tanımlanabilir ve benzer şekilde, BPP, NP, BQP, vb., Tekdüze devrelerle tanımlanabilir. Peki L'nin devre tabanlı bir tanımı var mı? Açık bir fikir, bazı derinlik sınırlaması olan polinom boyutu devrelerine …
2
Bir aritmetik devrenin çok doğrusallaştırılmasını değerlendirmek?
Let bir alan üzerinde katsayılı bir çok-değişkenli polinom . Arasında multilinearization ile temsil edilir, , art arda her değiştirilmesi sonucu ile ile . Sonuç açıkça çok hatlı bir polinomdur.p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)FFFs x d i d > 1 x ipppp^p^\hat{p}xdixidx_i^dd>1d>1d > 1xixix_i Şu sorunu göz önünde bulundurun: üzerinde bir aritmetik devre ve , …
3
3-küre tanıma problemi NP-tamamlanmış mı?
Üçgen bir 3-manifoldun belirli bir 3-kürecik olup olmadığının belirlenmesinin, 2004 yılında Saul Schleimer tarafından yapılan çalışma ile NP'de olduğu bilinmektedir: "Küre tanıma NP'de yatmaktadır" arXiv: math / 0407047v1 [math.GT] . Bunun son beş-altı yıl içinde NP-tamamlanmış olup olmadığını merak ediyorum. 3-manifold düğüm cinsi problemi gibi benzer problemlerin NP-tam olduğu gösterilmiştir.
1
Tanıklık Her NP Dili için Üyelik Boyutu Zaten Biliyor mu?
Soru, Dana Moshkovitz'in başka bir konuya cevap vermesiyle ortaya çıktı . Let bir olmak NP Dili ve izin ilgili olmak NP ilişkisi. Bazı polinom var olduğunu biliyoruz :R L pLLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Yukarıdaki ifade sadece böyle bir varlığını gerektirir …
2
Benzersizlik / farklılık için Ω (n lg n) en kötü durumun basit kanıtı mı?
Öğenin benzersizliği / farklılığı sorunu için (cebirsel hesaplama ağaçlarına veya çekişmeli argümanlara dayanarak) mantıksal alt sınır için birkaç kanıt vardır, ancak algoritma analizi ve tasarımında ilk derste kullanılacak kadar basit olanı arıyorum. Sıralama için alt sınır ile aynı “zorluk seviyesi” iyi olacaktır. Ayrıca, herhangi bir yaklaşım (örneğin, birleştirici veya bilgi …
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
Rastgele Oracle Modelinde Sıfır Bilgi Protokollerinin Yorucu Simülatörü
Rafael Pass, "Ortak Referans Dizesinde ve Rastgele Oracle Modelinde İnkar Edilebilirlik Üzerine" başlıklı bir makalede şunları yazıyor: RO [Random Oracle] modelindeki standart sıfır bilgi tanımına göre güvenliği kanıtlarken, simülatörün düz bir model simülatöre göre iki avantajı olduğunu, Simülatör, partilerin kâhini hangi değerleri sorguladığını görebilir. Simülatör, cevapları "göründüğü" sürece, bu sorguları …
1
Uzay-zaman ödemesi alt sınırları
3SAT [ 1 ] için alt sınırlarla ilgili tartışmayı takiben, uzay-zaman ödünleşimi olarak formüle edilen ana alt sınır sonuçlarının ne olduğunu merak ediyorum. Savitch'in teoremi gibi sonuçları hariç tutuyorum; iyi bir giriş tek bir soruna ve sınırlarına odaklanır. Örnek olarak şunlar verilebilir: "T ve S, herhangi bir SAT algoritmasının çalışma …
1
Oraclesli Devreler vs. Oraclesli Turing Makineleri
Basitçe söylemek gerekirse: Oraclesli Turing makineleri ve oraclesli üniform devre aileleri arasındaki uyum nedir? Belirli bir oracle Turing makinesi için aynı hesaplama modelini elde etmek için ikincisi nasıl tanımlanır? Bu temel bir soru olabilir, ancak nereye bakılacağı açık değildir ve vakıflarımın kaliteli harç kullandığından emin olmaktan hoşlanan biriyim. Standart bir …
2
Alan dönüşümlü hiyerarşi
Bu Immerman ve Szelepcsenyi sayesinde bilinmektedir Eğer (hatta boşluk olmayan inşa edilebilir fonksiyonlar için).f = Ω ( log )NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Aynı makalede Immerman, günlük alanı alternatif hiyerarşisinin çöktüğünü belirtir, bu da (sınırlı değişen turing makinesinin tanımı ve wikipedia'da bulunan bir hiyerarşidir ).ΣjS P A C E (günlük)= N S …
1
Grafik minör teoreminin ters matematiksel kuvvetinden sonuçlar
Belirsiz olmayan polinom zamanında kontrol edilebilen bir grafik özelliğimiz ve özelliğin küçük kapalı olduğunu gösteren zayıf bir resmi sistemde (RCA 0 diyelim ) bir kanıtımız olduğunu varsayalım . Belli bir sınırlı dışlanmış küçükler kümesinin verilen grafik özelliğini karakterize ettiğini kanıtlayabilen resmi bir sistemin gücü hakkında bir şey söyleyebilir miyiz? Bağlam …
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.