Bilgisayar Bilimi

Java sınıfımda, farklı koleksiyon türlerinin karmaşıklığını öğreniyoruz. Yakında üzerinde okuduğum ikili ağaçları tartışacağız. Kitap, ikili bir ağacın minimum yüksekliğiningünlük2( n + 1 ) - 1log2⁡(n+1)−1\log_2(n+1) - 1, ancak daha fazla açıklama sunmaz. Birisi nedenini açıklayabilir mi?

10 data-structures  binary-trees  discrete-mathematics  trees 

Eşdeğer NFA'nın durumuna sahip olduğu durumuna sahip bir DFA örneğini nasıl oluşturabilirim . Açıkçası DFA devlet kümesi NFA devlet kümesinin tüm alt kümeleri içermelidir, ancak nasıl başlayacağımı bilmiyorum. Beni doğru yola sokmak için bir öneriniz var mı?2n2n2^nnnn

10 automata  finite-automata 

Mı için oracle erişimi olan sadece daha büyük ? Anladığım kadarıyla , simüle edebiliyorsa , başka bir makinesine sorgulama yapabilen bir turing makinesidir ? Bu argümanla ilgili bir sorun mu var?NPNPNPNPNPNPNPNPNPNPNPNPNPNP^ {NP}NPNPNPNPNPNPNPNPNPNPNP^{NP}

10 complexity-theory 

