Bilgisayar Bilimi

Diyelim ki 40 fiziksel adres biti olan bir sistemle çalışıyoruz. Toplam fiziksel adres alanı (bayt-adreslenebilir bellek olduğu varsayılarak) bayt veya 1 TiB'dir. Sanal adresler 48 bit uzunluğundaysa, sanal bellekte fiziksel bellekte konumlardan daha fazla adres olduğu anlamına gelir.2402402^{40} Bu benim için mantıklı, çünkü "fazla" adresler sabit disk konumlarına da işaret …

15 memory-management  virtual-memory  memory-access 

Bir küme, doğal sayılarla bir birleşimi varsa sayılabilir ve üyelerini numaralandıran bir algoritma varsa , hesaplanabilir şekilde (ce) sayılabilir . Sayısal olarak numaralandırılabilir herhangi bir küme sayılabilir olmalıdır, çünkü sayımdan bir bijeksiyon oluşturabiliriz. Hesaplanabilir sayılamayacak sayılabilir set örnekleri var mı? Yani, bu set ile doğal sayılar arasında bir bijection vardır, …

15 computability  semi-decidability 

NAND kapılarının her doğruluk tablosunu uygulayan devreler oluşturmak için kullanılabileceğini ve modern bilgisayarların NAND kapılarından oluştuğunu biliyorum. NAND kapıları ile Turing tamlığı arasındaki teorik bağlantı nedir? Bana öyle geliyor ki NAND geçit devreleri Turing makinelerine göre sonlu otomata daha yakın. Sezgim, flip-floplar oluşturabilmem ve bu nedenle NAND kapılarının dışında kayıtlar …

15 turing-machines  turing-completeness  digital-circuits 

Başımı SAT / 3CNF-SAT etrafında dönen NP-tamlık kanıtı etrafına sarmaya çalışıyorum. Belki geç saattir ama korkarım ki tatmin edilemeyen bir 3CNF formülü düşünemiyorum (muhtemelen bariz bir şeyi kaçırıyorum). Bana böyle bir formül için örnek verebilir misiniz?

15 logic  satisfiability  3-sat 

Asimtotik olarak sıkı bağlı öğrendiklerimden, teta notasyonunda olduğu gibi yukarıdan ve aşağıdan bağlandığı anlamına gelir. Ancak asimptotik olarak sıkı üst sınır Big-O notasyonu için ne anlama geliyor?

15 asymptotics 

Klips problemi, gerekli klibin boyutunun girişin bir parçası olduğu iyi bilinen bir tamamlama problemidir. Bununla birlikte, k-klibi problemi önemsiz bir polinom zaman algoritmasına sahiptir ( k sabit olduğunda O ( n k ) ). K sabit olduğunda en iyi bilinen üst sınırlarla ilgileniyorum.N-PNPNPO ( nk)O(nk)O(n^k)kkk Çalışma süresi olan bir algoritma …

15 complexity-theory  graph-theory 

Yarım on yıl önce, profesörün özyineleme, bir yığın, kuyruk, vb. (Veya benzer herhangi bir veri yapısı) ve sadece birkaç işaretçi kullanmadan bir ağaçtan geçebilmesi durumunda profesörün ekstra kredi sunduğu bir veri yapıları sınıfında oturuyordum. Sonunda profesör tarafından kabul edilen bu soruya açık bir cevap olduğunu düşündüğüm şeyi buldum. Aynı bölümde …

15 algorithms  trees  recursion 

Öklid düzlemine gömülü bir grafiğin en kısa yolunu bulmak için hangi algoritmayı kullanırsınız, böylece yol herhangi bir kendi-kavşak içermemelidir (gömme içinde)? Örneğin, aşağıdaki grafikte den gitmek istersiniz . Normalde, Dijkstra'nın algoritması gibi bir algoritma aşağıdaki gibi bir dizi üretecektir:(0,0)→(−3,2)(0,0)→(−3,2)(0,0) \rightarrow (-3,2) [(0,0)→3(0,3)→2√(1,2)→4(−3,2)]=7+2–√.[(0,0)→3(0,3)→2(1,2)→4(−3,2)]=7+2.\left[ (0,0) \stackrel {3}{\rightarrow} (0,3) \stackrel{\sqrt{2}}{\rightarrow} (1,2) \stackrel{4}{\rightarrow} (-3,2) …

15 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

İkisi arasında herhangi bir fark var mı? Gereğince Ullman kitabında , derleyiciler başka (genellikle düşük seviye) diline bir dili dönüştürmek ve böylece bir montajcı yapar. İkisi nasıl farklı?

15 terminology  compilers 

Bir keresinde kursumda yemek tarifleri önerecek bir algoritma oluşturan bir gazi vardı. İlk başta, her türlü çılgın tarif ortaya çıkacaktı. Daha sonra, pişirme algoritmasını gerçek tariflerle eğitecek ve sonunda çok iyi olanları önerecektir. Bayes Teoremi veya Kümeleme ile ilgili bir şey kullandığına inanıyorum, ama çoktan gitti ve algoritma da öyle. …

15 machine-learning  artificial-intelligence  modelling  recommendation-systems 

Günlük sorunları tanımlamak için oluşturulan çoğu dilin içeriğe duyarlı olması tartışmalıdır. Diğer yandan, özyinelemeli olmayan, hatta özyinelemeli olarak numaralandırılamayan bazı dilleri bulmak mümkün değildir ve zor değildir. Bu iki tür arasında, içeriğe duyarlı olmayan özyinelemeli diller vardır. Wikipedia burada bir örnek veriyor : Bağlama duyarlı olmayan özyinelemeli dilin bir örneği, …

15 formal-languages  complexity-theory  formal-grammars 

Bir dil verilen , uzunluğu kümesini tanımlamak kelimelerin uzunluklarının kümesi olarak : L L L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Hangi tamsayı kümeleri normal bir dilin uzunluk kümesi olabilir?

15 formal-languages  computability  regular-languages  finite-automata 

Grafiğin seyrek olması durumunda bir liste ve grafiğin yoğun olması durumunda bir matris kullanmamız söylendi . Benim için bu sadece ham bir tanım. Bunun ötesinde fazla bir şey görmüyorum. Ne zaman doğal bir seçim olacağını açıklayabilir misiniz? Şimdiden teşekkürler!

15 graphs  data-structures  lists  adjacency-matrix 

Yalancı polinom zaman algoritması, giriş değerinde (büyüklük) polinom çalışma süresine, ancak girdi boyutunda (bit sayısı) üstel çalışma süresine sahip bir algoritmadır. Örneğin , sayısının asal olup olmadığını test etmek , 2 ile n - 1 arasındaki sayılar arasında bir döngü gerektirir ve n mod i'nin sıfır olup olmadığını kontrol edin …

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

Bilgisayar bilimi materyallerini (esas olarak makine öğrenimi) anlamaya yardımcı olmak için Doğrusal Cebir ve Uygulamalarını okuyorum , ancak birçok bilginin CS için yararlı olmadığından endişeliyim. Örneğin, yeni bir denklem çözücü programlamaya çalışmadığınız sürece lineer denklem sistemlerinin verimli bir şekilde nasıl çözüleceğini bilmek çok yararlı görünmüyor. Ayrıca, bir matrisin tersi olduğunda, …

15 education  linear-algebra  didactics  mathematical-foundations