Bilgisayar Bilimi

A ve B'nin A ⊆ B ile dil olmasına izin verin ve B Turing tarafından tanınabilir. A Turing tarafından tanınamıyor mu? Varsa, herhangi bir örnek var mı?

10 computability 

Bir tamsayıdır verilen farklı tamsayılar üçlü ve ayar S ⊆ { ( i , j , k ) | 1 ≤ i , j , k ≤ n , i ≠ j , j ≠ k , i ≠ k } , ya da hangi bir algoritma bulmak bir permütasyon …

10 algorithms  optimization  scheduling 

Bir Kilise rakamının λ s'yecncnc_n benzediğini anlıyorum . λ z . s (... n kez ...) sλs.λz.sλs.λz.s\lambda s. \lambda z. sszszs\;z . "Fonksiyon daha Bu araçlar bir şeysss uygulanannnn fonksiyonu kezzzz ". işlevinin olası bir tanımı aşağıdadır: t i m e s = λ m . λ n . λ …

10 lambda-calculus  church-numerals 

Belirli bir değişkenin değerini değiştirmenin pahalı olduğu bir CSP modelini düşünün. Arama işlemi sırasında objektif fonksiyonun değişkenin değerindeki değişiklik sayısını da dikkate aldığı herhangi bir çalışma var mı? Bir örnek: Değiştirilmesi pahalı değişken, başka bir ajanın kontrolünde olabilir ve bu ajanın değişkeni değiştirmek için dahil edilmesinin bir yükü vardır. Başka …

10 algorithms  constraint-programming 

Aşağıdaki algoritmik sorun var: Watson-Crick palindromları olan DNA dizilerini tanıma alanının Turing karmaşıklığını belirleyin. Watson-Crick palindromları, ters tamamlayıcısı orijinal dize olan dizelerdir. Tamamlayıcı DNA esinlenerek, mektup-bazlı tanımlanır: A, T tamamlayıcısı olan ve Cı-ACGT WC-palindrom G. basit bir örnek tamamlayıcı olmasıdır. Bunu çözmenin iki yolunu buldum. Biri boşluğu gerektirir .O(n)O(n)\mathcal{O}(n) Makine …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Whitted ışın izleyicide, her ışın-nesne kesişimi, iletilen bir ışın (nesne yarı saydam ise), yansıyan bir ışın ve bir gölge ışın oluşturur. Gölge ışını doğrudan aydınlatma bileşenine katkıda bulunur. Ancak gölge ışını şeffaf bir nesneyle kesişirse ne olur? Doğrudan aydınlatma bileşeni yok sayılıyor mu? Gölge ışınlarından doğrudan ışık katkısı almazlarsa suya …

10 graphics 

Merak ediyorum. OCaml'de bu veri türü üzerinde çalışıyorum : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Hangi açıkça yazılmış özyinelemeli işlevler (oldukça yakın zamanda eklenen bir özellik) kullanılarak manipüle edilebilir. Misal: let rec …

10 logic  programming-languages  coq  inductive-datatypes 

Kodlama teorisinde, 'bir kodun ne kadar iyi olduğu', kodun üstesinden gelebilecek maksimum gürültü seviyesinin kaç kanal hatası düzeltilebileceği veya daha iyi ifade edilebileceği anlamına gelir. Daha iyi kodlar elde etmek için kodlar (ikili kod yerine) büyük bir alfabe kullanılarak tasarlanır. Ve sonra, kod büyük oranda hatalı "sembollerle" başa çıkabilirse iyidir. …

10 information-theory  coding-theory 

Tamam, işte burada Hesaplama Teorisi sınıfımdaki geçmiş bir testten bir soru: TM'deki işe yaramaz durum, herhangi bir giriş dizesine asla girilmeyen durumdur. Let un kararsız olduğunu kanıtlayın .USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a …

10 computability  undecidability  formal-methods  turing-machines 

Başlangıçta matematikte.SE ama orada cevaplanmamış. Aşağıdaki algoritmayı düşünün. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while burada u, …

10 algorithms  loop-invariants  correctness-proof 

Let terminali ve kümesi , bazı serbest içerik terminal olmayan semboller grubu .N GΣΣ\SigmaNNNGGG Diyelim ki dizgim var ki xay \ in \ mathcal {S} (G) burada x, y \ in (\ Sigma \ cup N) ^ * ve \ mathcal {S } (G) arasında tümce formlarıdır G . x …

10 algorithms  context-free  formal-grammars  compilers 

Aşağıdaki nüksün aşağıdaki kanıtıyla neyin yanlış olduğunu anlamaya çalışıyorum T(n)≤2(c⌊nT(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T( n ) ≤ 2 ( c ⌊ n2⌋ ) +n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) Dokümantasyon çünkü o endüktif varsayımın yanlış olduğunu söylüyor Am ben eksik?T( n ) ≤ c nT(n)≤cn T(n) \leq …

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Yaz n¯n¯\bar n ondalık genişlemesi için nnn (hayır lider ile 0). Let aaa ve bbb ile tamsayılar olmak a>0a>0a > 0 . aaa artı sabitinin katlarının ondalık genişlemelerinin dilini düşünün : M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Mı MMM düzenli? bağlamdan bağımsız? ( Afin fonksiyon grafiğinin dili ile kontrast …

10 formal-languages  context-free  regular-languages  integers 

İki seviyeli zamanlama , bir sistem RAM'e sığmaktan daha fazla işlem çalıştırdığında yararlıdır: daha düşük seviyeli bir zamanlayıcı yerleşik işlemler arasında geçiş yapar ve daha yüksek seviyeli bir zamanlayıcı süreç gruplarını içeri ve dışarı değiştirir. Andrew Tanenbaum'un İşletim Sistemleri: Tasarım ve Uygulama , 1. baskı. Alıştırma 2.22, iki seviyeli programlamanın …

10 operating-systems  process-scheduling 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımıza uygun değil. Yanıtların gerçekler, referanslar veya uzmanlık tarafından desteklenmesini bekliyoruz, ancak bu soru muhtemelen tartışma, tartışma, oylama veya genişletilmiş tartışma talep edecektir. Bu sorunun çözülebileceğini ve muhtemelen yeniden açılabileceğini düşünüyorsanız, yardım için yardım merkezini ziyaret edin . 8 yıl önce kapalı . …

10 education