Teorik Bilgisayar Bilimi

Özel durumlar için DFA kesişimi için verimli algoritmalar ile ilgileniyorum. Yani, kesişen DFA'lar belirli bir yapıya uyduklarında ve / veya sınırlı alfabe üzerinde çalıştıklarında. Bu tür durumlarda algoritmaları bulabileceğim bir kaynak var mı? Soruyu fazla genişletmemek için, aşağıdaki yapı özellikle ilgi çekicidir: kesişen tüm DFA'lar ikili alfabede (0 | 1) …

9 automata-theory  time-complexity  dfa 

Aynı önermenin iki karar verilebilir kanıtının eşitliğinin karar verilebilirliğinin Endüktif Yapılar Analizinde ek aksiyomlar olmadan kanıtlanıp kanıtlanamayacağını bilmek istiyorum. Özellikle, Coq herhangi bir ek aksiyom olmadan bunun doğru olup olmadığını bilmek istiyorum. ∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})\forall P: \texttt{Prop}, P \vee \neg P \Rightarrow (\forall p_1 : P, \forall p_2: P, \{p_1 = p_2\} …

9 coq  constructive-mathematics  calculus-of-constructions 

Turing makinelerinin ve evrensel bir Turing makinesinin (U) girişindeki (T, x), x girişindeki T çıkışlarını (muhtemelen her ikisi de sonsuza dek çalışan) çıkardığı bir kodlamasını düzeltelim. X, K (x) 'in Kolmogorov karmaşıklığını, en kısa programın uzunluğu (p) olarak tanımlayın, öyle ki U (p) = x. Tüm n> N için K …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Java projelerimden biri , kaynatılmış bir çatal ve Antlr veya JavaCC'den farklı olarak, ayrıştırıcılar çalışma zamanında üretilir. Oluşturulan gramerler İfade Gramerlerini veya PEG'leri ayrıştırır (onlar için başka bir terimin "packrat" olduğunu duyuyorum). Çalışma zamanı üretimi karmaşıklık eklerken (bytecode üretimi dahil), başka bir özellik ayrıştırıcı teorisinin kendisiyle ilgilidir. Ne yazık ki, …

9 research-practice  books  parsing 

Aşağıdaki sorun için referanslar arıyorum: verilen tamsayılar nnn ve kkk, izomorfik olmayan tüm düzlemsel grafikleri nnn köşe noktaları ve trewthth ≤k≤k\leq k. Hem teorik hem de pratik sonuçlarla ilgileniyorum, ancak kodlamak ve mümkün olan en büyük değerleri çalıştırmak için mümkün olan pratik algoritmalarnnn ve kkk (düşünmek k≤5k≤5k \leq 5 ve …

9 reference-request  graph-theory  graph-algorithms  treewidth 

Bu soru iki yönlüdür ve temel olarak referans amaçlıdır: Grafik küçük teoremini kanıtlamak için ana sezgilerin ayrıntılara çok fazla girmeden verildiği bir yer var mı? İspatın uzun ve zor olduğunu biliyorum, ama elbette daha kolay bir şekilde iletilebilecek anahtar fikirler olmalı. Grafiklerde, yarı-emir olarak gösterilebilecek, belki de küçük ilişkiden daha …

9 reference-request  graph-theory  graph-minor 

Reynolds başlangıçta ikinci dereceden polimorfik lambda hesabı için ilişkisel bir anlambilim önermiştir [1]. Ancak daha sonra [2] bu yaklaşımın klasik küme teorisi ile tutarsız olduğunu göstermiştir. Pitts, yapıcı mantıkla tutarlı olan hiperdoctrine modellerinin ve topos modellerinin [3] çerçevesini tanımlamıştır. Muhtemelen ilişkisel hiper doktrin ve topos modelleri geliştirilmiştir. Onlar hakkında nereden …

9 type-theory  parametricity 

Mevcut kriptografi yöntemlerinin çoğu, iki büyük asal sayının ürünü olan faktoring sayılarının zorluğuna bağlıdır. Anladığım kadarıyla, ancak büyük primerleri üretmek için kullanılan yöntem, elde edilen bileşik sayıyı çarpanlarına ayırmak için bir kısayol olarak kullanılamadığı sürece (ve büyük sayıları çarpanlara ayırmak zor olduğu sürece) bu zordur. Görünüşe göre matematikçiler zaman zaman …

9 cr.crypto-security  primes 

Rasgele ormanlar, uygulayıcılar arasında en etkili sınıflandırma teknikleri arasında yer almakla ünlüdür. Yine de, derin teorik sonuçların yokluğunu tahmin ettiğim öğrenme-teorik literatürde onlarla çok fazla karşılaşmıyoruz. Eğer kişi bu teoriyi araştırmak isterse, nereden başlamalı?

9 machine-learning  lg.learning 

Kilise teoreminden biliyoruz ki, birinci dereceden memnuniyeti belirlemenin genel olarak kararsız olduğunu, ancak birinci dereceden memnuniyeti belirlemek için kullanabileceğimiz birkaç teknik olduğunu biliyoruz. En bariz olanı sonlu bir model aramaktır. Ancak, birinci dereceden mantıkta sonlu modellerin olmadığını gösterebileceğimiz birkaç ifade vardır. Örneğin, kasıtlı ve kasıtsız bir fonksiyonun çalıştığı herhangi bir …

9 reference-request  lo.logic  automated-theorem-proving 

"Maksimum Adil Eşleştirme" adını verdiğim bir grafikteki maksimum ağırlık eşleşmesinin bir çeşidi ile ilgileniyorum. Grafiğin dolu olduğunu varsayın (ör. E=VxVE=V×VE=V\times V), Köşelerin çift sayıda ve kilo kar fonksiyonu olarak ifade edilir bu . Eşleşen bir verildiğinde , M (v) ile gösterilir ve v kenarının karı eşleşir.p:(V2)→Np:(V2)→Np:{V\choose 2}\to \mathbb NMMMM(v)M(v)M(v)vvv Bir …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Let bir olmak -variate polinom boyutu poli bir aritmetik devre olarak verilen ve izin , bir asal.fffnnn(n)( n )(n)p=2Ω(n)p =2Ω ( n )p = 2^{\Omega(n)} Derecesi olmasa bile, üzerinde aynı sıfır olup olmadığını , zaman ve hata olasılığı ile test edebilir misiniz? a priori sınırlı mı? Ya tek değişkenlerse?fffZpZp\mathbb{Z}_ppoli(n)poli (n)\mbox{poly}(n)≤1-1/poli(n)≤ …

9 polynomials  arithmetic-circuits 

Bağlamdan bağımsız bir gramer düşünün GGGalfabe üzerinde . Bu dilbilgisinin prodüksiyonlarına iki sabit prodüksiyon ekleyin : ve . Ortaya çıkan gramer " prodüksiyonlarıyla zenginleştirilmiş " olarak adlandırın.{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonG,PGPG^PG,GGPPP Bir dil bilgisi alır bir algoritma …

9 context-free  decidability 

Eşsiz Oyunlar Konjonktürü ve Max-Cut of Khot ve ark. Makalelerinden ve internetteki başka yerlerden, çoğu yazar MAX-CUT azaltması ile uzun kodlar için özel testler oluşturma arasında örtük bir denklik kullanır (benim için ne). Bu denklik konusundaki kendi netliğim olmadığından, bu düşünce trenini takip etmek için mücadele ediyorum. Ayrıca, bu açıklamalardan, …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Renkli bir grafik tuple olarak tanımlanabilir (G,c)(G,c)(G,c) nerede GGG bir grafik ve c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}renklendirmedir. İki renkli grafik(G,c)(G,c)(G,c) ve (H,d)(H,d)(H,d) bir izomorfizm varsa izomorfik olduğu söylenir π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) renklendirmeye uyulması, yani c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v)) hepsi için v∈V(G)v∈V(G)v \in V(G). Bu düşünce, renkli grafiklerin izomorfizmini çok …

9 terminology  graph-isomorphism  equivalence