Bilgisayar Bilimi

Bir bilgisayar bir değişkeni sakladığında, bir program değişkenin değerini alması gerektiğinde, bilgisayar bu değişkenin değeri için bellekte nereye bakacağını nasıl bilir?

32 compilers  memory-access  variable-binding 

Birisi derleyici olacak olan çok sayıda konuda bir kış kursu öğretmeyi planlıyorum. Şimdi, çeyrek boyunca vereceğim ödevleri düşünürken bu problemle karşılaştım, ama bunun yerine bir örnek olarak kullanabilmem için beni çok kızdırdı. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } Yukarıdaki …

32 computability  proof-techniques  compilers 

CPU'ları inceliyorum ve bellekten bir programı nasıl okuduğunu ve talimatlarını yerine getirdiğini biliyorum. Ayrıca bir işletim sisteminin süreçlerdeki programları ayırdığını ve daha sonra her biri arasında aynı anda çalıştığını düşündüğünüz kadar hızlı bir şekilde geçiş yaptığını anlıyorum, ancak aslında her program CPU'da tek başına çalışıyor. Fakat eğer işletim sistemi CPU'da …

32 operating-systems 

Eğer bir şey basitse, o zaman birkaç kelimeyle tamamen açıklanmalıdır. Bu λ-calculus için yapılabilir: Cal hesabı, azaltma kuralına sahip bir sözdizimsel dilbilgisidir (temel olarak bir yapı) (yani, bu tür bir düzen bulunmayana kadar belirli bir desenin her oluşumuna bir arama / değiştirme prosedürü tekrar tekrar uygulanır). Dilbilgisi: Term = (Term …

32 functional-programming  type-theory 

Binary Lambda Calculus'taki bu 579 bit program bilinmeyen durma durumuna sahiptir: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Yani, bu programın sonlandırılıp sonlandırılmadığı bilinmemektedir. Bunu belirlemek için Collatz varsayımını - veya en azından 2 ^ 256'ya kadar olan tüm numaralar için çözmelisiniz . Bu depoda , bu programın nasıl …

32 algorithms  computability  kolmogorov-complexity 

Floyd'un döngü algılama algoritmasını anlama konusunda yardım arıyorum. Wikipedia'daki açıklamayı okudum ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Algoritmanın O (n) zamanında çevrimi nasıl tespit ettiğini görebiliyorum. Bununla birlikte, kaplumbağa ve tavşan işaretçileri ilk defa bir araya geldiğinde, döngünün başlangıcının, bir anda bir adım olarak hem kaplumbağa hem de tavşanı hareket ettirmek üzere kaplumbağa …

32 algorithms  linked-lists 

Turing tam yazılı lambda calculi var mı? Eğer öyleyse, birkaç örnek nedir?

31 computability  lambda-calculus  type-theory 

Sadece ilk bölüm tamamlayan Hesaplama Teorisine Giriş tarafından Michael Sipser sonlu otomata temellerini açıklar. Düzenli bir dili sonlu bir otomat tarafından tanımlanabilecek herhangi bir şey olarak tanımlar. Ama neden normal bir dilin "düzenli" olarak adlandırıldığını açıkladığını nerede bulamadım? Bu bağlamda "normal" teriminin kökeni nedir? NOT: Acemiyim, lütfen basit bir şekilde …

31 formal-languages  regular-languages  terminology  finite-automata  history 

ve aynı uzunlukta iki dize olduğunu söyleyin . Bir anagramming iki dizgi örten eşleme şekilde her .b 1 b 2 … b n p : [ 1 … n ] → [ 1 … n ] a i = b p ( i ) ibir1bir2… Ana1a2…ana_1a_2\ldots a_nb1b2… Bnb1b2…bnb_1b_2\ldots b_np : …

31 algorithms  strings  search-algorithms  natural-language-processing 

Aşağıdaki ayrık dağılımı simüle etmem gerektiğini söyle: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} En belirgin yol rasgele bit çizmek ve hepsinin (veya ) 'e eşit olup olmadığını kontrol etmektir . …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Radix ağaçları (aka sıkıştırılmış denemeler) ve Patricia deniyor, ama aslında aynı olup olmadıklarına dair çelişkili bilgiler buluyorum. Sayı tabanı ağacı, normal (sıkıştırılmamış) ağaçlardan, düğümler tek çocukken ebeveynleri ile düğümleri birleştirerek elde edilebilir. Bu aynı zamanda Patricia'nın denemesi için de geçerli. İki veri yapısı hangi yönlerden farklıdır? Örneğin, NIST ikisini aynı …

31 data-structures  trees 

PSPACE'in neden EXPTIME'dan farklı olduğuna inanıldığını sezgisel olarak anlamakta güçlük çekiyorum. PSPACE, giriş büyüklüğünde uzay polinomunda çözülebilen bir sorun kümesi ise , o zaman daha fazla üssel zaman patlaması yaşayan ve üssel alanı kullanmayan bir problemler sınıfı nasıl olabilir?f(n)f(n)f(n) Yuval Filmus'un cevabı çoktan yardımcı oldu. Bununla birlikte, biri neden PSPACE …

31 complexity-theory  complexity-classes  intuition 

Bu yüzden TSP (Seyahat eden satıcı problemi) karar problemi NP tamamlandı . Fakat TSP'ye verilen bir çözümün polinom zamanında gerçekte optimal olduğunu, polinom zamanında optimal çözümü bulamayacağımıza göre (sorunun P'de olmadığı için) nasıl olduğunu nasıl anlayabileceğimi anlamıyorum? Doğrulamanın polinom zamanında yapılabileceğini görmeme yardımcı olabilecek herhangi bir şey var mı?

31 complexity-theory  np-complete  traveling-salesman 

Bilgisayarlar Neden İkilik Sayı Sistemini Kullanıyor (0,1)? Neden Üçlü Sayı Sistemi'ni (0,1,2) veya bunun yerine başka bir sayı sistemini kullanmıyorlar?

31 computer-architecture  binary-arithmetic 

NP-Komple olmayan ve çözülemeyen NP-Zor probleminin kolay anlaşılır bir örneği olup olmadığını merak ediyorum. Örneğin, durma sorunu NP-Hard'tır, NP-Complete değil, ancak kararlaştırılamaz. Bunun, bir çözümün polinom zamanında doğrulanamamasının ancak bir problem olduğu anlamına geldiğine inanıyorum. (Lütfen böyle değilse, bu ifadeyi düzeltin).

31 complexity-theory  computability  np-hard