Bilgisayar Bilimi

Yakın tarihli bir CACM makalesinde [1], yazarlar aşamalı işlevler için bir uygulama sunmuştur . Terimi iyi bilinen bir terim olarak kullanıyorlar ve referansların hiçbiri açık bir giriş gibi görünmüyor. Kısa bir açıklama yaparlar (vurgunun madeni ve referans numarası değiştirildi; aslında 22 oldu) Program oluşturma bağlamında, Taha ve Sheard [2] tarafından …

24 terminology  programming-languages  meta-programming 

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Mantıksal Min Cut (LMC) problem tanımı ' nin ağırlıklı olmayan bir digraf olduğunu, s ve t'nin V'nin iki köşesi olduğunu ve t'nin s'den erişilebilir olduğunu varsayalım . Biz yapmak nasıl …

24 complexity-theory  graph-theory  np-complete 

Bu terminolojiler beni şaşırtıyor. Anladığım kadarıyla SAT çözücü: teklif mantığının karşılanabilirliğine karar verin (DPLL veya Yerel Arama kullanarak). Karar prosedürü, belirli bir karar verilebilir birinci dereceden teorisinin karşılanabilirliğine karar verme prosedürüdür. SMT çözücü bir SAT çözücü + karar prosedürüdür. Teorem prover Dinamik Mantık gibi bir şey gösterir, örneğin KeY aracı …

24 algorithms  terminology  reference-request  decision-problem 

AKS primallik testinin , öğrendiğimde nasıl yorumlanması gerektiği hakkında bir fikir edinmeye çalışıyorum , örneğin, PRIMES ⊆ P'nin ispatlanmasına yönelik bir sonuç ya da bilgisayarlarda ilkellik testi için pratik bir algoritma. Test polinom çalışma zamanına sahip ancak yüksek dereceli ve olası yüksek sabitleri var. Öyleyse, uygulamalı olarak, hangi diğer primallik …

24 algorithms  efficiency  primes 

Andrej Bauer'ın bu cevabındaki ifadesiyle aynı düşünce boyunca Haskell topluluğu, kategori teorisinden esinlenerek, monadlarının en iyi bilinen fakat monadlarla karıştırılmaması gereken birkaç teknik geliştirmiştir . Arasındaki ilişki nedir functors SML ve functors Kategori teoride? Haskell veya OCaml gibi diğer dillerde functorların ayrıntılarını bilmediğim için, eğer değer bilgisi varsa, lütfen diğer …

24 programming-languages  functional-programming  category-theory 

Yapılandırmacı mantık, Hariç Tutulan Orta Yasasını ve Çifte Olumsuzluğu aksiyom olarak kaldıran bir sistemdir. Burada ve burada Vikipedi'de tanımlanmıştır . Özellikle, sistem çelişki ile ispatlamaya izin vermez. Merak ediyorum, bunun Turing Makineleri ve biçimsel dillerle ilgili sonuçları nasıl etkilediğini bilen var mı? Bir dilin kararsız olduğu hemen hemen her ispatın …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Optimizasyon problemlerinin karmaşıklığı ile ilgili karşılaştığım bazı terimlerle biraz kafam karıştı. Bir algoritma dersinde, NP-tamam olarak tanımlanan büyük parazit sorunu vardı . Ancak, NP-tamamlama teriminin bir optimizasyon problemi bağlamında ne …

24 complexity-theory  np-complete  terminology 

Did düzeltilmiş analiz algoritmaları ana akım analizi onun yolunu bulmak? Algoritma tasarımcılarının algoritmalarına düzgünleştirilmiş analiz uygulamaları yaygın mıdır?

24 algorithms  complexity-theory  algorithm-analysis 

Geçen hafta sınıfta, profesörüm yorumladı ve Turing makinelerinin hesaplanabilir olanın standart bir ölçü / model olarak kullanıldığını ve bu konuda tartışmanın yararlı bir temeli olduğunu söyledi. Ayrıca, Turing makinelerinin tüm varyantlarının hesaplamalı olarak eşdeğer - okunmuş, aynı kadar güçlü - birbirlerinin olduğu kanıtlanmış olduğunu söyledi. W Dün, hesaplanabilirlik gücü ile …

24 turing-machines  quantum-computing 

Diyelim ki herhangi bir boyutta kısmen doldurulmuş bir Sudoku verirseniz, size karşılık gelen tamamlanmış Sudoku'yu verir. Bu programı bir kara kutu gibi ele alabilir ve TSP'yi çözmek için kullanabilir misiniz? Demek istediğim, TSP problemini kısmen doldurulmuş Sudoku olarak göstermenin bir yolu var, bu yüzden size bu Sudoku'nun cevabını verirseniz, polinom …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Andrej Bauer'ın “ Yapıcı Matematiği Kabul Etmenin Beş Aşaması ” nı izliyordum ve çelişkiyle iki tür kanıt olduğunu (ya da matematikçilerin çelişkiyle kanıt dediği iki şey) olduğunu söylüyor: yanlış olduğunu varsayalım ... falan filan, çelişki. Bu nedenle P doğrudur.PPPPPP doğru olduğunu varsayalım ... falan filan, çelişki. Bu nedenle P yanlıştır.PPPPPP …

23 halting-problem  coq 

Bu naif ve bu nedenle, muhtemelen yanlış biçimlendirilmiş bir soru, şimdiden özür dileriz! Benim görüşüme göre, bir Turing Makinesi, işlemsel / zorunlu programlama dilleri için hesaplama temeli olarak görülebilir. Benzer şekilde, lambda matematiği, fonksiyonel programlama dilleri için temeldir. Son zamanlarda Kilise Turing Tezi'nin de üçüncü bir hesaplama modeliyle karşılıklı denklik …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Çözülemeyen bilgisayar bilimi problemleri listesinde wikipedia vardı ve şunu buldum: Açık anahtarlı şifreleme mümkün mü? RSA şifrelemesinin bir tür açık anahtarlı şifreleme türü olduğunu düşündüm? Bu neden bir problem?

23 cryptography 

Bilgisayar bilimlerindeki kara delikler gibi. Sadece var olduklarını bilebiliriz ama onlardan birine sahip olduğumuzda onlardan biri olduğunu asla bilemeyiz.

23 halting-problem  correctness-proof 

Tavsiyeye göre bunu Stack Overflow'tan tekrar gönderiyorum . Son zamanlarda aşağıdaki konuyu düşünüyorum. Standart bir "Merhaba dünya!" Kodunu düşünün. Program: main() { printf("Hello World"); } Şimdi bu koddaki hemen hemen her değişiklik onu tamamen işe yaramaz hale getirecek, aslında hemen hemen her değişiklik kodun derlenmesini önleyecektir. Örneğin: main(5 { printf("Hello …

23 programming-languages  computation-models