Belirli bir düzlemsel grafik için hat kesimleri bir dizi tarafından tayin edilen düzlemde gömülü, , her segment kendi uç noktaları ile temsil edilmektedir . Düzlemsel altbölüm için bir DCEL veri yapısı oluşturun, bir algoritmayı tanımlayın, doğruluğunu kanıtlayın ve karmaşıklığı gösterin.G ( V, E)G(V,E)G(V,E)E= {e1, . . . ,em}E={e1,...,em}E= \left \{ …

10 algorithms  data-structures  computational-geometry  doubly-connected-edge-list 

Spearman'ın sıralama korelasyon katsayısını inceliyorum ρ =Σben(xben-x¯) (yben-y¯)Σben(xben-x¯)2Σben(yben-y¯)2-------------------√ρ=Σben(xben-x¯)(yben-y¯)Σben(xben-x¯)2Σben(yben-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . iki liste için ve . Algoritmanın karmaşıklığı nedir ?x1, … ,xnx1,...,xnx_1, \dots, x_ny1, … ,yny1,...,yny_1, \dots, y_n Algoritma çıkarmalarını hesaplaması gerektiğinden , olmak mümkün müdür ?nnnO ( n )Ö(n)O(n)

10 complexity-theory  time-complexity  space-complexity 

Her saniye dünya çapında ağa ne kadar veri eklendiğini tahmin etmenin bir yolu var mı? Bununla ilgili herhangi bir çalışma var mı?

10 computer-networks 

Bu sitede, TM'lerin diğer tüm TM'ler veya belirli alt kümeler için durdurma sorununa karar verip vermeyeceği sorusu üzerinde birçok varyant vardır. Bu soru biraz farklı. Durma sorununun tüm TM'ler için geçerli olup olmadığına bir TM tarafından karar verilebilir. Cevabın hayır olduğuna inanıyorum ve akıl yürütmemi kontrol etmek istiyorum. Meta-durdurma dili …

9 computability  turing-machines  undecidability  halting-problem 

Coq, temel dilinde let-ifadeleri içerir. Let-ifadelerini aşağıdaki gibi uygulamalara çevirebiliriz: let x : t = v in b ~> (\(x:t). b) v Bunun her zaman işe yaramadığını anlıyorum çünkü vdaktilo kontrol ederken değer kullanılamayacaktı b. Bununla birlikte, bu, formun uygulamalarının daktilo kontrolüyle özel bir muhafaza ile kolayca sabitlenebilir (\(x:t). b) …

9 type-theory  dependent-types  type-checking  coq 

Genellikle bir grafikte genişliği ilk aramanın (BFS) çalışma süresinin olduğu belirtilir (örneğin Wikipedia'da . Ancak, bağlı herhangi bir grafikte ve bağlı olmayan bir grafikte bile, BFS hiçbir zaman başlangıç ​​tepe noktasını içeren bileşenin dışındaki bir tepe noktasına bakmaz. Bu bileşen en fazla en fazla köşesi içerir ve algoritmanın ziyaret edeceği …

9 algorithm-analysis  search-algorithms 

Sipser Kitabı (2. baskı) üzerinde çalışıyorum ve anlamadığım bu örnekle karşılaştım. Kitapta bu NFA'nın boş dizeyi kabul ettiğini belirtir .ϵϵ\epsilon Biri beni neden bu şekilde idare edebilir? Anladığım kadarıyla , kabul etme durumu olmayan .ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

veya O (n ^ 2) gibi birden fazla Notu vardır . Gerçekte O (2n ^ 2) veya O (\ log n ^ 2) gibi varyasyonlar olup olmadığını veya bunların matematiksel olarak yanlış olup olmadığını merak ediyordum .OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) Yoksa bir O(5n2)O(5n2)O(5n^2) yi O(3n2)O(3n2)O(3n^2) ye yükseltmenin mümkün olduğunu söylemek doğru bir …

9 complexity-theory  time-complexity  optimization  big-o-notation 

Sorun, varlığını kanıtlamak veya çürütmektir. CCC, st, |c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C; |C|=32|C|=32|C| = 32; d(ci,cj)≥2,1≤i&lt;j≤32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32. (ddd hamming mesafesi anlamına gelir) Tatmin edici bir kod oluşturmaya çalıştım. Alabileceğim en iyi şey izin vermekC=C′×C′C=C′×C′C = C'\times C', bir birleşimi C′={000,011,110,101}C′={000,011,110,101}C' = \{000,011,110,101\}Bu, 16 büyüklüğündeki teorik üst sınır olur, şimdi sorunu …

9 information-theory  coding-theory  encoding-scheme 

Latin kareleriyle ilgili bir sorun üzerinde çalışıyorum ve esas olarak karar sorununa kaybolan bir yöntem istiyorum: Girdi : Sonlu, basit bir grafik G. Çıktı : YESG önemsiz olmayan bir otomorfizmaya sahipse, NOaksi takdirde. Dolayısıyla ... Soru : Bir grafiğin önemsiz olmayan bir otomorfizme sahip olup olmadığını belirlemek için etkili bir …

9 algorithms  graphs  graph-theory  reference-request 

Her zaman uzun bir şeye indirgeyen birçok algoritmik problem görüyorum: Bir sahip tam sayı dizisi , bulmak gerekmektedir bu şekilde en üst düzeye çıkarır içinde süresi.h[1..n]≥0h[1..n]\geq 0i,ji,j(h[j]−h[i])(j−i)(h[j]-h[i])(j-i)O(n)O(n) Açıkçası zaman çözümü tüm çiftleri dikkate almaktır, ancak özellikleri hakkında başka bir şey bilmeden deki ifadeyi maksimize etmenin herhangi bir yolu var mı?O(n2)O(n^2)O(n)O(n)hh …

9 algorithms  algorithm-analysis  optimization 

Bu sorunla karşılaştım ve ona yaklaşmanın bir yolunu bulmaya çalışıyorum. Herhangi bir düşünce büyük mutluluk duyacağız! Örneğin, matrisinin verildiğini varsayalım ,{−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} ⎡⎣⎢⎢⎢⎢⎢⎢1−10−11001−101010000010−11−11−1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & 0 & 1 & 0 & -1 \\ -1 & 0 & 0 & 0 & 1 \\ …

9 algorithms  optimization  combinatorics  matrices  permutations