Bilgisayar Bilimi

Yönlendirilmemiş sonlu bir seyrek grafiğim olduğunu ve aşağıdaki sorguları verimli bir şekilde çalıştırabilmem gerektiğini varsayalım: bensCo n n e c t ed(N-1,N-2)bensCÖnnected(N-1,N-2)IsConnected(N_1, N_2) - ve arasında bir yol varsa değerini döndürür , aksi takdirdeTTTN-1N-1N_1N-2N-2N_2FFF Co n n e c t e dN-o de s ( N)CÖnnectedN-Ödes(N-)ConnectedNodes(N) - erişilebilen düğüm kümesini …

9 algorithms  graph-theory  graphs  data-structures 

Herkes bana tam olarak habersiz RAM'in ne olduğunu açıklayabilir mi? Bunu açıklığa kavuşturan aşağıdaki açıklamayı buldum , ancak teknik yönleri anlamak istiyorum: Şifreleme, gizliliği sağlamak için her zaman yeterli değildir. Eğer bir rakip şifreli depolamaya erişim kalıplarınızı gözlemleyebilirse yine de uygulamalarınızın ne yaptığına ilişkin hassas bilgileri öğrenebilir. Habersiz RAM, bu …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Valiant ve Vazirani, SAT'ın polinom zamanında rasgele olasılıklı indirimler altında BENZERSİZ SAT'a indirgenebileceğini kanıtladı. Calabro ve diğ . EŞSİZ k-SAT'ın k-SAT kadar sert olduğunu gösterdi. Şimdi soru şu, eğer birisi EŞSİZ k-SAT'ın P'de olduğunu gösteriyorsa, P = NP anlamına mı geliyor? Referanslar LG Valiant ve VV Vazirani, "NP benzersiz çözümleri …

9 complexity-theory  satisfiability  p-vs-np 

Günlük hayatımda bir programcı olarak çalışmam ve tüm moda dilleri (Python, Java, C, vb.) Kullanmama rağmen, işlevsel programlamanın ne olduğu konusunda net bir fikrim yok. Okuduğum kadarıyla, işlevsel dillerin bir özelliği veri yapılarının değişmez olmasıdır . Benim için bu tek başına pek çok soru getiriyor. Ama önce değişmezliği anladığımdan biraz …

9 data-structures  functional-programming 

Bize bir koleksiyon verildiğini varsayalım nnn Teller, S1, … ,SnS1,...,SnS_1,\dots,S_n. Bu dizelerden herhangi birinin koleksiyondaki başka bir dizenin bir alt dizesi olup olmadığını bilmek istiyorum. Başka bir deyişle, aşağıdaki görev için bir algoritma istiyorum: Giriş: S1, … ,SnS1,...,SnS_1,\dots,S_n Çıktı: i , j,ben,ji,j öyle ki SbenSbenS_i bir alt dizesi SjSjS_j ve …

9 algorithms  strings  efficiency  substrings 

Bu sorunun bir adı olup olmadığını merak ediyordum: Kenarları kırmızı, mavi ve yeşil renkli basit bir grafik göz önüne alındığında, , bir köşe boyama var her kenarın aynı renkte bir uç noktası var mı?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Ayrıca, bunun NP-tam olduğu biliniyor mu? Bu, her bir kısıtlamanın üç değerden birini …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Bir sinir ağının ağırlıklarını bir momentum terimiyle backpagagation algoritmasını kullanarak güncellerken, öğrenme hızı momentum terimine de uygulanmalı mıdır? Momentum kullanımıyla ilgili bulabildiğim bilgilerin çoğu, aşağıdaki gibi görünen denklemlere sahiptir: W′i=Wi−αΔWi+μΔWi−1Wi′=Wi−αΔWi+μΔWi−1W_{i}' = W_{i} - \alpha \Delta W_i + \mu \Delta W_{i-1} nerede αα\alpha öğrenme oranıdır ve μμ\mu momentum terimi. Eğer μμ\mu …

9 machine-learning  neural-networks 

@ Babou'nun yakın zamandaki bir soruya vereceği cevap , bir keresinde veri akışı analizinin denkliği (hem çıkarılabilir veya kanıtlanabilir gerçekler hem de çıkarım algoritmasını çalıştırmanın zaman karmaşıklığı açısından) hakkında bir makale okuduğumu hatırlatıyor , soyut yorumlama ve tür çıkarımı . Bazı alt durumlarda (ileri bağlama duyarlı prosedürler arası veri akışı …

9 reference-request  compilers  type-inference  program-optimization 

Yazılım Temelleri'nde şu alıştırma yapıyorum : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL …

9 coq 

Bazı ARM işlemcileri için hobi işletim sistemi yazmayı düşünüyorum. ARM MPU ile birçok popüler tek kartlı bilgisayar var, bu yüzden bunlardan birini satın almak istedim (daha açık belgelere sahip bir tane seçerek). Gerçekten yeterli belleğe sahip kartlarda bile Bellek Yönetim Birimi ile MPU bulunmadığını öğrendiğimde şaşırdım. Her zaman i386 + …

9 operating-systems  memory-management  memory-hardware  os-kernel 

Aşağıdaki sorunu düşünün: İzin Vermek S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} doğal sayıların sonlu bir alt kümesi olabilir. İzin Vermek G={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j) | si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j \} nerede gcd(x,y)gcd(x,y)gcd(x,y) en büyük ortak bölen xxx ve yyy Öğesinin maksimum öğesini bulun …

9 algorithms  number-theory 

Earley vektörünü tanıyıcı olarak kullanmak oldukça basittir: ipin sonuna ulaşıldığında, 0 konumunda başlayan tamamlanmış bir aksiyomatik üretimi kontrol etmeniz gerekir. En az bir tane varsa, o zaman dize kabul edilir. Ayrıştırma ağaç (lar) ını yeniden oluşturmak için Earley vektörünü kullanmak daha az belirgindir. Aslında, bir algoritmik prosedürün nasıl çalışacağını anlayamıyorum, …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Bu soru olasılık teorisinin ve hesaplama karmaşıklığının kesişimi ile ilgilidir. Önemli bir gözlem, bazı dağılımların üretilmesinin diğerlerinden daha kolay olduğudur. Örneğin, sorun Bir sayısı verildiğinde , ile eşit olarak dağıtılmış bir sayı .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n çözmek kolaydır. Öte yandan, aşağıdaki sorun çok daha zor veya öyle görünüyor. Bir …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Boole işlevi işlevidir .f: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boole temelinin , herhangi bir dizinin çevrilmesine veya değiştirilmemesine izin verdiği için Turing tamamlandığı bilinir . Aynı şey kapıları için de söylenebilir .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}X O RXÖR,\mathrm{XOR} Bu anlamda …

9 turing-machines  turing-completeness  boolean-algebra 

Aşağıdaki soruna bakıyorum: verilmiş nnnsayıların üç boyutlu vektörleri v1, … ,vmv1,...,vmv_1, \ldots, v_m ve bazı girdi vektörleri uuu, dır-dir uuu doğrusal bir kombinasyonu vbenvbenv_idoğal sayı katsayılarıyla mı? yani biraz var mı t1, … ,tm∈ Nt1,...,tm∈N-t_1, \ldots, t_m \in \mathbb{N} nerede u =t1v1+ ⋯ +tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems