Bilgisayar Bilimi

Montaj dili, montajcı tarafından makine diline dönüştürülür. Bir derleyici neden üst düzey dili derlemeye dönüştürür? Doğrudan üst düzey dilden makine koduna dönüştürülemiyor mu?

19 compilers  code-generation  assembly 

Bazen dikkatle incelediğim bir algoritmanın zaman karmaşıklığını tanımlamak kolaydır. İki iç içe döngüsüne sahip algoritmalar açıkça . İki değerden oluşan gruplarının tüm olası kombinasyonlarını araştıran algoritmalar açıkça .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N Ancak karmaşıklığı ile bir algoritma "nasıl" bilmiyorum . Örneğin, özyinelemeli bir birleştirme uygulaması gerçekleştirilebilir. Birleştirme veya diğer algoritmalarının, …

19 algorithm-analysis  time-complexity  intuition 

Simüle edilmiş bir kart oyunu için kullandığım gerçek verilerim var. Ben sadece kartların saflarıyla ilgileniyorum, takım elbise ile değil. Ancak standart kart destesidir, bu yüzden destede her bir rütbeden sadece vardır . Güverte her el için iyi karıştırılır ve sonra tüm güverteyi bir dosyaya gönderirim. Dolayısıyla , çıktı dosyasında olan …

19 data-compression 

Logaritma tabanları arasında sadece bir sabit olduğu için, Ω ( log 2 n ) yerine f(n)=Ω(logn)f(n)=Ω(log⁡n)f(n) = \Omega(\log{n}) yazmak doğru değil mi?Ω(log2n)Ω(log2⁡n)\Omega(\log_2{n})

19 algorithms  time-complexity 

Tüm uzunluğu 100.000 dizeleri bir dizi var . İki dize 1 karakter farklı olup olmadığını görmek için her dize diğer dize karşılaştırmak istiyorum. Şu anda, dizeye her dizeyi eklerken, dizinin zaten içinde bulunan ve zaman karmaşıklığına sahip her dizeye karşı kontrol ediyorum .kkkn(n−1)2kn(n−1)2k\frac{n(n-1)}{2} k Halihazırda yaptığımdan daha hızlı bir şekilde …

19 algorithms  data-structures  program-optimization  comparison 

Son zamanlarda, ispatın çelişkinin geçerliliğini düşünüyordum. Geçtiğimiz birkaç gün boyunca sezgisel mantık ve Godel'in teoremleri hakkında sorularıma cevap verip vermeyeceklerini okudum. Şu anda hala sorularım var (belki de okuduğum yeni materyalle ilgili) ve bazı cevaplar almayı umuyordum ( UYARI : mantığı çok karışık temelleri olan içeriği okumaya devam edersiniz, her …

19 logic  first-order-logic  propositional-logic  incompleteness 

Durma sorununun hesaplanamayacağına dair kanıtımdan, bu sorun hesaplanamaz çünkü eğer x programının durup durmadığını hesaplayan bir P (x) programımız varsa, P'ye bir girdi olarak P verirken bir paradoksumuz var. aynı P, sahip: P (P), P'nin durup durmadığına karar vermeye çalışıyor. Benim sorum şudur: durma problemi, girdi olarak kullanılan P dışındaki …

19 halting-problem 

Strassen'in matris çarpımında iki garip (en azından bana) iki 2 x 2 matris çarpımının 7 çarpım aldığını söyleyebiliriz. Soru: 6 çarpımda iki 2 x 2 matrisin çarpılmasının imkansız olduğunu nasıl kanıtlayabiliriz? Matrislerin tamsayılar üzerinde olduğunu lütfen unutmayın.

19 algorithms  complexity-theory  lower-bounds 

NP zor bir sorunun hesaplanabilir olması gerekli midir? Ben öyle düşünmüyorum ama emin değilim.

19 complexity-theory  computability  np-hard 

Dinamik ağaçlar ağ akışları, dinamik grafikler, kombinatoryal problemler (Tarjan ve Werneck tarafından "Uygulamada Dinamik Ağaçlar") ve yakın zamanda birleştirme sözlükleri (Adam Karczmarz tarafından "Basit Birleştirilebilir Sözlük") gibi sorunların çözümünde önemli bir rol oynamaktadır. Dinamik ağaçlar ile 1983 yılında Sleator & Tarjan'ın "Dinamik ağaçlar için bir veri yapısı" başlıklı makalede belirtilen …

19 data-structures  trees  functional-programming 

Bazı işlemlerin kazandığı bir veritabanı günlüğüm var (çökmeden önce işlenirler) ve bazıları kaybeder (henüz taahhüt edilmez). Sınıfta kaybedenlerin hareketlerinin geriye doğru yapılması gerektiğini öğrendik. Bunu geriye doğru yapmak için herhangi bir neden var mı? Herkes ileri geri alma yanlış sonuçlar verecek bir günlük basit bir örnek verebilir misiniz?

19 concurrency  databases 

S ve K birleştiricilerinin, diğer tüm birleştiricilerin kendileri cinsinden ifade edilebileceği anlamında, birleştirici hesabı için bir temel oluşturduğu iyi bilinmektedir. Aynı özelliğe sahip Curry's B, C, K, W temeli de vardır. Sonsuz sayıda bu tür üsler olmalı, ama başka birini bilmiyorum. Iota birleştirici ve Fokker tarafından inşa edilen / gözden …

19 lambda-calculus  combinatory-logic 

Let en dikkate iki bağlamdan-bağımsız dilbilgisi ve G 2 ve aşağıdaki soruyu sorun: Is L ( G 1 ) = L ( G 2 ) , iki dilbilgisi eşdeğerdir edilir?G,1G,1G_1G,2G,2G_2L ( G1) = L ( G2)L(G,1)=L(G,2)L(G_1) = L(G_2) Genel olarak, bu problem çözülemez. Ancak, her iki durumunda ve G 2 …

19 formal-languages  context-free  formal-grammars 

Ben dizi boyutu dışında herhangi bir bayt ayırmaz int diziler için bir sıralama algoritması arıyorum ve iki talimat ile sınırlıdır: SWAP: sonraki dizini geçerli diziyle değiştirir; MOVE: imleci +1 veya -1 dizinine taşır; Yani, dizini değiştirdikten 100sonra komşu olmayan dizinleri değiştiremezsiniz veya dizini değiştiremezsiniz 10. En verimli algoritma nedir - …

19 algorithms  sorting  in-place 

Aşağıdaki Python kodu var. def collatz(n): if n <= 1: return True elif (n%2==0): return collatz(n/2) else: return collatz(3*n+1) Bu algoritmanın çalışma süresi nedir? Deneyin: Eğer fonksiyonu çalışma süresini belirtmektedir . O zaman var { t ( n ) = 1 için n ≤ 1 T ( n ) = …

19 algorithm-analysis  runtime-analysis  recurrence-relation