Bilgisayar Bilimi

Her boolean fonksiyonunun bir boole derinliği 2 (değişkenler, negatifleri ve sabit değerleri üzerinde) bir boole devresi kullanılarak gerçekleştirilebileceği iyi bilinmektedir. birinci seviyede AND geçitleri ve üst seviyede tek bir OR geçidi içeren; Bu basitçe DNF temsil ait .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Devre karmaşıklığına büyük ilgi duyan bir diğer kapı tipi kapısıdır. Genel …

9 complexity-theory  logic  circuits 

Hangi makine öğrenme algoritmaları (SVM'lerin yanı sıra) yapısal risk minimizasyonu prensibini kullanır ?

9 reference-request  machine-learning 

Yardımınızı aşağıdaki sorunla kullanmak istiyorum: L = { ⟨ M⟩ ∣ L ( M) içerik içermez }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Show that .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Ben kanıtlamak için biliyorum , bir dil bulmak için yeterlidir öyle …

9 formal-languages  computability  context-free  turing-machines 

Bir süredir kullanılan oylara göre girişleri sıralayacak bir sıralama sistemi üzerinde çalışıyorum. Ben bir ortalama gibi bir puan hesaplayacak bir algoritma arıyorum, ancak ben daha eski olanlar üzerinde yeni puanlar lehine istiyorum. Şunun boyunca bir şey düşünüyordum: score1+ 2⋅score2 + ⋯+ n⋅scoren1+2+⋯+nscore1+ 2⋅score2 + ⋯+ n⋅scoren1+2+⋯+n\frac{\mathrm{score}_1 +\ 2\cdot \mathrm{score}_2\ +\ …

9 algorithms  data-mining 

Bir sonraki egzersizi çözmeye takılıp kaldım: Eğer iddia LLL bağlam içermez ve R,RR düzenli, o zaman L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (yani doğru bölüm ) bağlam …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Bir erişim noktası kurarken ve WPA2'yi seçerken, hem AP'ye hem de STA'ya manuel olarak önceden paylaşılan bir anahtar (şifre), PSK girilmelidir. Her iki taraf da AP ve STA birbirlerinin kimliğini doğrulamalıdır. Ama bunu PSK'yı açıklamadan yapmak zorundalar. Her ikisi de PSK'yı gerçekten göndermeden tanıdıklarını diğer tarafa kanıtlamak zorundadır. Sıfır bilgi …

9 cryptography  security  authentication 

Yaz boyunca Silberschatz, Galvin Gagne (8. baskı) İşletim Sistemleri Kavramları'nı okumaya karar verdim . Beni şaşırtan bir konuya girdim - kesintiler ve işletim sistemleriyle ilgili rolleri. Metin, bir işletim sisteminin "init" gibi bir ilk işleme başlayacağını ve daha sonra bir "olayın" oluşmasını bekleyeceğini ve bu olayın genellikle bir kesilme sinyali …

9 operating-systems  computer-architecture  process-scheduling 

Red Dragon Book Compilers'ten Bootstrapping okuyorum ve çapraz derleyici için T diyagramını oldukça kafa karıştırıcı buldum. "Derleyiciyi1 derleyiciden çalıştır" ile ne anlama geldiğini anlayamıyorum. Bazı gerçek dünya derleyici ile ilişki için daha iyi bir açıklama, benzetme veya bir örnek sağlayabilir? Önce bazı gösterimler. Tarafından L SN-=LSN=LSN= Dil için bir derleyici …

9 compilers  terminology 

Bir bilgisayar güvenliği kursunu gözden geçiriyorum ve geçmiş sorulardan birine takıldım. İşte burada: Alice ( ) bir kısa mesaj göndermek isteyen Bob (için paylaşılan gizli kullanarak) mesajı ondan geldiğini doğrulamak için. İki parçadan oluşan tek bir mesaj göndermeyi teklif eder: burada bir karma işlevidir ve birleştirme anlamına gelir.AAAMMMBBBSabSabS_{ab}A→B:M,h(M∥Sab)A→B:M,h(M∥Sab) A \to …

9 cryptography  hash  one-way-functions 

Ben bir Program yazıyorum, Çin Postacı Sorunu (rota muayene sorunu olarak da bilinir) çözümsüz bir draph çözme ve şu anda bir garip derece düğümleri bağlamak için en iyi ek kenarları bulmak için sorunla karşı karşıya, böylece bir Eulerian devre hesaplamak. (Çözülmesi istenen grafiğin boyutunu göz önünde bulundurarak) hesaplanması ve değerlendirilmesi …

9 algorithms  graph-theory  graphs 

Ne yazık ki kendim başarılı olamadığım bir egzersiz yapıyorum. Bir dizi dikdörtgen var R1..RnR1..RnR_{1}..R_{n} ve bir dikdörtgen R0R0R_{0}. Düzlem tarama algoritmasını kullanarakR0R0R_{0} tamamen R1..RnR1..RnR_{1}..R_{n}. Tarama çizgisi algoritmalarının prensibi hakkında daha fazla bilgi için buraya bakın . Hadi baştan başlayalım. Başlangıçta, tarama çizgisi algoritmasını iki veri yapısı gerektiren çizgi segmenti kavşaklarını …

9 algorithms  computational-geometry 

N öğesinden oluşan bir setine sahip olduğumuzu varsayalım , girdinin tüm kısımlarına duyarlı olan bir f (A) fonksiyonunu hesaplamak istiyorum , yani A'nın çok üyesine bağlı (yani A'nın herhangi bir üyesini bir şeye değiştirmek mümkündür) yeni bir giriş elde etmek için A ' A ve A' üzerindeki f'nin st değeri …

9 complexity-theory 

Hopcroft ve Ullman kitabını kullanarak deterministik olmayan otomata çalışmaya başladım . Çok ilginç bulduğum bir probleme takıldım: Aşağıdaki tabloya göre çarpılarak soldan sağa sağdan sola değerlendirildiğinde aynı değere sahip tüm dizeleri kabul eden deterministik olmayan bir sonlu otomat verin: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Algoritma analizinde genellikle yinelemeleri çözmeniz gerekir. Master Teorem, ikame ve yineleme yöntemlerine ek olarak, karakteristik polinomları kullanan bir tane vardır . Ben sonucuna varmışlardır ki bu karakteristik polinom olan hayali , yani kökler ve . O zaman kullanamamx2−2x+2x2−2x+2x^2 - 2x + 2x1=1+ix1=1+ix_1 = 1+ix2=1−ix2=1−ix_2 =1-i c1⋅xn1+c2⋅xn2c1⋅x1n+c2⋅x2n\qquad c_1\cdot x_1^n + c_2\cdot …

9 algorithms  algorithm-analysis  recurrence-relation 

İki dizem olduğunu varsayalım. Onlara ve . Her iki dizede de tekrarlanan karakter yoktur.AAABBB dönüştüren en kısa ekleme, taşıma ve silme işlemini nasıl bulabilirim , burada:AAABBB insert(char, offset)dizede charverilen ekleroffset move(from_offset, to_offset)ofsette olan karakteri ofset from_offsetolacak şekilde yeni bir konuma taşırto_offset delete(offset) konumundaki karakteri siler offset Örnek uygulama: Bir veritabanı …

9 algorithms  combinatorics  string-metrics