Bilgisayar Bilimi

Aşağıdaki resimde, bu NFA'nın tam olarak neyi kabul ettiğini anlamaya çalışıyorum. Beni şey q 0'da ϵ sıçrama .ϵϵ\epsilonq0q0q_0 Bir Eğer girilirse, hem sistem hareket yapar q 0 ve q 1 (devlet kabul)?000q0q0q_0 q1q1q_1 Bir ederse girilirse, hem sistem hareket yapar q 1 ve q 2 ?111q1q1q_1q2q2q_2 Herhangi bir girdi verilmemişse …

12 automata  finite-automata  nondeterminism 

Amaç, normal bir ifadeden DFA oluşturmak ve "Normal exp> NFA> DFA dönüşümü" kullanmak bir seçenek değildir. Kişi bunu nasıl yapmalı? Bu soruyu profesörümüze sordum ama sezgiyi kullanabileceğimizi ve herhangi bir açıklama yapmayı reddettiğimizi söyledi. Bu yüzden size sormak istedim. "Normal exp> NFA> DFA dönüşümü" bir seçenek değildir, çünkü böyle bir …

12 automata  finite-automata  regular-expressions  simulation 

Hesaplama karmaşıklığıyla ilgili bazı blogları okurken (örneğin burada ) İki grubun izomorfik olup olmadığına karar vermenin iki grafiği izomorfizm için test etmekten daha kolay olduğu fikrini özümsedim. Örneğin, belirtilen sayfada, grafik izomorfizminin grup izomorfizminden daha genel bir sorun olduğunu söylüyor. Bu yüzden aşağıdakileri poz ediyorum Bir grubu verildiğinde , birisi …

12 complexity-theory  graph-isomorphism  group-theory 

Derleme zamanı olan her şeyi seviyorum ve bir programı derledikten sonra yürütülmesi hakkında birçok garanti verildiği fikrini seviyorum. Genel olarak konuşursak, statik tip bir sistem (Haskell, C ++, ...) herhangi bir dinamik tip sistemden daha güçlü derleme zamanı garantileri vermektedir. Anladığım kadarıyla Ada, zaman kontrolünü derleme konusunda daha da ileri …

12 programming-languages  type-theory  type-checking  software-verification 

Sormam gereken çok genel bir sorum var. Araştırma ile ilgilidir. Grafik teorisi ile ilgileniyorum. İçinde bir kurs yaptım. Bir matematik öğrencisi olarak yapmanın bir bakış açısı olarak hem grafik teorisi ile ilgili bazı konular yaptım hem de bazı grafik algoritmaları üzerinde çalıştım. Grafik teorisinde araştırma stajı yapacağım. Fakat aklımda, grafik …

12 graph-theory  graphs 

Bu soruya rastladım: "Birliklerinin normal bir dil üretmediği iki normal dilden örnekler verin." Bu benim için oldukça şok edici çünkü düzenli dillerin birlik altında kapalı olduğuna inanıyorum. Bu yüzden iki normal dil ve sendikayı onları alırsan, bunun bana vasıta olmalıdır düzenli bir dil olsun. Sanırım bunun kanıtını anlıyorum: Sözlerimde, diller …

12 formal-languages  regular-languages  closure-properties 

En kötü durum asimptotik çalışma zamanı açısından, hangi NP-tamamlama problemi en hızlı (kesin) algoritmaya sahiptir ve algoritma nedir? den daha hızlı bilinen bir şey var mı ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

bir yönsüz grafik sahip olduğu ağaç sorunu kapsayan bir -bounded G ( V , E ) ve her köşe en derecesine sahip olacak şekilde, bir kapsayan ağaç var olup olmadığına karar gerekir k .kkkG(V,E)G(V,E)G(V,E)kkk vakası için bunun Hamilton yolu problemi olduğunun farkındayım . Ancak k > 2 olan durumlarda sorun …

12 spanning-trees 

Bu soruyu sormamın yanı sıra sorduğum gerçeği açıkça anlayacak olan naifeyi affedin. Matematikçiler teoride en basit / en güzel temel olduğu için tipik olarak kullanırlar (matematik nedeniyle). Ancak bilgisayarlar her şeyi ikili olarak yapıyor gibi görünüyor, bu yüzden bir makinede hesaplamak daha hızlı mı?tecrübeexp\exp2**xMath::exp(x)

12 binary-arithmetic  numerical-analysis  numeral-representations 

Bir dizi noktam var ve her D noktası ( P i , P j ) arasındaki mesafeye sahibim . Bu mesafeler öklididir ancak noktalar aslında bir özellik uzayındadır.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) Gönderen noktalarının Ben bir alt kümesini seçmek istiyorum n puan. Bu alt kümeye s . Ben yeni bir dizi noktalar tüm arasındaki …

12 optimization 

Birkaç yıl önce analog bilgisayarlarımız vardı. Günümüzde bilgisayarlar Dijital'tir. Kuantum bilgisayarlar ne olacak? Analog veya dijital mi? Bunu soruyorum çünkü qubit aynı anda birçok şey olabilir.

12 quantum-computing 

25k cümle 5k değişken SAT sorunu çözmeye çalışıyorum. Bir saattir koşuyor (precosat) ve daha sonra daha büyük olanları çözmek istiyorum, çok çekirdekli bir SAT Çözücü arıyorum. Birçok SAT Çözücü olduğu için oldukça kayboldum. Biri bana davam için en iyisini gösterebilir mi? Birisi bana yaklaşık zamanı verebilirse de mutlu olurum (mümkünse).

12 algorithms  reference-request  parallel-computing  sat-solvers 

Tex üzerine bir yorum SE beni şaşırttı . İfade aslında: X dilinde X için bir derleyici yazabilirsem, X Turing-complete'tur. Hesaplanabilirlik ve biçimsel diller açısından: Eğer karar L ⊆ L , T , E ve ⟨ M ⟩ ∈ L , daha sonra F L = R, E .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle …

12 computability  turing-completeness 

Çöp koleksiyonları, geri kazanılabilecek belleği bulmak için canlı olan tüm nesneleri ziyaret etmelidir. (Birçok neslin olması bunu biraz geciktirir) Her şey eşit olduğunda, daha önce RAM'e disk belleği olan nesneyi ziyaret etmek, diğer bloğu içeri girmeden ve bu nedenle bir nesneyi disk belleği dışına çıkarmak daha iyidir. Diğer bir olasılık, …

12 memory-management  paging  garbage-collection 

Öncelikle, aşağıdaki metnimin hata içerebileceğini söylemek istiyorum, bu yüzden soruyu formülasyonumdaki hataları belirtmekten çekinmeyin. Bu sözdizimi ile terimleri verilen booleans ve if-ifadeleri ile türlenmemiş bir lambda hesabı düşünün: t ::= v | t t | if t t t | x v ::= \x.t | #t | #f Bu durumda …

12 programming-languages  lambda-calculus