Bilgisayar Bilimi

Tipik bir kuşak çöp toplayıcısı , son zamanlarda ayrı bir hafıza bölgesinde tahsis edilmiş verileri tutar. Tipik programlarda, çok fazla veri kısa ömürlüdür, bu nedenle sık sık genç çöplerin toplanması (küçük bir GC döngüsü) ve sık sık eski çöplerin toplanması, bellek yükü ile GC yapmak için harcanan zaman arasında iyi …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection 

Bu fikir, programlamayı öğrenen bir çocuk olarak ve ilk olarak PRNG'lerle karşılaştığımda ortaya çıktı. Ne kadar gerçekçi olduğunu hala bilmiyorum, ama şimdi yığın değişimi var. İşte şaşırtıcı bir sıkıştırma algoritması için 14 yaşında bir şema: Bir PRNG alın ve suzun bir sahte rastgele bayt dizisi elde etmek için tohumla birlikte …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

Twitter gibi bir şirket neden gruplar, monoidler ve halkalar gibi cebirsel kavramlarla ilgilensin? Github'deki havuzlarını görün : twitter / algebird . Tek bulabildiğim: Monoidlerin Bloom filtresi , HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için uygulamaları . Bunlar sayılarınız gibi bu karmaşık işlemleri düşünmenize ve güçlü istatistikler ve analizler oluşturmak …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Bilgisayarın başlatılmayan kesin bir saati olduğunu varsayalım. Yani, bilgisayarın saatindeki zaman gerçek zaman artı bazı sabit sapmalardır. Bilgisayarın bir ağ bağlantısı var ve sabitini belirlemek için bu bağlantıyı kullanmak istiyoruz .BBB Basit yöntem, bilgisayarın yerel saat olduğunu dikkate alarak bir zaman sunucusuna bir sorgu göndermesidir . Zaman sunucusu sorguyu zamanında …

38 clocks  distributed-systems  computer-networks 

Algoritma karmaşıklığı daha düşük seviye detaylarından bağımsız olacak şekilde tasarlanmıştır, ancak zorunlu bir modele dayanır, örneğin bir dizideki erişime ve bir ağaçtaki bir düğümü değiştirme O (1) zaman alır. Bu, saf işlevsel dillerde geçerli değildir. Haskell listesi erişim için doğrusal zaman alır. Ağaçtaki bir düğümü değiştirmek, ağacın yeni bir kopyasını …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Bir programın iki ayrı dilde yazıldığını varsayalım, derleyicileri aynı bayt kodunu oluşturursa, neden X dili ve Y dili olsunlar, neden Y dili yerine X dilini kullanmalıyım? Bir dilin diğerinden daha hızlı olduğunu ne tanımlar? Bunu soruyorum çünkü çoğu zaman insanların şöyle şeyler söylediğini görürsünüz: "C en hızlı dildir, ATS C …

38 programming-languages  compilers 

Özet: Rice teoremine göre her şey mümkün değildir. Yine de, sözde imkansız şeyleri her zaman yapıyorum ! Tabii ki, Rice teoremi sadece "her şey imkansız" demiyor. Daha spesifik bir şey söylüyor: "Bir bilgisayar programının her özelliği hesaplanamaz." (Eğer kılları bölmek istiyorsanız, her "önemsiz" mülkün mülkiyeti vardır. Yani, tüm programların sahip …

37 terminology  computability  undecidability  rice-theorem 

Şu anda kuantum fiziği hakkında bir kitap (ve pek çok wikipedia) okuyorum ve henüz kuantum bir bilgisayarın bugün sahip olduğumuz bilgisayarlardan daha hızlı olabileceğini henüz anlamadım. Kuantum bir bilgisayar, üstel bir zamanda, klasik bir bilgisayarın ancak üstel bir zamanda çözebileceği bir sorunu nasıl çözebilir?

37 quantum-computing 

Hem yinelemeli hem de özyinelemeli kullanarak (örneğin n * factorial(n-1), örneğin) faktörler için kodlamayı biliyorum . Bir ders kitabında (daha fazla açıklama yapılmadan) faktörler için daha etkili bir kodlama yöntemi olduğunu yinelemeli olarak ikiye böldüm. Neden böyle olabileceğini anlıyorum. Ancak kendi başıma kodlamayı denemek istedim ve nereden başlayacağımı bildiğimi sanmıyorum. …

37 algorithms  efficiency  arithmetic 

Bağlamsız bir dili, sadece deterministik bir aşağı otomat tarafından kabul edilebiliyorsa ve yoksa başka türlü belirlenemez olarak belirleyelim. Yalnızca dili oluşturan tüm bağlamsız gramerler belirsiz ise ve aksi takdirde belirsiz ise, bağlamsız bir dili doğal olarak belirsiz olarak tanımlayalım. Deterministik ve belirsiz bir dilin örneği dildir: Belirsiz ve belirsiz bir …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Ben bazı sorunlar yaklaştığı zor olduğunu birçok yerde okumak (o NP-zor yaklaşmak için onları). Ancak yaklaşım bir karar sorunu değildir: cevap evet veya hayır değil gerçek bir sayıdır. Ayrıca istenen her bir yaklaşım faktörü için doğru ve birçok yanlış olan cevaplar vardır ve bu istenen yaklaşım faktörü ile değişir! Peki …

36 complexity-theory  time-complexity  np-hard  approximation 

Önkoşullar hakkında başka bir soru sorduğum için özür dileyebilir, ama başlangıç ​​noktaları hakkında kafam karıştı. "Modal Mantık", "Geçici mantık", "Birinci dereceden Mantık", "İkinci dereceden Mantık" ve "Yüksek dereceden mantık" gibi çeşitli terimlerle karşılaştım. Bu bağlamda "Mantık" tam olarak ne anlama geliyor? "Mantık" kelimesini titizlikle nasıl tanımlarız? Birkaç kitabın başlangıç ​​sayfalarından …

36 logic  mathematical-foundations 

Per Martin-Löfs'ün tip teorisi hakkındaki fikirlerine en iyi giriş hangisidir? Oregon PL yaz okulundan bazı derslere baktım, ancak hala şu soru karşısında şaşkınım: Bir tür nedir? Bir setin ne olduğunu biliyorum, çünkü onları her zamanki ZF aksiyomlarıyla tanımlayabiliyorsunuz ve çok sezgisel bir somut modeli var; sadece eşyalarla dolu bir sepet …

36 logic  type-theory 

Verilerin "yapısının" tamamen Boole Cebirine bağlı olduğunu biliyorum, ancak: Veriler neden sürekli bir değil, ayrı bir matematiksel varlık olarak kabul edilir? Bununla ilgili: Verilerin boyutlarında sürekli bir varlık olarak yapılandırılmasında ihlal edilen sakıncalar veya değişmezler nelerdir?rrr Ben bir matematik öğrencisi olduğum için bu alanda uzman değilim, o yüzden birisi bana …

35 data-structures  mathematical-foundations 

Örneğin, bir işlevler listesine sahip olduğumu varsayalım. nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Bunları asimptotik olarak nasıl sıralayabilirim, yani; f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , onlar (ayrıca bkz aslında İkili karşılaştırılabilir olduğunu varsayarak burada )? tanımını kullanmak OOOgarip görünüyor ve uygun ccc ve …

35 asymptotics  landau-notation  reference-question