Bilgisayar Bilimi

Normalde algoritmalarda sayıların karşılaştırılması, eklenmesi veya çıkarılması umurumda değil - onların zamanlarında çalıştıklarını varsayıyoruz . Örneğin, karşılaştırmaya dayalı sıralamanın olduğunu söylediğimizde bunu varsayıyoruz , ancak sayılar kayıtlara sığmayacak kadar büyük olduğunda, normalde bunları sıralar olarak temsil ediyoruz, bu yüzden temel işlemler eleman başına ekstra hesaplamalar gerektiriyor.O ( n log n …

73 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

Bit işlemlerinin modern işlemcilerde çok hızlı olduğunu biliyorum, çünkü paralel olarak 32 veya 64 bit hızında çalışabilirler, bu yüzden bit işlemlerinin sadece bir saat sürmesi gerekir. Bununla birlikte, ekleme, en az bir ve muhtemelen bir düzine bit işlemli işlemden oluşan karmaşık bir işlemdir, bu yüzden doğal olarak 3-4 kat daha …

72 computer-architecture  arithmetic  circuits  cpu  digital-circuits 

Soru: "Bir programlama dilinin belirli özellikleri, içine kod yazılmasının tek yolunun yorumlanması gerekmesini gerektirebilir. Diğer bir deyişle, geleneksel bir CPU'nun yerel bir makine koduna derlemek mümkün değildir. Bu özellikler nelerdir?" Derleyiciler: Parag H. Dave ve Himanshu B. Dave İlkeleri ve Uygulaması (2 Mayıs 2012) Kitap cevap hakkında hiçbir ipucu vermiyor. …

71 programming-languages  compilers  interpreters 

Genellikle karma tablo aramasının sabit bir süre içinde çalıştığı söylenir: dizi araması için bir dizin veren karma değerini hesaplarsınız. Ancak bu çarpışmaları görmezden gelir; En kötü durumda, her madde aynı kovaya iner ve arama süresi doğrusallaşır ( Θ(n)Θ(n)\Theta(n) ). Veri tablosunda gerçekten araması yapabilen verilerde koşullar var O(1)O(1)O(1)mı? Bu sadece …

70 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

Bilgisayarlar her seferinde doğru saati ve tarihi nasıl söyleyebilir? Bilgisayarı kapattığımda (kapattığımda) tüm bağlantılar ve işlemler durdu. Bilgisayarı tekrar açtığımda, doğru zamanı tam olarak söylemesi nasıl oluyor? Kapattığımda bilgisayar tamamen kapanmıyor mu? Hala içinde çalışan bazı işlemler var mı? Peki dizüstü bilgisayarım pili çıkardığımda (ve dolayısıyla tüm işlemleri zorla durdurduğumda) …

69 computer-architecture  clocks 

Ben bir CS lisansıyım. Turing'in soyut makinesiyle nasıl ortaya çıktığını anlıyorum (hesaplama yapan bir insanı modelleniyor), ancak bana tuhaf, inelegant bir soyutlama gibi görünüyor. Neden bir "bant" ve bir makine kafasının sembolleri yazıp, durumunu değiştirip kaseti ileri geri kaydırdığını düşünüyoruz? Temel önemi nedir? Bir DFA zarif - normal dilleri tanımak …

68 turing-machines  computation-models 

Birkaç yıl önce, MapReduce dağıtılmış programlama devrimi olarak selamlandı. Aynı zamanda eleştirmenler de vardı, ancak genel olarak hevesli bir yutturmaca vardı. Hatta patentli bile oldu! [1] Adı anımsatır mapve reducefonksiyonel programlamada, ama ben okuduğumda (Vikipedi) Harita adımı: Ana düğüm girişi alır, daha küçük alt problemlere böler ve bunları çalışan düğümlere …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

(Yapısal) indüksiyon duydum. Küçük yapılardan sonlu yapılar oluşturmanıza izin verir ve bu tür yapılar hakkında akıl yürütme için kanıt ilkeler sunar. Fikir yeterince açık. Peki ya coinduction? O nasıl çalışır? Sonsuz bir yapı hakkında kesin bir şey nasıl söylenebilir? Bir şeyi tanımlamanın bir yolu olarak ve bir ispat tekniği olarak …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

İnsanlar genellikle LR (k) ayrıştırıcılarının LL (k) ayrıştırıcılardan daha güçlü olduğunu söyler . Bu ifadeler çoğu zaman belirsizdir; Özellikle, biz sabit için sınıfları karşılaştırmak gerekir her yerinde veya birlik k ? Peki durum gerçekten nasıl? Özellikle, LL (*) 'nin nasıl uyduğuyla ilgileniyorum.kkkkkk Bildiğim kadarıyla, LL ve LR ayrıştırıcılarının kabul ettiği …

67 formal-languages  formal-grammars  parsers  reference-question 

Bir yazılım mühendisi olarak, endüstriyel ürünler için çok fazla kod yazıyorum. Sınıflar, iplikler, bazı tasarım çabaları ile nispeten karmaşık şeyler, fakat aynı zamanda performanstan ödün verir. Çok fazla test yapıyorum ve test yapmaktan bıktım, bu yüzden Coq, Isabelle gibi resmi kanıt araçlarına ilgi duydum ... Kodumun hatasız olduğunu ve yapıldığını …

66 programming-languages  program-correctness  software-verification 

Karmaşıklıkla ilgili yasal kodla ilgili bir çalışma olup olmadığını bilmek istiyorum. Özellikle, “Bu kanun kitabı ve bu özel şartlar kümesi göz önüne alındığında, sanık suçlu mu?” Karar sorunumuzu varsayalım. Hangi karmaşıklık sınıfına aittir? Sihirli oyunun Magic: The Gathering'in hem NP hem de Turing-complete olduğunu ispatlayan sonuçlar var, bu yüzden yasal …

64 complexity-theory  np-complete  decision-problem 

Şu anda bilgisayar bilimleri yüksek lisansımı bitirdim. Programlama dilleriyle, özellikle tip sistemlerle ilgileniyorum. Bu alanda araştırma yapmak ilgimi çekti ve önümüzdeki dönem konu ile ilgili doktora yapacağım. Şimdi gerçek soru şudur: Bilgisayar bilimi veya ilgili alanlarda önceden bilgisi olmayan insanlara ne yapmak istediğimi nasıl açıklayabilirim? Bu başlık, aileme, arkadaşlarıma ve …

64 programming-languages  education  typing  research 

Ruby / C + C ++ ile benzer ve karşılaştırılabilir bir performansa sahip Ruby gibi dinamik diller için derleyiciler oluşturmak mümkün olup olmadığını merak ediyorum? Derleyiciler hakkında anladığım kadarıyla, Ruby'yi almak, Ruby kodunu derlemek hiç etkili olamaz çünkü Ruby'nin yansıma işlemlerini yapma biçimi, tamsayıdan büyük tamsayıya otomatik tür dönüştürme gibi …

64 programming-languages  compilers 

C gibi dillerde, programcının ücretsiz aramaları eklemesi bekleniyor. Derleyici bunu neden otomatik olarak yapmıyor? İnsanlar bunu makul bir sürede yaparlar (böcekleri görmezden gelirler), bu yüzden imkansız değildir. EDIT: Gelecekteki referans için, burada ilginç bir örnek olan başka bir tartışma.

63 compilers  memory-management  garbage-collection 

Size elemanların bir dizi verilir2 n2n2n bir1, bir2, … , An, b1, b2, … Bnbir1,bir2,...,birn,b1,b2,...bna_1, a_2, \dots, a_n, b_1, b_2, \dots b_n Görev, ortaya çıkan dizinin göründüğü şekilde yerinde bir algoritma kullanarak diziyi serpiştirmektir. b1, bir1, b2, bir2, … , Bn, birnb1,bir1,b2,bir2,...,bn,birnb_1, a_1, b_2, a_2, \dots , b_n, a_n Yerinde …

62 algorithms  arrays  permutations  in-place