Bilgisayar Bilimi

Vikipedi 'de yazılmıştır, "... seçim sıralama neredeyse her zaman kabarcık ve gnome sıralamalardan daha iyi performans gösterir." Biri lütfen bana, ikisinin de olmasına rağmen, seçim sıralamalarının kabarcık sıralamadan daha hızlı kabul edildiğini neden açıklayabilir: En kötü durum zaman karmaşıklığı :O ( n2)O(n2)\mathcal O(n^2) Karşılaştırma sayısı : O ( n2)O(n2)\mathcal O(n^2) …

28 algorithms  runtime-analysis  efficiency  sorting 

Bildiğim her çözülemeyen sorun aşağıdaki kategorilerden birine giriyor: Köşegenleştirme nedeniyle çözülemeyen problemler (dolaylı öz referans). Bu problemler, durma problemi gibi, kararsızdır, çünkü davranışı çelişkiye yol açan bir TM oluşturmak için dilin iddialı bir karar vericisini kullanabilirsiniz. Ayrıca, Kolmogorov'un karmaşıklığı ile ilgili olarak saptanamayan birçok sorunu bu kampa götürebilirsiniz. Doğrudan referans …

28 computability  proof-techniques  undecidability 

Kümeleme yöntemlerini anlamaya çalışıyorum. Ne anladığımı sanıyordum: Denetimli öğrenmede, hesaplamalardan önce bilinen kategoriler / etiketler verisi atanır. Dolayısıyla, bu kümeler için gerçekten önemli olan parametreleri “öğrenmek” için etiketler, sınıflar veya kategoriler kullanılmaktadır. Denetimsiz öğrenmede, kümeler bilinmeden veri kümeleri bölümlere atanır. Bu, hangi parametrelerin segmentasyon için çok önemli olduğunu bilmiyorum bile, …

28 machine-learning  data-mining  clustering 

Aşağıdaki işlemleri gerçekleştirebilecek bir karakter kümesi karakter kümesi üzerine bir dizi dizi depolayan bir veri yapısı arıyorum . Biz göstermektedirler dizi kümesini depolanması veri yapısı olarak .D ( S ) SΣΣ\SigmaD (S))D(S)\mathcal{D}(S)SSS Add-Prefix-Seton : Büyüklüğü bir sabit tarafından sınırlandırılmış ve dize uzunlukları bir sabit ile sınırlandırılmış bazı (muhtemelen boş) dizgilerin …

28 data-structures  time-complexity  strings  stacks 

Siparişi biliyoruz, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] ve ön sipariş pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) ve sırayla çapraz cevap. sequentialisation. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ …

28 algorithms  binary-trees 

Düzenli bir dili için , , uzunluğu sözcük sayısı olsun . (Bazı DFA Açıklama içermeyen geçiş matrisine uygulanabilir Ürdün kanonik formu ), bir o kadar büyük için gösterilebilir , nerede karmaşık polinomları ve vardır kompleksi "özdeğerler" dir. (Küçük için n , formu ek şartları olabilir C_k [n = k] , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Bir SAT örneği göz önüne alındığında, örneği çözmenin ne kadar zor olacağını tahmin edebilmek istiyorum. Bir yol var olan çözücüleri yönetmektir, ancak bu tür zorlukları tahmin etmenin amacını yitirir. İkinci bir yol, cümleciklerin değişkenlere oranını rasgele-SAT'daki faz geçişleri için olduğu gibi arıyor olabilir, ancak eminim ki daha iyi yöntemler var. …

28 complexity-theory  satisfiability  heuristics 

(Yazılmamış) lambda hesabındaki ( ) sabit nokta birleştirici FIX (aka Y birleştirici ) şöyle tanımlanır:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y ) ) ( λ x . f ( λ y. x x y ) )≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

(Bazı matematiksel geçmişe sahip bir öğrenciyim ve belirli bir ikili ağaç sayısının nasıl sayılacağını bilmek istiyorum.) İkili Ağaçlar için Wikipedia sayfasına bakarken, büyüklüğündeki köklü ikili ağaçların sayısının bu Katalanca Sayı olacağını iddia ettim : nnnCn= 1n + 1( 2nn)Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}{2n \choose n} Ama kendim böyle bir sonucu nasıl bulabilirim …

28 combinatorics  binary-trees  discrete-mathematics 

Yönlendirilmiş grafikleri dikkate alın. Bir süperstar süperstarı olarak adlandırırız ve eğer ondan başka bir düğüme erişilemezse, fakat diğer tüm düğümlerin bir kenarı vardır . resmen:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 süperstarı : ⟺Outdeg(v)=0∧benndeg(v)=n-1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 \land \mathrm{indeg}(v) = n-1 , grafikteki düğüm sayısıyla birlikte …

28 algorithms  graphs 

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Küçük ve büyük adımlı işlemsel anlambilim arasındaki temel farklar nelerdir? Ne olduğunu ve ikisine sahip olma motivasyonunu kavramakta zorlanıyorum.

28 semantics  operational-semantics  small-step-semantics 

Bu bağlantı, BFS / DFS kullanarak yönlendirilmemiş bir ağacın çapını bulmak için bir algoritma sağlar . Özetleme: En son keşfedilen düğümü hatırlayarak, grafikteki herhangi bir düğümde BFS'yi çalıştırın. En son keşfedilen v düğümünü hatırlamak için BFS'yi çalıştırın. d (u, v) ağacın çapıdır. Neden çalışıyor Sayfa 2 Bu bir mantık sağlar, …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

Karmaşıklık kursu alıyorum ve NPC sorunları arasında bir düşüşle karşılaşmakta güçlük çekiyorum. Sorunlar arasındaki azalmaları nasıl bulabilirim? Kullanabileceğim genel bir numara var mı? NPC olduğunu kanıtlamamı isteyen bir soruna nasıl yaklaşmalıyım?

27 complexity-theory  np-complete  proof-techniques  reductions 

Durma problemi, belirli bir programın durup durmayacağını belirleyen bir algoritma olmadığını belirtir. Sonuç olarak, sonlandırıp sonlandırmadıklarını söyleyemediğimiz programlar olmalı. Bu tür programların bilinen en basit (en küçük) örnekleri nelerdir?

27 computability  turing-machines  halting-problem