Teorik Bilgisayar Bilimi

Bir konferans makalesinde, bir sorunun kanıtlamak için , aptalca bir cümle yazdım. "Sorunun içinde olduğu -hard ". Aslında, hiç net değildi. Hatta açık bir sorun gibi görünüyor. Hedef kitle için bu büyük bir mesele değildir çünkü ana sonuç sertliği ve dolayısıyla bir polinom algoritması tasarlamanın imkansızlığı "zorluğu" dur .N P …

11 soft-question  conferences  journals 

İlk terim Hilbert tarafından 1928 çalışmasında kullanılır, ancak Gödel'in daha sonraki çalışmasında aynı şey Unvollständigkeitssatz ("eksiklik teoremi") olarak adlandırılır. Bugünün Alman CS araştırmacıları için, Unvollständigkeitssatz daha yaygın olarak kullanılıyor ve Entscheidungsproblem ("karar sorunu") hala anlaşılıyor, ancak mutlaka das Halteproblem ile ilişkili değil (Turing'in otomata üzerindeki çalışmasından sonra daha yaygın gibi …

11 lo.logic  computability  ho.history-overview 

Yapılar Analizinin güçlü bir şekilde normalleştiğinin farkındayım , yani her ifadenin beta olamaz, eta azaltılamaz. Aslında bu, orijinal ifadeyle aynı değeri hesaplayan en verimli ifadedir. Ancak bazı durumlarda normalleştirme, küçük bir ifadeyi büyük bir ifadeye (boyut olarak) indirgeyebilir. En küçük ifadeler var mı? Aynı değeri en küçük boyutla hesaplayan form. …

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

Bu yüzden, Dışlanan Orta Yasanın (LEM) Martin-Löf'ün Girişimsel Tip Teorisinde Axiom K'yı ima edip etmediğini merak ediyorum. Axiom K, Aslında, Π A : T y p e Π x , y : A Π pΠA : Typ eΠx : AΠp : Kimlik ( x , x ), Kimlik ( p …

11 lo.logic  type-theory  lambda-calculus 

Problemimiz bir matris belirli bir M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n} , endeksler i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\} ve bir tamsayıdır aaa . Yerine M[i,j]M[i,j]M[i,j] ile aaa yeni matris çağrı M . Mı s e r ( E ) > sM^M^\hat Mper(M)>per(M^)per(M)>per(M^)per(M)>per(\hat M) ? Bu sorun polinom hiyerarşisinde mi?

11 permanent 

Parametrik polimorfizm modellerine baktığımda, neden refleksif grafik kategorilerinin kullanıldığını merak ediyorum ? Özellikle, neden ilişkisel kompozisyon içermiyorlar? Modellere bakarken, hepsi doğal bir ilişkisel kompozisyon kavramını destekliyor gibi görünüyor: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z Dönüşlü grafikler kullanan en son makaleler bunu kabul için alıyor gibi görünüyor …

11 ct.category-theory  parametricity  logical-relations 

Let bir dil ve olmayacak f : Σ ⋆ × Σ ⋆ → Σ ⋆ özelliğiyle iki parametreye bir işlev hepsi için x ve y , f getirileri bir unsuru L ancak ve ancak hem x ve y elemanlarıdır L :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . …

11 reference-request  fl.formal-languages 

Quantum-Computing hakkında yayınlanmış kitapları, makaleleri ve kağıtları okudum. Gördüğüm tüm materyallerin, temel fizikten soyutlamaya kuantum kapısını tanımlamak yerine, kuantum kapılarının uygulama detayları hakkında konuşmaktan kaçınmaya çalıştıklarını gördüm . Öncelikle kendimi sorguladım: Sadece resmi matematiğin söz konusu olduğu yanlış alanda mı arama yapıyorum? Ancak bu kağıtların ve kitapların iyon tuzaklarını, optik …

11 physics  quantum-computing 

Bir antichain a DAG olan bir alt-kümesi , yani hiçbir vardır, ikili erişilemiyor köşelerin olacak şekilde erişilebilir olup de . Kaynaktan Dilworth teoremi kısmi sıralama teorik olarak, bilinmektedir ki DAG bir boyutta antichain ise , o zaman en az bir birliğe ayrışabilir ayrık zincirleri, yani yönlendirilmiş yollar.(V,E)(V,E)(V, E)A⊆VA⊆VA \subseteq Vv≠v′∈Av≠v′∈Av …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Mi NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Veya, daha genel olarak, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes 

Geçmişte, dergiler bilimsel / matematiksel keşiflerin yaygınlaştırılması ve incelenmesinin ana yoluydu. Bazı bölgelerde hala öyleler. Bununla birlikte, (teorik) bilgisayar biliminde bu rol neredeyse tamamen konferanslar ve açık web tabanlı yayılım (örneğin arxiv veya kişisel ana sayfalar) tarafından gerçekleştirilir. Hala TCS dergileri var ( ToC ve JACM gibi ), ancak öncelikle …

11 soft-question  journals 

Let bir olmak yönlendirilmiş asiklik grafik ve izin her köşe koyan bir etiketleme fonksiyonu bir etiket için sonlu bir alfabe içinde . YazmaBir topolojik sıralama arasında bir eşleşme olduğu dan üzere (yani, bir sipariş bir dizi olarak) bu şekilde her o (ör. ye bir kenar varsaλ v ∈ V λ …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Girdi: içinde nokta kümesi ve tamsayısı .R 3 k ≤ nnnnR,3R3\mathbb{R}^3k ≤ nk≤nk \le n Çıktı: Bu noktanın en az içeren en küçük hacim eksenine hizalanan sınırlama kutusu .nkkknnn Bu sorun için bilinen herhangi bir algoritma olup olmadığını merak ediyorum. Düşünebildiğim en iyi şey , gevşek bir şekilde zamanıydı: üç …

11 cg.comp-geom 

Kısa bir süre önce , Coudron ve Yuen tarafından kuantum cihazları kullanarak rastgele genişleme üzerine bir makaleye rastladım . Çalışmanın ana sonucu, sabit sayıda kaynaktan "sonsuz" rasgelelik üretmenin mümkün olmasıdır (yani, üretilen rastgele bitlerin sayısı, kaynak sayısına değil, yalnızca protokolün tur sayısına bağlıdır. ). Safça, bu bana sonuç gibi geliyor, …

11 cc.complexity-theory  quantum-information 

Verilen gibi katsayıları olduğu içinde kalan , yapar ambar?p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemması, genel alanlar ve ve bu sorun için etkili bir randomize algoritma olduğu için burada geçerlidir.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Bu sorunun etkin bir derandomizasyona sahip olmasını bekliyoruz. Bu sorunun etkili bir derandomizasyona sahip olmaması durumunda sonuç ne olur?

11 big-picture  derandomization  conditional-results