«cc.complexity-theory» etiketlenmiş sorular

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

1
SERF azaltılabilirliği ve alt üstel algoritmalar
Ben SERF-indirgenebilirlik ilgili bir sorum var Impagliazzo, Paturi ve Zane ve altüssel algoritmalar. SERF indirgenebilirliğinin tanımı aşağıdakileri verir: Eğer SERF indirgenebilir için ve orada için algoritma her , daha sonra orada için algoritma her . (Her iki problem için sertlik parametresi ile gösterilir .)P 2 O ( 2 ε n …
1
Sabit parametre izlenebilirliğinde parametrede temel sınırlar?
(Güçlü) sabit parametre izlenebilirliği tanımında, bağlanan süre formunun bir ifadesidir . s ( | x | ) , giriş, örneğin burada ( x , k ) parametresi, k , s bir polinomdur ve f a, hesaplanabilir fonksiyonu.f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff İndirgeme kavramı benzer şekilde kısıtlandığı sürece için hesaplanabilirlik gereksinimini diğer işlev sınıflarıyla değiştirmek …
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
NP'de olmadığı bilinen “doğal” karar verilebilir problemler.
NP-Tamamlayıcılığı her öğrettiğimde öğrenciler " NP'ye ait olmadığı bilinen herhangi bir sorun var mı?" Nasıl cevap verirdin? Genellikle onlara örnek olarak kararsız bir problem veriyorum, ama bu çoğu zaman iyi sonuç vermiyor: (a) onlara Durma Problemini verirsem bunun aptal bir köşe vakası olduğunu düşünürler ve (b) onlara Diophantine Denklemleri verirsem …
2
Sabit parametre ve yaklaşık algoritma arasındaki ilişki
Sabit parametre ve yaklaşım zor sorunları çözmek için tamamen farklı yaklaşımlardır. Farklı motivasyonları var. Yaklaşıklık, yaklaşık çözümle daha hızlı sonuç arar. Sabit parametre, k'nin üstel veya bazı fonksiyonu ve n'nin polinom fonksiyonu açısından zaman karmaşıklığına sahip kesin çözümü arar; burada n, girdi boyutu ve k parametredir. Örnek .2kn32kn32^kn^3 Şimdi benim …
1
Frekanslar benzer olduğunda optimum öneksiz kodları hesaplamanın karmaşıklığı nedir?
Huffman kodunu zaman içinde hesaplamak için en kötü durum optimal algoritmasının olduğu iyi bilinmektedir θ(nlgn)θ(nlg⁡n)\theta(n\lg n) . Bu iki dikey şekilde geliştirildi: Farklı frekanslar kümesi küçükse (örn. boyutunda ) en uygun önek serbest kodları daha hızlı hesaplanabilir : frekansları [Munro ve Spira, 1976] kullanarak küçük σ değerinden yararlanmak ve Huffman'ı …
1
Hangi diller kriptografik olarak tuzağa düşürüldü?
Asimetrik kriptografi ile ilişkili bir gözlem, bazı fonksiyonların bir yönde gerçekleştirilmesinin (ancak inandığı) ancak tersine çevrilmesinin zor olmasıdır. Ayrıca, ters işlemin hızlı bir şekilde hesaplanmasını sağlayan bazı 'tuzak' bilgileri varsa, sorun ortak anahtar şifreleme şemasına aday olur. RSA tarafından ünlü yapılan klasik trapdoor problemleri, faktoring problemini ve ayrık log problemini …
3
Kolay Hamilton çevrimi ancak NP-sert TSP içeren grafik sınıfları
Hamilton Döngüsü sorun (HC), belirli bir yönsüz grafik tüm tepe noktaları üzerinden geçer, bir döngü bulunmasında meydana gelmektedir. Gezgin satıcı sorun (TSP) döngüsünde kenarlarının ağırlıklarının toplamı ile ölçülen toplam mesafe belirli bir kenar ağırlıklı grafik tüm tepe noktaları üzerinden geçer ve en aza indiren bir devir bulunmasında meydana gelmektedir. HC, …
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.