«cc.complexity-theory» etiketlenmiş sorular

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

1
HORN-SAT için Etkileşimli Kanıt?
Bir kanıtlayıcının, bazı HORN-SAT ifadelerinin tatmin edilebilir olduğunu doğrulayıcıyı ikna etmesinin bir yolu var mı? Elbette bu saçma görünebilir, çünkü HORN-SAT için doğrusal zaman algoritmaları vardır. Öte yandan, HORN-SAT P-complete'tır, yani P = L olmadığı sürece log-space algoritmalarına sahip değildir. Buna göre, doğrulayıcının hesaplama yeteneklerini L ile sınırlayın. Şimdi doğrulayıcı …
1
Rice teoreminin açıklayıcı bir karmaşıklık versiyonu AC0 ve PSPACE'i ayırmak için kullanılabilir mi?
Gelen bu soruya , bu Rice'ın teoremin açıklayıcı karmaşıklığı versiyonları olduğu belirtilmişti. Aşağıdaki teoremin bir kanıtı buldum: Bir karmaşıklık sınıf Verilen C , dillerin nontrivial özellikleri C de hesaplanamaz C Daha önce bulduğum kanıtları yayınlamıştım, ama çok uzun olduğu ve yorumlarda bu makalenin zaten bu teoremin bir kanıtını içerdiği belirtildiğinden, …
3
Determinizmi ve determinizmi incelemek için neden daha büyük sınıflar kullanmıyoruz?
Zaman hiyerarşisi ile ilgili önceki bir soruda, iki sınıf arasındaki eşitliklerin daha karmaşık sınıflara yayılabileceğini ve eşitsizliklerin daha az karmaşık sınıflara, dolgu kullanılarak kullanılan argümanlarla yayılabileceğini öğrendim. Bu nedenle akla bir soru gelir. Neden mümkün olan en küçük (kapalı) sınıftaki farklı hesaplama türleri (veya kaynakları) hakkında bir soru inceliyoruz? Çoğu …
3
pratik sonuçları
Arka fon Devre karmaşıklığı , sınırsız derinlik ve sınırsız fan girişi VE, VEYA ve DEĞİL kullanılarak oluşturulan polinom boyutu olan devre ailelerinin (yani, her giriş boyutu için bir devre dizisi) kümesi olarak tanımlanır .A C0AC0AC^0 Parite fonksiyonu ile -bit giriş giriş bit XOR eşittir.n⊕⊕\oplusnnn Devre karmaşıklığında kanıtlanmış ilk devre alt …
1
Çözüm yan tümcesi uzay karmaşıklığı için doğrudan toplam teoremi?
Çözünürlük, CNF'lerin tatminsizliğini kanıtlayan bir şemadır. Çözümde bir kanıt, CNF'deki ilk maddeler için boş maddenin mantıksal olarak çıkarılmasıdır. Özellikle herhangi bir başlangıç ​​maddesi çıkarılabilir ve iki maddesinden ve maddesinden maddesi de çıkarılabilir. Çürütme, boş bir maddeyle biten bir çıkarım dizisidir.A∨xA∨xA \lor xB∨¬xB∨¬xB \lor \neg{x}A∨BA∨BA \lor B Böyle bir çürütme uygulanırsa, …
1
Karmaşıklık ve hesaplama hiyerarşilerine yayılan problemlerin tekdüze hiyerarşisi
Herkes eşit olarak değişen ve karmaşıklık ve hesaplanabilirlik "ilginç" hiyerarşilerinden birini kapsayan bir dizi sorun biliyor mu? İlginç olarak, örneğin, Polinom Hiyerarşisi, Aritmetik Hiyerarşisi veya Analitik Hiyerarşi. Veya belki (N) P, (N) EXP, 2 (N) EXP, ...…\ldots 0 , 0', 0'¯¯¯¯, 0'', 0''¯¯¯¯¯, …0,0′,0′¯,0″,0″¯,…0, 0', \overline{0'}, 0'', \overline{0''},\ldots Öte yandan, …
1
Sonsuz Alan ile Sonlu Tek Yönlü Permütasyon
Let π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* Bir permütasyon olmak. ππ\pi sınırsız bir etki alanına etki ederken , açıklamasının sonlu olabileceğini unutmayın. By açıklaması , ben açıklayan bir program anlamına ππ\pi 'nin işlevselliği. (Kolmogorov karmaşıklığında olduğu gibi.) Aşağıdaki açıklamalara bakınız. Örneğin, NOT işlevi böyle bir permütasyondur: işlev DEĞİL (x) Y = …
2
Kare ızgaralarda gizli çokgen bulmacanın karmaşıklığı?
Hiroimono popüler bir bulmaca. İlgili bulmacanın hesaplama karmaşıklığıyla ilgileniyorum.NPNPNP Problem şu: Girdi : x n kare ızgara ve k tamsayısında bir dizi nokta verilirnnnnnnkkk Soru : Çokgenin köşelerindeki nokta sayısı en az k olacak şekilde doğrusal bir çokgen (kenarları veya y- eksenine paralel ) var mı?xxxyyykkk Çokgenin her köşesi giriş …
2
Önemsiz grafik otomorfizmasına yaklaşmak?
Grafik otomorfizması, kenar setinde bir bijeksiyonu indükleyen grafik düğümlerinin permütasyonudur EEE. Biçimsel olarak, bir permütasyon fff düğümleri, örneğin IFF( f ( u ) , f ( v ) ) ∈ E(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Bir miktar permütasyon için ihlal edilen kenarı, kenar dışı olarak eşlenen kenar veya ön kenarı kenar olmayan …
2
Bir SAT örneğinin çözüm kümesini kompakt bir şekilde temsil eder
Bu soru András Salamon ve Colin McQuillan'ın önceki soruma katkısını okuduktan sonra kafamda yükseldi Monotone-2CNF formüllerinin sayım çözümleri . DÜZENLEME 30 inci Mar 2011 Eklendi sorusuna n ° 2 EDIT'e 29 inci Eki 2010 Soru kavramı aracılığıyla resmileştirmek Andras teklifinden sonra rephrased bir çözüm kümesinin güzel temsil (Ben onun düşüncesi …
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.