Bilgisayar Bilimi

Bağımlılık çözümü için kullandığım Wikipedia makalesine dayalı bir topolojik sıralama uyguladım , ancak doğrusal bir liste döndürür. Bağımsız yolları bulmak için ne tür bir algoritma kullanabilirim?

13 algorithms  graphs  parallel-computing  scheduling 

Benzer bir soruyu cstheory'de sordum . Stackoverflow'daki bu cevaba göre, tembel olmayan bir saf fonksiyonel programlama dilinde bir karmaşıklığına sahipken, zorunlu programlamada aynı algoritma Ω ( n ) olan bir algoritma vardır . FP diline tembellik eklemek algoritmayı Ω ( n ) yapar .Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) Yüksek Dereceli Fonksiyonlar ile …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Girdinin boyutunda olduğu ve boyutunda bir klik bulmamızın istendiği Clique sorununun aşağıdaki sürümünü düşünün . Kısıtlama, karar prosedürünün girdi grafiğini başka bir temsille değiştirememesi ve cevabını hesaplamak için girdi grafiğinin ötesinde ekstra bit dışında başka bir temsili kullanamamasıdır . Ekstra bitler, örneğin bir klik için kapsamlı aramanın durumunu izlemek için …

13 complexity-theory  time-complexity 

Aşağıdakilerle ilgili yardımınızı gerçekten çok isterim: Herhangi bir sabit için aşağıdaki operatörler altında kapatma olup olmadığına karar :L2L2L_2 birr( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} birl( L ) = { x ∣ ∃ y∈ …

13 formal-languages  regular-languages  closure-properties 

Verilen am varsayalım (bunlar genişliğinin bir kayıt uygun, yani tam sayılar en, sabit ağırlık ) bir 1 , bir 2 , ... bir n , örneğin bunların toplamı olduğu bir 1 + , bir 2 + ⋯ + bir N = S bir kayıt da uyan genişlik w .nnnwwwbir1, bir2, …

13 algorithms  arrays  integers  numerical-analysis 

, Σ = { a , b } alfabesi üzerinde normal bir dildir. L'nin w ∈ Σ ∗ ileilgilisol bölümü, w - 1 L dilidir : = { v ∣ w v ∈ L }LLLΣ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} nin düzenli olduğunu nasıl …

13 formal-languages  regular-languages  closure-properties 

Doğrusal Geribildirim Vites Kayıtları için muslukların nasıl seçildiği konusunda kafam karıştı. Bağlantı polinom ile bir LFSR gösteren bir diyagram var . Beş aşama etiketlenir: ve ve musluklar ve .C(X)=X5+X2+1C(X)=X5+X2+1C(X) = X^5 + X^2 + 1R4,R3,R2,R1R4,R3,R2,R1R4, R3, R2, R1R0R0R0R0R0R0R3R3R3 Bu musluklar nasıl belirlenir? Bağlantı polinomu verildiğinde, ancak diyagram olmadığında, hangi değerleri …

13 cryptography  pseudo-random-generators  shift-register 

Bir ayrıştırıcı birleştiricinin aksine lexer / ayrıştırıcılarla sık sık çalışıyorum ve ayrıştırmada hiç ders almayan insanları görüyorum, ikili verileri ayrıştırmayı sor. Tipik olarak veriler sadece ikili değil aynı zamanda içeriğe duyarlıdır. Bu temel olarak sadece bir tip token, bayt için bir token bulunmasına yol açar. Birileri ikili verileri ayrıştırmak için …

13 programming-languages  compilers  parsers 

3-Partition problemi, tamsayılardan oluşan bir setin üç tamsayıdan oluşan n setine bölünüp bölünemeyeceğini sorar , böylece her küme belirli bir B tamsayısını toplar . Dengeli Bölüm problemi, 2 n tamsayıların iki eşit kardinalite kümesine bölünüp bölünemeyeceğini sorar , böylece her iki kümenin de aynı toplamı olur. Her iki sorunun da …

13 complexity-theory  reductions  np-complete 

Mesaj Yazışmalar Sorunu (PCP) undecidable. PCP sınırlı versiyonu olan Komple ve PCP işaretlenmiş versiyonu (iki liste birinin kelimeler, öncelikle harfi farklılık gerekmektedir) içinde [1].NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} Bu kısıtlı sürümler diğer sorunların bazı karmaşıklık sonuçlarını kanıtlamak için kullanılıyor mu (azaltma yoluyla)? PCP'nin karar verilebilmesini sağlayan (ve özellikle -complete) başka kısıtlı sürümleri var mı?PSPACEPSPACE\mathrm{PSPACE} …

