Teorik Bilgisayar Bilimi

Optimizasyon için sezgisel tarama hakkında bazı ders materyalleri hazırlıyorum ve koordinat iniş yöntemlerine bakıyorum. Buradaki ayar, optimize etmek istediğiniz çok değişkenli bir işlevidir . f , herhangi bir tek değişkenle sınırlı özelliğe sahiptir, optimize edilmesi kolaydır. Böylece koordinat inişi, koordinatlar arasında dolaşarak, seçilen dışında hepsini sabitleyerek ve bu koordinat boyunca …

14 ds.algorithms  reference-request  optimization  heuristics 

Greg Egan kurgusunda "Dark Integers" (aritmetikteki tutarsızlık etrafında teoremleri kanıtlayarak iki farklı matematikle iletişim kuran iki evren hakkında hikaye), sadece temel işlevlerini kullanarak genel amaçlı bilgisayar inşa etmenin mümkün olduğunu iddia ediyor paket anahtarlama (ve sağlama toplamı düzeltmesi, kesin olarak). Prensipte bu mümkün müdür? Güncelleme. Soruyu daha kesin hale getirmek …

14 computability  universal-computation 

Aşağıdaki sorunla ilgili bilinen bir şey var mı? Hiç mantıklı mı? Adı ne? Önemsiz bir şekilde başka bir soruna eşdeğer mi? Zaman karmaşıklığı nedir? Yönlendirilmemiş (genel / düzlemsel / sınırlı derece / vb.) Grafik G = (V, E) verildiğinde, G '= (V, E-E') bağlı ve E 'deki her kenar e, …

14 ds.algorithms  graph-theory 

LP için SM görevini uygulamakla ilgileniyorum, ancak olası tuzakları duydum: Cormen'ın kitabı, saf uygulamanın üstel zamanda davranmasını sağlayacak giriş verilerine sahip olmanın mümkün olduğunu söylüyor. Ayrıca, naif uygulamanın bir tür veri için döngü yapabileceğini duydum. SM'nin pratik uygulamasının nüanslarını açıklayan bir kitap / kağıt / kaynak var mı? Şimdiden teşekkürler.

14 ds.algorithms  linear-programming  software  implementation  simplex 

Veri akışı ve kontrol akış grafiklerinin optimizasyonu ve özellikle daha hesaplama açısından karmaşıkım. Ancak, gözetleme deliği optimizasyonları alanındaki en son icatları bilmek de ilginç olacaktır.

14 optimization  compilers 

Herhangi bir düzlemsel grafiğin disklerin öpüşme grafiği olarak çizilebileceğini belirten güzel bir Koebe teorisi ( buraya bakın ) (çok romantik ...). (Başka bir deyişle, herhangi bir düzlemsel grafik, disklerin kesişim grafiği olarak çizilebilir.) Koebe teoreminin kanıtlanması çok kolay değildir. Benim sorum: Bu teoremin daha kolay bir versiyonu var mı, diskler …

14 cg.comp-geom  planar-graphs 

TCS'nin iki bölümü algoritmalar ve karmaşıklıktır. Ben simplistically algoritmaları gösteren üst sınırların çalışma olduğunu söylerim olabilir (verilen kısıtlı kaynaklarla) şeyler yapmak ve karmaşıklığı Bunu göstermek üzeredir edemez bazı asgari kaynaklar olmadan bunu. Bu nedenle, bir karar modelinde karmaşıklık sınıfına yerleştirmek için sıklıkla algoritmik bir sorun belirtilir. Ama beni her zaman …

14 cc.complexity-theory  sorting 

G'nin n-düğümü yönlendirilmemiş bir grafik olmasına ve T'nin terminaller olarak adlandırılan V (G) 'nin bir düğüm alt kümesi olmasına izin verin . Bir mesafe koruyucu (G, T) özelliği tatmin eden bir grafiktir, H dH(u,v)=dG(u,v)dH(u,v)=dG(u,v)d_H(u,v) = d_G(u,v) T'deki tüm u, v düğümleri için (H'nin mutlaka G'nin bir alt çizgisi OLMADIĞINA dikkat …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

Stackoverflow hakkında bu soruyu zaten sordum , ama belki bu site için daha uygundur. Problem şu: N çift işaretsiz tamsayı var. Onları sıralamam lazım. Çiftlerin bitiş vektörü, her çiftteki ilk sayıya gittikçe azalmadan ve her çiftteki ikinci sayıya göre artmayacak şekilde sıralanmalıdır. Her çift, birinci ve ikinci elemanların herhangi bir …

14 ds.algorithms  sorting 

Şu doğal soruyu göz önünde bulundurun: Sonlu bir dili göz önüne alındığında, bağlamsız en küçük dilbilgisi üreten nedir?LLLLLL Biz dil dizisini belirleyerek soru daha ilginç yapabilirsiniz , örneğin tüm permütasyon kümesidir : sezgisel, bir CFG "ihtiyaç" büyüklüğe sahip olur . Bu yüzden diller için en küçük CFG'lerin asimptotik boyutu ile …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

"Gerçek olamayacak kadar iyi" veri yapılarının varlığını dışlayan sonuçlar biliniyor mu? Örneğin: sipariş bakım verisi yapısına (bkz. Dietz ve Sleator STOC '87 ) ve J o i n işlevselliği eklenebilir ve yine de O ( 1 ) zaman işlemi elde edilebilir mi?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Veya: Tamsayı tuşları ve zaman işlemleri ile sıralı …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Bazı dil düşünün :LLL L ∈ D TbenME( O ( f( n ) ) ) ∩ D SPA CE( O ( g( n ) ) )L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) Ve böylece L ∉ D TbenME( o ( f( n ) ) ) ∪ D SPA CE( o ( g( …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Belirli bir grafiğinin köşe kapaklarının sayısını saymak için # P-complete problemini düşünün .G = ( V, E)G=(V,E)G = (V, E) Böyle bir sorunun sertliğinin bazı parametrelerine göre nasıl değiştiğini gösteren herhangi bir sonuç olup olmadığını bilmek istiyorum (örneğin, ).d = | E |G,GGd= | E|| V|d=|E||V|d = \frac{|E|}{|V|} Benim hissim, …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

TCS'de aşağıdaki sorun ne kadar iyi araştırılmıştır? (Sorun ifadesi belirsiz görünüyorsa özür dilerim!) Bir Hesaplama MC Modeli (Turing Makinesi, Hücresel Otomata, Kolmogorov-Uspenskii Makinesi ... vb.) Ve MC hesaplamasını etkileyebilecek bir Gürültü Modeli verildiğinde, bu gürültünün neden olduğu hatalardan kurtulmanın bir yolu var mı? bir etkili yolu? Örneğin, bir tür gürültünün …

14 machine-models 

Diyelim ki zaten lexed ve ayrıştırılmış büyük bir kod bloğum var. Sadece bir karakterin değiştiğini varsayalım; Ayrıştırmamı güncellemek istiyorum, ancak değişiklik her şeye kıyasla çok küçük olduğundan, her şeyi tekrar ayrıştırmanın mümkün olup olmadığını, ancak yeniden ayrıştırma aralığını belirlemek için algoritmalar varsa bilmek istiyorum ve hareketli jeton sınırları ile düzgün …

14 fl.formal-languages  parsing