Bilgisayar Bilimi

Aşağıda, sonsuz bantlı bir Turing makinesi ile çalıştığımızı varsayalım. Birine zaman karmaşıklığı kavramını ve bir örneğin giriş boyutuna göre neden ölçüldüğünü açıklarken, aşağıdaki iddiada karşılaştım: [..] Örneğin, iki tamsayıyı 100000 bit ile çarpmak için, örneğin iki tamsayıyı 3 bit ile çarpmaktan daha fazla adıma ihtiyacınız olması doğaldır. İddia ikna edici, …

12 complexity-theory  time-complexity  intuition 

Bir derece dağılımı göz önüne alındığında, verilen derece dağılımını takip eden bir grafiği ne kadar hızlı oluşturabiliriz? Bir bağlantı veya algoritma çizimi iyi olabilir. Algoritmanın yapılamadığı bir "hayır" raporunu ve birden fazla grafik oluşturulabilecek herhangi bir örneği rapor etmesi gerekir.

12 algorithms  graphs  graph-theory 

karmaşıklık sınıfı ne anlama geliyor? Biliyorum dilleri içeren karmaşıklık sınıf olan bir polinom zaman nondeterministic Turing makinesi olup şekilde IFF makinesi kabul durumlarının sayısı girişine garip.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Peki anlama geliyor? Aslında ne yaptığını takip edemiyorum :)⊕P⊕P⊕P⊕P\oplus P^{\oplus P} Bu tür karmaşıklık sınıfının pratik sonuçları nelerdir ve …

12 complexity-theory  terminology  complexity-classes 

nasıl kanıtlanır ? Sadece böyle bir kehanet TM M ve bunun için geçerli olan tekrarlayan bir dil L ( M ) = L arıyorum .NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Sana bir kahin olduğunu göstermektedir nerede kanıt biliyorum şekilde P A ≠ N P A ve bir kahin bir şekilde P …

12 complexity-theory  relativization 

Ben daha sonra eşleşen amaçlar için bir dize karşı NFA çalıştırabilirsiniz böylece bir kullanıcı girilen düzenli ifade NFA dönüştürmek istiyorum. Düzenli ifadeleri ayrıştırmak için kullanılabilecek minimum makine nedir? Köşeli parantezlerin sayılması, sayma ihtiyacı anlamına geldiğinden ve bir DFA / NFA rasgele sayma gerçekleştiremediğinden aşağı itmeli bir otomat olması gerektiğini varsayıyorum. …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Codd Algoritması , ilişkisel analizdeki bir ifadeyi İlişkisel Cebire dönüştürür. Algoritmanın standart bir uygulaması var mı? Bu algoritma herhangi bir yerde kullanılıyor mu? (Görünüşe göre endüstrinin sadece SQL ve varyantlara ihtiyacı var, akademideki veritabanı teorisyenlerinden emin değilim.) İndirgemenin karmaşıklığı nedir? Bu SO üzerinde bir yıl önce yayınlanmıştır, ancak iyi bir …

12 algorithms  database-theory 

Başka bir deyişle, Hibrit iş parçacığının 1: 1 (yalnızca çekirdek) ve N: 1 (yalnızca kullanıcı) üzerinde iş parçacığı üzerindeki avantajları nelerdir? Bu, kullanıcı düzeyi iş parçacıkları ile çekirdek düzeyi iş parçacıkları arasındaki fark nedir?

12 operating-systems  concurrency  os-kernel 

Sendikaları / kavşakları / birleştirilmiş dilleri karar verilebilecek şekilde kararsız diller var mı? Genel olarak, kararlaştırılamayan diller bu işlemler altında kapatılmadığından, bu örneğin fiziksel yorumu nedir? Kleene kapatılması hakkında ne söyleyebiliriz? Bunun için de örneklerimiz var mı? Yani kararsız bir dilin kapatılması karar verilebilir mi? Ayrıca, bu tür kararsız sınıfları …

12 formal-languages  undecidability  closure-properties 

Girdiğimiz şifre (kablosuz ağa bağlanmak için) kablosuz ağdaki verileri nasıl şifreler? Okuduğumda, girdiğimiz şifrenin parola ile aynı olduğundan emin değilim. Bu doğruysa, parola nasıl dört WEP anahtarı oluşturabilir? Dört anahtarın WEP'te nasıl çalıştığını ve verileri nasıl şifrelediklerini anlıyorum. Ayrıca, WPA'nın anahtarlarının verileri nasıl şifrelediğini biliyorum, ancak bilmem gereken tek şey: …

12 cryptography  computer-networks  encryption  security 

Bir çizge olduğu söylenir unipathic herhangi iki köşe için eğer uuu ve vvv grafikte G=(V,E)G=(V,E)G=(V,E) , en basit bir yolu olarak var olduğu uuu için vvv . Her bir kenarın pozitif veya negatif ağırlığa sahip olacağı, ancak negatif ağırlık çevrimleri içermeyeceği şekilde, tek yönlü bir grafiği verildiğini varsayalım GGG. Bundan …

12 algorithms  graphs 

Bağlamdan bağımsız ve düzenli dillerin (uygun) etkili sorunların (sözde ) alt kümeleri olduğunu gösteren bu rakamla karşılaştım . Etkili sorunların tüm karar verilebilir sorunların bir alt kümesi olduğunu mükemmel bir şekilde anlıyorum çünkü bunları çözebiliriz, ancak çok uzun zaman alabilir.PP\mathrm{P} Neden tüm bağlam serbest ve düzenli diller verimli Karar verilebilen? …

12 formal-languages  regular-languages  context-free  efficiency 

Windows NT istemci bazı anahtar ile iletileri bir dizi şifrelemek için bir kesintisiz şifrelemeyi kullanarak bir sunucu ile "güvenli" iletişim kurabilecek bir noktadan noktaya protokolü kullanılmıştır . Sunucu ayrıca yanıtını aynı anahtarıyla şifreler . Ama bu anahtarın nasıl farkında?kkkkkkk Daha genel: Alice ve Bob aynı özel anahtar üzerinde çalışan bir …

12 cryptography  encryption 

Bunun kutunun dışına biraz gelebileceğini biliyorum, aslında her zaman kutunun içinde düşünürdüm, ama son zamanlarda, muhtemelen bilgisayar bilimi, programların dışındaki programları tasarlamanın yolları hakkında yüksek derecede özgürlük sağladığı için düşünüyorum. üniversitede öğretilenler. Faktöriyel fonksiyonu düşünün. Genellikle bu işlevi şöyle tanımlarız int fact(int n) { int r = 1; for(int i=2;i<=n;i++) …

12 algorithms 

Yani iki DFA verildiğinde, aynı dili üretebilirlerse bulma sorunu Karar Verilebilir bir problem midir? İki CFL Eşitliğinin Karar Verilemez olduğunu zaten biliyorum Peki ya iki DFA'nın Eşitliği? DFA'larla ilgili sorunların çoğunun karar verilebilir olduğu düşünüldüğünde, bu da karar verilebilir mi?

12 computability  automata  finite-automata  decision-problem 

Smn teoremini inceliyorum ve kavram bana köriliğimi hatırlattı. Smn teoremi hakkında wikipedia makalesinden : teorem, belirli bir programlama dili ve m ve n pozitif tamsayıları için, m değerleri ile birlikte m + n serbest değişkenleri olan bir programın kaynak kodunu girdi olarak kabul eden belirli bir algoritmanın var olduğunu söyler. …

12 computability