Bilgisayar Bilimi

Bana Big O ile bir ev ödevi verildi. Bir önceki döngüne bağımlı olan döngüler için iç içe geçmişim. İşte benim ödev sorumun değiştirilmiş bir versiyonu, çünkü gerçekten anlamak istiyorum: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; j++) sum++; Beni …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

Hızlı sıralama algoritmanız varsa ve her zaman pivot olarak en küçük (veya en büyük) öğeyi seçerseniz; Zaten sıralanmış bir veri kümesi sağlarsanız, 'zaten sıralanmış' listenizin artan veya azalan sırada olup olmadığına bakılmaksızın her zaman en kötü performans elde edeceğinizi varsayar mıyım? Benim düşüncem şu ki, pivotunuz için her zaman en …

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

Ben sadece sonuç kümesi saklanması gereken bir şekilde kopyalar için bir tamsayı listesi verimli bir şekilde filtre istiyorum. Bunun bir yolu görülebilir: bir dizi tamsayı var S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} ile NNN büyük 2402402^{40}) bir fonksiyonumuz var f:S→Sf:S→Sf : S \to S sözde birçok çarpışma ile (görüntüler SSS) o …

9 algorithms  data-structures  sorting 

Kodlama gereksinimi olması önek ücretsiz nedeniyle tam olmak zorunda ağacına büyük ağaçların sonuçlanır. Sabit uzunlukta kodlanmamış veri depolamanın verileri kodlamaktan daha verimli olacağı bir eşik var mı?

9 information-theory  data-compression 

Yazılım doğrulama konusunda kendime farklı yaklaşımlar öğretmeye çalışıyorum. Bazı makaleler okudum. Öğrendiğim kadarıyla, zamansal önerme mantığı genellikle SAT çözücülerle (devam eden - reaktif sistemlerde) model kontrolü kullanır, ama ya zamansal olarak birinci dereceden Mantık? Teorem provatörleri kullanıyor mu? Yoksa SAT kullanabilir mi? Bu konuda yeni başlayanlar için kitaplara veya makalelere …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Normalde üniversiteler ayrık matematik / ayrık yapı öğretir. Sorum şu: Bu alanı anlamak için ne kadar matematik bilmek gerekiyor? Kalkülüs gerekli midir yoksa prekalsül iyi olur mu? Bu alanı anlayabilmeniz için daha önce kanıtların yapılması gerekiyor mu? Cevaplarınız için hepinize teşekkür ederim. Not: Bu daha önce sorulmuşsa özür dilerim. Araştırmamdan …

9 discrete-mathematics 

Görüntü işlemede evrişim hakkında birçok belge okudum ve çoğu formülü hakkında bazı ek parametreler söylüyor. Hiç kimse bir görüntü üzerinde evrişim yapmanın ardındaki sezgiyi ve gerçek anlamı açıklamaz. Örneğin, grafikte türetmenin sezgisi, onu daha doğrusal hale getirmektir. Bence tanımın kısa bir özeti şudur: evrişim, görüntü ve çekirdek arasındaki üst üste …

9 terminology  intuition  graphics  computer-vision 

Yapay bir sinir ağı algoritması, harita azaltma işlemleri açısından ifade edilebilir mi? Ayrıca daha genel olarak YSA'lara uygulandığı şekliyle paralelleştirme yöntemleri ve bunların bulut bilişimine uygulanmasıyla ilgileniyorum. Bir yaklaşımın her bir düğümde tam bir YSA çalıştırmayı ve sonuçları bir şekilde tek bir varlık gibi (girdi / çıktı ve makine öğrenme …

9 parallel-computing  artificial-intelligence  neural-networks 

Theodore Norvell (1999) tarafından Özyinelemeli İniş ile İfadeleri Ayrıştırma makalesinde yazar aritmetik ifadeler için aşağıdaki dilbilgisi ile başlar: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v bu oldukça …

9 formal-languages  context-free  formal-grammars  left-recursion 

Problem kümeleri ile iyi bir ayrık matematik öğrenme web kaynakları var mı?

9 reference-request  education  discrete-mathematics 

Genel bir negatif döngü iptal algoritmasıyla minimum maliyet akışı problemini çözmek istiyoruz. Yani, rastgele geçerli bir akışla başlıyoruz ve daha sonra minimum ortalama maliyet döngüleri gibi "iyi" negatif döngüler seçmiyoruz, ancak keşfedilen döngü boyunca minimum bir döngü ve büyütme keşfetmek için Bellman-Ford'u kullanıyoruz. Let düğümleri grafikte sayı, kenar sayısı, grafikte …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow 

Varsayalım ki iki ilişkide bir yüklem üzerine katılmak istiyoruz. Bu NC'de mi? NC'de olmadığına dair bir kanıtın, P≠NCP≠NCP\not=NC, bu yüzden açık bir sorun olduğuna dair kanıtları bir cevap olarak kabul ediyorum. Genel durumun yanı sıra belirli vakalarla da ilgileniyorum (örneğin, belki bazı belirli veri yapısı ile paralelleştirilebilir). EDIT: Bu yazıya …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Her biri düzlemde ayrık nokta içeren iki ve kümesi verildiğinde , bir nokta ile bir nokta arasındaki en kısa mesafeyi hesaplayın , yani .AAABBBnnnAAABBBmin { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | \mbox{ } p \in A \land q \in …

9 algorithms  computational-geometry 

Bir dil Verilen , nasıl bu dil düzenli olmadığını, üretim kurallarına bakmadan doğrudan söyleyebiliriz?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Ben pompalama lemma kullanabilirsiniz ama bazı çocuklar sadece bu dilbilgisi bakarak düzenli değil diyorlar. Bu nasıl mümkün olaiblir?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Tüm virüsleri algılayabilen bir algoritma olmadığını göstermekle birlikte, sonlu otomatada önemsiz bir alıştırmadır, ancak Anti Virüs Yazılımı satan birçok yazılım şirketi vardır. CS'nin Virüsler ve Anti Virüslerle ilgili herhangi bir kısmı var mı? Not: CS ile ilgili olmayan ve AV'ye sahip olmanın gerekçesi hakkında değil, yalnızca CS içinde hangi kategoriye …

9 reference-request  security