«cc.complexity-theory» etiketlenmiş sorular

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

7
bir doğa kanunu olarak mı düşünmeliyiz ?
Birçok uzman, varsayımının doğru olduğuna ve sonuçlarında kullandığına . Benim endişem karmaşıklığın büyük ölçüde varsayımına bağlı olmasıdır.P ≠ N PP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Yani sorum şu: Sürece Strassen dan alıntı belirtilen varsayım kanıtlanmış değildir, / bir, bir doğa kanunu olarak düşünmelisiniz ki? Yoksa …
2
NP’deki hiyerarşiler (P! = NP olduğu varsayımıyla)
P! = NP olduğunu varsayarak, P'de olmayan ve NP-Tamamlanmayan sorunlar olduğunu gösterdiğine inanıyorum. Graph Isomorphism, böyle bir sorun olarak kabul edilir. NP’de bu tür “katmanlar” hakkında herhangi bir kanıt var mı? yani, P'de başlayan ve NP ile sonuçlanan üçten fazla sınıftan oluşan hiyerarşi, her biri diğerinin uygun bir süperseti olacak? …
3
DTIME hiyerarşi teoreminde log f'nin gerekçesi
DTIME hiyerarşi teoremine bakarsak, deterministik bir Turing Makinesi'nin evrensel bir makine tarafından simülasyonunda genel gider nedeniyle bir kayıt tutarız: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) NTIME DSPACE için bu tür bir ek yükümüz yok. Temel bir gerekçe, simülatörler arasındaki farkı göz önünde bulundurarak ispatın detaylarından gelir. Sorum şu: DTIME hiyerarşisi teoreminin ispatının …
2
“X NP tamamlandı” ne zaman “#X # P tamamlandı” anlamına mı geliyor?
Let np anlamında olabildikleri bir (karar) sorunu ve # let X anlamında olabildikleri onun sayma versiyonunu.XXXXXX Hangi şartlar altında "X'in NP tamamlandı" olduğu biliniyor ⟹⟹\implies "#X # P tamamlandı"? Tabii ki cimri bir indirgemenin varlığı böyle bir durumdur, ancak bu açıktır ve bildiğim tek koşul budur. Nihai amaç hiçbir koşulun …
2
Polinom süresindeki iki permütasyonun toplamını tanımlayabilir misiniz?
Orada iki soru ya ilişkin veya aşağıdaki soruya özel bir durum eşdeğer vardı cs.se son zamanlarda sordu: Eğer bir dizi olduğunu varsayalım a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_n ve nnn sayı olacağı şekilde ∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1). İki permütasyon, toplamı halinde ayrıştırmak ππ\pi ve bölgesinin böylece, .1 … n a i = …
2
Valiant-Vazirani’nin derandomize edilmesi?
Valiant-Vazirani teoremi tam olarak bir tatmin edici bir düzenlemeye sahiptir SAT formülü ve bir edilemezdir formül arasında ayrım yapmak için bir polinom zaman algoritmasını (deterministik ya da randomize) bulunmaktadır - sonra NP = RP . Bu teorem, UNIQUE-SAT'ın, rastgele indirgeme altında NP- hard olduğunu göstererek kanıtlanmıştır . Mantıklı derandomizasyon varsayımlarına …
1
Fourier katsayıları, AND OR ve XOR geçitleriyle Sınırlı Derinlik Devreleri tarafından tanımlanan Boolean Fonksiyonları
Let bir Boole fonksiyonu olabilir ve en bir fonksiyonu olarak f düşünelim için . Bu dilde, f'nin Fourier genişlemesi, kare serbest monomiler açısından f'nin genişlemesidir. (Bu monomials bir gerçek fonksiyonların boşluğa temelini oluşturan . Katsayılarının karelerinin toplamı basitçe çok kare serbest monomials bir olasılık dağılımını sağlar. Bu dağıtıma F dağıtımı …
2
Karmaşıklık sonuçları için polinom metodu
Polinom metodları , Kombinatoryal Nullstellensatz ve Chevalley – Warning teoreminin ilave kombinasyonlarda güçlü araçlardır. Uygun polinomlarla ilgili bir sorunu temsil ederek, bir çözümün varlığını ya da polinomların çözüm sayısını garanti edebilirler. Sınırlı toplamlar veya sıfır toplamlı problemler gibi problemleri çözmek için kullanılmışlardır ve bu alandaki teoremlerin bazıları ancak bu yöntemlerle …
3
Graph Isomorphism için coNP sertifikası
Grafik izomorfizminin (GI) NP cinsinden olduğunu görmek kolaydır . GI'nin coNP'de olup olmaması büyük bir açık sorundur. GI'nin coNP sertifikası olarak kullanılabilecek potansiyel grafik özellik adayları var mı? Anlamına herhangi varsayımlar ? Bazı etkileri nelerdir G I ∈ c O , N , P ?G ben∈ c o NPG,ben∈cON-PGI \in …
7
Üst sınırları kanıtlayarak alt sınırları kanıtlamak
Son çığır açan devre karmaşıklığı Ryan Williams'ın düşük sınırlanmış sonucu, karmaşıklığın düşük sınırlarını kanıtlamak için üst sınır sonucunu kullanan bir ispat tekniği sağlar. Suresh Venkat bu soruya cevabında , Teorik bilgisayar bilimlerinde herhangi bir karşı sezgisel sonuç var mı? üst sınırları ispatlayarak alt sınırlar oluşturmanın iki örneği sağlanmıştır. Karmaşıklık üst …
1
Verimli Hesaplanabilir, fakat Öğrenilebilir Olan Fonksiyonlar
Turing makinesi tarafından polinom zamanında ("verimli bir şekilde hesaplanabilir") verimli bir şekilde hesaplanabilen fonksiyonların, kabaca konuşulduğunda, (örneğin, [1] 'in Teoremleri 1’e bakınız) polinom sinir ağları tarafından ifade edilebileceğini biliyoruz. makul boyutlarda olan ve bu nedenle herhangi bir girdi dağılımında polinom örnek karmaşıklığıyla ("öğrenilebilir") öğrenilebilir. Burada "öğrenilebilir", hesaplama karmaşıklığından bağımsız olarak …
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.