«reference-request» etiketlenmiş sorular

Ramer-Douglas-Peucker algoritması hattı basitleştirilmesi için en kötü durum vardır çalışma zamanı. Uygun şekilde dağıtılmış rasgele girdiler için O ( n log n ) çalışma zamanı karmaşıklığı beklemiştir . 2D'de, Ramer-Douglas-Peucker algoritmasıyla tam olarak aynı sonucu hesaplayan en kötü durum O ( n log n ) çalışma zamanı karmaşıklığına sahip başka …

19 reference-request  computational-geometry  randomized-algorithms 

Kalıcı veri yapıları değişmez veri yapılarıdır. İşlemler, veri yapısının yeni bir "kopyasını" döndürür, ancak işlem tarafından değiştirilir; eski veri yapısı değişmeden kalır. Verimlilik genellikle temeldeki verilerin bir kısmını paylaşarak ve veri yapısının tam kopyalanmasını önleyerek elde edilir. Sorular: Kalıcı olarak yapılabilecek veri yapıları sınıfları hakkında sonuçlar var mı (aynı veya …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

Tip kontrol algoritmaları hakkında kişisel bir bibliyografik araştırma başlatıyorum ve bazı ipuçları istiyorum. En sık kullanılan tip kontrol algoritmaları, stratejileri ve genel teknikler nelerdir? Özellikle, C ++, Java 5+, Scala veya diğerleri gibi yaygın olarak bilinen güçlü statik yazılan dillerde uygulanan karmaşık tür denetleme algoritmalarıyla ilgileniyorum. IE, temel dilin çok …

19 algorithms  programming-languages  reference-request  type-checking 

Küçük bir tarih sorum var, yani, başlığın dediği gibi, bilgisayar bilimlerinde ağaçların (veri yapısı, arama ağacı, ne olursa olsun) erken kullanımlarını arıyorum .

18 data-structures  reference-request  trees  history 

13 yaşındaki bir çocuğu simüle etmek için geliştirilen bir bilgisayar programı olan 'Eugene Goostman'ın yargıçların yüzde 33'ünü insan olduğuna ikna etmeyi başardığı ve böylece Turing Testini geçtiği söyleniyor. Bir chatbot olarak adlandırılan bilgisayar programı, İngilizce'nin ikinci dil olduğu 13 yaşında bir Ukraynalı çocuk gibi davranıyordu - gerçekten çok farklı bir …

18 reference-request  artificial-intelligence  history  turing-test 

Kesme problemleri, belirli bir büyük nesnenin birkaç küçük nesneye kesilmesi gereken problemlerdir. Örneğin, genişliği ve L uzunluğu büyük ham cam levhalarla çalışan bir fabrikanız olduğunu düşünün . Her biri sınırsız sayıda küçük cam levha isteyen birkaç alıcı var. Alıcı i uzunluk l i ve genişlik w i yaprak istiyor . …

18 reference-request  computational-geometry  lower-bounds  packing 

Giderek daha fazla dil araştırma makalesi okumaya başladım. Genel olarak programlama hakkında daha fazla bilgi edinmek için çok ilginç ve iyi bir yol buluyorum. Ancak, genellikle hep (örnek parçanın üç için almak ile mücadele bir bölüm bulunmaktadır geliyor bu Tipi Kuralları: Ben bilgisayar bilimi teorik arka plan eksikliği beri). Bu …

18 logic  reference-request  terminology  type-theory 

Önceki sorumdan şu şekilde , eğlence matematiği olarak Riemann hipotezi ile oynuyorum . Bu süreçte oldukça ilginç bir tekrarlamaya geldim ve adı, indirimleri ve asal sayılar arasındaki boşluğun çözülebilirliğine yönelik izlenebilirliği merak ediyorum. Tersine, her asal sayı arasındaki boşluğu , önceki aday primerlerin tekrarı olarak tanımlayabiliriz . Örneğin, için bir …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Tüm girdileri durduran bir Turing makinesi var mı, ancak bu özellik bir nedenden dolayı kanıtlanamaz mı? Bu sorunun incelenip incelenmediğini merak ediyorum. "Kanıtlanamaz", "sınırlı" bir kanıt sistemi anlamına gelebilir (zayıf anlamda cevabın evet olması gerektiğini düşünür). Tabii ki mümkün olan en güçlü cevaba, yani ZFC set teorisindeki ya da her …

17 computability  reference-request  turing-machines  halting-problem 

SAT çözümleyicileri büyük örnekleri çözmede giderek daha verimli hale geliyor ve çeşitli bağlamlarda arka uç olarak kullanılıyor. Belirli bir alandaki bir problemi çözmek için bunları her kullanmak istediğinde, sadece doğru çözümlere sahip olmakla kalmayıp aynı zamanda kısıtlamaları (gereksiz bile) bir forma koyan geçici bir kodlama bulması gerekir. çözücülerin buluşsal yöntemlerine …

17 reference-request  satisfiability  sat-solvers 

Let fff sabit zaman constructable fonksiyon olsun. TM'ler için klasik evrensel simülasyon sonucu (Hennie ve Stearns, 1966), verilen iki bantlı TM olduğunu belirtir.UUU bir TM açıklaması ve⟨M⟩⟨M⟩\langle M \rangle bir giriş dizesi ,xxx adımları için çalışır ve üzerinde cevabını döndürür . Ve içinde herhangi bir fonksiyon olarak alınabilir .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Bazı önsözler: Eğlence amaçlı bir bilgisayar bilimcisiyim ve çalışan yazılım mühendisiyim. Yani, bu istem sol alanın biraz dışında görünüyorsa affedin - daha iyi bir şeyim olmadığında rutin olarak matematiksel simulcra ve açık problemlerle oynuyorum. Riemann hipotezi ile oynarken , asal boşluğun , önceki her asal sayının katları tarafından oluşturulan tüm …

16 algorithms  reference-request  discrete-mathematics 

Grafik işleme biriminin bellek birleştirme olarak adlandırılan bir şeyi olduğunu öğrendim. Üzerine okuduğumda konuyla ilgili net değildim. Bellek Düzeyi Paralelliğiyle ilgili herhangi bir yol var mı? Google'da arama yaptım ancak tatmin edici bir cevap alamadım. Birisi daha kapsamlı, anlaşılması kolay bir açıklama yaparsa yararlı olur.

16 terminology  reference-request  computer-architecture  memory-management 

Son zamanlarda (fonksiyonel) programlama dillerinin yönlerini anlamak ve kanıtlamakla son derece ilgilenmeye başladım. Ancak daha derinlere daldığım zaman, hesabı, kategori teorisi ve anlamsal anlambilim gibi şeyleri doğru bir açıklama yapmadan yapmak biraz zor.λλ\lambda SICP'yi (oldukça aydınlatıcı bir kitap) okudum ama fonksiyonel programlama teorisinin derinliklerine dalmak istiyorum. Fonksiyonel programlama dillerinin teorisini …

16 reference-request  lambda-calculus  functional-programming  books 

Stack Overflow'da, belirli bir düğümü içeren bir grafikteki tüm basit döngüleri listelemenin NP- sert olup olmadığını soran bir soru okuyordum ve bana uygun olan herhangi bir karmaşıklık sınıfını düşünemedim. formdaki sorunlar hakkında konuşmak "bu soruna tüm çözümleri listele." NP sınıfı bir anlamda en az bir çözümün olup olmadığını soran problemlerden …

15 complexity-theory  reference-request  complexity-classes  enumeration