Bilgisayar Bilimi

Bu yüzden karar sorununun şu şekilde tanımlandığı fikrini anlıyorum: Maliyet C'den daha düşük olacak şekilde bir P yolu var mı? ve aldığınız bir yolu doğrulayarak bunun doğru olup olmadığını kolayca kontrol edebilirsiniz. Ancak, bu kriterlere uyan bir yol yoksa ne olur? En iyi yol TSP problemini çözmeden "hayır" cevabını nasıl …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Kaynak alfabe: {a,b,c,d,e,f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Kod alfabesi: {0,1}{0,1}\{0, 1\} a:0101a:0101a\colon 0101 b:1001b:1001b\colon 1001 c:10c:10c\colon 10 d:000d:000d\colon 000 e:11e:11e\colon 11 f:100f:100f\colon 100 Bir kodun benzersiz bir şekilde çözülebilmesi için öneksiz olması gerektiğini düşündüm. Ancak bu kodda, ccc kodu kelimesi , örneğin fff kelimesinin önekidir , bu yüzden önek …

21 encoding-scheme 

, ve gibi mantıksız sayılar , ondalık noktadan sonra benzersiz ve yinelenmeyen bir sıraya sahiptir. Eğer basamağını bu tür sayılardan çıkarırsak ( , yöntemin çağrıldığı sayıdır) ve basamakları olduğu gibi bir sayı yaparsak, mükemmel bir rastgele sayı üreteci almamalıyız? Örneğin, , ve , ilk sayı 123, ikincisi 471, diğeri 184'tür.ππ\pieee2-√2\sqrt{2}nnnnnn2-√2\sqrt{2}eeeππ\pi

21 randomized-algorithms  randomness  random-number-generator 

Makine kodu aslında donanım ve CPU tarafından yürütülürken neye benziyor? Birler ve sıfırlar tarafından temsil edilen talimatlarda olduğu gibi ikili gibi mi görünecek yoksa bayt kodu gibi ikili sayılara ayrılabilen onaltılık sayılar şeklinde sunulan onaltılık sayılardan oluşan onaltılık basamaklardan oluşan bir şey mi olurdu?

21 computer-architecture  cpu 

Soruyu çerçevelemek için, bilgisayar biliminde sıklıkla birkaç olasılığın ürününü hesaplamak istiyoruz: P(A,B,C) = P(A) * P(B) * P(C) En basit yaklaşım basitçe bu sayıları çarpmaktır ve yapacağım da buydu. Ancak, patronum olasılıkların günlüğünü eklemenin daha iyi olduğunu söyledi: log(P(A,B,C)) = log(P(A)) + log(P(B)) + log(P(C)) Bu, günlük olasılığını verir, ancak …

21 algorithm-analysis  probability-theory 

Bir AND geçidini yalnızca XOR geçitlerini kullanarak nasıl ifade edebilirim?

21 logic  boolean-algebra 

Matematikte, yapıcı olmayan birçok varoluş kanıtı vardır, bu yüzden onu nasıl bulacağımızı bilmesek de belirli bir nesnenin var olduğunu biliyoruz. Bilgisayar biliminde benzer sonuçlar arıyorum. Özellikle: bir algoritma göstermeden karar verilebilir olduğunu kanıtlayabileceğimiz bir sorun var mı? Yani bir algoritma ile çözülebileceğini biliyoruz, ama algoritmanın neye benzediğini bilmiyoruz?

21 algorithms  proof-techniques 

Başlık soruyu belirtir. Girdiler olarak karşılaştırabileceğimiz (hangisinin en büyük olduğunu belirleyebileceğimiz ) bir öğe listesine sahibiz . Hiçbir öğe eşit olamaz. Anahtar noktaları: Karşılaştırma geçişli değildir (taş kağıt makasını düşünün): bu doğru olabilir: A> B, B> C, C> A (burada geçerli bir cevap olmadığından bunun geçerli bir girdi olmadığını unutmayın, …

21 algorithms  time-complexity  sets  transitivity 

İki n basamaklı sayının çarpımı için hangi algoritmanın en hızlı olduğunu bilmek istiyorum? Alan karmaşıklığı burada rahatlatılabilir!

21 algorithms  mathematical-programming 

Bir dizi veya vektör sadece bir değer dizisidir. Kesinlikle bağlantılı bir liste ile uygulanabilir. Bu sadece bir sonraki düğüme işaret eden bir grup düğümdür. Yığınlar ve kuyruklar, Giriş CS derslerinde yaygın olarak öğretilen iki soyut veri türüdür. Sınıfta bir yerde, öğrenciler genellikle altta yatan veri yapısı ile bağlantılı bir liste …

21 algorithms  data-structures  abstract-data-types 

Son zamanlarda, Turing'in durma sorununun kararsızlığına dair kanıtının Russell'ın berber paradoksuna çok benzediğini belirten ilginç bir benzetme duydum. Merak ettim: matematikçiler sonunda Cantor'un alanın naif formülasyonundan daha karmaşık bir aksiyom sistemine (ZFC set teorisi) geçerek, önemli dışlamalar (kısıtlamalar) ve yol boyunca eklemeler yaparak set teorisini tutarlı hale getirmeyi başardılar. Bu …

21 computability  turing-machines  computation-models  halting-problem 

Haskell ve o kadar saf olmayan FP dillerini öğrendikten sonra Kategori teorisi hakkında okumaya karar verdim. Kategori teorisini iyi anladıktan sonra, kategori teorisi kavramlarının programların tasarımını düşünmede nasıl kullanılabileceğini düşünmeye başladım, ancak ne kadar denesem denesem de bu yolun yolu değil gibi görünüyor. Kategori teorisini program tasarlamakla ilişkilendirmek için başarısız …

21 functional-programming  category-theory 

Az önce şu şeyle karşılaştım: Bir png görüntüsünün birden çok özdeş kopyasını bir klasöre koydum ve sonra bu klasörü aşağıdaki yöntemlerle sıkıştırmaya çalıştım: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (bu özdeş görüntüler için iyi çalışır, ancak benzer görüntüler için kazanç sıfırdır) zip …

21 data-compression 

Adil bir bozuk para verildiğini ve adil (altı taraflı) bir ölümü tekrar tekrar çevirmenin olasılık dağılımını simüle etmek istediğinizi varsayalım. İlk fikrim uygun tamsayılarını seçmemiz gerektiğidirk,mk,mk,m , öyle ki2k=6m2k=6m2^k = 6m . Bu nedenle, madeni parakkk kez çevrildikten sonra, k-uzunluğu bit dizisi tarafından kodlanan sayıyı , [0,2k−1][0,2k−1][0,2^k-1] aralığını uzunluğunun her …

21 probability-theory  randomness  sampling 

Alt küme toplamı sorunu klasik bir NP tam sorunudur: sayılarının bir listesi ve bir hedef verildiğinde, den toplanan bir sayı alt kümesi var mı?LLLkkkLLLkkk Bir öğrenci bana "alt küme ürünü" sorunu adı verilen sorunun bu varyantının NP-tamamlanmış olup olmadığını sordu: sayılarının bir listesi ve bir hedef verildiğinde , ürünü olan …

21 complexity-theory  np-complete  reductions