Bilgisayar Bilimi

Ayrıştırıcının çıktısı ağaç mı olmalı yoksa genel grafik de olabilir mi? Dahası, sözdizimleri için ağaçlar yerine genel grafik temsilini kullanan mevcut bir dil veya makul bir dil var mı?

14 compilers  parsing 

DFS çapraz geçişini kullanan bir ağacın minimum tepe kapağını bulmak için açgözlü bir algoritma vardır. Ağacın her yaprağı için, üst öğesini seçin (yani, üst öğesi minimum tepe örtüsündedir). Her iç düğüm için: alt öğelerinden herhangi biri seçili değilse, bu düğümü seçin. Bu açgözlü stratejinin en uygun cevabı verdiğini nasıl kanıtlayabilirim? …

14 algorithms  trees  greedy-algorithms 

İki alt dizenin aynı sayıda örneğini içeren dillerin ne zaman düzenli olacağını merak ediyordum. Ben 1 ve 0'ların eşit sayıda içeren dil düzenli değil ama gibi bir dil olduğunu biliyoruz , = alt dize örneklerini sayısına "001" alt dize "örnekleri sayısına eşittir 100 " düzenli mi? "00100" dizesinin kabul edileceğini …

14 formal-languages  regular-languages  pumping-lemma 

Bir ağırlıksız DAG (yönlendirilmiş asiklik grafik) göz önüne alındığında, ve iki köşe ve , bunun en kısa ve en uzun yol bulmak mümkündür için polinom zamanda? Yol uzunlukları kenar sayısı ile ölçülür.s t s tD=(V,A)D=(V,A)D = (V,A)ssstttsssttt Polinom zamanındaki olası yol uzunlukları aralığını bulmakla ilgileniyorum. Ps., Bu soru StackOverflow sorusunun …

14 algorithms  graphs  shortest-path  polynomial-time 

C programlamasında garip bir deneyim yaşadım. Bu kodu düşünün: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Bunu derleyip çalıştırdığımda herhangi bir hata veya uyarı almıyorum. Öğretim elemanımın dediği gibi dizi dizini -1başka …

14 programming-languages  arrays  c 

Ben son zamanlarda bir arkadaşım tarafından bilgisayar bilimi alanında büyük bir ansiklopedi alan 16 yaşında bir erkeğim. Genellikle bilgisayar ve teknoloji ile ilgilenmiyorum, ancak bilgisayar bilimi beni büyülemeye başladı. Bununla birlikte, CS değil Fizik ve / veya Matematik eğitimi almayı düşünüyorum, bu yüzden sorum şu: bilgisayar bilimini kendi kendine incelemek …

14 reference-request  education 

Bilgisayar bilimcilerinin veya yazılım geliştirme ile ilgili herhangi bir mühendisin temel mantık çalışmasını temel olarak anlamasının önemini anlayabiliyorum. Ancak, herhangi bir bilgi temsilini gerektiren görevler dışında, bunlar hakkında açıkça bilgi gerektiren herhangi bir görev / iş var Knowledge Basemı? Kavramsal tepkiler yerine görev türlerini duymak istiyorum. Bunu sormamın nedeni sadece …

14 logic 

Ben otomata kavrama ile programcı, ama mantık üzerinde değil. Makalelerde bu ikisinin çok sıkı ilişkili olduğunu okudum. Deterministik Sonlu Otomata (DFA), Ağaç Otomata ve Görünür Aşağı Açılan Otomata'nın tümü Monadik İkinci Mertebeden Mantık (MSO) ile ilgilidir. Her ne kadar otomatları anlıyorum ve insanlar (gazetelerde) MSO ile olan ilişkiyi bana anlatmaya …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

İkinci kodu kata yaparken (her seferinde farklı bir yöntemle beş kez bir ikili arama algoritması uygulamanızı ister), aşağıdaki gibi çalışan biraz farklı bir çözüm buldum: Eğer uzunluk 100 sıralı bir dizi varsa ve onun başlangıç ​​alanı 200 sayısını içerir ve onun bitiş alanı 400 sayısını içerir, ben, bir insan okuyan …

