Teorik Bilgisayar Bilimi

Hangi üniversiteler güçlü bir kuantum bilişim müfredatına sahiptir ve bir çeşit kuantum bilişim / bilgi kursları / araştırma sunar? Buradaki amaç, hangisinin "en iyi" olduğunu tartışmak değil, bu alanlarda lisansüstü eğitim düşünen biri için yararlı bir liste toplamaktır. Bu listeyi yararlı hale getirmek için, lütfen üniversitenin bu alanın izlendiği bölümünün …

18 soft-question  quantum-computing  big-list  quantum-information 

Açık bir Boolean işlevi f ile ilgileniyorum :f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}şu özelliğe sahipse: , bazı afin alt uzayında sabitse, bu alt uzayın boyutu .fff o ( n )0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Simetrik bir fonksiyonun dikkate alınarak bu özelliği karşılamadığını göstermek zor değildir . herhangi bir tam olarak 'e sahiptir ve bu nedenle …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Let bir yönsüz basit grafik olabilir ve izin ayrı noktalar olabilir. Basit bir st yolunun uzunluğunun yoldaki kenar sayısı olmasına izin verin. Her bir yolun tek bir uzunluğa sahip olacağı ve her bir yol çiftinin tepe kümelerinin çift olarak yalnızca s ve t ile kesişeceği şekilde basit st yollarının bir …

18 matching  graph-algorithms 

Sorun: Bize tamsayı uzunlukları olan bir dizi çubuk verilir. Uzunluklarının toplamı n (n + 1) / 2'dir. Polinom zamanında büyüklüğünde çubuklar elde etmek için onları parçalayabilir miyiz ? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Şaşırtıcı bir şekilde, bu sorun için bulduğum tek referans bu eski tartışma: http://www.iwriteiam.nl/cutsticks.html Sorun hakkında …

18 reference-request  complexity-classes  puzzles 

Bu makale , Lambda hesabı tarafından temsil edilemeyen (şeyleri doğru anlıyorsam) birleştiriciler (sembolik hesaplamaları temsil eden) olduğunu göstermektedir:

18 lo.logic  lambda-calculus 

Aşağıdaki sorunla ilgileniyorum: Bir X kümesi ve X_1, ..., X_n alt kümeleri verildiğinde, X öğelerinin k renkleriyle renklendirilmesini bulun, böylece her X_i'deki öğeler farklı renktedir. Daha spesifik olarak, tüm X_i'nin k boyutunda olduğu duruma bakıyorum. Bu literatürde bir isim altında biliniyor mu? Renklendirilebilir örneklerin karakteristiklerini ve karmaşıklık ile ilgili sonuçları …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Bir matrisinin Gauss karmaşıklığını , matrisi üst üçgen formuna getirmek için gereken minimum satır ve sütun işlemleri sayısı olarak tanımlayın . Bu, ile n ^ 2 arasındaki bir miktardır (Gauss eleminasyonu yoluyla). Bu kavram her alanda mantıklıdır.n × nnxnn \times n000n2n2n^2 Bu sorun kesinlikle çok basit görünüyor ve üzerinde çalışılmış …

18 cc.complexity-theory  lower-bounds  matrices 

Parite-P , yalnızca çift sayı veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan kabul yolu yerine) arasında ayrım yapabilen, deterministik olmayan bir Turing makinesi tarafından tanınan diller kümesidir. Bu nedenle Parity-P, temelde PP'nin bodur küçük kardeşi: PP, bir NP makinesinin kabul yollarının sayısının çoğunluk olup olmadığını ( yani bu …

18 cc.complexity-theory  complexity-classes  np 

İyi bilinen kuantum bilgisayarlar, sorgu karmaşıklığı açısından klasik benzerlerinden kesinlikle daha güçlüdür . Sorgu karmaşıklığı açısından kesinlikle kuantum ile klasik arasında kalan başka modeller (doğal veya yapay) var mı? Ayrılma olabilir belirli sorunlar: model X işlevi işlevini kuantumdan kesinlikle daha fazla sorgu ile hesaplar , ancak klasikte alt sınırdan daha …

18 cc.complexity-theory  quantum-computing  query-complexity 

Gerçeklenebilirlik sorun, tabii ki, teorik CS temel bir sorundur. Sorunun bir versiyonuyla sonsuz sayıda değişkenle oynuyordum.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Temel kurulum. boş olmayan ve muhtemelen sonsuz bir değişkenler kümesi olmasına izin verin . Bir değişmez ya x ∈ X değişkeni ya da ¬ x negatifidir . A madde C bir ayrılmasıdır sonlu …

18 reference-request  lo.logic  sat  topology  lattice 

Ben sadece "okumak ? Çarpanlara tamsayı NP-tam problemi mi " sorusunu ... Ben başka bir soru sorarak itibarımı bazı :-) geçirmeye karar böylece sahip P ( Q önemsiz ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Eğer çarpanlara tamsayı çözer, gücü nedir o bir kahin olan …

18 cc.complexity-theory  oracles  factoring 

Bazı NP-Hard problemleri için, hızlı üstel zaman kesin algoritmaları (yani, formun sonuçları: Algoritma A, problemi (c ^ n) zamanında, c küçük ile) çözmek için çok fazla iş var gibi görünüyor . Bazı NP-zor problemler için bu çizgiler boyunca adil bir çalışma var gibi görünüyor (örneğin, Ölç ve fethet: basit bir …

18 ds.algorithms 

Tamsayı girişleri olan bir n'ye n matrisi, M, varsayalım. Biz olup olmadığını P karar Can bir permütasyon öyle ki tüm permütasyon için Elimizdeki ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Uyarılar. Elbette ürün bir miktarla değiştirilebilir, sorun aynı kalır. Matrisin yalnızca 0/1 girişleri varsa, NC'de bile olan Bipartite-UPM problemini alırız. Düzenleme: Yorumlarda …

18 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Bir kelime ağırlıkww olarak adlandırılır ilkel bir kelime varsa, hvv ve k > 1k>1k > 1 olacak şekilde ağırlık = v kw=vkw = v^k . Bir alfabe Σ üzerindeki tüm ilkel kelimelerin QQQ seti iyi bilinen bir dildir. WLOG seçebiliriz Σ = { a , b } .Σ\SigmaΣ={a,b}\Sigma = \{ …

17 fl.formal-languages 

Bu konu dışı olduğunda özür dilerim. Alan adının süresi doldu. Umarım buradaki topluluğun bazı üyeleri (ben değilim) o sitenin yöneticisi / sahibi kim bilir. Oldukça kullanışlı bir kaynaktı.

17 soft-question