Bilgisayar Bilimi

Let , , , ortak bir alfabe üzerinde tanımlandığını her biri bağlamdan-bağımsız dillerin bir fi nite dizisi olması Σ . Let L arasında fi nite birlik olmak L-1 , L_2 , L_3 , \ nokta ; yani, L = L_1 \ fincan L_2 \ fincan L_3 \ fincan \ nokta …

11 formal-languages  context-free  closure-properties 

Hiyerarşik bir dizin yapısında dosyaları depolamaktan biraz daha fazlasını yapan bazı yerleşik cihazları hedefleyen bir dosya sistemini düşünün. Bu dosya sistemi, unix ve Windows gibi sistemlerde kullanabileceğiniz işlemlerin çoğundan yoksundur (örneğin, erişim izinleri tamamen farklıdır ve dizinlerde depolanan meta verilere bağlı değildir). Bu dosya sistemi herhangi bir sabit bağlantıya veya …

11 operating-systems  filesystems 

Şube tahminde iki farklı tür devlet olduğunu gözlemledim. Şube tahmininin çok önemli olduğu süperskalar yürütmede, gecikme yerine esas olarak yürütme gecikmesindedir. Talimatlar daha sonraya kadar yürütülmediği için getirme işleminin daha sorunlu olduğu talimat kanalında. Bunlardan hangisi çok önemlidir (bunlardan hangisi günümüzde CPU'da gerçekten önemlidir)? Her ikisi de eşit derecede önemliyse …

11 cpu-pipelines  computer-architecture 

Aşağıdaki ifadelerden hangisi doğrudur? bir dilin düzenliliği ile ilgili yeterli ve gerekli koşullar mevcuttur ancak henüz keşfedilmemiştir. Bir dilin düzenliliği hakkında yeterli ve gerekli bir koşul yoktur. Lemma pompalamak, bir dilin düzensizliği için gerekli bir koşuldur. Lemma pompalamak, bir dilin düzensizliği için yeterli bir koşuldur. Biliyorum # (4) doğru ve …

11 formal-languages  regular-languages 

Bir bubblesort'un bu sahte kodunu göz önünde bulundurarak: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Ortalama zaman …

11 algorithms  time-complexity  sorting  average-case 

Teorik olarak hiçbir uygulamanın bulunamayacağı bir programlama dili belirtmek mümkün mü? Programlama dili işlevleri tanımlamanın bir yoludur. Bir uygulama, belirli bir girdiyi, o girdideki programa karşılık gelen işlevin çıktısına verilen bir girdide o dilde yürütmek için bir yöntem anlamına gelir. Böyle bir dilin asgari gereksinimleri nelerdir?

11 formal-languages  computability  programming-languages 

Simetrik bir gerçek matrisi verildiğinde, baştan 1 \ leq i &lt;j &lt;k \ leq n zaman karmaşıklığı ile daha iyi O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

Bu soruda, set ve tip arasındaki farkın ne olduğunu sordum . Bu cevaplar gerçekten açıklayıcıydı (örneğin @AndrejBauer), bu yüzden bilgi susamamda, kategoriler hakkında aynı şeyi sorma cazibesine boyun eğiyorum: Kategori teorisini her okuduğumda (kuşkusuz gayri resmi), set teorisinden somut olarak nasıl farklı olduğunu gerçekten anlayamıyorum . Yani çoğunda somut tam …

11 sets  category-theory 

Anladığım kadarıyla, bir muteksin en popüler uygulamalarının (örn. C ++ 'da std :: mutex) adaleti garanti etmediği - yani, çekişme durumlarında, kilidin iş parçacıkları tarafından sırayla alınacağını garanti etmezler. lock () olarak adlandırılır. Aslında, yüksek çekişme durumlarında, muteksi elde etmeyi bekleyen ipliklerden bazılarının asla elde edemeyeceği (umarım nadir de olsa) …

11 concurrency  synchronization  threads 

Ne indüksiyon-indüksiyon ? Bulduğum kaynaklar: HoTT kitabı , bölüm 5.7'nin sonunda. nLab'ın makalesi adı verilen bir kağıt Endüktif endüktif tanımlar bu blog yazısı ayrıca tümevarımsal-tümevarımcı türlerden de bahseder İlk iki referans benim için çok kısa, son iki referans ise çok teknik. Herkes layman'ın terimiyle açıklayabilir mi? Agda kodu varsa daha …

11 type-theory  induction  inductive-datatypes 

Herkes NP-sertlik kanıtı için bir probleme ihtiyaç duyduğumda referansım olan "Garey &amp; Johnson" ı biliyor. Ancak son zamanlarda kendimi bir APX-sertlik kanıtı ihtiyacına ihtiyacım var ve APX-zor olduğu gösterilen benzer bir sorun (ve daha güncel ..?) Koleksiyonu olup olmadığını merak ediyorum. Böyle bir şey bilen var mı? Sistematik olarak bu …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Tiplerin evrensel ve varoluşsal nicemlemesinin amacını anlamak için uğraşıyorum. Yapılar hesabına dayalı bir oyuncak dili yazarak oynuyorum . Daha iyi bir anlayış edinmeme yardımcı olmak için Morte ve Henk hakkında okuyorum . CoC'nun neden hem lambda hem de forall soyutlaması olduğunu anlamıyorum. ( ∀ X : bir . B )( …

11 lambda-calculus  type-theory  calculus-of-constructions 

Temel olarak, problem, bir dizi için SSS pozitif sayılar, minimum bir sayıda bulmak ddd herhangi bir elemanın bir bölen değildir SSS , yani ∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x . Göstermek n=|S|n=|S|n = |S|ve C=max(S)C=max(S)C = \max(S) . F (x) = x'iF(x)=F(x)=F(x) = bölmeyen en küçük asal …

11 algorithms  number-theory 

Tip teorisini anlamak istiyorum ama önce onu nasıl uygulayabileceğimi bilmeliyim. Programlamada tip sistemlerinden başka tip teorisinin daha belirgin olmayan uygulamaları olabilir mi? Diyelim ki kişilik profillemesinde ve benzerlerinde başka uygulamalar olabilir mi?

11 type-theory  applied-theory 

Karmaşıklık Hayvanat Bahçesi , lineer zamanda deterministik bir Turing makinesi tarafından çözülebilen karar problemleri sınıfı olarak tanımlar .LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P HORN-SAT, de çözülebildiğinden (teklif boynuz formüllerinin tatmin edilebilirliğini test etmek için Doğrusal zaman algoritmalarında belirtildiği gibi (1984) )O(n)O(n)O(n) (Önerme) Boynuz formülünün tatmin edici olup olmadığına karar vermek için yeni …

11 complexity-theory  time-complexity  reductions