«cc.complexity-theory» etiketlenmiş sorular

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

3
Yapı özellikleri ile ilgili NP tam grafik problemleri
(Bu soru biraz "anket" tir.) Şu anda bir turnuvanın kenarlarını iki sete ayırmaya çalıştığım bir sorun üzerinde çalışıyorum, her ikisi de bazı yapısal özellikleri yerine getirmek için gerekli. Sorun "oldukça zor" hissettiriyor ve tamamen -complete olmasını bekliyorum.N-PNP\mathcal{NP} Karşılaştığım sorunla karşılaştırılabilir olarak değerlendireceğim bir sorun örneği: Ağırlıklı bir turnuvası verildiğinde , …
2
Hipergrafların çizgi grafiklerini tanıma
Bir hypergraph bir çizgi grafiğidir (basit) grafiktir kenarlarını olan , iki kenarlı köşeler olarak bitişik olan da boş olmayan kesişim varsa. Bir hipergraf, kenarlarının her birinin en fazla köşesi varsa bir hipergrafıdır .HHHGGGHHHHHHGGGrrrrrr Bir grafiktir verilen: Aşağıdaki problemin karmaşıklığı ne bir orada halen mevcut, -hypergraph şekilde bir çizgi grafiğidir ?GGG333HHHGGGHHH …
2
Sınırlı derinlik olasılık dağılımları
Sınırlı derinlik hesaplaması ile ilgili iki soru: 1) n bit ile başladığınızı ve i bitiyle başlamak için bağımsız olarak bazı p (i) olasılıkla 0 veya 1 olabileceğini varsayın. (Sorunu basitleştirirse, tüm p (i) 'lerin 0,1 veya 1/2 olduğunu varsayabiliriz.hatta hepsi 1/2.) Şimdi sınırlı sayıda hesaplama turu yapıyorsunuz. Her turda, ayrık …
2
MAX 3SAT için süper polinom zaman yaklaşım algoritmaları
Tatmin edici bir atama bulmak MAX 3SAT için bir polinom zaman algoritması olduğu PCP teoremi durumları bir karşılanabilir 3SAT formül sürece ait maddeler P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Maddelerin karşılayan önemsiz bir polinom zaman algoritması vardır . Yani, biz daha iyisini Can 7 / 8 + ε …
1
Minimum akorsuz tek çevrim grafik tamamlama: NP zor mu?
Son zamanlarda araştırmamda şu ilginç sorun ortaya çıktı: ANLIK: Grafik .G(V,E)G(V,E)G(V, E) ÇÖZÜM: bir üst olarak tanımlanan bir chordless tek döngülü tamamlama, E′E′E' kenar seti EEE böylece tamamlanmış grafiği hep G′(V,E′)G′(V,E′)G'(V, E') her kenar, bu özelliğe sahip G′G′G' bir chordless tek döngü içinde ihtiva edilmektedir. TEDBİR: Tamamlanma büyüklüğü, yani |E′−E||E′−E||E' …
1
NP'deki problemler, ancak Ortalama-P / poli'de değil
Karp-Lipton Theoem bildiren ise , daha sonra çöker . Bu nedenle, ve , sorunu ait olmayacaktır .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Aşağıdaki soru ile ilgileniyorum: Varsayarsak çökmez veya yapısal karmaşıklığı başka makul bir varsayım varsayarak ne sabit ne ortalamanın problemler vardır kanıtlanmış içinde yalan değil (varsa)?PHPH\mathsf{PH} NPNP\mathsf{NP}Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly} bir tanımı Ortalama-durum ve En …
1
FPT vs W [P] - Parametreli Karmaşıklık
Parametreli karmaşıklıkta, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Muhafazaların her birinin uygun olduğu varsayılmaktadır.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Eğer o .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Ama takip ediyor mu Eğer o ? veyaF P T = G [1]FPT=W[1]\mathsf{FPT}=\mathsf{W}[1]F P T = G [P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P] …
3
Rasgele veya P / poli indirimleri altında NP-tamamlanmış problemler.
Gelen bu soruya , biz (bu sayı teorisinde kanıtlanmamış varsayımlar doğruysa hangi bağlıdır rağmen) deterministik azalmalar altında randomize indirimleri altında NP-tam, ama muhtemelen değil doğal bir sorun tespit görünmektedir. Bilinen başka sorunlar var mı? P / poli indirgeme altında NP-tamamlanmış, ancak P indirgeme altında olduğu bilinmeyen herhangi bir doğal problem …
4
İletişim Karmaşıklığı… Sınıflar?
Tartışma : Son zamanlarda iletişim karmaşıklığında çeşitli şeyler öğrenmek için biraz kişisel zaman geçirdim. Mesela Arora / Barak'daki ilgili bölümle yeniden tanıştım, bazı makaleler okumaya başladım ve kitabı Kushilevitz / Nisan'dan emretti. Sezgisel olarak, iletişim karmaşıklığını hesaplama karmaşıklığı ile karşılaştırmak istiyorum. Özellikle, hesaplama karmaşıklığının hesaplama problemlerini karmaşıklık sınıflarına yerleştirmek için …
2
Kuantum karmaşıklık sınıflarının betimleyici karmaşıklık gösterimleri var mı?
Başlık az ya da çok her şeyi söylüyor, ancak sanırım biraz arka plan ve ilgilendiğim bazı örnekler ekleyebilirim. Immerman ve Fagin gibi tanımlayıcı karmaşıklık teorisyenleri, en iyi bilinen karmaşıklık sınıflarının çoğunu mantık kullanarak karakterize ettiler. Örneğin, NP ikinci dereceden varoluşsal sorgularla karakterize edilebilir; P, en az sabit nokta operatörü eklenen …
5
Genel grafiklerde mükemmel eşleşme için Deterministik Paralel algoritma?
karmaşıklık sınıfında , sınıfında OLMAMASI için tahmin edilen bazı problemler vardır , yani deterministik paralel algoritmalarla ilgili problemler. Maksimum Akış sorunu buna bir örnektir. Ve içinde sorunlar var , ancak henüz bir kanıt bulunamadı.N C N CPP\mathsf{P}N CNC\mathsf{NC}N CNC\mathsf{NC} Mükemmel uyum sorunu grafik teorisi yükseltilmiş en temel sorun biridir: bir …
3
Doğrusal cebirin algoritmaları / karmaşıklığı üzerine araştırma
Ben iyi algoritmaları anket ve lineer cebir karmaşıklığına arıyorum (rank, ters, özdeğerler gibi işlemler, ... Boolean için ve tamsayılar / rationals matrisleri) paralel vurgu ( N C hiyerarşi) ve polytime algoritmaları . Yakın zamanda bir tane bulamadım.FpFp\mathbb{F}_pNCNCNC Doğrusal cebirin karmaşıklığı hakkında yeni bir araştırma veya kitap biliyor musunuz?
4
Sertlik fazı geçişlerine örnekler
olduğunda çözülmesi "kolay" ve bazı , değerleri için olduğunda "zor" olan gerçek değerli bir p parametresiyle parametreleştirilmiş bir problemimiz olduğunu varsayalım .p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 Bir örnek, grafiklerdeki sıkma yapılandırmalarını saymaktır. Ağırlıklı uygun renklerin, bağımsız setlerin sayılması, Euler altgrafları, sırasıyla "yüksek sıcaklık" için yaklaşık olarak kolay ve "düşük sıcaklık" için zor olan, sırasıyla …
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.