Teorik Bilgisayar Bilimi

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

1
IP = PSPACE'in göreceli olmamasının “gerçek” nedeni nedir?
ÖÖOc o N PÖ⊈ I PÖcÖN-PÖ⊈benPÖ{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcÖN-PÖ⊆PSPbirCEÖ{\sf coNP}^O \subseteq {\sf PSPACE}^OOÖO Ancak, yalnızca birkaç kişinin sonucunun neden göreceli hale gelmediğine ve genel yanıtın "aritmetizasyon" olduğuna " doğrudan" bir açıklama yaptığını gördüm . IP = PSPACE ispatı incelendikten sonra, bu cevap yanlış değil , ama benim için tatmin …
2
JSON Düzenli Bir Dil mi?
JSON spesifikasyonunun normal bir dil tanımlayıp tanımlamadığını merak ediyordum . Yeterince basit görünüyor, ama kendimi nasıl kanıtlayacağımdan emin değilim. Sormamın nedeni, JSON'u etkili bir şekilde pars yapmak için düzenli ifadeler kullanıp kullanamayacağını merak etmemdi. Yeterli temsilcisi olan biri benim için json ve normal dil etiketlerini oluşturabilir mi?
5
Yapay zeka araştırmalarında “ileri matematik” ne ölçüde gereklidir / yararlıdır?
Şu anda matematik okuyorum. Ancak, gelecekte profesyonel bir matematikçi olmak istediğimi sanmıyorum. Matematik bilgimi yapay zekada araştırma yapmak için uygulamayı düşünüyorum. Ancak, kaç matematik dersini izlemem gerektiğinden emin değilim. (Ve hangi CS teorisi derslerini takip etmeliyim.) Quora'dan Doğrusal Cebir, İstatistik ve Konveks Optimizasyon konularının Makine Öğrenimi ile en alakalı olduğunu …
3
Teori hakkında nasıl konuşulur?
Bunun tartışmalı bir soru olabileceğini anlıyorum, ama burası sormak için doğru yer gibi görünüyordu. Lütfen değilse yeniden yönlendir. Arka plan, bir "uygulayıcı" olduğumdur (doktora öğrencisi, CS teorisi çalışmıyorum), ancak lisans algoritmaları ve matematik konusunda makul bir temelim var. Bununla birlikte, teorisyenlerle tartışmalar genellikle çok yüzey seviyesindedir, sanki korkmam durumunda benimle …
2
NP-sertlik sorununun NP-sertlik kanıtı bir katkı olarak kabul edilir mi?
[XYZ] gazetesinde, başka bir yerde NP-zor olduğu iddia edilen bir sorunu çözüyorum. [XYZ] 'de sağlanan NP sertliği karmaşıktır ve ileri teknikler kullanır. Bazı araştırma ve çalışmalardan sonra NP sertliğinin basit ve açık bir kanıtını vermeyi başardım. Bunun bir katkı olarak kabul edilip edilmediğini merak ediyorum? İşimi motive etmeye çalışıyorum ama …
4
Kaos ve
"Kaos" veya daha geniş anlamda dinamik sistemler ile sorusu arasındaki bağlantıları öğrenmekle ilgileniyorum . İşte aradığım literatürün bir örneği:P= NPP=N-PP{=}NP Ercsey-Ravasz, Mária ve Zoltán Toroczkai. "Kısıt memnuniyeti için analog bir yaklaşımda geçici kaos olarak optimizasyon sertliği." Doğa Fiziği 7, no. 12 (2011): 966-970. ( Dergi bağlantısı .) Anket yazmış veya …
2
için devre üst sınırlarının
P'ye karşı NP için resmi Clay problem tanımında " E'deki her dilin ( deterministik bir Turing makinesiyle üstel zamanda tanınabilir diller sınıfı) bir Boole devre ailesi tarafından hesaplanabileceğini göstermesi gerektiği belirtiliyor. < B , n > en az bir böyle olduğu n , B , n bir Boole fonksiyonu hesaplamak …
1
Yol genişliğinin ağaç genişliğine göre algoritmik avantajları
Treewidth, FPT algoritmalarında önemli bir rol oynar, çünkü birçok sorun treewidth ile FPT tarafından parametrelendirilir. İlişkili, daha kısıtlı bir kavram, yol genişliğidir. Bir grafiktir pathwidth varsa , aynı zamanda en az treewidth sahip k tersi yönde, treewidth ise, k, sadece en pathwidth ima k log n, ve bu sıkı.kkkkkkkkkk günlüğünkgünlük⁡nk\log …
2
Bir bitişiklik matrisinin karesinden kurtarılmasının karmaşıklığı
Aşağıdaki sorunla ilgileniyorum: matrisi verildiğinde , bitişiklik matrisi o matris olan köşelerinde yönlendirilmemiş bir grafik var mı?n×nn×nn\times nnnn Bu sorunun hesaplama karmaşıklığı biliniyor mu? Uyarılar: Tabii ki, bu da matris verilen bir arama sorunu olarak ifade edilebilir için , bir yönsüz grafiğin bir bitişiklik matrisi ve problem (bir yönsüz grafiğin) …
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.