Bilgisayar Bilimi

Ben NC sınıfı tarafından verilen "paralel algoritma ile verimli bir şekilde çözüldü" karmaşıklık teorik görünümünü kabul sorunları vardı : Kuzey Carolina zaman paralel bir algoritma ile çözülebilir sorunların sınıfıdır ile işlemciler .p ( n ) ∈ O ( n k ) c , k ∈ NO(logcn)O(logc⁡n)O(\log^cn)p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} …

20 complexity-theory  reference-request  parallel-computing 

Modülü sonra faktöriyel etkili bir şekilde hesaplayan bir algoritma biliyor musunuz? Örneğin, programlamak istiyorum: for(i=0; i<5; i++) sum += factorial(p-i) % p; Ancak, pfaktöriyeli doğrudan uygulamak için büyük bir sayıdır (asal) (p≤108)(p≤108)(p \leq 10^ 8) . Python'da bu görev gerçekten kolay, ama gerçekten nasıl optimize edileceğini bilmek istiyorum.

20 algorithms  efficiency  integers 

Richard Gabriel'in ünlü makalesinde The Rise of Worse is Better , basitlik, doğruluk, tutarlılık ve bütünlük eksenleri boyunca MIT / Stanford (Lisp) ve New Jersey (C / Unix) tasarım felsefelerinin karikatürize versiyonlarını karşılaştırıyor. Unix'in arayüz basitliğine göre uygulamanın basitliğine öncelik verdiğini iddia etmek için "PC kaybeden sorunu" ( Josh Haberman …

20 programming-languages  operating-systems 

WalkSAT ve GSAT , Boole memnuniyetini çözmek için iyi bilinen ve basit yerel arama algoritmalarıdır. GSAT algoritması için sözde kod GSAT algoritmasını uygulama sorusundan kopyalanır - Döndürülecek değişmezi nasıl seçilir? ve aşağıda sunulmuştur. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation of variables …

20 algorithms  data-structures  satisfiability 

Bir dizi pencere (genişlik + yükseklik) ve ekran çözünürlüğünü kabul eden ve pencerelerin en fazla yer kaplayacak şekilde ekranda bu pencerelerin bir düzenlemesini çıkaran basit bir program yazmak istiyorum. Bu nedenle, output size >= initial sizeve en boy oranını koruyarak bir pencereyi yeniden boyutlandırmak mümkündür . Pencere , algoritmanın bir …

20 algorithms  computational-geometry  packing  user-interface 

Bunun bir ev ödevi sorunu olduğunu belirterek başlayayım , lütfen sadece tavsiye ve ilgili gözlemler verin, DOĞRUDAN CEVAPLAR YOK lütfen . Bununla birlikte, baktığım sorun: YARIM CLIQUE = { | , en az düğümü olan tam bir alt grafiğe sahip yönlendirilmemiş bir grafiktir; burada n, } içindeki düğüm sayısıdır . …

20 complexity-theory  np-complete  reductions 

Bilgisayar Programlama Sanatı'nı (TAOCP) okumadan önce bu soruları derinlemesine düşünmedim. Ben algoritmaları tanımlamak, onları anlamak ve sadece büyüme siparişleri hakkında çalışma süresini tahmin etmek için sahte kod kullanırdım. TAOCP iyice fikrimi değiştirir. TAOCP , algoritmayı tanımlamak için adımlar ve goto ile karıştırılmış İngilizce kullanır ve algoritmayı daha kolay resmetmek için …

20 algorithms  proof-techniques  runtime-analysis 

Ben bir ikili arama ağacı kullanmak ve kendini en çok erişilen (daha yüksek bir önceliğe sahip) öğeleri ağacın üstünde, kök en çok erişilen düğüm olacak şekilde kendi kendini değiştirmek için gereken bir atama var . Profesör bana çalışmak için BST ve düğüm yapısını verdi, ancak işler eklenirken ağacı güncellemek için …

20 algorithms  data-structures  binary-trees  search-trees 

Ben öğreniyorum otomatik teorem ispatlama / SMT çözümleyici / Kanıtı Yardımcıları kendim ve başlangıç süreci hakkında sorular, bir dizi yayınlamak burada . İlgili otomatik teorem sağlayıcıları nelerdir? Bulduğum teorem ispatlayıcılar A Yorum Bu hala güncel mi? Hangileri hala çok aktif, yani şu anda onu oluşturan grubun ötesinde kullanılıyor? Dizinin bir …

20 logic  automated-theorem-proving  proof-assistants 

Günümüzde grafik kartlarında sağlanan büyük ölçüde paralel hesaplama birimlerinin ( örneğin OpenCL'de programlanabilir olan ) 1D hücresel otomatları (veya belki de 2B hücresel otomatları?) Verimli bir şekilde simüle etmek için yeterince iyi olup olmadığını merak ediyorum . Eğer çipin hafızasına uygun sonlu ızgarayı seçersek, bu ızgarada tanımlanan bir hücresel otomasyonun …

20 computer-architecture  parallel-computing  cellular-automata 

Kuantum Toffoli kapısı ile ilgili olarak : öyle classicaly öyleyse evrensel ve, neden? öyle kuantumsal evrensel ve neden?

20 quantum-computing  circuits  turing-completeness 

Bir verilen etiketli geçiş sistemi , S durumlarının bir dizi, Λ bir etiket grubu, ve → ⊆ S x Λ x S isimli bir üçlü ilişkisi. Her zamanki gibi, ( p , α , q ) ∈ → için p α → q yazın . Etiketli geçiş s a → …

20 programming-languages  formal-methods  semantics  process-algebras 

Bazı “makul” biçimsel dilde belirtilen karar sorunlarını düşünün. Bir referans çerçevesi olarak bir serbest değişkeni olan yüksek dereceli Peano aritmetiğindeki formüller diyelim, ancak diğer hesaplama modellerine de eşit derecede ilgi duyuyorum: Diophantine denklemleri, Turing makineleri kullanarak yeniden yazma kurallarından kelime problemleri, vb. klasik resmileştirme iyi olurdu, ancak resmileştirme seçiminin cevabı …

20 computability  undecidability 

GSAT algoritması çoğunlukla basittir: Bir formülü konjonktif normal formda alırsınız ve formülü karşılayan bir çözüm bulana veya max_tries / max_flips sınırına ulaşana ve hiçbir çözüm bulana kadar cümlelerin değişmezlerini çevirirsiniz. Aşağıdaki algoritmayı uyguluyorum: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation of variables …

20 algorithms  satisfiability  3-sat 

mesajını bir kerelik pad k ile şifrelemek için E n c ( m 1 , k ) = m 1 ⊕ k yaparsınız .m1m1m_1kkkEn c ( m1, k ) = m1⊕ kEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Aynı kullanın Başka bir mesaj şifrelemek m 2 olsun e n C ( m, …

20 cryptography  information-theory  encryption