Bilgisayar Bilimi

Sorun Giriş uzunluğu ile ilgili olarak çalışma zamanını bilen bir Turing makinesi verildiğinde , nin çalışma zamanı midir?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Yukarıdaki problem bazı önemsiz ve çiftleri için karar verilebilir mi? ise bir çözüm önemsizdir .gggfffg(n)∈O(f(n))g(n)∈O(f(n))g(n) \in O(f(n)) Bu sorunla ilgilidir P çalışma zamanı sınırları karar verilebilir mi? (cevap: hayır) . …

14 complexity-theory  time-complexity 

Eşdeğer durumları bulup birleştirerek DFA'ları en aza indirebileceğimizi biliyorum, ancak NFA'larla neden aynısını yapamıyoruz? Bir kanıt veya benzeri bir şey aramıyorum - bir kanıtın anlaşılması daha kolay olmadıkça. Sadece sezgisel olarak DFA minimizasyonunun neden bu kadar zor olmadığını anlamak istiyorum.

14 complexity-theory  finite-automata  nondeterminism 

Eşit sayıda 0 ve 1 içeren kelimelerin dilinin düzenli olmadığı, oysa eşit sayıda 001 ve 100 içeren kelimelerin dilinin düzenli olduğu bilinmektedir ( buraya bakınız ). İki kelime , eşit sayıda ve içeren kelimelerin dilinin düzenli olup olmadığı karar verilebilir mi?w 1 w 2w1, w2w1,w2w_1,w_2w1w1w_1w2w2w_2

14 regular-languages  undecidability 

Bazı küçük sabit d (3 veya 4 gibi) n köşeleri için d-düzenli genişletici grafik oluşturmak gerekir. Uygulamada bunu yapmanın en kolay yolu nedir? Bir genişletici olduğu kanıtlanmış rastgele bir d-düzenli grafik oluşturmak mı? Margulis yapıları ve genişletici olan Ramanujan grafikleri ve zig-zag ürünü kullanan bir yapı hakkında da okudum. Wikipedia …

14 graph-theory  combinatorics  cryptography  discrete-mathematics  expanders 

Aşağıdaki sorunun karar verilebilir olup olmadığını bilmek istiyorum: Eşgörünüm: n durumlu bir NFA A Soru: A'nın bazı uzunluk dizesini kabul etmesi için bir asal sayı p var mı? Benim inancım, bu sorunun çözülemez olduğu, ancak kanıtlayamıyorum. Karar verici, belirli bir sayının asal olup olmadığını anlamak için kolayca bir algoritmaya sahip …

14 computability  finite-automata 

Benzetme tavlama algoritmamda farklı başlangıç ​​sıcaklıkları üzerinde bazı testler yaptım ve başlangıç ​​sıcaklığının algoritmanın performansı üzerinde bir etkisi olduğunu fark ettim. İyi bir başlangıç ​​sıcaklığı hesaplamanın herhangi bir yolu var mı?

14 optimization  artificial-intelligence  heuristics 

Varsayalım biz verilir belirgin tamsayılar bir 1 , bir 2 , ... , bir n , öyle ki 0 ≤ a i ≤ k , n bazı sabiti için k > 0 , ve herkes için i .nnnbir1, bir2, … , Birna1,a2,…,ana_1, a_2, \dots, a_n0 ≤ aben≤ k n0≤ai≤kn0 \le …

14 algorithms  time-complexity  fourier-transform 

Numaralı topları olan bir tüp verildi (rastgele). Tüpün bir topu çıkarmak için delikleri vardır. Bir işlem için aşağıdaki adımları göz önünde bulundurun: Deliklerden bir veya daha fazla top seçebilir ve topları seçtiğiniz sırayı hatırlayabilirsiniz. Borudaki kalan topların sola doğru kayması ve topların çıkarılmasıyla oluşturulan boş alanı işgal etmesi için boruyu …

14 sorting  permutations 

Uygulamalı sıra: Fonksiyonun kendisini değerlendirmeden önce bir fonksiyonun argümanlarını daima tam olarak değerlendirin, örneğin - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 Normal düzen: İfade, …

14 logic  lambda-calculus  normal-forms 

Bir grafik problemini çözmeye çalışıyorum (ödev için değil, sadece becerilerimi uygulamak için). Bir DAG verilir, burada , köşe kümesidir ve kenarlardır. Böylece grafik, bir bitişiklik listesi olarak temsil edilir tüm bağlantılarını ihtiva eden bir dizi . Benim görevim v'de her köşe den hangi köşe noktalarına erişilebildiğini bulmak . Kullandığım çözüm …

14 algorithms  graph-theory  graphs 

Ben CS olmayan bir mezunum ve çalışma alanım CS ile ilgisi yok. Bununla birlikte, bir bilgisayar bilimcisi olmak için daha büyük bir planın parçası olarak, CS ile ilgili olduğu için teorik bilgisayar bilimi ve matematikte sağlam bir arka plan elde etmek istiyorum. Çok fazla araştırma yaptım ve CS ve matematik …

14 books 

Bellman-Ford algoritması kaynak bir kısa yol belirler diğer vertices. Başlangıçta s ve diğer tüm köşeler arasındaki mesafe ∞ olarak ayarlanır . Daha sonra s'den her tepe noktasına en kısa yol hesaplanır; bu devam ediyor | V | - 1 yineleme. Sorularım:ssssss∞∞\inftysss|V|−1|V|−1|V|-1 Neden olması gerekiyor yineleme?|V|−1|V|−1|V|-1 Kenarları farklı bir sırada kontrol …

14 algorithms  shortest-path 

Eğer aslında yapar eşit , bu hızlı faktör tamsayılar bizim algoritmalar geliştirmek nasıl. Başka bir deyişle, bu gerçek bize tamsayı çarpanlarına ayırma yöntemini daha iyi anlamada ne tür bir fikir verecektir?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Aşağıdaki özelliklere sahip n-bit sayılardan n-bit sayılara bir işlev olup olmadığını bilmek istiyorum :fff fff yönlü olmalı Hem hem de oldukça hızlı hesaplanabilir olmalıdırffff−1f−1f^{-1} fff , girdisiyle anlamlı bir korelasyonu olmayan bir sayı döndürmelidir. Gerekçe şudur: Veriler üzerinde çalışan bir program yazmak istiyorum. Verilerin bazı bilgileri, arama anahtarının bir alfabenin …

14 binary-trees  hash  binary-arithmetic 

Ben "benzersiz" veya "benzerlik" değer bir tür hesaplamak için gereken n kümeleri bir grup var. Jaccard endeksine uygun bir metrik olarak yerleştim . Ne yazık ki, Jaccard endeksi bir seferde sadece iki sette çalışır. Bütün arasındaki benzerliği hesaplamak için setleri, bunun sırasına göre gerektirecektir n 2 Jaccard hesaplamaları.nnnn2n2n^2 (Eğer yardımcı …

14 algorithms  time-complexity