Bilgisayar Bilimi

Turing makinesinin (TM) birincil tanımı, en azından kendi referans ders kitabımda (Hopcroft + Ullman 1979) belirleyicidir. Dolayısıyla, durma problemine ilişkin kendi anlayışım öncelikle deterministik TM içindir, ancak diğer otomata türleri için de düşünülebileceğinin farkındayım. Ayrıca determinizmin insanların TM'ye ya da durma problemine sık sık başvurma biçiminde genellikle az ya da …

19 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Aşağıdaki alıntıyla karşılaştığımda Dinamik Programlama üzerine okuyordum Dinamik bir programlama algoritması sorunu çözmek için olası tüm yolları inceleyecek ve en iyi çözümü seçecektir. Bu nedenle, dinamik programlamayı kabaca , en iyisini seçmek için mümkün olan tüm çözümleri gözden geçirmemizi sağlayan akıllı, kaba kuvvet yöntemi olarak düşünebiliriz . Sorunun kapsamı, mümkün …

19 algorithms  terminology  optimization  dynamic-programming 

Bir dilin bağlamdan bağımsız olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin olup olmadığını test edin . Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; dili belirtirseniz …

19 algorithms  formal-languages  context-free  decision-problem 

Aşağıdaki soruya takılıp kaldım: "Düzenli diller tam olarak sonlu otomatalar tarafından kabul edilen dillerdir. Bu gerçek göz önüne alındığında, eğer dili LLLbazı sonlu otomatlar tarafından kabul edilirse, LRLRL^{R} de bir sonlu tarafından kabul edilir; ters LLRLRL^{R} kelimelerinin tümünden oluşur ."LLL

19 formal-languages  regular-languages  automata  finite-automata 

Amacım, girdi ve çıktı ile tanımladığım aşağıdaki sorunu çözmek: Giriş: düğümleri, kaynakları ve lavabo ( ) ile yönlendirilmiş bir asiklik grafikG,G,Gmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Çıktı: VC-boyutu topolojisi ile sinir ağı için (ya da yaklaşık bir) .G,G,G Daha fazla özellik : her bir düğüm sigmoid bir …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

Stackexchange'te soru ve cevaplarda sabit noktaya referanslarla karşılaşmaya devam ediyorum ve web'deki anlamı Wikipedia gibi sitelerde referans buluyorum. Ancak referansların hiçbiri, sabit bir noktanın ne olduğu ve bilgisayar bilimi dünyasında bunun ne anlama geldiğine dair sorumu gerçekten cevaplamıyor.

19 terminology 

Gördüğüm derinlik-ilk aramanın birçok uygulamasında (örneğin: burada ), kod gri bir tepe noktasını (keşfedildi, ancak tüm komşuları ziyaret edilmedi) ve siyah bir tepe noktasını (keşfedildi ve tüm komşuları ziyaret edildi) ayırt ediyor . Bu ayrımın amacı nedir? Görünüşe göre DFS algoritması, ister gri ister siyah olsun, ziyaret edilen bir tepe …

19 algorithms  graphs  search-algorithms  graph-traversal 

Hoare mantığımız var. Neden bir algoritmanın doğru olduğu hala mümkün, ancak doğru olduğuna dair bir kanıt yok? Algoritmanın C ile ifade edildiğini varsayalım. Sonra adım adım yapması gerekeni yaptığını söyleyebiliriz. Benim sorum şu: Bana doğru olan ancak doğruluk kanıtı olmayan bir algoritma örneği verin. EDIT: Ben küçük bir arka plan …

18 correctness-proof  hoare-logic 

Bu yayını geliştirmek mi istiyorsunuz? Alıntılar ve cevabınızın neden doğru olduğuna dair bir açıklama da dahil olmak üzere bu soruya ayrıntılı cevaplar verin. Yeterli ayrıntıya sahip olmayan yanıtlar düzenlenebilir veya silinebilir. Yönlendirilmiş grafiklerde MST algoritmaları, güçlü bağlanabilirlik, yönlendirme vb. Ayrıca son zamanlarda insanlar yönlendirilmiş grafikler için dinamik ve hataya dayanıklı …

18 graphs  graph-theory  fault-tolerance 

"Bir Uyuşmaz Çoğaltılmış JSON Veri Türü" makalesinde , resmi olarak "kurallar" tanımlamak için bu gösterimle karşılaştım: Bu gösterime ne denir? Nasıl okurum? Örneğin: DOCKural onun "payında" bir şey yok - neden olmasın? EXECve GETkurallar Bu ne anlama geliyor, ne çizgisinin üzerinde iki ayrı terim var görünüyor? VARdiğer birçok kural okun …

18 semantics  notation  formal-methods  operational-semantics 

Maksimum akışlı min-kesme teoremi sayesinde, bir -min-cut'u hesaplamak için bir ağ grafiğindeki maksimum akışı hesaplamak için herhangi bir algoritmayı kullanabileceğimizi biliyoruz . Bu nedenle, en az işlem karmaşıklığı maksimum işlem karmaşıklığını daha fazla kes Akışlı.( s , t ) ( s , t )(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) Daha az olabilir mi? Herhangi bir …

18 complexity-theory  reductions  network-flow  graph-algorithms 

Durma problemi genel durumda çözülemez. İzin verilen girdileri kısıtlayan tanımlı kurallar bulmak mümkündür ve durdurma sorunu bu özel durum için çözülebilir mi? Örneğin, döngülere izin vermeyen bir dilin, programın durup durmayacağını söylemek çok kolay olacaktır. Şu anda çözmeye çalıştığım sorun, programın geçerliliğini kontrol eden bir komut dosyası denetleyicisi yapmaya çalışıyorum. …

18 computability  undecidability  software-engineering  formal-methods 

Bazı problem A için zamanında çalışan bir algoritma varsa O(f(n))O(f(n))O(f(n))ve biri zaman içinde çalışan bir algoritma bulursa , O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , burada g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , önceki algoritmaya göre bir gelişme olarak mı değerlendiriliyor? Teorik bilgisayar bilimi bağlamında böyle bir algoritma bulmak mantıklı mı?

18 algorithms 

Şu şekilde hesaplanabilir bir işlevi var mı f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} : Tüm t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Nerede bir uncomputable gerçek sayıdır.XXX Bulduğum bu sorunun tek referansı bu sorunun cevabıydı : /math//a/1052579/168764 , burada fonksiyonun tutacağı anlaşılıyor, ancak bunu nasıl kanıtlayacağımı bilmiyorum bu işlevin sınırı hesaplanamayan gerçek …

18 computability 

Boş hücrelere yazma yeteneği olmayan bir Turing makinesi standart Turing'den daha az güçlü mü? Bence cevap evet ama standart Turing makinesinin yapabileceği bir hesaplama bulamıyorum ama bu makine yapamıyor. Herhangi bir fikir?

18 formal-languages  turing-machines  computability  automata