Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

7
Kuantum Hesaplama / Bilgi Üniversiteleri?
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 …

2
Yeterince büyük boyuttaki afin alt uzaylarda sabit olmayan bir Boolean fonksiyonu
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 …

2
Maksimum dahili köşe-ayrık tek uzunluk st yolu sayısı
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 …

1
Yapboz Kesme çubukları
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 …


4
“Farklı hipergraf renklendirme” - bilinen problem?
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ı …

2
Gauss karmaşıklığına daha düşük sınırlar
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ış …

1
NP ve Parity-P için en iyi bilinen eklem muhafazaları?
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 …

3
Sorgu karmaşıklığı açısından kesinlikle klasik ve kuantum arasında hesaplama modelleri
İ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 …

1
SAT ile ilgili topolojik bir alan: kompakt mı?
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 …

5
Tamsayı çarpanlara ayırma kehaneti ile P
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 …

2
Set ambalajlama için algoritmalar
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 …

2
Kalıcıların benzersiz bir terimi olup olmadığına karar verebilir miyiz?
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 …

1
Tüm İlkel Kelimeler Kümesi Bir Ana Dil midir?
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 = \{ …

1
TOC Blog Toplayıcısı Çevrimdışı
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ı.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.