«descriptive-complexity» etiketlenmiş sorular

Immerman-Vardi teoremi ptime (veya P) düzenli yapıların sınıfı üzerinde sabit bir nokta operatörü ile birlikte Birinci Dereceden Mantık bir cümle ile tarif edilebilir dillerin sınıf tam olduğunu belirtmektedir. Sabit nokta operatörü ya en az sabit nokta (Immerman ve Vardi tarafından değerlendirildiği gibi) ya da enflasyonist sabit nokta olabilir. (Stephan Kreutzer, …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

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 …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

İlişkisel bir veritabanı üzerinden sorgusuna bir cevap bulmak için kişinin zamana olduğu ve bir.D | D | | S | | S |SSQDDD| D|| S ||D||S||D|^{|Q|}| S ||S||Q| As çok büyük olabilir veritabanları pratikte hiç çalışmıyor neden merak ettik.DDD Bu sadece gerçek sorgular gerçek dünya uygulamalarında hiç büyük değil midir? …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

CMSOL Monadik İkinci Dereceden Mantık Sayıyor, yani alanın köşe ve kenar kümesi olduğu grafiklerin bir mantığı, köşe-tepe bitişikliği ve kenar-tepe noktası insidansı için tahminler var, kenarlar, köşe noktaları, kenar kümeleri ve köşe üzerinde nicelik var setleri, ve bir yüklem vardır büyüklüğü olmadığını anlatırken kullanılır S olduğu n modülo p .kartn …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Kağıt Lauri Hella ve José María Turull-Torres, Üst düzey mantıklara sahip bilgi işlem sorguları , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mantıksal VO, değişken dereceli mantık önerir. Bu, değişkenler üzerindeki siparişler üzerinde nicelleştirmeye izin verir. VO oldukça güçlüdür ve hesaplanamayan bazı sorguları ifade edebilir. (Aşağıdaki Arthur Milchior tarafından …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Sayfa 127. itibariyle üzerinde Immerman (Açıklayıcı Karmaşıklık, 1999) hediyeler varoluşsal monadic ikinci derece (Ajtai-Fagin oyunlar) için EF oyunlar aşağıdaki gibi kelimeleri MSO düzenli dillere eşdeğerdir, oyun yazılabilir.∃∃\exists dili yalnızca Delilah'ın aşağıdaki oyunda kazanma stratejisi yoksa normaldir: 1. Samson , 2. Delilah , 3. Samson seçer alt- pozisyonların kümesinin (diğer bir …

11 lo.logic  automata-theory  descriptive-complexity 

Karmaşıklık Hayvanat Bahçesi'nde, [ 1 ], tanımlayıcı karmaşıklıkta PPP aynı zamanda F O ( n O ( 1 ) ) olan FO(LFP)FO(LFP)FO(LFP) şeklinde üç farklı formülle tanımlanabileceğini söylüyor . S O ( lH O R ' N ) .FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) Bununla birlikte, bazı istisnalar vardır, örneğin EvennessEvennessEvenness FP tarafından ifade edilemez …

10 lo.logic  polynomial-time  descriptive-complexity 

Bazı NP problem sınıflarının , sınıftaki her görevin ya NP-tamamlanmış ya da P'de olduğunu garanti eden ikilik teoremleri olduğu iyi bilinmektedir . En iyi bilinen bu sonuç, bir dizi genellemeyle birlikte Schaefer'in ikilik teoremidir . Anladığım kadarıyla, bu ikilik teoremlerini kanıtlamak gerçekten kolay değil. Acaba, bazı sınıfların neden ikiye dayalı …

10 cc.complexity-theory  np  descriptive-complexity 

Bağlam: Sadece digrafileri ele alıyoruz. CYCLE, bir döngülü grafiklerin dili olsun; NL-tam bir sorundur. HASEDGE en az bir kenarı olan grafiklerin dili olsun. Sonra önemsiz bir şekilde, artık NL-hard değil, öyle.ÇEVRİM ∪ ¯ HASEDGECYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Gerçek sorun: dilinin hala NL zor.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists u,v,x,y)[E(u, v) \land …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

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, …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

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 = …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Teorik Bilgisayar Bilimi Stack Exchange için. 7 yıl önce kapalı . Nasıl ifade edebiliriz "P=PSPbirCEP=PSPACEP=PSPACE"birinci dereceden bir formül olarak? Aritmetik hiyerarşinin hangi seviyesi bu formülü içerir (ve onu …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

PTIME için p-Optimal Proof Systems ve Mantık Üzerine kağıt altında durmaya çalışıyorum . Makalede ispat sistemleri adı verilen bir kavram var ve ben niyetim yok: Σ={0,1}Σ={0,1}\Sigma = \{0,1\} ... alt kümeleriyle ilgili sorunları tespit ediyoruz. QQQ içinde Σ∗Σ∗\Sigma^*. Bence niyet belirli bir yapıyı Σ∗Σ∗\Sigma^* (örn. yönlendirilmemiş grafikler) ve bu yapıların …

9 lo.logic  descriptive-complexity  proof-complexity 

Bir makaleyi daha iyi anlamak için en az sabit nokta mantığını kısa bir şekilde anlamaya çalışıyorum. Sıkıştığım birkaç nokta var. Eğer G=(V,E)G=(V,E)G = (V,E) bir grafik ve Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land P(z,b)) \} ikili ilişkide bir operatördür PPP. Neden …

9 lo.logic  descriptive-complexity  finite-model-theory