14 algorithms  terminology  search-algorithms  binary-search 

Θ(n)Θ(n)\Theta(n) den daha hızlı ve dan daha yavaş olduğunu anlıyorum . Ne beni anlamak için zordur aslında karşılaştırmak nasıl ve ile .Θ(nlogn)Θ(ngünlük⁡n)\Theta(n\log n)Θ(n/logn)Θ(n/günlük⁡n)\Theta(n/\log n)Θ(nlogn)Θ(ngünlük⁡n)\Theta(n \log n)Θ(n/logn)Θ(n/günlük⁡n)\Theta(n/\log n)Θ(nf)Θ(nf)\Theta(n^f)0&lt;f&lt;10&lt;f&lt;10 < f < 1 Örneğin, ile veyaΘ(n/logn)Θ(n/log⁡n)\Theta(n/\log n)Θ(n2/3)Θ(n2/3)\Theta(n^{2/3})Θ(n1/3)Θ(n1/3)\Theta(n^{1/3}) Bu gibi durumlarda ilerlemeye yönelik bazı talimatlara sahip olmak istiyorum. Teşekkür ederim.

14 asymptotics  mathematical-analysis  landau-notation 

Bir makale okuyorum ve zaman karmaşıklığı açıklamasında zaman karmaşıklığının olduğunu söylüyor .Ö~( 22 n)Ö~(22n)\tilde{O}(2^{2n}) İnternette ve wikipedia'da arama yaptım, ancak bu tilde'nin büyük O / Landau notasyonunda ne ifade ettiğini bulamıyorum. Makalenin kendisinde de bu konuda bir ipucu bulamadım. Neyi ortalama?Ö~( ⋅ )Ö~(⋅)\tilde{O}(\cdot)

14 landau-notation 

Bir IEEE-754 kayan nokta sayısı &lt;1 (yani, = = 0,0 ve &lt;1,0 olan bir sayı üreten rasgele sayı üreteci ile üretilir), eşit veya daha büyük bir sayı elde etmek için bir tamsayı (kayan nokta biçiminde) ile çarpılabilir mi? yuvarlama nedeniyle tamsayı? yani double r = random() ; // generates a …

13 numerical-analysis  floating-point  rounding 

Bunun doğru olduğuna inanıyorum ama ikisi için de resmi bir kanıt elde edemedim. Ancak Kruskal'ın algoritması uygulanarak herhangi bir minimum yayılma ağacına erişilebileceği doğru mu? Benzer şekilde, bu Prim'in algoritması için de geçerli mi? DÜZENLEME: Daha kesin olmak gerekirse, bağlı, yönlendirilmemiş, ağırlıklı bir grafik için bir MST verilip verilmediğini bilmek …

13 algorithms  graphs  minimum-spanning-tree 

Literatür, ilkel çarpımlı birim maliyetli RAM'lerin makul olmadığı, Turing makineleri tarafından polinom zamanda simüle edilemez polinom zamanında PSPACE-complete problemlerini çözebilir Bununla birlikte, bu konuda bulabildiğim tüm referanslar (Simon 1974, Schonhage 1979) ayrıca boole işlemleri, tamsayı bölümü vb. Sadece toplama, çarpma ve eşitliğe sahip RAM'lerin "makul" olması için herhangi bir sonuç …

13 complexity-theory  reference-request  computation-models  history 

Yani birleştirme sıralama bir böl ve fethet algoritmasıdır. Yukarıdaki şemaya bakarken, tüm bölünme adımlarını atlamanın mümkün olup olmadığını düşünüyordum. İki adım atlayarak orijinal dizi üzerinde yinelediyseniz, öğeleri i ve i + 1 dizininde alabilir ve bunları kendi sıralı dizilerine koyabilirsiniz. Tüm bu alt dizileri (şemada gösterildiği gibi [7,14], [3,12], [9,11] …

13 algorithms  sorting  efficiency  mergesort