Teorik Bilgisayar Bilimi

{ X : A x ≤ b , x ≥ 0 } ile tanımlanan bir politop PPP sahibim .{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Soru: bir tepe Verilen vvv arasında PPP , bir komşuları homojen numune için polinom zaman algoritması olduğu vvv grafikte PPP ? (Boyutta polinom, …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Parametrik polimorfizm için ilişkisel anlambilimin özünü anlamanın doğal bir yolu var mı? İlişkisel parametriklik, la John Reynolds'un "Türleri, Soyutlama ve Parametrik Polimorfizm" kavramını okumaya başladım ve ilişkisel anlambilimin nasıl motive edildiğini anlamada sorun yaşıyorum. Küme semantiği benim için çok mantıklı ve küme semantiğinin parametrik polimorfizmi tanımlamak için yetersiz olduğunu anlıyorum, …

15 type-theory  parametricity 

Programlama dersine girişte, bir algoritmanın beklediğimizi yaptığını kanıtlamanın Başlatma-Bakım-Sonlandırma yöntemini öğreniyoruz. Ancak, sadece doğru olduğu bilinen bir algoritmanın doğru olduğunu kanıtlamak zorundaydık. Hiçbir zaman bir algoritmanın doğru olmadığını göstermemiz istenmedi. Doğru görünen, ancak doğru olmayan klasik algoritma örnekleri var mı? İlklendirme-Bakım-Sonlandırma yaklaşımının ilk bakışta sezginin yapmadığı bir şey yakaladığı vakaları …

15 ds.algorithms  proofs 

FOL için kompaktlık teoreminin resmileştirilmesini arıyordum, ancak bulamadım. Böyle bir gelişmenin veya ilgili çalışmanın farkında olan var mı?

15 lo.logic  coq 

Kabaca böyle görünen bir yamalar kategorisi var mı: Nesneler bazı temel alfabe dizeleri Morfizmler, dizeler arasındaki düzenleme komut dosyalarıdır ("diffs" veya "yamalar") Bu sorularla ilgileniyorum: Minimal düzenleme komut dosyası için kategorik bir kavram var mı ? Belki de yamalar kategorisi PO Setlerde zenginleştirilmiştir? Is birleştirme kategorik dışarı ittirme yamaların? Bunu …

14 ct.category-theory  edit-distance 

Doğal sayıların bir aralığının asal içerip içermediğine karar vermenin karmaşıklığı nedir? Eratosthenes Elek bir varyantı, bir verir algoritması, L aralığının uzunluğudur ve ~ deri aralığının başlangıç noktası olarak poli-logaritmik faktörler; daha iyi yapabilir miyiz ( yalnız L açısından )?Ö~( L )O~(L)\tilde O(L)LLL~∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Aşağıdaki karar problemini düşünün Girdi : Bir monoton CNF ve bir monoton DNF .ΦΦ\PhiΨΨ\Psi Soru : bir totoloji midir?Φ→ΨΦ→Ψ\Phi \to \Psi Kesinlikle bu sorunu -zamanında çözebilirsiniz , burada değişken sayısı ve giriş uzunluğudur. Öte yandan, bu sorun coNP-complete'tur. Ayrıca, coNP-tamlığı sağlayan bir azalma da SETH başarısız olmadığı sürece bu problem …

14 exp-time-algorithms  boolean-formulas  fine-grained 

Bir günlük alanı varsa dil cinsindendir.L/polyL/polyL/poly Daha fazla bilgi için buraya bakın: https://en.wikipedia.org/wiki/L/poly Soru Sonuçları nedir ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Jeffrey Shallit'in Otomata Teorisinde İkinci Kursu bölüm 4'te aşağıdaki sorun açık olarak listelenmiştir: Let rasyonel katsayılı bu şekilde olan bir polinom tüm . İspat etmesini veya etmemesini o tüm tamsayılar taban-k temsiller dil bağlam serbest ise ve derecesi yalnızca p olduğunu \ leqslant 1 .p(n)p(n)p(n)p(n)∈Np(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid …

14 fl.formal-languages  nt.number-theory  grammars 

Verilen girişler x 0 , ... , x n - 1 , biz rastgele sıralama ağını inşa m iteratif iki değişken seçerek kapıları x i , x j ile i &lt; j ve karşılaştırma kapısı ekleyerek bu takasları onları eğer x i &gt; x j .nnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i, x_ji&lt;ji&lt;ji < …

14 sorting-network 

Aşağıdaki basit monoton devre modelini düşünün: her kapı sadece bir ikili OR'dir. fonksiyonunun karmaşıklığı nedir; burada A , O ( n ) 0'lara sahip bir Boole n × n matrisidir ? Doğrusal boyutlu OR devreleri ile hesaplanabilir mi?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) Daha resmi olarak, n ila n bit arasında bir işlevdir …

14 ds.algorithms  circuit-complexity  upper-bounds 

Let bir harita fonksiyonu s -GATE devre C üzerinde , n bit ve bir n- bitlik dize x için Cı- ( x ) . Devreler atamaları asiklik dizisi olarak kodlanır varsayalım k : = gr ( i , j ) burada i , j , k, tel etiketlerdir.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := …

14 cc.complexity-theory  circuit-complexity  circuit-families 

STOC gibi bir konferansta ele alınan konular düşünüldüğünde, herhangi bir algoritma veya karmaşıklık araştırmacısı aktif olarak COQ veya Isabelle kullanıyor mu? Eğer öyleyse, araştırmalarında nasıl kullanıyorlar? Çoğu insanın bu araçları kullanamayacağını düşünüyorum, çünkü kanıtlar çok düşük düzeydedir. Bu kanıt asistanlarını, güzel bir ekin aksine araştırmaları için kritik bir şekilde kullanan …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Hott kitabının 1. Bölümü ve Ek A'da , temeli oluşturmak için birkaç ilkel tip aile (evren tipleri, bağımlı fonksiyon tipleri, bağımlı çift tipleri, Coproduct tipleri, Boş Tip, Birim tipi, doğal sayı tipi ve kimlik tipleri) sunulmaktadır. Homotopi Türü Teorisi için. Bununla birlikte, evren türleri ve bağımlı işlev türleri göz önüne …

14 type-theory  dependent-type  homotopy-type-theory 

Olduğu gibi bu soruya, ben ilgi duyuyorum vs / sorun için tropikal ve (\ dak, +) devreleri. Bu soru, tropik semirlerde polinomların VC boyutu için üst sınırların gösterilmesine azalmaktadır (aşağıdaki Teorem 2'ye bakınız). BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) Let RRR bir semiring olabilir. Bir sıfır model bir dizinin (f1,…,fm)(f1,…,fm)(f_1,\ldots,f_m) ait mmm polinomların R[x1,…,xn]R[x1,…,xn]R[x_1,\ldots,x_n] …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension