Bilgisayar Bilimi

Aşağıdaki sorunu düşünün. Verilen: Kenarlarda negatif olmayan gerçek ağırlıklara sahip eksiksiz bir grafik. Görev: Maksimum ağırlıktaki düzlemsel bir alt çizgi bulun. (Olası tüm düzlemsel alt noktalar arasında "Maksimum".) Not: Maksimum ağırlık alt grafiği bir üçgenleme olacaktır; grafiğin tamamı köşede ise, kenarları olacaktır.nnnm=3n−6m=3n−6m=3n-6 Soru: Bu sorun için mevcut en iyi algoritma …

9 algorithms  graph-theory  optimization  combinatorics 

Bir lisans sınıfından sonlu bantlı bir Turing Makinesi için her zaman karşılık gelen bir Sonlu Durum Otomatı bulunacağını hatırlıyorum, ancak bunun internette herhangi bir yerde doğrulandığını bulamadım. Aslında durum bu mu yoksa yanlış mı hatırlıyorum?

9 turing-machines  finite-automata 

Bildiğim kadarıyla aşağıdaki sorunu çözen bir en kötü durum algoritması yoktur:O ( n )Ö(n)O(n) Sonlu tamsayılardan oluşan bir uzunluk dizisi göz önüne alındığında , her elemanın halefinden küçük veya ona eşit olduğu permütasyonu bulun.nnn Ancak, sınıraşan hesaplama modelinde var olmadığına dair bir kanıt var mı? Tamsayıların aralığını sınırlamadığımı unutmayın. Çözümleri …

9 complexity-theory  sorting  computation-models  lower-bounds 

Birkaç olası açıklama duydum, bu yüzden güvenilir bir referans istiyorum. Güncelleme 05.19: Soru ile ilgileniyorum çünkü öğrencilerimden biri tezinde adının aşağıdaki açıklamadan geldiğini yazdı (1). Şimdiye kadar bunun açıklamadan geldiğini düşündüm / duydum (2). Hem tezinde yanlış olan şeylere izin verdiğim için hem de doğru olursa onu kaldırmasını söylerken kendimi …

9 terminology  reference-request  history 

Şu anda Markov zincirinin topaklanmasıyla ilgili bazı makaleler okuyorum ve bir Markov zinciri ile düz yönlendirilmiş ağırlıklı bir grafik arasındaki farkı göremiyorum. Örneğin , Markov zincirlerinde optimum durum-boşluk toplaması makalesinde bir CTMC (sürekli zaman Markov zinciri) tanımını sağlarlar: Sonlu bir CTMC'yi düşünüyoruz (S,Q)(S,Q)(\mathcal{S}, Q) devlet alanı ile S={x1,x2,…,xn}S={x1,x2,…,xn}\mathcal{S} = \{x_1, …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Bu, burada başka bir sorunun takibi ve umarım çok felsefi değildir. Raphael'in önceki sorumla ilgili bir yorumda işaret ettiği gibi, gerçekten "hesaplanabilir" tanımını alamıyorum, ancak okuduğum bazı makalelere göre, tanım, turingden daha zayıf hesaplama modelleri söz konusu olduğunda da net değil. giriş ve çıkış kodlaması nedeniyle makineler. Hesaplanabilir turingin tipik …

9 computability  computation-models 

Resmi diller kolej dersim için çalıştığım için, normal ifadeyi kullanarak asal bir sayının nasıl bulunacağını açıklayan bu büyüleyici yazılara ( Bir İki ) rastladım . Dediğim gibi, bir regexp'in değil, bir normal ifade . Normal bir ifade, bir Sonlu Durum Otomatik Verileri tarafından hesaplanan dizelerle eşleşebildiğinden ve asal sayı bulmak …

9 regular-expressions 

Gelen Programlama Dilleri Kavramları , John Mitchell statik tür denetlemesi nedeniyle Durma Problemi ait (aşırı sıkı) mutlaka muhafazakar olduğunu yazıyor. Örnek olarak verir: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Birisi gerçekten pratik bir endişe yaratacak bir cevap veremez mi? Java, böyle durumlar için dinamik olarak kontrol edilen dökümlere izin verdiğini …

9 programming-languages  compilers  type-checking 

Ben bilgisayar bilimi ile ilgilenen bir lise ikinci sınıf öğrencisiyim. #SAT için harika bir algoritma geliştirdim ve üzerinde bir science fair projesi uyguluyorum. Okulumdaki en iyi fen bilgisi öğretmeni olan ve aynı zamanda AP Comp Sci öğretmeni olan danışmanım, bana projemin ne hakkında hiçbir fikri olmadığını ve #SAT'ın nedenini kısaca …

9 algorithms  satisfiability 

Küçük bir gömülü sistemdeki görüntü verileri üzerinde 5 çapraz medyan filtrenin bir varyasyonunu kullanıyorum, yani x x x x x Algoritma gerçekten basittir: 5 işaretsiz tam sayı değeri okuyun, en yüksek 2 değerini alın, bunlar üzerinde bazı hesaplamalar yapın ve işaretsiz tam sayı sonucunu yazın. Güzel olan, 5 tamsayı giriş …

9 algorithms  efficiency  selection-problem 

Aşağıdaki sorunu düşünün: Girdi : tamsayıların değerlerini listelerX,YX,YX,Y Hedef : her iki listede de bir tamsayısı olup olmadığını belirlemenizi sağlar .xxx Her iki listesinin boyutunda olduğunu varsayalım . Bu sorun için deterministik, doğrusal zaman algoritması var mı? Başka bir deyişle, bu problemi rasgele kullanmadan zamanında belirleyici olarak çözebilir misiniz ?X,YX,YX,YnnnO(n)O(n)O(n) …

9 algorithms  complexity-theory  lower-bounds 

Nielsen & Chuang, Quantum Computation ve Quantum Information, 10. yıldönümü baskısı, sayfa 5'ten (vurgu mayını) alıntı yapmak istiyorum: Güçlü Church-Turing tezine yönelik bir sınıf zorluk analog hesaplama alanından geliyor. Turing'den bu yana, birçok farklı araştırmacı ekibi, belirli analog bilgisayar türlerinin bir Turing makinesinde verimli bir çözümü olmadığı düşünülen sorunları etkili …

9 computation-models  church-turing-thesis 

Oracle Turing Makineleri kullanırken karmaşıklık sınıfları hakkında sağlam ve geçerli açıklamalar yapmaya devam etmemizi nasıl sağlayabiliriz? Anladığım kadarıyla (konuyla ilgili giriş kitaplarında verilen tanımlara dayanarak) oracle Turing makineleri, bir hesaplama adımında bir oracle diline göre bir ipin üyelik durumunu belirleyebilir. Bununla birlikte, sıklıkla kullanılan kehanet dillerinin sabit zamanda çözülmesi imkansızdır …

9 complexity-theory  oracle-machines 

Bir nbit tamsayısının kare kökünün tabanını hesaplamak için bilinen herhangi bir alt-ikinci algoritma var mı? Saf algoritma şöyle bir şey olurdu def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= …

9 algorithms  numerical-algorithms 

Şu anda bir bilgisayar bilimi sınavı için çalışıyorum ve beni biraz güldüren bir kavramla karşılaştım. Klavyeye bir anahtar yazıldığında, CPU'ya bir ASCII karakteri iletilir. Bu karakterin alınması üzerine, CPU aynı karakteri ekrana verir. Bu işleme yankılama denir. CPU'yu dahil etmek yerine, neden bu yankılama sürecini klavye / ekran ünitesinde yapmıyoruz, …

9 computer-architecture  operating-systems  user-interface