Bilgisayar Bilimi

Dinamik olarak kenarlar ekleyebileceğiniz ve bazı belirli sorgular yapabileceğiniz yönlendirilmiş bir grafik düşünün GGG. Örnek: ayrık set orman Aşağıdaki sorgu kümesini göz önünde bulundurun: arrow(u, v) equiv(u, v) find(u) Birincisi, bir ok ekler halinde grafiğe, ikinci bir karar u ↔ * v , son bir eşdeğerliliği sınıfının kanonik temsil eden …

11 algorithms  graphs  search-algorithms  union-find 

Bu yayını iyileştirmek ister misiniz? Alıntılar ve cevabınızın neden doğru olduğuna dair bir açıklama da dahil olmak üzere bu soruya ayrıntılı cevaplar verin. Yeterli ayrıntıya sahip olmayan yanıtlar düzenlenebilir veya silinebilir. Küçük şirketimiz (yaklaşık 15 kişi) için algoritmalar üzerine bir kitap kütüphanesi oluşturmakla görevlendirildim. Bütçe 5k'dan fazla, ama kesinlikle 10k'tan …

11 algorithms  reference-request  data-structures  books 

Çevrimsel kaydırma (aynı zamanda dönme veya konjugasyon bir dil) LLL olarak tanımlanır . Vikipedi'ye göre (ve burada ) bağlamsız diller bu operasyon kapsamında, Oshiba ve Maslov'dan gelen makalelere atıfla kapatılmıştır. Bu gerçeğin kolay bir kanıtı var mı?{ y x ∣ x y ∈ L }{yx∣xy∈L}\{ yx \mid xy \in L …

11 formal-languages  context-free  closure-properties 

Gönderen Wikipedia Bilgi alma , bilgi kaynakları koleksiyonundan bir bilgi ihtiyacı ile ilgili bilgi kaynakları elde etme faaliyetidir. Aramalar meta verilere veya tam metin dizine dayalı olabilir. Gönderen Wikipedia Bilgi çıkartma (IE) , yapılandırılmamış ve / veya yarı yapılandırılmış makine tarafından okunabilen dokümanlardan yapılandırılmış bilgileri otomatik olarak çıkartma görevidir. Çoğu …

11 data-mining  natural-language-processing 

Diyelim ki, her biri en sevdiğim kitapların listesi olan 10 kişi var. Belirli bir X için, X'in sadece X tarafından sevilen kitaplarının özel bir alt kümesini bulmak istiyorum, yani X'in özel alt kümesindeki tüm kitapları seven başka bir kişi yok. Bu özel altkümeyi X için benzersiz bir "parmak izi" olarak …

11 algorithms  sets 

Aşağıdaki ilginç sorunla karşılaştım: gerçek sayılar alanı üzerinde polinomlar olsun ve katsayılarının tamsayı olduğunu varsayalım (yani, bu polinomların sınırlı bir temsili var). Gerekirse, her iki polinom derecesinin eşit olduğunu varsayabiliriz. Polinom p'nin (sırasıyla q ) bazı (gerçek veya karmaşık) kökünün en büyük mutlak değerini x p ( sırasıyla x q …

11 computability  undecidability  computer-algebra 

Nesne yönelimli programlamada (kağıt için) "nesnenin durumu" nun özlü bir tanımına ihtiyacım var. Yaklaşık yarım gün boyunca bu konuda alıntı yapabileceğim bir makale aradım, ancak bir tane bulamadım. Bulduğum tüm makaleler çoğunlukla nesne yönelimli programlama üzerine genel yazılardı ve bir nesnenin durumunu tanımlamadılar. Emin değilim, ama en iyi tahminim şöyle …

11 terminology  reference-request  programming-languages  object-oriented 

"Endüktif" ve "özyinelemeli" çok benzer mi demek? Örneğin, belirlenen ilk k bileşenlerine dayanarak ilk k + 1 bileşenlerini belirleyerek n-dim vektörünü belirleyen bir algoritma varsa ve ilk bileşenle başlatılırsa, özyinelemeli mi yoksa indüktif olarak mı çalıştığını söyler misiniz? Ben "özyinelemeli" kullanıyorum, ama bugün birisi "endüktif" dedi.

11 algorithms  terminology  recursion  induction 

Bana kuantum bilgisayarların Turing makinelerinden hesaplamalı olarak daha güçlü olmadığı söylendi. Birisi bu gerçeği açıklayan bazı literatür referansları vermede nazikçe yardımcı olabilir mi?

11 computability  reference-request  turing-machines  quantum-computing 

Bu yüzden bir soru kanıtlamak için bu sorum var: O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... Nasıl kanıtlayacağımı bilmeme gerek yok, sadece aklımda bu bir anlam ifade etmiyor ve bence bu olmalı .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Benim anlayış olduğunu daha kötü yaptığımız tüm fonksiyonların kümesi ise daha iyisini yapamayacak tüm fonksiyonların kümesi ve n daha kötü değil.O(n)O(n)O(n)nnnΘ(n)Θ(n)\Theta(n) …

11 asymptotics  mathematical-analysis  landau-notation 

Bazı grafikler için, DFS ve BFS arama algoritmaları, ikisi de aynı düğümde başlaması şartıyla, düğümleri aynı sırada işler. İki örnek, yıldız şeklindeki yollar ve grafiklerdir ( keyfi sayıda çocuklu derinlik ağaçları ). Bu özelliği karşılayan grafikleri kategorilere ayırmanın bir yolu var mı?111

11 algorithms  graphs  graph-traversal 

İş yerinde dinamik bir dil hakkında bazı tür bilgiler çıkarmakla görevlendirildim. letİfade dizilerini iç içe ifadelere yeniden yazar , şöyle: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Bir kare düşünün, ABCD. Sezgisel olarak, kromatik polinomunun renklerinin bulunduğu olduğu görülüyordu .λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda Buλλ\lambda A için bir rengin seçilebileceği yolları vardır, B ve D için renklerin seçilmesi için λ−1λ−1\lambda - 1 yol vardır (B ve D, A'ya bitişiktir) ve C için renkler için λ−2λ−2\lambda …

11 graph-theory  colorings 

Bir tamsayılar dizisinde k 'en büyük elementi bulmak için iyi bilinen en kötü durum seçim algoritması vardır . Bu bir kullanır medyan medyan-of-the yeterince iyi bir pivotu bulmaya yaklaştıkça, yinelemeli sonra bölümler yerinde girdi dizi ve için 's arayışında devam k 'inci büyük elemanı.O(n)O(n)O(n) kkkkkk Biz ne kadar ekstra alan …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

Modern SAT çözücüler, SAT örneklerinin gerçek dünyadaki birçok örneğini çözmede çok iyidir. Bununla birlikte, zor olanları nasıl üreteceğimizi biliyoruz: örneğin faktoringden SAT'a bir azalma kullanın ve RSA numaralarını giriş olarak verin. Bu şu soruyu gündeme getirir: faktoringin kolay bir örneğini alırsam ne olur? Bunun yerine iki büyük asal alma bir …

11 complexity-theory  satisfiability  sat-solvers  factoring