Bilgisayar Bilimi

Bu soru, her matematiksel teoremin tek bir Turing makinesinin durup durmadığı sorusuna indirgenip indirilemeyeceği ile ilgilidir. Özellikle, şu anda kanıtlanmamış varsayımlarla ilgileniyorum. Örneğin: Vikipedi diyor herhangi garip mükemmel sayılar olup olmadığını şu anda bilinmeyen olduğunu. Belirli bir sayının mükemmel olup olmadığına karar verilebildiğinden, her bir tek sayıyı sırayla kontrol eden …

11 formal-languages  computability  mathematical-foundations 

Diyelim ki, kodun bütünlük ve işlevsel saflık gibi şeylerin ötesinde özellikler üzerinde düşünmek istersiniz - kişi de bellek tüketimini veya bir fonksiyonun algoritmik karmaşıklığını önemser. Bu bağımlı yazım ve efekt sistemleri ile yapılabilir mi?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Bir kart destesi 52'dir. Bir el 52 karttan 5 karttır (kopya olamaz). 5 kartlı bir eli temsil edecek en az bit sayısı nedir ve nasıl? Bir el siparişe bağlı DEĞİLDİR (KQ = QK). 64329 = 96432 Evet, 52 bit kullanabilir. Bu, herhangi bir sayıda kartın elini temsil edebilir. Bir elin …

11 combinatorics 

Wikipedia, eklemenin zaman karmaşıklığını olarak listeler; burada , bit sayısıdır.nnnnnnn Bu katı bir teorik alt sınır mı? Yoksa bu sadece bilinen en hızlı algoritmanın karmaşıklığı mıdır? Bilmek istiyorum, çünkü toplama karmaşıklığı, diğer tüm aritmetik işlemlerin ve bunları kullanan tüm algoritmaların altını çiziyor. de çalışan bir ek algoritma elde etmek teorik …

11 algorithms  algorithm-analysis  arithmetic 

C # bir web API için bir istemci oluştururken , nulliki farklı şeyi temsil edecek bir değer olarak ilgili bir sorunla karşılaştım : hiçbir şey , örneğin bir foomayın olabilir veya olmayabilirbar bilinmiyor : Varsayılan olarak API yanıtı yalnızca bir özellik alt kümesi içerir, hangi ek özellikleri istediğinizi belirtmeniz gerekir. …

11 programming-languages  language-design 

2 boyutlu düzlemde iki nokta noktam var. I noktası en yakın çifti bulmak istiyoruz s , t böyle s ∈ S , T ∈ T arasında ve Öklit mesafesi s , t mümkün olduğu kadar küçük olmalıdır. Bu ne kadar verimli bir şekilde yapılabilir? Bunun içinde yapılabilir O ( n …

11 algorithms  computational-geometry 

Bir programlama dili anlambilimi ve tür sistemini prototiplemek için herhangi bir araç var mı ve bu da tür sağlamlığı gibi standart özelliklerin bir çeşit model kontrolüne izin veriyor mu? Bunu soruyorum, çünkü Alloy hakkında bir kitap okuyorum ve tam olarak istediğim işlevselliği sağlıyor, ancak ilişkisel mantık kullanarak ifade edilen modeller …

11 reference-request  programming-languages  semantics  model-checking 

Java'da, bir değişkeni yok etmek için açıkça yayınlamanız gerekir public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; } Java'nın …

11 object-oriented  type-inference  language-design 

Bana bir küme , bir tamsayı ve negatif olmayan tamsayı a_ {ij} verilir . Sorunum bulmaktır ler ayrık alt kümeleri S_j ait \ {1, \ ldots, k \} , öyle ki:A ≜ { 1 , ... , k } A≜{1,…,k}A\triangleq\{1,\ldots,k\}ler ⩽ k s⩽ks\leqslant kbir i jaija_{ij} s ssS jSjS_j { …

11 complexity-theory  integer-programming 

NP'nin neden EXPTIME içinde olduğunu görmenin kolay bir yolu var mı? Bana öyle geliyor ki, çözmek için süper üstel zaman gerektiren, ancak çözümü polinom zamanında doğrulanabilen bir sorun olabileceği düşünülebilir.

11 complexity-theory  complexity-classes 

Gerçek sayı matrisinin gücünü (pozitif tamsayı) bulmak için gereklidir. Çok sayıda verimli matris çarpma algoritması vardır (örneğin, bazı paralel algoritmalar Cannon'un, DNS'dir ), ancak matrisin gücünü tam olarak bulmaya yönelik olan ve matris çarpımının sıralı yürütülmesinden daha verimli olan algoritmalar var mı? Özellikle paralel algoritmalarla ilgileniyorum.

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

Başlık her şeyi söylüyor, ama merak ediyorum çünkü bir teorem uzmanının nasıl 'Isabelle' olarak adlandırıldığı belli değil. Bir kişi için mi adlandırıldı? Bazı Google aramalarında bulamadım.

11 history  automated-theorem-proving  isabelle 

Bir düzenli ekspresyonu, ardışık olarak tanımlanır a ∈ Σaaa bazıları normal bir ifadedir,a∈Σa∈Σa \in \Sigma εε\varepsilon normal bir ifadedir, ∅∅\emptyset normal bir ifadedir, R ' 1 R, 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) burada ve normal ifadelerdir normal bir ifadedir,R1R1R_1R2R2R_2 R ' 1 R, 2(R1∘R2)(R1∘R2)(R_1 \circ R_2) burada ve normal ifadeler normal bir …

11 formal-languages  regular-languages  regular-expressions 

Yüksek seviyeli diller neden görünüşte daha düşük seviyeli dillere asla ulaşamıyor? Üst düzey dillere örnek olarak Python, Haskell ve Java verilebilir. Düşük seviyeli diller tanımlamak yanıltıcıdır olurdu, ama hadi C. Karşılaştırmalar İnternet çevresindeki tüm bulunabilir söylemek ve hepsi C bazen 10 veya daha fazla kat, çok daha hızlı olduğu konusunda …

11 programming-languages  performance 

Eğlenceli bir proje olarak, Desen Veritabanlarını Kullanarak Rubik Küpüne En Uygun Çözümleri Bulmak İçin Richard Korf'un C # uygulaması üzerinde çalışıyorum. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Aslında çalışıyorum, sadece çözümümü geliştirmeye çalışıyorum. Korf'un makalesinde gizlediği bir şey, desen veritabanlarına nasıl depoladığı ve endekslediği. İdeal olarak, bir dizi içine bir dizin oluşturmak için bir rubik …

11 algorithms  permutations