Bilgisayar Bilimi

Böylece, düzenli olmayan diller olduğunu biliyoruz Düzenli, ama bulabilirim tüm örnekler içeriğe duyarlı değil bağlam serbesttir.L*L∗L^* Hiçbiri yoksa bunu nasıl kanıtlarsınız?

13 formal-languages  context-free  regular-languages 

Tamamen rastgele bir Sudoku üretmek istiyorum . Sudoku ızgarasını, bazı öğelerin atlanabileceği 1 ile 9 arasında tamsayı ızgarası olarak tanımlayın . Bir ızgara, Sudoku kısıtlamalarına (her satır, sütun ve hizalanmış 3 × 3 karenin tekrarlanan bir öğesi yoksa) tamamlamak için benzersiz bir yol varsa ve bu bakımdan minimum ise (yani …

13 algorithms  randomness  sudoku 

Buluşsal yöntem ...h(n)h(n)h (n) Tutarlı düğüm gelen tahmini maliyeti ise hedefe halefi adım maliyetinin daha büyük değildir n ' artı hedefe halefi tahmini maliyetine.nnnn′n′n' asla hedef duruma gerçek maliyeti fazla tahmin etmezse kabul edilebilir .h(n)h(n)h(n) Yapay Zeka dersimin ders kitabı, tutarlılığın kabul edilebilirlikten daha güçlü olduğunu ancak bunu kanıtlamadığını söylüyor …

13 algorithms  shortest-path  heuristics 

POSIX.1-2008 tarafından tanımlandığı şekliyle "Temel Düzenli İfadeler" alternatifi desteklememektedir a|b(bazı grep uygulamaları kaçan sürümü tanımasına rağmen \|). Normal diller tanım gereği birlik altında kapatıldığından POSIX BRE'nin sonlu bir otomattan daha az etkileyici gücü olduğu anlamına mı geliyor? Ya da diğer yapıları kullanarak değişimi simüle etmenin bir yolu var mı?

13 formal-languages  regular-expressions 

Rust gibi eşzamanlı çalışma zamanlarında daha iyi performans göstermeleri için CPU'larda yapılabilecek herhangi bir değişiklik var mı? Örneğin, şube tahmin uygulamalarında veya önbellek boyutlarında eşzamanlı çalışma zamanlarına yardımcı olacak değişiklikler var mı? Mevcut CPU tasarımlarının C gibi prosedürel çalışma zamanları için daha iyi optimize edilebileceği izlenimine sahibim. Bunun yerine eşzamanlı …

13 computer-architecture  concurrency  functional-programming 

Bağımlı yazmayı (DT) düzgün bir şekilde anladığımı düşündüm, ancak bu sorunun cevabı: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-sezgisel-tip-teori , başka türlü düşünmemi sağladı . DT'yi okuduktan ve ne olduklarını anlamaya çalıştıktan sonra merak ediyorum, bu DT kavramı ile ne kazanıyoruz? Tam olarak nasıl "neden / neden" olduğunu anlayamasam da, basitçe yazılan lambda hesabı (STLC) …

13 logic  type-theory  intuition 

Ben NP = CoNP için bu çok basit bir "kanıt" var ve sanırım bir yerde yanlış bir şey yaptım, ama neyin yanlış olduğunu bulamıyorum. Birisi bana yardım edebilir mi? A'nın NP'de bir sorun olmasına ve M'nin A için karar vermesine izin verin. B, tamamlayıcı olsun, yani B, CoNP'de. M bir …

13 complexity-theory  p-vs-np  check-my-proof  np 

Basit layman dilinde bu üç terim izomorfizm, otomorfizm ve homomorfizm arasındaki temel farklar nelerdir ve neden izomorfizm, otomorfizm ve homomorfizm yapıyoruz?

13 graph-theory 

İyi bilinen SAT problemi burada referans uğruna tanımlanmıştır . DOUBLE-SAT sorunu şu şekilde tanımlanır: DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} NP-tam olduğunu nasıl kanıtlarız? Kanıtlamak için birden fazla yol takdir edilecektir.

13 complexity-theory  np-complete  satisfiability 

Dinamik programlama, yinelemeli algoritma gerçekleştirmek için gereken süreyi azaltabilir. Dinamik programlamanın algoritmaların zaman karmaşıklığını azaltmaya yardımcı olabileceğini biliyorum. Genel koşullar, özyinelemeli bir algoritmadan memnun kaldığında, dinamik programlama kullanmanın algoritmanın zaman karmaşıklığını azaltacağı anlamına mı geliyor? Dinamik programlamayı ne zaman kullanmalıyım?

13 algorithms  dynamic-programming  efficiency  algorithm-design 

Ben bir acemiyim (hesaplama karmaşıklığı teorisine tamamen yeni başlayan) ve bir sorum var. Diyelim ki 'Gezgin Satıcı Sorunu' var, aşağıdaki Dijkstra Algoritmaları uygulaması bunu çözecek mi? Bir başlangıç ​​noktasından, iki nokta arasındaki en kısa mesafeyi hesaplıyoruz. Konuya gidiyoruz. Kaynak noktayı siliyoruz. Sonra mevcut noktadan sonraki en kısa mesafe noktasını hesaplıyoruz …

13 algorithms  graphs 

Bir algoritmanın algoritmik karmaşıklığını bildirirken, temeldeki hesaplamaların modern bir CPU'ya yaklaşan bazı soyut makinelerde (örn. RAM) gerçekleştirildiği varsayılır. Bu modeller algoritmaların zaman ve mekan karmaşıklığını rapor etmemizi sağlar. Şimdi, GPGPU'ların yayılmasıyla , bir kişi güç tüketimini de dikkate alabileceği iyi bilinen modeller olup olmadığını merak ediyor. GPU'ların önemli miktarda güç …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Bilgisayar Bilimi Stack Exchange için. 2 yıl önce kapalı . AFAIU türleri Set, öğeleri program propositionolan veya öğeleri Prova olan bir olabilir . Bu anlayışa dayanarak: Inductive prod …

13 dependent-types  coq 

ve boyutlarında iki AAA ve ve hesaplamak istiyorsanız , ilk önce ifadeyi olarak yeniden yazmak daha etkilidir. çünkü ancak o zaman ve sayısal olarak değerlendirmek boyut taşımaktadır ama boyut taşımaktadır .BBB2 × 1000 ( A B ) 5000 A ( B A ) 4999 B A B 1000 × 1000 …

13 optimization  dynamic-programming  linear-algebra 

Okuduğumdan preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Bu PTAS Tanımı: X problemi için bir polinom zaman yaklaştırma şeması ( PTAS ) , zaman karmaşıklığı girdi boyutunda polinom olan …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation