Teorik Bilgisayar Bilimi

Aşağıdaki sorunun karmaşıklığı nedir ( P? NP-hard?):∈∈\in Girdi: yönlendirilmiş bir asiklik grafik , bir dizi arka kenar ve iki farklı düğüm ve .E ′ ⊂ V × V s tD = ( V, E)D=(V,E)D=(V,E)E'⊂ V× VE′⊂V×VE'\subset V\times Vsssttt Soru: Let ekleme ile oluşturulan grafik ifade kenarları . Basit bir yol …

10 graph-algorithms  time-complexity  disjoint-paths 

Biçimsel dillerde Ayırma Sorunu olarak bilinen açık bir sorun vardır; kısaca iki farklı uzunluk dizesi olarak verildiği, kısaca bir DFA'nın bunları "ayırmak" için ne kadar büyük olması gerektiği anlamına gelir, yani bir dizeyi kabul etmek, diğerini reddetmek.nnn İşte bazı ilgili makaleler 1 , 2 . (Birkaç tane daha var, ancak …

10 fl.formal-languages  automata-theory 

S . D boyutunda hiperplantasyondüzeninde en büyük hacimli sınırlı hücreyi bulmanın karmaşıklığı nedir ?nnnddd Bunu bilmem gerektiğini hissediyorum ... Ama kesin bir referans bulamıyorum. Bu mi ? D = 2 uzmanlığına ne dersiniz : Bir çizgi düzenlemesinde en büyük alan sınırlı hücre?Ω ( nd)Ω(nd)\Omega(n^d)d= 2d=2d{=}2

10 computational-geometry  high-dimensional-geometry  arrangements 

Sorunlar, bir bütün olarak, Hesaplamalı Karmaşıklık sayesinde sınıflandırılmıştır. Fakat diferansiyel denklemlerde, diferansiyel denklemleri hesaplama yapılarına göre sınıflandırmak mümkün müdür? Örneğin, birinci dereceden homojen olmayan bir denklemin çözülmesi nispeten diyelim ki 100. dereceden homojen bir denklemden daha zor ise, çözme yöntemi aynı olduğu için ayrı konveksite sınıfları olarak sınıflandırılabilirler mi? Çözme …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Belki de Haskell'deki ana performans sorunlarının kaynağı, bir programın yanlışlıkla sınırsız derinlikte bir yığın oluşturmasıdır - bu, değerlendirme sırasında hem bellek sızıntısına hem de potansiyel yığın taşmasına neden olur. Klasik örnek sum = foldr (+) 0Haskell'de tanımlamaktır . Tembel bir dil kullanan bir programda bu tür gövdelerin eksikliğini statik olarak …

10 type-theory  functional-programming  program-verification 

