Teorik Bilgisayar Bilimi

Yüksek lisans tezimi CS'de yazıyorum ve takma ad analizi ile çalışıyorum. İlgilendiğim şey, Java benzeri diller için intra-işlemsel, akışa duyarlı zorunlu ve diğer ad analizidir. Bu konunun temellerini detaylı bir şekilde tanımlayan ancak gerçekten uygun bir şey bulamayan metinler arıyorum. Derleyiciler ve statik analiz üzerine birkaç ders kitabından sağ çıktım, …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Razborov'un yaptığı bir konuşmada , merak uyandırıcı küçük bir açıklama yayınlandı. FACTORING zorsa, Fermat'ın küçük teoremi kanıtlanamaz S12S21S_{2}^{1}. nedir S12S21S_{2}^{1}ve mevcut kanıtlar neden almamaktadır S12S21S_{2}^{1}?

10 cc.complexity-theory  lo.logic  proof-complexity 

Sınıf BPNC ( ve kombinasyonu ) sınırlı hata olasılığı ve rasgele bir kaynağa erişim ile günlük derinliği paralel algoritmalar olsun (farklı bir ada sahip olduğundan emin değilim). Tüm süreçlerin algoritma başlangıcında sabitlenmiş rastgele bir bit akışına rasgele erişimleri dışında DBPNC sınıfını benzer şekilde tanımlayın.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} Başka bir deyişle, BPNC'deki her işlem …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Bağlam : Kavvadias ve Sideri Verilen: Ters 3-SAT problemi coNP Komple olduğunu göstermiştir üzerinde bir dizi model bu 3 CNF formülü böyle olduğunu, değişkenler modellerinin onun tam kümesidir? içindeki tüm modellerden memnun olan 3 maddenin tümünün birleşimi olan hemen bir aday formül ortaya çıkar .ϕϕ\phinnnϕϕ\phiϕϕ\phi İfade ettiği tüm 3 maddeyi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Boole formül dengeleme sorununun karmaşıklığı hakkında referanslar arıyorum . Özellikle, Boole formüllerinin dengelenebileceği biliniyor muydu ?AC0AC0\mathsf{AC^0} Boole formül dengelemesinin basit bir kanıtı var mı ?AC0AC0\mathsf{AC^0} "Basit" derken, aşağıda bahsettiğimden daha basit bir kanıt demek istiyorum, özellikle Boolean formül değerlendirmesinin olmasına bağlı olmayan bir kanıt arıyorum .NC1NC1\mathsf{NC^1} Arka fon Burada bahsedilen …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Benim sorum neden derinlik 3 için alt sınırlar Kapıları "ve" ve "veya" xor "ile Boole devreleri üzerinde aritmetik devreler için aynı alt sınırları ima etmiyor ZZ\mathbb{Z}? Aşağıdaki argümanla yanlış olan şey: CCC , aritmetik bir devre hesaplama determinantı olsun, tüm mod 2 değişkenlerini alarak Boole devre hesaplama determinantını alacağız.

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Aşağıdaki soru Bellman-Ford sss - ttt en kısa yol dinamik programlama algoritmasının optimalliği ile ilgilidir ( bağlantı için bu yazıya bakınız ). Ayrıca, olumlu bir cevap , STCONN problemi için monoton belirsiz bir dallanma programının minimal boyutunun Θ ( n 3 ) olduğu anlamına gelecektir . Θ(n3)\Theta(n^3) Let GGG bir …

10 graph-theory  circuit-complexity  lower-bounds 

BPPBPP\mathsf{BPP} ve temel olasılıksal karmaşıklık sınıflarından ikisidir.ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} , yanlış cevap döndürme algoritmasının olasılığının sınırlı olduğu olasılıksal polinom-zaman Turing algoritmaları tarafından karar verilen dil sınıfıdır, yani hata olasılığı en fazla (hem EVET hem de NO örnekleri).1313\frac{1}{3} Öte yandan, algoritmaları hiçbir zaman yanlış bir cevap döndürmeyen olasılıklı algoritmalar olarak görülebilir, her …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Gauss Eliminasyonunun aritmetik işlemlerini yaptığını biliyorum , ancak daha iyi algoritmaların bilinip bilinmediğinden emin değilim.O ( n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

in en fazla altkümesinden ailesi verildi . Sendika kapatma başka dizi ailedir 1 veya daha fazla setleri birliğini alarak inşa edilebilir her kümesini içeren . By set sayısını belirtiriz . n { 1 , 2 , … , n } F C F | C | CFF\mathcal Fnnn{ 1 , …

10 co.combinatorics  graph-algorithms  clique  independence 

Çoğu olasılıklı ispat sisteminde (örneğin PCP teoremi), hata olasılıkları genellikle yanlış pozitiflerin yanında tanımlanır, yani tipik bir tanım şöyle görünebilir: eğer varsa doğrulayıcı her zaman kabul eder, ancak diğer durumda reddetme olasılığı en az 1 / 2'dir.x∈Lx∈Lx \in L Hatanın diğer tarafında olmasına izin verirken bir sorun mu var? Bu, …

10 cc.complexity-theory  pcp  interactive-proofs 

Dil semantiğini programlama, genellikle insanlar hakkında konuşurken duyulmaktadır anlam ve anlam . Aynı gibi görünmüyorlar. Fark ne? İlki operasyonel semantikle, ikincisi ise anlamsal semantikle mi ilişkili? Teşekkürler.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

, \ mathbb {R} ^ d' de noktası kümesi olsun . Herhangi bir t \ geq 1 için , bir t- spanner , Öklid ölçüsü altında ağırlıklı yönlendirilmemiş bir G = (P, E) grafiğidir , öyle ki v , u herhangi iki nokta için G , d (v, u) arasındaki …

10 cg.comp-geom 

MAMA\mathsf{MA} ve \ mathsf {NP} ^ \ mathsf {RP} ile ilgili bir ifade bulamadım NPRPNPRP\mathsf{NP}^\mathsf{RP}; işaretçiler takdir edilecektir. Eşit olduklarına inanıyorum: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : NPNP\mathsf{NP} makinesi Merlin'in dizesini tahmin eder ve RPRP\mathsf{RP} dizesi dizeyi Arthur'un yaptığı gibi doğrular. NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : Merlin kabul hesaplama tahmin için tüm çağrılar, …

10 cc.complexity-theory  oracles 

Sahiplik türleri ve Ayrılma Mantığı benzer hedeflere, sahiplik ve diğer adlandırma üzerinde kontrole sahip gibi görünmektedir. Belki de eklemeliyim: modüler özellikler yazma yeteneği. Sahiplik türleri ile Ayrılma Mantığı arasındaki ilişki hakkında bilinenler nelerdir?

10 pl.programming-languages  type-systems  object-oriented  program-logic