«cc.complexity-theory» etiketlenmiş sorular

# P-Complete problemlerinde faz geçişi hakkında ne biliniyor? Özellikle, # DNF-k-SAT ve # CNF-k-SAT için farklı bir faz geçişi var mı? Güncelleme: Bildiğimiz gibi, Random k-SAT'de problemi çözmenin kolaydan zor ve tekrar kolaylığa geçtiği bir aşama geçişi var. # P-Complete problemleri için de böyle bir fenomen olup olmadığını bilmek istiyorum. …

11 cc.complexity-theory  counting-complexity  phase-transition 

1975 yılında, Miller göstermiştir tamsayıdır ve çarpanlara azaltmak için nasıl süresi bulma bir fonksiyonu bu şekilde F (x + r) = f (x) bazı rastgele seçilmiş bir <N ile . Shor'un algoritmasının kuantum bilgisayarda r'yi etkili bir şekilde bulabildiği iyi bilinirken, klasik bir bilgisayarın r'yi bulması için inatçı olduğuna inanılmaktadır …

11 cc.complexity-theory  cr.crypto-security  factoring 

Köşegenleştirme ve rölativasyon sonuçlarına dayanmayan bir sınıf ayrımı gördüğümü hatırlamıyorum. Diyagonalleştirme hala bilinen bilinen sınıfları ayırmak için kullanılabilir, çünkü rölatifleştirmeyen argümanlar köşegenleştirme sonucunda veya köşegenleştirilmiş Turing makinesi yapısında hala kullanılabilir. İlgili bazı sorular: Köşegenleştirmeye dayalı olmayan sınıf ayrımı kanıtları var mı? Ve öyle olsa bile Arkalarında bir öz-referans mekanizması bulabilir …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Etkileşimli ispat sistemlerindeki bütünlük ve sağlamlık gayri resmi olarak şu şekilde tanımlanır: Tamlık: Bir ifade doğruysa, dürüst kanıtlayıcı bu gerçek whp'nin dürüst doğrulayıcısını ikna edebilir . Sağlamlık: Bir ifade yanlışsa, hile prover dürüst doğrulayıcıyı (yanlış ifadenin geçerliliği) ikna edemez whp "Whp" terimi, ya "(örneğin) 2/3'ten büyük bir olasılıkla" ya da …

11 cc.complexity-theory  interactive-proofs 

NEXP ve aynı zamanda üstel zaman ve sadece bir alternatif (varoluşsal bir durumdan başlayarak) kullanarak alternatif bir TM tarafından çözülebilir bir sorun var.NPNP^{\text{NP}} NEXP hakkında bilinen bir şey var mı ? NEXP veya başka bir sınıfa eşit mi? Genel olandan başka tam sorunlar var mı (bir NEXP makinesi ve bir …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Ortalama vaka alanı karmaşıklığı analiz edilen sorunları bulmaya çalışıyorum. Daha spesifik olarak, süper doğrusal olan kanıtlanmış bir alan karmaşıklığı alt sınırı ile ilgili herhangi bir sorun olup olmadığını bilmek istiyorum ve özellikle bir ortalama-durum analizi (örneğin, algoritmaya izin verilse bile sınır tutar) küçük bir süre için hata yapmak vb.) Şimdiden …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Nurikabe , Mayın Tarlası / Nonogramlara gevşek bir şekilde benzeyen, kısıt tabanlı bir ızgara doldurma bulmacasıdır; sayılar her hücre için açma / kapama değerleriyle doldurulacak bir ızgaraya yerleştirilir, her sayı o büyüklükteki bağlı 'açık' hücrelerin bir bölgesini ve 'kapalı' hücreler bölgesinde bazı küçük kısıtlamaları gösterir ( bağlı olmalı ve bitişik …

11 cc.complexity-theory  np-hardness  puzzles 

Bu soru üzerine sorulan bir soruya motive edilmiş stackoverflow . Eğer köklü ağaç verilir varsayalım (yani bir kök var ve düğümleri çocuk vb var) üzerinde düğümleri (etiketli ).n 1 , 2 , … , nTTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Her tepe noktası , negatif olmayan bir tamsayı ağırlığına sahiptir: .w beniiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Sınırsız hesaplama kaynaklara sahip Merlin, o Arthur ikna etmek istiyor için ile ve Bu toplamın basit bir şekilde hesaplanması (modüler üs alma ve ekleme), FFT tabanlı çarpma ile zaman alır. * Ancak Arthur yalnızca işlemlerini gerçekleştirebilir. ( N , m , k ) k = O ( log N ) …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

2 NP-tamamlanmış problem tanım gereği birbirine indirgenebildiğinden, diğerine çözülen bir kara kutu kullanarak bunlardan birine bir çözüm elde edilebilir, neden benzer yaklaşım oranlarına sahip değiller (optimizasyon muadillerine atıfta bulunarak) )? Bazı sabit veya hatta polinom kaymalarının anlaşılabileceğini tahmin ediyorum, ancak bazı NP-tam problemleri için sabit faktörlü yaklaşım algoritmaları ve diğer …