Martin-Loef tipi teoride bir eşitsizlikten (örneğin, ) çelişki türetmek oldukça iyi bilinen bir gerçektir .( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Kanıtı da oldukça basittir - evrenlerin yokluğunda, onun şekli olarak ve kanıtlama böylece basit bir türü almak için herhangi bir bağımlı türünden bağımlılıkları silebilirsiniz o biz ispat …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

NP-Tamlık ile ilgili eşdeğer soruları takiben ( ağırlık sorusuna ve yönlendirilmiş soruya bakın ), parametreleştirilmiş sorunların bu özelliklerden nasıl etkilendiğini merak ediyordum. Yönlendirilmiş grafiklerde hangi -hard grafik problemleri -Hard, ancak yönlendirilmemiş grafiklerde sabit parametre izlenebilir mi?W [ 1 ]N-PNPNPW[ 1 ]W[1]W[1] Ağırlıklı grafiklerde hangi -hard grafik problemleri -Sert, ancak ağırlıksız …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Grafik izomorfizm problemi, veya N P- komplet problemlerine sınıflandırmaya direnen en uzun süredir devam eden problemlerden biridir . N P-tamamlanamayacağına dair kanıtlarımız var . İlk olarak, polinom hiyerarşisi [1] ikinci düzeye çökmediği sürece Grafik İzomorfizmi N P- tam olamaz . Ayrıca, GI'nin sayım [2] versiyonu, bilinen herhangi bir N P- …

10 cc.complexity-theory  graph-isomorphism 

"1965 makalesinde algoritmalarının hesaplama karmaşıklığı üzerine Hartmanis ve Stearns tarafından" yazarlar gerçek zamanlı Turing Makinesi gerçek sayı hesaplar eğer varsayım örneğin içinde, taban 10, daha sonra r ya bir rasyonel sayı veya bir aşkın sayı.rrrrrr Örneğin, temel 10'da gerçek zamanlı bir Turing makinesi tarafından hesaplanamayan hesaplanabilir bir aşkın sayı var …

10 cc.complexity-theory  reference-request  examples 

İspat karmaşıklığı, hesaplama karmaşıklığı teorisinin en temel alanıdır. Bu alanın nihai amacı ispatlamaktır , yani herhangi bir ispat verilen girdi formülünün tatmin edilemez olduğuna dair bir kanıt veremez. N-P≠ c o NPN-P≠cÖN-PNP\neq coNP Bir grafik, resmi ispat modellerinden biridir. Benim sorum bu modele daha fazla sınırlama getirmek. Bir kanıt DAG …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Eşdeğer olarak, olasılıklı üst düzey fonksiyonel programlama dilleri için bilinen bir anlamsal anlambilim var mı? Özellikle, simetrik rastgele ikili seçim işlemi ile genişletilen saf türlenmemiş hesabı etki alanı modeli vardır .λλ\lambda Motivasyon Kartezyen kapalı kategoriler yüksek dereceli -calculi için bir anlambilim sağlar . Olasılıksal güç alanları stokastik programlara anlambilim sağlar. …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Yüzyıldan eski Riemann Hipotezi'nin matematikte derin etkileri vardır ve matematik teorisinin büyük bir yapısı şimdi onun üzerinde ve çok sayıda varyant üzerinde koşullu olarak kanıtlanmıştır. Son zamanlarda Riemann hipotezine dayanan TCS'de koşullu bir sonuca başvurdum. Bu yüzden merak ediyorum, TCS'deki Riemann hipotezinin başlıca etkileri nelerdir? Burada bir başlangıç ​​olarak, Durand, …

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

Giriş: İşlem işleme, veritabanı teorisinde geleneksel bir araştırma konusu olmuştur. Günümüzde dağıtılmış işlemler , genellikle veri bölümü (parçalama olarak da adlandırılır) ve veri çoğaltması içeren büyük ölçekli dağıtılmış depolama sistemleri tarafından popülerleştirilmektedir . Dağıtılmış işlemlerde başlıca araştırma konuları nelerdir? (Teorik) iyileştirmeye ihtiyaç duyan tanınmış teoriler ve çözümler var mı? Herhangi …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Benim sorum ince yapı sabitleri ile ilgili QED (kuantum elektrodinamik) hesaplamaları için kuantum algoritmaları hakkında. Bu tür hesaplamalar (bana açıklandığı gibi) Taylor benzeri serilerinin hesaplanması anlamına gelir , burada α ince yapı sabiti (yaklaşık 1/137) ve c k , Feynman diyagramlarının k- döngülerine katkısıdır. ∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Bu soru, blogumdaki …

10 cc.complexity-theory  quantum-computing  physics 

Büchi-Automata'nın (ya da Müller-Automata'nın) en aza indirilmesinde standart yaklaşım nedir? Alışılmış tekniğin sonlu kelimelerden aktarılması, yani kabul edilen durumların "tükenmesi" kelimeleri aynı ise, iki durumun eşit olması işe yaramaz. Örneğin, Büchi-Automoton'u, bir başlangıç ​​ve bir son durum olmak üzere iki durumdan oluşan sonsuz sayıda a ile tüm kelimeleri kabul ettiğinizi …

10 fl.formal-languages  automata-theory