Bilgisayar Bilimi

Ben "doğada çok üstel gibi görünüyor, ama sonuçta onları çözen bazı özellikle zeki algoritma var gibi sorunları çözme gibi," son derece yararlı "olan algoritmaların / sorunların bir listesini oluşturmaya çalışıyorum. Ne demek istediğimin örnekleri: Doğrusal Programlama (Simplex algoritması üstel bir zamandır; bir polinom zaman çözümü bulmak uzun sürdü!) Daha genel …

12 complexity-theory  polynomial-time  efficiency 

Bir röportajda şu soruyu aldım (zaten çözemediğim, geçmişimi kandırmaya çalışmıyorum): Oyun pozitif bir tam sayı ile başlıyor . (Örn. ) Bu sayı, ikili gösterime dönüştürülür ve , ayarlanan bit sayısıdır . (Örn. , )A 0 = 1234 N 1 A 0 = b 100 1101 0010 N = 5.A0A0A_0A0=1234A0=1234A_0 = …

12 algorithms  optimization 

Büyük veri perspektifinden geliyor. Temel olarak, birçok çerçeve (Apache Spark gibi), Functor / Monad benzeri arayüzler sağlayarak ilişkisel işlemlerin eksikliğini "telafi eder" ve kedilerden SQL dönüşümlerine (Slick in Scala) benzer bir hareket vardır. Örneğin, Kategori Teorisinin uygulamalarında zip + map(multiply) (Spark'ın MLib'i zaten var ElementwiseProduct) olarak düşünülebilen, SQL perspektifinden vektörlerin …

12 relational-algebra  category-theory  curry-howard 

Veya: Hediye almak için Rupert'e ihtiyacımız var mı? Yönlendirme sorunları bir yana, Santa aşağıdaki sorunla karşı karşıya (birçok, birçok kez): kapasiteli bir çanta ve her biri boyutunda hediye seti , çocukları mutlu etmek istiyor . O çocuğun tüm dilek listelerinden bilir mevcut değerleri tam fazla.CCC{p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\}sisis_i{c1,…,ck}{c1,…,ck}\{c_1, \dots, c_k\}cjcjc_jpipip_ivi,j∈Q≥0vi,j∈Q≥0v_{i,j} \in …

12 algorithms  complexity-theory  optimization  packing 

