Bilgisayar Bilimi

Birleştirici bir dil için bir derleyici üzerinde çalışıyorum ve tür çıkarımı desteği eklemek istiyorum. Hindley-Milner'ı anlıyorum, ama tip teorisini öğrenirken öğrendim, bu yüzden onu nasıl uyarlayacağımdan emin değilim. Aşağıdaki sistem sağlam mı ve karar verilebilir mi? Terim, değişmez bir terim, terimlerin bir bileşimi, bir terimin teklifi veya bir ilkeldir. e::=x∣∣ee∣∣[e]∣∣…e::=x|ee|[e]|… …

15 programming-languages  logic  compilers  type-theory  type-checking 

Ben öğrenciyken, dijital sistemler / mantık tasarım ders kitabında, üst üste duran N askerleri hakkında bir sorun gördüm ve aynı anda ateş etmek istiyorum. Sorunun daha zor bir versiyonu, askerlerin sıra yerine genel bir ağda durmalarıydı. Bunun klasik bir sorun olduğuna eminim, ama adını hatırlayamıyorum. Bana hatırlatabilir misin?

15 algorithms  distributed-systems  clocks 

Aşağıdaki nüks denklemi için bir bağlı bulmaya çalışıyorum :ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Master Teoreminin farklı alt problemler ve bölünmeler nedeniyle uygun olmadığını düşünüyorum. Ayrıca özyineleme ağaçları işe yaramıyor çünkü ya da daha ziyade T ( 0 ) yok .T(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

İki algoritmanın karmaşıklığını karşılaştırdığımızda, genellikle veya g ( n ) = O ( f ( n ) ) (muhtemelen her ikisi), burada f ve gf(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg iki algoritmanın çalışma süreleridir (örneğin). Her zaman böyle mi? Yani, ve g ( n ) = O ( f ( n …

15 asymptotics  mathematical-analysis 

Bir programcının sınıfları tanımladıktan sonra herhangi bir zamanda genişletmesine / geçersiz kılmasına izin veren (String gibi sınıflar dahil) ruby ​​(ve javascript) gibi dillerdeki özelliklere referansla, teorik olarak programların daha sonra genişletilmesine izin verebilecek bir dil tasarlamak mümkün müdür? anlambilimi. örnek: Ruby çoklu kalıtıma izin vermez, ancak çoklu kalıtım uygulamasına izin …

15 programming-languages  semantics 

Doğrusal sınırlı otomatların kararlaştırılamaz özellikleri var mı (boş ayarlanmış dil numarasından kaçınıyor)? Deterministik bir sonlu otomat ne olacak? (çekilmezliği bir kenara koyun). Turing makinelerini açıkça kullanmadan tanımlanamayan bir problemin (mümkünse) bir örneğini almak istiyorum . Hesaplanamayan problemleri desteklemek için bir modelin bütünlüğünü tamamlamak gerekli midir?

15 computability  automata  undecidability 

Aşağıdaki örnek gibi bir ağaç (grafik teorisi anlamda) var: Bu, bir başlangıç ​​düğümü (kök) ve birçok bitiş düğümü (yaprakları) olan yönlendirilmiş bir ağaçtır. Her kenarın kendisine atanmış bir uzunluğu vardır. Benim sorum, kökten başlayıp yapraklardan herhangi birinde biten en uzun yolu nasıl bulabilirim? Kaba kuvvet yaklaşımı tüm kök-yaprak yollarını kontrol …

15 algorithms  graphs 

Bu soruyu genel yığın akışında sordum ve buraya yönlendirildim. Bazılarının genel olarak kısmi veya tamamen dinamik grafik problemlerine nasıl yaklaşılacağını açıklayabilmesi harika olacaktır. Örneğin: Her örnekte bir kenar kaldırıldığında, n örneği için yönlendirilmemiş ağırlıklı bir grafikte iki köşe arasındaki En Kısa Yolu bulun .( u , v )(u,v)(u,v)nnn Her örnekte …

15 algorithms  data-structures  graphs 

Ne yazık ki, Süpürme Hattı Algoritmasını anlamada hala çok güçlü değilim . Konuyla ilgili tüm makaleler ve ders kitapları zaten okundu, ancak anlayış hala çok uzak. Daha açık hale getirmek için elimden geldiğince çok alıştırma yapmaya çalışıyorum. Ancak, gerçekten ilginç ve önemli görevler benim için hala zor. Aşağıdaki alıştırmada her …

15 algorithms  computational-geometry 

Mantık kapıları, elektromanyetik röleler, vakum tüpleri veya transistörler ile uygulanabilen soyut bir cihazdır. Bu uygulamalar, kısmen temel ikili kararlılıklarının ötesinde, zincirlenebilirlik, dayanıklılık ve boyutun çeşitli özellikleri nedeniyle hesaplamada başarılı olmuştur. Ayrıca iyi çalışırlar, çünkü elektrik kolayca sevk edilebilen enerji kaynağıdır. Ahşap, mermer ve yerçekiminden yapılmış toplayıcılar gördüm . Ben "çip …

15 computer-architecture  didactics 

Bu bir takip soru bu bir . Egzotik durum makineleri , Alex ten Brink ve Raphael tuhaf bir tür devlet makinesinin hesaplama yeteneklerini ele aldı: min-yığın otomata. Bu tür makineler tarafından kabul edilen dil kümesinin ( ), dil kümesinin ne bir alt kümesi ne de bir üst kümesi olduğunu gösterebildiler …

15 formal-languages  automata  nondeterminism 

Yazmak veya gereksinimleri düşünmek için harcanan zamanın gelişim zamanı üzerinde herhangi bir etkisi olacağını gösteren herhangi bir kanıt var mı? Standish (1995) tarafından yapılan çalışma, eksik gereksinimlerin kısmen (% 13.1) projelerin başarısızlığına katkıda bulunduğunu göstermektedir. İhtiyaç analizi için harcanan zamanın bir projenin geliştirme süresi üzerinde veya projenin ne kadar başarılı …

15 software-engineering 

Dörtlü (veya oktree) geometrik nesneleri yerleştirirken, tek bir düğümden daha büyük nesneleri birkaç şekilde yerleştirebilirsiniz: Nesnenin referansını bulunduğu her yaprağa yerleştirmek Nesnenin referansını, tam olarak bulunduğu en derin düğüme yerleştirme Hem # 1 hem de # 2 Örneğin: Bu görüntüde, daireyi yaprak düğümlerinin dördüne (yöntem # 1) veya yalnızca kök …

15 graphics  data-structures  computational-geometry 

Normal bir dilde belirli bir uzunlukta kelime sayısının cebirsel bir karakterizasyonu var mı? Wikipedia bir sonucu kesin olmayan bir şekilde belirtiyor: Herhangi bir normal dil λ 1LLL sabitleri vardır ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k ve polinomlarp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) , örneğin, her içinnnn NumbersL(n)sL(n)s_L(n) uzunluğunun kelimelerinnnn deLLL denklemi karşıladığı, sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n . 'ların hangi alanda yaşadıkları ( C …

15 formal-languages  regular-languages  word-combinatorics 

Tam olarak beş tekrarlanan ile arasında tamsayılar içeren boyutunda bir diziniz olduğunu varsayalım . zamanında tekrarlanan sayıları bulabilen bir algoritma önermek gerekiyor . Hayatım boyunca hiçbir şey düşünemiyorum. Bence sıralama en iyi mu? Daha sonra dizi boyunca geçiş olur ve sonuçlanır . Ancak, bağlantılı liste, kuyruklar, yığınlar vb.Ile bazı zor …

15 algorithms  arrays  searching