Teorik Bilgisayar Bilimi

Bir grafik düşünün (sorun hem yönlendirilmiş hem de yönlendirilmemiş grafikler için anlamlıdır). Çağrı M G uzaklıklarda matris G : M G [ i , j ] tepe arasındaki en kısa yol mesafesi i tepe için j içinde G (örneğin, belirli bir sabit agregasyon fonksiyonu için + veya maksimum ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max …

11 ds.algorithms  reference-request  graph-algorithms  shortest-path 

Russell'ın Principia Mathematica (PM) ve mantıksal pozitivizmden esinlenerek, aksiyomları belirleyerek ve bunlardan teoremleri çıkararak belirli bir alanı resmileştirmeye çalışan bir kitabım var. Kısacası, PM'nin matematik için ne yapmaya çalıştığını kendi alanı için yapmaya çalışır. PM gibi, otomatik teorem kanıtlama (ATP) mümkün olmadan önce yazılmıştır. Bu aksiyomları modern bir ATP sisteminde …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

Martin-Löf tipi teori, tamsayılar, listeler, vb. Bu iki yaklaşım eşdeğer mi (öyle görünüyorlar)? Birinin diğerinden daha iyi olmasının felsefi nedenleri var mı (benim için W tipleri daha sezgisel gibi geliyor, çünkü sadece özel yapıdaki ağaçlar)? Bu, uygulama açısından daha kolay (endüktif tipler benim için daha iyi görünüyor, çünkü W-tiplerinin faydalı …

11 lo.logic  type-theory 

BQPSPACE'in PSPACE'de olduğunu gösteren standart kanıt, yol integrallerinde bir Savitch oyun türü analizine dayanır. Ancak, BQPSPACE için çalışma süresinin en üstel olarak uzun olduğunu varsayar. Bu PSPACE için geçerlidir, ancak sabit bir serbestlik derecesine sahip kapalı kuantum sistemleri için, durum vektörünün üstel doğası nedeniyle Poincare'nin tekrarlanmasından önce iki kat daha …

11 quantum-computing 

Bu nedenle, aday setlerinden hiçbiri birbiriyle kesişmediğinde set kapak problemi önemsizdir. Bununla birlikte, herhangi bir aday set için kesişimin boyutu en fazla 1 ise? Bu problem NP zor mu? Herhangi bir içgörü takdir ediyorum. Teşekkürler Garrett

11 set-cover 

İlgili bir soruyu , algoritmaların yapıcı olmayan varoluş kanıtları hakkında okuduktan sonra , "küçük" (örneğin, devlet-bilge) hesaplama makinelerinin varlığını gerçekten inşa etmeden göstermenin yöntemleri olup olmadığını merak ediyordum. resmen: varsayalım ki bazı dil ve bazı hesaplama modelini düzeltin (NFA'lar / Turing makinesi vb.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* için durumlu bir makinenin var olduğunu …

11 cc.complexity-theory  automata-theory  turing-machines 

Teorik bilgisayar bilimi araştırmalarına neyin dahil olduğunu anlamaya çalışıyorum. Teorik bilgisayar bilimcileri ne yapıyor? Yüksek lisans öğrencilerinin öğretilmesi, denetlenmesi, finansman başvurusu ve bölüm görevleri için önemli bir zaman harcandığını biliyorum. Onları bir kenara bırakmak, araştırma zamanınızı nasıl harcıyorsunuz? Genelde yaptığınız başlıca faaliyetler nelerdir? Sanırım kağıtları okuyup düşünür, toplantılar yapar ve …

11 soft-question  research-practice 

In for Free Teoremler! Wadler, parametrikliğin karakterizasyonunun gevşek doğal dönüşümler açısından yeniden ifade edilebileceğini ve bunun başka bir makaleye konu olacağını söylüyor. Hangi makaleye atıfta bulunuyor? Bildiğim paramterikliğe kategorik yaklaşım, Bainbridge, Freyd, Scedrov ve PJ Scott'un Functorial Polymorphism'deki gibi dinatural dönüşümleri kullanıyor . Gevşek doğal dönüşüm ile parametrikliğin dinatural dönüşüm …

11 reference-request  ct.category-theory  parametricity 

Bildiğim kadarıyla, Linial ve Shraibman tarafından verilen çarpanlara ayırma normu alt sınırı, esasen kuantum iletişim karmaşıklığı için bilinen tek alt sınırdır (veya en azından diğerlerini alt üst eder). Bu sınırın sıkı olduğuna dair herhangi bir kanıt var mı? (Diğer adıyla bağlı çarpanlara norm Ben söz bağlanan) Teoremi 13 olan Linial, …

11 quantum-information  communication-complexity  norms 

Crossposted MO'dan . CCC , tümü döngüsel olan (en az bir döngü içerir) sınırlı sayıda yasaklanmış alt bölümle tanımlanan bir grafik sınıfı olsun . Clique ve Clique cover dışında için polinom zamanda çözülebilen NP-sert grafik problemleri var mı?CCC Doğru hatırlıyorsam, bu bağımsız küme için mümkün değildir ( olmadığı sürece ).P=NPP=N-PP=NP …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

İşte cuntaları öğrenmeye benzer bir lezzet ile ilgili bir sorun: Girdi: Bir üyelik kâhin, yani verilen bir kâhin , döndüren bir işlevidir .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Hedef: Bir subcube bulun ait hacmi ile öyle ki . Böyle bir alt küpün var olduğunu varsayıyoruz.SSS{0,1}n{0,1}n\{0,1\}^n|S|=2n−k|S|=2n−k|S|=2^{n-k}|Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in S} f(x) \right| \ge 0.1 zamanında …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Saf fonksiyonlarla ilgili sorum var. Wikipedia sayfasına göre, saf bir işlev için gerekli olanlardan biri: Sonucun değerlendirilmesi, değiştirilebilir nesnelerin mutasyonu veya G / Ç cihazlarına çıktı gibi herhangi bir anlamsal olarak gözlenebilir yan etkiye veya çıktıya neden olmaz. Şimdi bu ne anlama geliyor. Ya da semantik olarak gözlemlenemeyen bir yan …

11 functional-programming  semantics 

Düğümleri hesaplamak için belgelenmiş bir yol var mı? (çemberler 3 boyutlu Öklid uzayına gömülüdür). Yani, onları temsil edecek bir veri tipi ve iki veri örneğinin aynı düğümü temsil edip etmediğini belirleyen bir algoritma. Cevap olumluysa, bu sorunun karmaşıklığı ne olacak?

11 ds.algorithms  computability 

Impagliazzo, Paturi ve Calabro, Impagliazzo, Paturi Üstel Zaman Hipotezi (ETH) ve Güçlü Üstel Zaman Hipotezi'ni (SETH) tanıttı. Kabaca SETH, SAT zamanını çözen bir algoritma olmadığını söylüyor . 1.99n1.99n1.99^n Bunun SETH'ı kırmak için ne anlama geleceğini merak ediyordum. Kesinlikle SAT'ı az adımda çözen bir algoritma bulmamız gerekiyor , ancak hangi hesaplama …

11 cc.complexity-theory  sat  exp-time-algorithms 

Aşağıdaki iddia biliniyor mu? Talep : n köşesi olan herhangi bir grafiği için , her bağımsız kümenin en fazla renkle renklendirileceği bir rengi vardır.G,GGnnnO ( √G,GGO ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring