Bilgisayar Bilimi

Kimin zaman karmaşıklığı O (bazı işlevi varsa mn ), m ve n , biz "doğrusal" zamanı karmaşıklığı iki girdilerin boyutları çağırır edilmektedir ( 's hem de doğrusal beri m ve n ya da ( "ikinci dereceden") iki boyutta bir ürün olduğundan?) Veya başka bir şey? “Doğrusal” olarak adlandırmanın kafa karıştırıcı …

24 terminology  asymptotics  landau-notation 

Birkaç vaka denedim ve basit bir grafiğin yayılan iki ağacının bazı ortak kenarları olduğunu gördüm. Yani, şu ana kadar herhangi bir karşı örnek bulamadım. Fakat bunu da kanıtlayamadım veya ispatlayamadım. Bu varsayımı nasıl ispatlayabilir veya ispat edemezsiniz?

24 graphs  graph-theory  spanning-trees 

normal AND, OR ve NOT işleçlerinden ve bazı değişkenlerden oluşan bir boolean formülü olsun . B için tatmin edici atamaların sayısını saymak istiyorum . Olduğunu, ben değişkenlere gerçeği değerlerinin farklı atamaları sayısını bulmak istediğiniz B kendisi için B gerçek değerini varsayar. Örneğin, a ∨ b formülü üç tatmin edici atamaya …

24 complexity-theory  reference-request  satisfiability 

Şu anda genetik algoritma hakkında okuyorum ve izliyorum ve çok ilginç buluyorum (üniversitedeyken okuma şansım olmadı). Mutasyonların olasılığa dayandığını biliyorum (rastgelelik evrimin köküdür) ama hayatta kalmanın neden olduğunu anlamıyorum. Anladığım kadarıyla, bireysel fitness sahip bu tür başka birey için olduğu gibi fitness sahip Elimizdeki , sonra daha iyi bir olasılığa …

24 algorithms  optimization  genetic-algorithms 

2 olacak şekilde köşeleri ve kenarları olan, ağırlıklandırılmamış, yönlendirilmemiş bir grafikte, grafikteki en kısa yolları bulmanın en hızlı yolu nedir? olan Floyd-Warshall'den daha hızlı ancak yineleme başına çok hızlı yapılabilir mi?E 2 V > E O ( V 3 )VVVEEE2 V> E2V>E2V \gt EO ( V3)O(V3)O(V^3) Grafik ağırlıklı ise?

24 algorithms  graphs  shortest-path 

Herhangi bir hesaplama problemi göz önüne alındığında, böyle bir hesaplama için daha düşük sınırlar bulmak gerçekten mümkün mü? Sanırım, tek bir hesaplama adımının nasıl tanımlandığına ve ispat için hangi modeli kullandığımıza bağlı olduğunu düşünüyorum, ancak buna göre, genel olarak daha düşük bir sınırlama olduğunu kanıtlıyor muyuz? Ne demektir ki biz …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 6 yıl önce göç etmiş . Özyinelemeli ve özyinelemeyle numaralandırılabilir dillerin birçok tanımlarına rastladım. Ama ne olduklarını tam olarak anlayamadım. Birileri lütfen bana basit kelimelerle ne olduklarını söyleyebilir mi?

24 formal-languages  computability  turing-machines 

Herkesin dağıtılmış sistem teorisine, kitaplara veya referanslara iyi bir giriş yapabilmek için yapabileceği en iyi yol nedir ve ilk önce bu konular ve öğrenmeye başlamak için gerekenler ele alınmalıdır.

24 reference-request  education  distributed-systems 

Şaşırtıcı sayıda sorun, doğrusal programlamaya (LP) oldukça doğal indirgenmelere sahiptir. Ağ akışları, iki taraflı eşleştirme, sıfır toplamlı oyunlar, en kısa yollar, bir lineer regresyon şekli ve hatta devre değerlendirmesi gibi örnekler için [1] Bölüm 7'ye bakın ! Devre değerlendirme lineer programlama azalttığı için, herhangi bir sorun, doğrusal bir programlama formülasyonu …

24 algorithms  reductions  sorting  linear-programming 

Verilmiş olan ve v değerlerine sahip bir madeni para seti göz önüne alındığında v değerini temsil etmek için gereken en az sayıda madeni para bulmak istersiniz.c 1 , . . . , C , nc1,...,cnc1, ... , cn Örneğin, 1,5,10,20 madeni para birimi için bu, toplam 19 için 6 ve …

24 algorithms  combinatorics  greedy-algorithms 

Çok sayıda doğal sayının X olduğu göz önüne alındığında, olası tüm toplamların kümesini düşünün: toplamlar (X) = { ∑i ∈ birben|A ⊆ X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Örneğin, toplamlar ( { 1 , 5 } )= { 0 , 1 , 5 , 6 …

24 algorithms  optimization  combinatorics  integers 

Rastgele bir sıraya göre bir öğe listesi üretmenin iki yolu var ve eşit derecede adil (tarafsız) olup olmadıklarını belirlemek istiyorum. Kullandığım ilk yöntem, tüm öğelerin listesini oluşturmak ve ardından üzerinde bir karıştırmak (bir Fisher-Yates karıştırması demek). İkinci yöntem, listeyi her girişte karıştırılmış tutan bir yinelemeli yöntemdir. Sahte kodda ekleme işlevi: …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Şu anda yönlendirilmiş grafiklerde en kısa yolları inceliyorum. Dijkstra veya bellman-ford's gibi bir ağdaki en kısa yolu bulmak için birçok etkili algoritma vardır. Peki ya grafik dinamikse? Dinamik derken, programın çalışması sırasında köşeleri ekleyebileceğimizi veya çıkarabileceğimizi kastediyorum. Bir köşe gelen kısa yolları güncellemek için etkin bir algoritma bulmaya çalışıyorum her …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

DFA'ların ifade gücündeki NFA'lara eşdeğer olduğunu biliyoruz; en kötü durumda bize veriyor (ne yazık ki şimdi bu algoritmanın mucit biliyor musunuz) DFAs için NFA'ler dönüştürmek için bilinen bir algoritma da var bizim NFA olsaydı, devletleri S devletler.2S2S2^SSSS Sorum şu: En kötü durum senaryosunu belirleyen nedir? İşte belirsizlik durumunda bir algoritmanın …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Daha yeni ilginç bir sorum vardı. İnsanoğlunun bildiği en hızlı büyüyen fonksiyon nedir? Öyle mi meşgul kunduz ? Biz gibi işlevleri biliyorum x2x2x^2 , ancak bu işlev …

24 computability