Brainfuck, yalnızca 8 sembol kullanan bir Turing tam programlama dilidir (G / Ç'yi yoksayarsanız 6). Onu Turing bütünlüğüne iten en önemli iki [ve ]esasen Brainfuck'ın etiketi ve go. Normalde, Brainfuck'taki programlar birden fazla set kullanır [], ancak Brainfuck Turing'i tamamlamak için bu braketlerden kaç çiftin kullanılması gerektiğini merak ediyordum? Daha …

12 turing-completeness 

Gelen Programlama Dilleri için Pratik Vakıflar Robert Harper diyor Bir teklifin doğru olması için bir kanıtın olması anlamına gelirse, bir teklifin yanlış olması ne anlama gelir? Bu , kanıtlanamayacağını gösteren bir çürütmemizin olduğu anlamına gelir . Yani, doğru olduğu varsayımının (bir kanıtı vardır) bilinen gerçeklerle çeliştiğini gösterebilirsek, bir teklif yanlıştır. …

12 logic 

Ben soruyu okuyor Tutarlılık ve tamlık sağlamlığını ima? ve içindeki ilk ifade şöyle diyor: Sağlamlığın tutarlılığı ima ettiğini anlıyorum. Hangi oldukça şaşırdım çünkü sağlamlık tutarlılıktan daha zayıf bir ifade olduğunu düşündüm (yani tutarlı sistemlerin sağlam olması gerektiğini düşündüm ama sanırım doğru değil). Scott Aaronson'un MIT'deki 6.045 / 18.400 kursunda tutarlılık …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Şu anda Coq öğrenmek zorunda ve nasıl başa çıkacağımı bilmiyorum or: Örnek olarak, olduğu kadar basit, nasıl kanıtlayacağımı göremiyorum: Theorem T0: x \/ ~x. Biri bana yardım edebilirse gerçekten çok memnun olurum. Referans için bu hile sayfasını kullanıyorum . Ayrıca aklımda bulunan bir kanıt örneği: Burada çift olumsuzlama için: Require …

12 logic  coq 

Şu anda ikili veri oluşturmak için bazı kod yazıyorum. Özellikle belirli bir sayıda set bit ile 64-bit sayılar oluşturmak gerekir; daha kesin olarak, prosedür almalı ve tam olarak bit olarak ve geri kalanı 0 olarak ayarlanmış bir sahte rasgele 64 bit sayı döndürmelidir .n 10&lt;n&lt;640&lt;n&lt;640 < n < 64nnn111 Mevcut …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

Farkı bulmak için, Wikipedia'da geçici mantık hakkında aşağıdaki iddialarla karşılaştım : birçok ortak özelliği dinamik mantıkla paylaşan bir başka modal mantık çeşidi, yukarıda bahsedilen mantıkların hepsinden farklıdır, Pnueli'nin "endojen" bir mantık olarak karakterize ettiği, diğerleri "ekzojen" mantıktır. Bu Pnueli, zamansal mantık iddialarının, zamanın geçişiyle birlikte tek bir küresel durumun değiştiği …

12 logic  linear-temporal-logic  temporal-logic 

Tarihsel Bilgiler: Bilgisayar biliminde tam bir uzman değilim. Burada Meşgul Kunduz sayılarını okuyordum ve aşağıdaki pasajı buldum: İnsanlık, BB (7) 'nin değerini, sekanstaki BB (7)' nin değerini veya daha yüksek bir sayıyı asla kesin olarak bilemez. Gerçekten de, ilk beş ve altı kurallı yarışmacılar bizi atlattı: İnsan açısından nasıl 'çalıştıklarını' …

12 turing-machines  number-theory  busy-beaver 

Faktorizasyon gibi, P'nin dışında olduğu güçlü bir şekilde tahmin edilen, ancak kanıtlanmamış birçok problemimiz var, zıt özellikte, yani güçlü bir şekilde varsayılmış ancak P içinde oldukları kanıtlanmamış herhangi bir sorunuz var mı?

12 complexity-theory  polynomial-time 

Bir RAM'in komutlar listesini yaparak ve bu listeyi bir tamsayı yaparak Gödel numarasını alabilirsiniz. Peki, ne düşünce kendi Gödel numarası (diyelim ki, dönecekti RAM" gibi bir şey bilgilere sahip olmak gerekir) x tamsayı daha büyük olurdu böylece o, x kendi Gödel dönmek olmaz bu yüzden, numara."xxxxxxxxx Ama sonra, belirli numaralar …

12 computability 

Talimatlarını değiştirebilecek keyfi bir bilgisayar programımız varsa, bu programı talimatlarını değiştiremeyen bir programla simüle etmek mümkün müdür? Düzenle: Stackexchange'te yeniyim, bu yüzden burada YENİ bir soru sorma iznim olup olmadığından emin değilim, ama işte gidiyor: Tamam, mümkün olduğunun kanıtı, gerçekten gösterdiğiniz gibi gerçekten basit. Şimdi merak ediyorum: Girdi-çıktı eşdeğeri en …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Başımı PRIME, COMPOSITE, FACTOR ve bunların karmaşıklık açısından nasıl ilişkili olduğu ile ilgili sorun yaşıyorum. PRIME'ın AKS primality testi tarafından gösterildiğini anlıyorum ve bunun COMPOSITE için de işe yaradığına inanıyorum.PPP FAKTÖR gelince, FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR = \{(m,r) :\;\; \exists s …

12 complexity-theory  factoring