Teorik Bilgisayar Bilimi

Katsayılı bir tamsayıdır matrisin bir belirleyici hesaplanması için bilinen etkili algoritmalar ne kalıntıları halka modulo m . M sayısı asal değil kompozit olabilir (bu nedenle hesaplamalar bir alan değil halka olarak gerçekleştirilir).ZmZm\mathbb{Z}_mmmmmmm Bildiğim kadarıyla (aşağıda okuyun), çoğu algoritma Gauss eliminasyonunun modifikasyonlarıdır. Soru, bu prosedürlerin hesaplama etkinliği ile ilgilidir. Farklı bir …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Bu tür uygulamalar için çok geniş bir şekilde baktım ve çoğunlukla kısa sürdüm. Sayılabilir (veya sayılamayan) kümelerde topoloji ve benzeri yapıların birçok uygulamasını bulabilirim, ancak nadiren sayılmaz kümeleri bilgisayar bilimcileri tarafından çalışma nesnesi olarak buluyorum ve bu nedenle analizden tekniklere ihtiyaç duyuyorum.

18 co.combinatorics  big-picture 

Bir sınıf için ayarlanan bir sorun üzerinde çalışıyorum ve üzerinde çalıştığım şeyle ilgili bir soru düşündüm. N tamsayısı ile bölünebilen sayıları temsil eden ikili dizeleri kabul etmek için sınırlı bir otomatın olması gereken minimum sayıda durum var mı? Daha önceki bir problem setinde, 3 durumlu 3'e bölünebilir ikili dizeleri kabul …

18 automata-theory 

Let bir olmak karşılanabilir ile CNF, Formül n değişkenleri ve m maddeleri. Let S F 1 çözeltisi uzay F 1 .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Verilen belirleme sorununu ele alalım , bir CNF, Formül F 2 gibi değişkenler aynı seti ile F 1 ile, S , F 2 = S F 1 (aynı çözelti …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Sanırım P'nin sadece böyle ve böyle çıkarsa, bazı karmaşıklık sınıfının başka bir karmaşıklık sınıfında yer alması vb.

18 cc.complexity-theory  big-list  p-vs-np 

En kısa süper sicim sorununun karmaşıklığı hakkında bilinenler nelerdir? daha hızlı çözülebilir O∗(2n)O∗(2n)O^*(2^n)mi? TSP'ye indirgenmeden en kısa süper sicimi çözen bilinen algoritmalar var mı? UPD: polinom faktörlerini bastırır.O∗(⋅)O∗(⋅)O^*(\cdot) En kısa superstring problemi, cevabı belirli bir dizeden her dizeyi içeren en kısa dize olan bir sorundur. Soru, ünlü NP-hard problemi Shortest …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

1990'larda hiper hesaplama üzerinde çok fazla araştırma görüyorum , ancak son yıllarda bu konuda çok az çalışma var gibi görünüyor. Bu alandaki araştırmaların öldüğü doğru mu? Eğer öyleyse, bunun nedenleri neler olabilir? Bu alanın ikna edici bir şekilde ödün vermediği gösterildi mi?

18 reference-request  computability  hypercomputation 

SAT çözümü için DPLL tabanlı olmayan herhangi bir algoritma var mı? Yoksa SAT çözücüler tarafından kullanılan tüm algoritmalar DPLL tabanlı mıdır?

18 ds.algorithms  reference-request  sat 

Otomatik teoremi kanıtlama ve ispat araştırması, kasılma eksikliği olan lineer ve diğer önerici alt yapı mantıklarında daha kolay mıdır? Bu mantıklarda kanıtlanan otomatik teorem ve ispat aramada daralmanın rolü hakkında daha fazla bilgiyi nerede bulabilirim?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Ben kalbimde bir fizikçiyim ve bu yüzden Tek Yönlü Kuantum Hesaplamanın parlak olduğunu düşünüyorum. Özellikle, Grafik Durumu Ölçüm Tabanlı Kuantum Hesaplama (MBQC), Raussendorf ve Briegel tarafından oluşturulan Quantum Hesaplama araştırmalarında gerçekten güzel bir gelişme olmuştur . Sadece bir grafik tarafından tarif edildiği gibi çok parçalı bir dolaşık durumun hazırlanması ve …

18 quantum-computing 

XORification her değişken değiştirerek bir Boole fonksiyonu ya da formül zorlaştırmaya tekniktir ve XOR ile k ≥ 2 farklı değişkenler X 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Bu tekniğin kanıt karmaşıklığı içindeki kullanımlarının farkındayım, özellikle çözünürlük tabanlı kanıtlama sistemleri için alandan daha düşük …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Çoğunluk oylama işlemi, fonksiyonun giriş bitlerinin değerinde en sık görülen değere biraz eşit olduğu hata toleransında (ve şüphesiz başka yerlerde) oldukça sık görülür. Basitlik açısından, giriş 0 ve 1 durumlarında eşit sayıda bit içerdiğinde 0 değerini verdiğini varsayalım. Bu, girdide en sık ortaya çıkan değeri döndürerek ve bir bağlantı olması …

18 co.combinatorics 

zamanında bağlamsız bir dilbilgisini ayrıştırabilen çok sayıda algoritma vardır . Matris çarpımını kullanarak, asimptotik olarak bundan daha hızlı gidebilir.O(n3)O(n3)O(n^3) Ancak, bildiğim keyfi CFG'leri ayrıştırmak için tüm algoritmalar en kötü durum alan kullanımına sahiptir (ancak, itiraf etmek gerekirse, bu matris çarpma algoritmasının alan kullanımının ne olduğu hakkında hiçbir fikrim yok). Bu …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Sanırım anlamadım, ama -conversion bana hiçbir şey yapmayan bir -conversion, sonucun sadece lambda soyutlamasındaki terim olduğu özel bir -version gibi görünüyor çünkü hiçbir şey yok bir nevi anlamsız dönüşüm.ηη\etaββ\betaββ\betaββ\beta Yani belki dönüşüm gerçekten derin ve farklı bir şeydir, ama eğer öyleyse, anlamıyorum ve umarım bana yardımcı olabilirsiniz.ηη\eta (Teşekkürler ve özür …

18 lo.logic  lambda-calculus  extensionality 

Bir tamsayı vektörünün standart ayrık Fourier dönüşümünü hesaplamanın karmaşıklığı (standart tamsayı RAM üzerinde) nedir?nnn Cooley ve Tukey'e uygun olmayan [1] hızlı Fourier dönüşümleri için klasik algoritma genellikle zamanında çalışıyor olarak tanımlanır . Ancak bu algoritmada yürütülen aritmetik işlemlerin çoğu, (çoğu ) irrasyonel olan karmaşık . Birlik kökleri ile başlar , …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis