Bilgisayar Bilimi

Bu aptalca bir soru olabilir. Bir FSA'nın sınırlı olduğu için giriş dizisindeki sembol sayısını yalnızca durum sayısıyla sınırlanmış bir sayıya kadar sayabileceği açıktır. Ancak şimdi FSA'yı çıktı (örneğin yazdırma) yetenekleriyle donattığımızı varsayalım. Bu durumda, okuduğu her sembol için bir sembol yazdırabilen bir makine inşa etmek çok kolay olacaktır. Bu sayım …

11 automata  finite-automata 

Adil kek kesme sorununun olağan ifadesi, tüm oyuncunun aynı anda payını aldığını varsayar . Bununla birlikte, birçok durumda oyuncular kademeli olarak gelir. Örneğin, bir pastayı oyuncuya bölebiliriz , ancak sonra yeni bir oyuncu gelir ve bir hisse ister.nnnnnnn Adil kek bölümü genellikle çok fazla çaba gerektirir (örneğin, oyuncuların birçok soruyu …

11 algorithms  game-theory  online-algorithms 

Herhangi bir fotoğraf için, fotoğraf çekilirken güneşin parlayıp parlamadığını algoritmik olarak nasıl tespit edersiniz? Örnekler Dağın tepesinde bu web kamerasından bir örnek : Açıkçası güneş parlıyor. Bu diğer örnekte çok daha az belirgin: Merkezdeki şapeldeki küçük kilise kulesini tespit etmeye çalışarak sisli olup olmadığını muhtemelen oldukça kolay bir şekilde tespit …

11 algorithms  image-processing 

Bu Dragon kitabından bir soru (Çeviri hataları için özür dilerim, elimizde İngilizce sürüm yok): Bu dilbilgisi hangi dili üretiyor? S→ a Sb S∣ b Sa S∣ ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Burada ne yapmam gerektiğini bilmiyorum. Kitaptaki diller hakkındaki tanım bunu söylüyor …

11 formal-languages  context-free  formal-grammars 

Muhtemelen eşit olmayan uzunluklarda iki tamsayı vektörü verildiğinde, boyut farkını telafi etmek için daha kısa vektöre eklenmiş sıfırlar eklenmiş iki vektör arasındaki karşılık gelen sayı çiftleri arasındaki maksimum sayıyı seçerek mümkün olan maksimum sonucu nasıl belirleyebilirim? Örneğin, aşağıdaki iki vektörü girdi olarak düşünün: [8 1 4 5] [7 3 6] …

11 algorithms  optimization 

F # Öğrenme ile ilgili bir yorumda : Diğer programlama dillerini kullanan hangi kitaplar fonksiyonel kavramları öğrenmek için F # 'a çevrilebilir? Makarius şunları söyledi: "CPS" yaklaşımının SML / NJ'deki performansa büyük zarar verdiğini unutmayın. Fiziksel değerlendirme modeli, donanıma dahil edilmiş çok fazla varsayımı ihlal eder. Isabelle / HOL gibi …

11 compilers  functional-programming  proof-assistants  continuations 

Verilen iş J 1 , J 2 , . . . , J n , her işin tamamlanması için T i > 0 , T i ∈ N süresi gerekir.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Her iş, bir seferde yalnızca 1 işi işleyebilen tek bir makine M tarafından önceden işlenmeli …

11 complexity-theory  reference-request  scheduling 

Bana verilen çift harfler (aa, bb) veya çift harfler (aa, bb) ile biten ile başlayan tüm girdileri kabul eden bir DFA, yapma basit bir sorun var Σ = { a , b }Σ={a,b}\Sigma =\{a, b\} Verilen dilin alfabesi setini edilir. Bunu dolambaçlı bir şekilde çözmeye çalıştım: Düzenli bir ifade oluşturma …

11 automata  finite-automata 

Let diline karar veren (tanımak istemiyorum) bir Turing makinesi R var mı?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset burada da çalışması gerektiğini göstermek için kullanılan aynı teknik gibi görünüyor .{A∣A is a …

11 turing-machines  computability  undecidability 

Örneğin, ben biliyorum olmayan normal dil içindedir . Bunun gibi daha fazla örnek bilmek istiyorum.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Kübik üçgen içermeyen grafiklerde maksimum bağımsız kümenin NP-tam olduğunu biliyorum. Hala NP-tam durumda tam olarak boyutta olması bağımsız set gerektirir mi ?| V| / 2|V|/2|V|/2 Temel olarak, YES kübik üçgen içermeyen grafikler sorunu bağımsız set sorunu örneği tam olarak olmalıdır düğüm. NO örneğinin bağımsız bir boyut kümesi | V | …

11 complexity-theory  np-complete 

Birden çok desen aramayı destekleyen dize arama algoritmaları üzerinde çalışıyorum. Çalışma süresi açısından en güçlü adaylar gibi görünen iki algoritma buldum: Aho-Corasick ve Rabin-Karp . Ancak, iki algoritma arasında kapsamlı bir karşılaştırma bulamadım. Hangi algoritma daha verimli? Ayrıca, hangisi paralel hesaplama ve çoklu kalıp arama için daha uygundur? Son olarak, …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Yinelenen n'den k öğelerini seçmeye eşdeğer zaman karmaşıklığına sahip yinelemeli bir algoritmaya sahibim ve daha basit bir big-O ifadesi elde edip edemeyeceğimi merak ediyordum. Benim durumumda, kkknnn büyük olabilir ve bağımsız olarak büyürler. Özellikle, bazı açık üstel ifade beklenir. Şimdiye kadar bulabildiğim en iyi şey Stirling'in O(n!)≈O((n/2)n)O(n!)≈O((n/2)n)O(n!) \approx O((n/2)^n) yaklaşımına …

11 asymptotics  combinatorics  runtime-analysis 

Çok değişkenli fonksiyonlar için asimptotik analiz (büyük o, küçük o, büyük teta, büyük teta vb.) Nasıl tanımlanır? Wikipedia makalesinin bir bölümü olduğunu biliyorum, ancak bilmediğim birçok matematiksel gösterim kullanıyor. Ayrıca şu makaleyi de buldum: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Ancak makale çok uzundur ve sadece bir tanım vermek yerine asimtotik analizlerin tam bir analizini …

11 asymptotics  landau-notation 

Aşağıdaki sorun için bir algoritma var mı: Turing makinesi verilen dil karar L , Turing makinesi mi M 2 karar L olacak şekilde T 2 ( n ) = O ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=Ö(t1(n))t_2(n) = o(t_1(n)) Fonksiyonları …

11 complexity-theory  computability  undecidability  decision-problem