Bilgisayar Bilimi

Öğrencilerin doktoralarına matematikte ve bilgisayar biliminin biçimsel yönlerinde sınırlı bir arka planla başladığını görmek nadir değildir. Açıkçası, bu tür öğrencilerin teorik bilgisayar bilimcisi olmaları çok zor olacaktır, ancak resmi yöntemleri kullanarak ve resmi yöntemleri içeren makaleleri okuyarak anlayışlı olmaları iyi olacaktır. Doktora öğrencilerine başlamanın, resmi yöntemleri içeren makaleleri okumalarını ve …

20 formal-methods  education 

CNF'den DNF'ye dönüşümün NP-Hard olduğunu nasıl kanıtlayabilirim? Bir cevap istemiyorum, sadece nasıl kanıtlanacağı konusunda bazı öneriler.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Kullanıcı tanımlı etki alanına özgü dilleri ayrıştırmak istiyorum. Bu diller genellikle matematiksel gösterimlere yakındır (doğal bir dili ayrıştırmıyorum). Kullanıcılar DSL'lerini aşağıdaki gibi bir BNF notasyonunda tanımlar: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Like 1 + ( 2 * 3 )girişi kabul …

20 formal-languages  parsers  compilers 

Göre Immerman ile ilişkili karmaşıklığı sınıfı , SQL sorgularını sınıfı tam olarak güvenli sorgu olarak , SQL yakalar güvenli sorgular: (birinci derece sorgular artı sayma) sayılabilir. (Başka bir deyişle, tüm SQL sorguları Q ( F O ( C O U N T ) ) ve Q ( F O ( …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Kolmogorov-Karmaşıklığını tanımlamanın birçok yolu vardır ve genellikle tüm bu tanımlar bir katkı sabitine eşittir. Eğer ki ve Kolmogorov karmaşıklığı fonksiyonlardır (farklı dil ya da modeller aracılığıyla tanımlanır), sonra bir sabiti vardır öyle ki her dize için , . Bunun her Kolmogorov karmaşıklık fonksiyonu ve her için , bazı sabitler için …

20 computability  kolmogorov-complexity 

Evrensel olarak nicelendirilmiş bir tip : T a = ∀ X : { a ∈ X , f : X → { T , F } } , varoluşsal olarak nicelenmiş bir alt tip mi, yoksa özel bir durum mu olduğunu bilmek istiyorum tip , T e aynı imza ile: …

20 logic  type-theory  typing 

Etiketlenmemiş, köklü ikili ağaçları düşünün. Biz olabilir sıkıştırmak alt ağaç işaretçileri vardır zaman: bu ağaçlar ve ile (yorumlama yapısal eşitlik) aksine, depolamak (wlog) ve tüm işaretçiler yerine işaretçilerle . Örnek için uli'nin cevabına bakınız .TTTT'T'T'T= T'T=T'T = T'===TTTT'T'T'TTT Yukarıdaki anlamda bir ağacı girdi olarak alan ve sıkıştırmadan sonra kalan (minimum) …

20 algorithms  data-structures  trees  binary-trees 

P ve NP problemi için iki olasılığı göz önünde bulundurun: P = NP ve P NP.≠≠\neq Q'nun NP zor problemlerinden biri olmasına izin verin. P = NP'yi kanıtlamak için, Q için tek bir polinom zaman algoritması A tasarlamamız ve A'nın Q'yu doğru bir şekilde çözdüğünü kanıtlamamız gerekir. P kanıtlamak için, …

20 complexity-theory  p-vs-np 

Çoğu zaman karmaşıklıkların 3n gibi sabitleri varsa, bu sabiti ihmal ederiz ve O (3n) değil O (n) diyoruz. Bu üç katlı değişikliği nasıl ihmal edebileceğimizi anlayamıyorum? Bir şey diğerinden 3 kat daha hızlı değişiyor! Bu gerçeği neden ihmal ediyoruz?

20 complexity-theory  asymptotics  landau-notation 

Yaygın olarak uygulandığını gördüğüm birçok maksimum akış algoritması, Dinic'in algoritması, itme yeniden etiketleme ve diğerleri, dinamik ağaçların (bağlantı kesilmiş ağaçlar olarak da bilinir) kullanılmasıyla asimtotik zaman maliyetlerini artırabilir . İtmeli etiketleme veya O ( V 3 ) veya O ( V 2 √O ( V2E)Ö(V2E)O(V^2E)O (V3)Ö(V3)O(V^3)normal, ancak dinamik ağaçlarO(VElog(V2/E))O ( …

20 reference-request  graphs  data-structures  network-flow 

nnn tam sayı listesi için kaç farklı maksimum yığın var ? Örnek: liste [1, 2, 3, 4] Maksimum yığın şunlardan biri olabilir 4 3 2 1: 4 / \ 3 2 / 1 veya 4 2 3 1: 4 / \ 2 3 / 1

20 data-structures  combinatorics  heaps 

Kayan bir sayının dejenere durumu olarak kabul edilebilecek bir sabit nokta gösterimini düşünün. Negatif sayılar için 2'nin tamamlayıcısını kullanmak tamamen mümkündür. Ama neden kayan nokta sayıları için bir işaret biti gereklidir, mantis bitleri 2'nin tamamlayıcılarını kullanmamalıdır? Ayrıca üs bitleri işaretli büyüklükte temsil (mantis bitlerine benzer) veya 2'nin tamamlayıcı gösterimi yerine …

20 computer-architecture  floating-point  number-formats 

Seyrek yönlendirilmemiş bir grafiğin çevresini nasıl bulacağımı merak ediyorum . Seyrek demek istedim . Optimum olarak en düşük zaman karmaşıklığını kastediyorum.| E| =O( | V| )|E|=Ö(|V|)|E|=O(|V|) Tarjan'ın yönlendirilmemiş grafikler algoritmasında bazı değişiklikler yapmayı düşündüm , ancak iyi sonuçlar bulamadım. Aslında 2 bağlantılı bir bileşen bulabilirsem, o zaman ilk bölümü elde …

20 algorithms  time-complexity  graph-theory 

Bu genel bir soru. Ve eğer herkes uygulamayı özel yapmak istiyorsa, o zaman Unix ile ilgili şeyleri tercih edeceğim. Ama önce genel olarak aşağıdaki sorunları bilmeniz gerekir: Tek işlem birden çok iş parçacığı olabilir okumak. Aynı işlemin birden fazla iş parçacığı aralarında bir şeyler paylaşır. Neleri paylaştıklarını ve nelerin paylaşmadıklarını …

20 operating-systems  threads 

özellikle: 1) Her blokta 8 adet 32 ​​bit sözcük bulunan 4096 blok / satır içeren doğrudan eşlenmiş önbellek . 32 bit adres varsayıldığında, etiket ve dizin alanları için kaç bit gerekir? 2) 1 ile aynı soru ama tam ilişkilendirilebilir önbellek için ? Yanlışsam beni düzeltin, değil mi? etiket bitleri = …

20 computer-architecture  cpu-cache