Teorik Bilgisayar Bilimi

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

3
Yeniden yazma terimiyle kalıp eşleştirme arasındaki fark nedir?
Orada olduğu gibi Lambda'ya hiçbir tepki Ultimate : Burada tekrar denemek vadeli yeniden yazma sistemleri sembolik hesaplama kanıtlayan otomatik teoremi örneğin kullanılır, ve tabii ki resmi dilbilgisi tanımlamak için. Terim yeniden yazmaya dayanan bazı programlama dilleri vardır, ancak anladığım kadarıyla kavramın örüntü eşleme olarak bilinir . Desen eşleştirme, işlevsel dillerde …
1
Belirli bir sınırlayıcı kutu içindeki rastgele kendiliğinden kaçınan kafes döngüsü
Slither Link bulmacasıyla bağlantılı olarak merak ediyorum: Diyelim ki kare hücreli bir ızgaram var ve basit olası bir ızgara kenarları döngüsünü bulmak istiyorum.n × nn×nn\times n Bunu yapmanın bir yolu, sınırları basit döngüler olan ve geçişleri için rasgele bir kare seçmeyi içeren ve değiştirilmiş kare kümeleri hala basit bir çevrime …
1
Türler öneri midir? (Türleri tam olarak nedir?)
Tip sistemleri hakkında çok fazla şey okudum ve kabaca neden tanıtıldıklarını anlıyorum (Russel'in paradoksunu çözmek için). Ayrıca programlama dillerinde ve prova sistemlerinde pratik önemlerini de kabaca anlıyorum. Bununla birlikte, bir türün ne olduğuna ilişkin sezgisel fikrimin doğru olduğuna tam olarak emin değilim. Benim sorum şu, türlerin teklif olduğunu iddia etmek …
6
Bir TCS araştırmacısının neden finansmana ihtiyacı olacak?
Ben okuyordum bu . Diyor ki ... Kendinizi Pure Mathematics gibi fonlara açlıktan bulamazsınız. (Hala her zaman finansman için aç kalmaya devam edeceksin.) ... Saf matematikçiler niçin fonlamaya ihtiyaç duyarlar? (Mathoverflow sorusunu aşar) Neden teorik araştırma yapan biri finansmana ihtiyaç duyuyor? Bence ticaret araçları kağıtlar, kalemler, internet bağlantısı iyi bir …
3
Ters Spektrum Problemi Grafik?
Genellikle bir grafik oluşturulur ve daha sonra bitişiklik matrisinin (veya Laplacian gibi bazı yakın akrabaları ) özdeğer ayrışması (ayrıca grafiğin spektrası olarak da adlandırılır) hakkında sorular sorar . Ama ters problem ne olacak? Verilen özdeğerleri, biri (verimli) bu spektrumlara sahip bir grafiği bulabilir mi?nnn Genel olarak bunun yapılması zor olduğundan …
2
AC0 fonksiyonları için formül büyüklüğü alt sınırları
Soru: En iyi bilinen formül boyutu AC içinde müstehcen fonksiyon için bağlı düşük değerler nedir 0 ? alt sınırına sahip belirgin bir işlev var mı ?Ω(n2)Ω(n2)\Omega(n^2) Arka fon: Çoğu alt sınır gibi, formül büyüklüğündeki düşük sınırların elde edilmesi zordur. {#, VEYA, DEĞİL} standart evrensel geçit setine göre daha düşük sınır …
2
Bağlam Duyarlı Dilbilgileri ve Çeşitleri
1) Statik yazım ile resmi gramerler arasındaki ilişki nedir? 2) Özellikle, bir doğrusal sınırlanmış otomatın bir C ++ veya SML programının iyi yazılmış olup olmadığını kontrol etmesi mümkün olabilir mi? Yuvalanmış bir yığın otomatı? 3) Statik yazım kurallarını resmi dilbilgisi terimlerinde ifade etmenin doğal bir yolu var mı?
5
Ayrıştırıcı bir ormanı Earley ayrıştırıcısından kurtarmak mı?
Geçenlerde Earley ayrıştırıcıyı okudum ve bugüne kadar gördüğüm en zarif algoritmalardan biri olduğunu düşünüyorum. Bununla birlikte, algoritma geleneksel anlamda bir tanıyıcıdır ve bir ayrıştırıcı değildir , yani bir dizgenin belirli bir CFG ile eşleşip eşleşmediğini, ancak bunun için bir ayrıştırma ağacı üretip üretmediğini tespit edebilir. Benim sorum, bir ayrıştırma ağacını …
4
Bir süper lineer devrenin bağlandığı bilinen en küçük karmaşıklık sınıfı nedir?
Kesinlikle çok sayıda standart referansta olması gereken bir soru sormak için özür dilerim. Başlıktaki soruyu tam olarak merak ediyorum, özellikle Boolean devreleri düşünüyorum, derinliği bağlı değil. "En küçük" ifadesini, bir üst çizginin bağlı olduğu bilinen, birbirini içermediği bilinen, birden fazla farklı sınıfın bulunma ihtimaline izin vermek için koyarım.
5
Kişisel olarak çözülebilir zor grafik problemleri
Arora, Barak ve Steurer, Eşsiz Oyunlar ve İlgili Sorunlar İçin Eklemsel Algoritmalar'ın son sonuçlarının ışığında, ek süre zarfında algoritmaları olan ancak polinom olarak çözülemeyeceğine inanılan grafik problemleriyle ilgileniyorum. Ünlü bir örnek, çalışma zamanının subexponential algoritmasına sahip grafik izomorfizmidir . Başka bir örnek ise yarı polinom zamanında çözülebilen log-Clique problemidir ( …
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.