13 complexity-theory  computability  reference-request 

(Alice) ile (Bob) arasında kimlik doğrulaması yapmak için aşağıdaki protokolü düşünün .AAABBB A→B:B→A:A→B:“I'm Alice”,RAE(RA,K)E(⟨RA+1,PA⟩,K)A→B:“I'm Alice”,RAB→A:E(RA,K)A→B:E(⟨RA+1,PA⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} RRR rastgele bir nonce'dir. KKK , önceden paylaşılan bir …

13 cryptography  protocols  authentication 

Let kısmi olabilir grafik tasarım ve bir Boole işlevi olabilir. Nisan-Wigderson jeneratörü aşağıdaki gibi tanımlanır:S={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq i\leq n}(m,k)(m,k)(m,k)f:{0,1}m→{0,1}f:{0,1}m→{0,1}f: \{0,1\}^m \to \{0,1\}Gf:{0,1}l→{0,1}nGf:{0,1}l→{0,1}nG_f: \{0,1\}^l \to \{0,1\}^n Gf(x)=(f(x|S1),…,f(x|Sn))Gf(x)=(f(x|S1),…,f(x|Sn))G_f(x) = (f(x|_{S_1}) , \ldots, f(x|_{S_n}) ) Hesaplamak için th biraz biz bir parça koparmayı dizinler ile ve ardından uygulamak onlara.iiiGfGfG_fxxxSiSiS_ifff Varsayalım olan boyutta devreleri için -Sert …

13 cryptography  pseudo-random-generators 

Bir sistem çağrısında meydana gelen kullanıcı-boşluk ve çekirdek-boşluk arasındaki geçişi açıklayan bir makale okuyordum . Makale diyor Bir uygulama, kullanıcı modu yürütülmesine devam etmeden önce sistem çağrısının tamamlanmasını bekler. Şimdi, şu ana kadar bazı sistem çağrıları olduğunu varsayarak oldu blockingdiğerleri ise non-blocking. Yukarıdaki yorumla, şimdi kafam karıştı. Bu, tüm sistem …

13 operating-systems  os-kernel 

Genellikle çocuklar tarafından oynanan basit bir oyun olan War oyunu, 52 oyun kartının standart destesini kullanan iki kişi tarafından oynanır. Başlangıçta, deste karıştırılır ve tüm kartlara iki oyuncu ikişer dağıtılır, böylece her biri rasgele sırada 26 rastgele kart bulunur. Oyuncuların her iki desteyi de incelemelerine izin verildiğini (ancak değiştirmediğini) varsayacağız, …

13 algorithms  optimization 

Bir paragrafta verilen tarihlerin paragraftaki belirli olaylarla (kelime öbekleriyle) ilişkili olduğunu tanımlamak için algoritmik bir yaklaşım var mı ? Örnek olarak, aşağıdaki paragrafı göz önünde bulundurun: Haziran 1970'te büyük lider yemin etti. Ancak, ancak Devletin Bakanının ölümünden sonra, Mayıs 1972'den sonra ülkenin dizginlerini devraldı. 1980 ortasına kadar popüler desteğe sahip …

13 algorithms  data-mining  natural-language-processing