11 cc.complexity-theory  approximation-algorithms  reductions 

Programlanabilirliği olan Random Oracles adlı bir makale okuyordum . Bölüm 2.3'ün son paragrafında şunlar bulunmaktadır: [Yeni yaklaşımımızı kullanarak] Borel-Cantelli lemmasına dayanan iyi bilinen klasik asimtotik (ve homojen) derandomizasyon tekniklerinin uygulanmasına gerek yoktur . Bildiğimiz kadarıyla, bu yaklaşım bu makalede yenidir. Vikipedi'nin Borel-Cantelli lemmasına girişine bir göz attım ve neredeyse fikri …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

İki aşamalı tek yönlü (2P1R) oyunlar, yaklaşık sertlik için önemli bir araçtır. Özellikle, iki aşamalı tek aşamalı oyunların paralel tekrarı, bir yaklaşım probleminin karar versiyonundaki bir boşluğun boyutunu arttırmak için bir yol sağlar. Konuya genel bakış için Ran Raz'ın CCC 2010'daki anket konuşmasına bakın . Bir oyunun paralel tekrarı, rastgele …

11 cc.complexity-theory  approximation-hardness 

Parametreli karmaşıklıkta insanlar W [t] sertliğini kanıtlamak için sabit parametre izlenebilir (FPT) indirgeme kullanırlar. Teorik olarak bir FPT indirgemesi, k parametresinde katlanarak çalışabildiği için bir polinom zamanı indirgeme değildir. Ancak pratikte gördüğüm tüm FPT azaltımları p-zamanı azaltmalarıdır, bu da W [t] sertlik kanıtlarının neredeyse her zaman NP tamlık kanıtlarını ima …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Aşağıdakiler aptalca görünebilir (ve muhtemelen zayıf anlayışımı yansıtıyor - lütfen bana katlanın) PCP teoreminde bir sorgu vardı. İlk üç adımdan sonra biliyoruz. Derece İndirgeme, Expanderization ve Boşluk Amplifikasyon, bir kısıtlama grafik bilgisi geliştirilmiş boşluk ve benzeri (büyük harf boyutu ile Σ d t ). Alfabe küçültme adımının ele aldığı bu …

11 cc.complexity-theory  pcp 

Bu, kısmi boole işlevleri için iletişim alt sınırları hakkındaki önceki sorumun devamıdır . Belirsiz çok taraflı iletişim için birisi alt sınırlar hakkında herhangi bir referans önerebilir mi? Alandaki makaleleri inceliyorum, ancak herkes aşağıdaki tipte ayrımlar gösteriyor gibi görünüyor: rastgele protokol için bir alt sınır ve belirsiz olmayan bir protokol için …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms