Teorik Bilgisayar Bilimi

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

4
Conway'in hayat oyununun gürültülü bir versiyonu evrensel hesaplamayı destekliyor mu?
Vikipedi'den alıntı , "[conway'in hayat oyunu] evrensel Turing makinesinin gücüne sahiptir. Olduğunu şey Conway'in Hayat Oyunu içinde hesaplanabilir algoritmik hesaplanabilir" Bu tür sonuçlar Conway'in Yaşam Oyunu'nun gürültülü sürümlerine mi uzanıyor? Basit sürüm her turdan sonra düşük bir olasılık ile, her bir canlı hücre kalıplar olmasıdır ve her ölü hücre, yaşayan …
6
NP tamamlanmış doğallarda doğal bir sorun mu var?
Herhangi bir doğal sayı bir bit dizisi olarak kabul edilebilir, bu nedenle doğal bir sayı girmek, bir 0-1 dizisi girmekle aynıdır, bu nedenle doğal girdilerle ilgili NP-tamamlayıcı problemler açıkça vardır. Ancak herhangi bir doğal problem var mı, yani rakamların bazı kodlamalarını ve özel yorumlarını kullanmayanlar? Örneğin, "Asal mı?" Bu doğal …
2
Bir tamsayının faktör sayısını saymak ne kadar zor?
Bir tamsayıdır verilen uzunluğunun N bit, bu bir (veya alternatif olarak faktör sayısı) asal faktör sayısı çıkışına kadar zor N ?N-N-NnnnN-N-N asal çarpanlarını bilseydik, bu kolay olurdu. Bununla birlikte, asal faktörlerin sayısını veya genel faktörlerin sayısını bilseydik, asıl asal çarpanlaştırmayı nasıl bulacağımız açık değildir.N-N-N Bu problem inceleniyor mu? Asal çarpanlara …
2
Kuantum matris çarpımı?
Bilindiği gibi görünmüyor - ama kuantum hesaplama modelinde matris çarpımının karmaşıklığı ile ilgili ilginç daha düşük sınırlar var mı? Kuantum bilgisayarları kullanarak Coppersmith-Winograd algoritmasının karmaşıklığını yenebileceğimiz konusunda bir fikrimiz var mı?
1
Grafik izomorfizmi karekök sınırlı nondeterminizm ile karar verilebilir mi?
Sınırlı nondeterminizm, fonksiyonunu , yeni bir g - C sınıfı oluşturmak için, kaynağa bağlı deterministik Turing makineleri tarafından kabul edilen dillerin Cg(n)g(n)g(n) sınıfı ile ilişkilendirir . Bu sınıf, bazı tanımlayıcı olmayan Turing makinesi M tarafından kabul edilen ve C'yi tanımlamak için kullanılan kaynak sınırlarına uyan dillerden oluşur , ancak M'nin …
7
bir doğa kanunu olarak mı düşünmeliyiz ?
Birçok uzman, varsayımının doğru olduğuna ve sonuçlarında kullandığına . Benim endişem karmaşıklığın büyük ölçüde varsayımına bağlı olmasıdır.P ≠ N PP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Yani sorum şu: Sürece Strassen dan alıntı belirtilen varsayım kanıtlanmış değildir, / bir, bir doğa kanunu olarak düşünmelisiniz ki? Yoksa …
2
{
Dil mi { } bağlamsız veya değil?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Bu sorunun neredeyse tüm varyantlarını, i, j ve k arasındaki ilişkiyle ilgili farklı şartlarla karşıladığımı fark ettim, ancak bu değil. Benim tahminim bağlamsız olmadığı, ancak bir kanıtınız var mı?
10
Mükemmel algoritmalar, makine öğrenmesi ve doğrusal cebir yok
İleri bir algoritma dersi veriyorum ve öğrencilerimin ilgisini çekecek makine öğrenmesi ile ilgili bazı konuları dahil etmek istiyorum. Sonuç olarak, insanların makine öğrenmesinde en güncel / en ilginç algoritmik sonuçlarla ilgili görüşlerini duymak istiyorum. Potansiyel olarak zor olan kısıtlama, öğrencilerin daha önce herhangi bir özel lineer cebir bilgisine veya makine …
2
Teori A'nın kökenleri ve uygulamaları mı? Teori B mi?
Son birkaç soruda ( q1 q2 ), mantık ve programlama dilleri ile algoritmalar ve karmaşıklık çalışmaları arasındaki ayrımı yakalamak için "Teori B" ile "Teori A" ya karşı "Teori A" tartışıldı. Bu terminoloji benim için yeniydi ve hızlı bir web araştırması açıklayan herhangi bir açık referans ile gelmedi. Bu terminolojinin kökenini …
2
NP’deki hiyerarşiler (P! = NP olduğu varsayımıyla)
P! = NP olduğunu varsayarak, P'de olmayan ve NP-Tamamlanmayan sorunlar olduğunu gösterdiğine inanıyorum. Graph Isomorphism, böyle bir sorun olarak kabul edilir. NP’de bu tür “katmanlar” hakkında herhangi bir kanıt var mı? yani, P'de başlayan ve NP ile sonuçlanan üçten fazla sınıftan oluşan hiyerarşi, her biri diğerinin uygun bir süperseti olacak? …
3
DTIME hiyerarşi teoreminde log f'nin gerekçesi
DTIME hiyerarşi teoremine bakarsak, deterministik bir Turing Makinesi'nin evrensel bir makine tarafından simülasyonunda genel gider nedeniyle bir kayıt tutarız: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) NTIME DSPACE için bu tür bir ek yükümüz yok. Temel bir gerekçe, simülatörler arasındaki farkı göz önünde bulundurarak ispatın detaylarından gelir. Sorum şu: DTIME hiyerarşisi teoreminin ispatının …
4
Düzenli ifadelere verimli bir şekilde uyan “küçük” makineler var mı?
Düzenli bir ifadenin, normal ifadeyle orantılı büyüklükte olmayan belirli olmayan bir sonlu otomat tarafından veya potansiyel olarak üssel olarak daha büyük olan deterministik bir FA ile tanınabileceği iyi bilinmektedir. Ayrıca, bir dizesi ve normal ifade verildiğinde , NFA üyeliği orantılı olarak test edebilir. ve DFA üyeliği orantılı olarak test edebilir. …
10
Hesaplama için mevcut paralel modeller
1980'lerde hem PRAM hem de BSP paralel hesaplama modelleri ortaya çıktı. Görünüşe göre, her iki modelin de bugünkü 80'li yılların sonunda ve 90'lı yılların başında olduğu görülüyor. Paralel algoritmalar için araştırmalar hala bu alanlarda etkin midir? Paralel hesaplama için daha yeni daha gelişmiş modeller var mı? Genel modeller hala moda …
2
Klasik SAT'da kuantum algoritmaları gelişti mi?
Klasik algoritmalar 3- sürede (randomize) veya 1.3303 n zamanında (deterministik) çözebilir . (Referans: SAT Üzerindeki En İyi Üst Sınırlar )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Karşılaştırma için, Grover'in algoritmasını kuantum bilgisayarlarda kullanmak , randomize olarak bir çözüm arayacak ve sunacaktı . (Bu hala ne kadar çözüm olabileceği veya olamayacağı konusunda biraz bilgi gerektirebilir, bu sınırların …
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.