Teorik Bilgisayar Bilimi

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

2
Deterministik olmayan ağaç yürüyen otomatlar deterministik olanlardan daha mı güçlü?
Güncelleme: Bu sorun son zamanlarda incelenmiş ve çözülmüş gibi görünüyor, şu wiki makalesine bakın: http://en.wikipedia.org/wiki/Tree_walking_automaton Ve ayrıca bu anket: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Farz edin ki, olağan kelime kümesi ({0,1} *) yerine, sözlerimiz doğrusal değildir, daha çok bazı ağaç yapılarında verilmiştir. Makinelerimizin "kaybolmasını" önlemek için, kelimelerimizi ikili, gömülü ağaç kümesi olarak tanımlayın. …
3
Belirsiz bir aşağı itmeli otomat tarafından kabul edilen en çok uzunluğunda bir kelime bulmanın sertliği
Sorun bildirimi : Let bir (potansiyel olarak nondeterministic) aşağı açılan da olmalıdır ve izin olması, giriş alfabe. kelimesi var mı st tarafından kabul edilen ?MMMbirA\cal Aw ∈bir*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Bu problem NP-tamamlanmış mı? Çalışıldı mı? Böyle bir kelimeyi bulmaya izin veren bir algoritma var …
1
Modüler ayrışma grafiğinin kaynağı
Grafik modüler ayrışma sunarken , çoğu yazar wikipedia'dan kopyaladığım 11 tepe grafiğini kullanır. Soru, onun orijinal tasarımcısı kimdir. (Bu grafiği wikipedia için kimin çizdiğini sormuyorum, ama orijinal kaynağı.) Vikipedi sayfası Aralık 2006'da oluşturuldu. Bulabildiğim en eski kaynak , Christophe Paul'ün 17 Mayıs 2006 tarihli Habilitation tezidir . (Yoğun arama yapmadım.)
1
Karekök Sorunun Üst Sınırının İspatı
[1] 'de Garey ve ark. Öklid TSP'sinin NP-bütünlüğü üzerinde çalışırken daha sonra Karekök Sorununun Toplamı olarak bilinecek olanı saptar. Verilen tamsayılar bir1,bir2, … ,birna1,a2,…,ana_1, a_2, \ldots, a_n ve LLL, belirleyin bir1--√+bir2--√+ ⋯ +birn--√&lt; La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Toplamı yeterince karşılaştırmak için kare köklerin hesaplanmasında asgari …
1
Algoritmaların Karmaşıklığında Gizli Sabitler
Birçok problem için, en iyi asimtotik karmaşıklığa sahip algoritmanın, büyük O gösterimi ile gizlenen çok büyük bir sabit faktörü vardır. Bu, matris çarpımı, tamsayı çarpımı (özellikle, Harvey ve van der Hoeven'in son O (n log n) tamsayısı çarpma algoritması, düşük derinlikli sıralama ağları ve grafik küçükleri bulma, birkaç yapmak için …
4
Gerçekten önyükleme yapan önyükleme sonuçları
TCS'de genellikle önyükleme sonuçları olarak adlandırılan bir tür sonuç vardır . Genel olarak, biçimdedir Eğer teklif AAA tutar, sonra teklif A′A′A' tutar. nerede AAA ve A′A′A' benzer görünen önermelerdir ve AAA görünüşe göre "zayıf" A′A′A', bu tür sonuçları adlandırmamızın nedeni budur. Birkaç somut örnek vereyim: Teorem. [Chen ve Tell, STOC'19] …
2
Rastgele bir grafikte kısa bir döngü bulmak ne kadar sürer?
Let rasgele bir grafik olarak kenarları. Çok yüksek olasılıkla, birçok döngüsü vardır. Amacımız, bu döngüden herhangi birini olabildiğince çabuk çıkarmaktır .G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2})≈n3/2≈n3/2\approx n^{3/2}GGG444444 Biz erişebilir düşünürsek bitişiklik liste şeklinde, içinde sabit bir olasılık ile başarılı olabilir , aşağıdaki gibi bir süre: herhangi bir düğüm çekme ve rastgele üreten …
1
Gödel'in durma sorununun kararsızlığına dayanan ilk eksiklik teoreminin referansı nedir?
Gödel'in ilk kanıtları uzun, dahil olan ve bir yerde oldukça sezgisel olan bir yerde doğrudan kanıtları olan Gödel'in İlk Eksiklik Teoreminin daha zayıf bir formu, durma sorununun kararsızlığına dayanan basit ve sezgisel bir kanıta sahiptir - bkz. Https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Bu kanıtı ilk kim önerdi ve ilk olarak hangi makalede …
2
Cebirsel geometrinin tür teorisi / programlama dili teorisindeki uygulamaları
Son zamanlarda cebirsel geometriye ilgi duymaya başladım ve okumaya başladım. Bu alan hakkında hala çok az şey biliyorum, ancak ana alanım, tür teorisi ve programlama dilleri ile herhangi bir bağlantısı olup olmadığını bilmek istiyorum. Cebirsel topolojinin tip teorisinde (homotopi tip teorisi ve daha pek çok) birçok uygulaması olduğunu biliyorum, ama …
1
Dize dönüşümlerinin düzenliliğini kanıtlamanın bir yöntemi var mı?
Diller arasındaki dönüşümleri tanımlamak için bir dizi farklı model vardır. Sonlu durum transdüserleri ve string grafikler üzerinden MSO tarafından tanımlanabilir grafik dönüşümleri en iyi tanıdığım ikisi. 2 yollu sonlu durum dönüştürücülerinin (1 yollu muadillerinden daha etkileyici olan) ve MSO tarafından tanımlanabilir dize dönüşümlerinin, birleştiricileri kullanan daha az bilinen diğer bazı …
1
Yasak reşit olmayanları bulan bir algoritma var mı?
Robertson-Seymour teoremi söylüyor herhangi bir küçük kapalı aileGG\mathcal G grafiklerin sayısı, çok sayıda yasaklı küçüklerle karakterize edilebilir. Bir girdi için bir algoritma var mı GG\mathcal G yasak gençleri çıkarır mı yoksa bu kararsız mıdır? Açıkçası, cevap nasıl GG\mathcal Ggirişte açıklanmıştır. Örneğin,GG\mathcal G tarafından verilir MGMGM_\mathcal G üyeliğe karar verebilir. MGMGM_\mathcal …
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.