Bilgisayar Bilimi

Dijital ardışık devre tasarımlarında FSM kullandım. Ama Sonlu Otomata'yı bilmiyorum. Birisi ikisi arasındaki 'temel' farkı anlamama yardımcı olabilir mi?

16 terminology  automata  finite-automata 

Biz dil olduğunu söylemek olan yoğun bir polinom mevcutsa p böyle | J c ∩ Σ n | ≤ s ( n ) için tüm n ∈ N . Başka bir deyişle, herhangi bir uzunluk n için , J'de olmayan, sadece polinom olarak n uzunluğunda birçok kelime vardır .J⊆Σ∗J⊆Σ∗J \subseteq …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Bunun mümkün olup olmadığını merak ediyorum, çünkü . Bu nedenle 'ın geri kalanından ayırabilecek bir PDA da kabul edebilir bu bana çelişkili geliyor.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Sanırım PDA'ların deterministik olmayan doğasından faydalanmalıyım ama fikirlerim bitti. Bazı tavsiyeler sunabilirseniz çok …

16 formal-languages  automata  context-free  pushdown-automata 

Bu soruda yalnızca tüm girdilerde duran Turing makinelerini ele alıyoruz. Eğer k∈Nk∈Nk \in \mathbb{N} o sırada TkTkT_k kimin kodudur Turing makinesi ifade kkk . Aşağıdaki işlevi göz önünde bulundurun s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} Başka bir deyişle, , dizelerinden birini tam olarak tanıyan en küçük Turing …

16 computability  turing-machines 

Bileşik türü ve sadece kısmen sipariş öncelikli bazı nesneler var . Bu öncelik sırasına göre nesneleri seçmek gerekir (yani her zaman en az öğe verim ). Ancak keyfi olarak siparişi tamamlamak yerine, sıranın birden fazla minimal öğe varsa, ilk önce en eski olanı döndürmesi anlamında kararlı olmasını tercih ederim. Kısmi …

16 data-structures  priority-queues 

Let fff sabit zaman constructable fonksiyon olsun. TM'ler için klasik evrensel simülasyon sonucu (Hennie ve Stearns, 1966), verilen iki bantlı TM olduğunu belirtir.UUU bir TM açıklaması ve⟨M⟩⟨M⟩\langle M \rangle bir giriş dizesi ,xxx adımları için çalışır ve üzerinde cevabını döndürür . Ve içinde herhangi bir fonksiyon olarak alınabilir .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Tip 3 Dilbilgisi varsa, aşağı açılan bir otomatta (yığın üzerinde herhangi bir işlem yapmadan) temsil edilebilir, böylece bağlamsız dilleri kullanarak düzenli ifadeleri temsil edebilirim. Ama tip 3 dilbilgisinin ayrıştırma tablosu oluşturmadan , L L ( 1 ) , S L R ( 1 ) vb.L R ( 1 )LR,(1)LR(1)L L …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Mark de Berg ve arkadaşlarının "Hesaplamalı Geometri: Algoritmalar ve Uygulamaları" kitabında Delaunay üçgenlemlerini hesaplamak için çok basit bir kaba kuvvet algoritması var. Algoritma, geçerli bir Delaunay üçgenlemesinde görünmeyebilecek ve başka bazı kenarlarla değiştirilmesi gereken yasadışı kenarlar kavramını kullanır . Her adımda, algoritma yalnızca bu yasadışı kenarları bulur ve yasadışı kenarlar …

16 algorithms  time-complexity  algorithm-analysis  computational-geometry  runtime-analysis 

Giriş Adım bir Standart bir backpropegating sinir ağı yazdım ve test etmek için XOR haritasını çıkarmaya karar verdim. 2-2-1 ağdır (tanh aktivasyon fonksiyonu ile) X1 M1 O1 X2 M2 B1 B2 Test amacıyla, üst orta nöronu (M1) bir AND geçidi ve alt nöronu (M2) bir OR geçidi olarak ayarladım (her …

16 machine-learning  neural-networks 

Tanım : bir çokgen PPP düzlemindeki bir düz çizgi ile ilgili olarak monoton olarak adlandırılır LLL ise ortogonal her satır, LLL kesiştiği PPP en fazla iki kez. Bir çokgen verilen PPP , herhangi bir çizgi olup olmadığını belirlemek mümkündür LLL , örneğin çokgen bu PPP ile ilgili olarak bir monoton …

16 algorithms  computational-geometry 

Bize 2 boyutlu noktalar verilir ve k tamsayısı . En büyük dairenin yarıçapı mümkün olduğunca küçük olacak şekilde tüm n noktalarını çevreleyen bir k dairesi koleksiyonu bulmalıyız . Diğer bir deyişle, bir dizi bulmalıyız C = { c 1 , c 2 , ... , c k } ve k …

16 algorithms  computational-geometry 

Bazı önsözler: Eğlence amaçlı bir bilgisayar bilimcisiyim ve çalışan yazılım mühendisiyim. Yani, bu istem sol alanın biraz dışında görünüyorsa affedin - daha iyi bir şeyim olmadığında rutin olarak matematiksel simulcra ve açık problemlerle oynuyorum. Riemann hipotezi ile oynarken , asal boşluğun , önceki her asal sayının katları tarafından oluşturulan tüm …

16 algorithms  reference-request  discrete-mathematics 

Üstel sertlik gibi asimptotik bir alt sınırın genellikle bir problemin "doğası gereği zor" olduğunu ima ettiği düşünülmektedir. "Doğası gereği zor" olan şifrelemenin güvenli olduğu düşünülmektedir. Bununla birlikte, asimptotik bir alt sınır, büyük ama sonlu bir sorunlu örnek sınıfının kolay olma olasılığını (örneğin, 10 1000'den küçük boyutlu tüm örnekler) dışlamaz.10100010100010^{1000} ) …

16 complexity-theory  cryptography  asymptotics 

Gerçekten bu özellik ile mücadele ediyorum: Let olmak tutarlılık alanlarda ve olduğu bir monoton fonksiyonu. , tüm için yalnızca iseX,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) , öyle ki yönlendirilmiş bir kümesidir.DDD Yönlendirilmiş küme şu şekilde tanımlanır: POSETD⊆D⊆D \subseteq yönlendirilmiş bir dizi IFF olan ∃ z ∈ …

16 terminology  programming-languages  semantics 

Diyelim ki geniş bir görev koleksiyonumuz var . . . , Τ nτ1,τ2,...,τnτ1,τ2,...,τn\tau_1, \tau_2, ..., \tau_n ve işlemci (performans açısından) özdeş bir koleksiyon ρ1,ρ2,...,ρmρ1,ρ2,...,ρm\rho_1, \rho_2, ..., \rho_m tamamen paralel çalışır. İlgilendiğiniz senaryolar için olduğunu varsayabiliriz m≤nm≤nm \leq n. Her τiτi\tau_i bir işlemci atanan bir kez tamamlamak için zaman / döngü …

16 probability-theory  scheduling  parallel-computing