Teorik Bilgisayar Bilimi

Chris Okasaki'nin 1998 tarihli "Tamamen işlevsel veri yapıları" kitabından bu yana, çok fazla heyecan verici tamamen işlevsel veri yapısının ortaya çıktığını görmedim; Sadece birkaçını adlandırabilirim: IntMap (ayrıca 1998'de Okasaki tarafından icat edildi, ancak bu kitapta bulunmuyor) Parmak ağaçları (ve monoidler üzerine genellemeleri) Ağaç değişmezlerini sağlamak için "iç içe tipler" veya …

563 reference-request  big-list  ds.data-structures  functional-programming 

Bu soru (esinlenerek) / (utanç verici bir şekilde çalındı) MathOverflow'ta benzer bir soru , ancak buradaki cevapların oldukça farklı olacağını umuyorum . Hepimizin kendi ilgili alanlarımızda favori makaleleri var. Arada bir, biri onu herkesle paylaşmak istediği kadar şaşırtıcı (örneğin, önemli, çekici, aldatıcı şekilde basit, vb.) Bir kağıt bulur. Öyleyse bu …

454 big-list  soft-question 

Paul Erdos, Tanrı'nın her matematik teoreminin en zarif kanıtını tuttuğu “Kitap” hakkında konuştu. Bu bile bir kitaptan esinlendi (şu anda 4. baskısında olduğuna inanıyorum): Kitaptaki Kanıtlar . Tanrı'nın algoritmalar için benzer bir kitabı olsaydı, hangi algoritmanın aday olacağını düşünüyorsunuz? Mümkünse, lütfen tıklanabilir bir referans ve çalışmasını sağlayan anahtar öngörüler sağlayın. …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

Algoritmaların önemini göstermek için (örneğin teoriyi yapmayan ve hatta tamamen farklı alanlardan gelen öğrenciler ve profesörler için), bazen, temel algoritmaların ticari, devlette uygulandığı örneklerin bir listesini hazır bulundurmak yararlı olabilir. veya yaygın olarak kullanılan yazılım / donanım. Aşağıdaki kriterleri karşılayan örnekler arıyorum: Algoritmayı kullanan yazılım / donanım şu anda geniş …

307 ds.algorithms  big-picture  application-of-theory 

Eğlenmek için Hesaplama Teorisini revize ettim ve bu soru bir süredir beni rahatsız ediyor (lisansımdaki Automata Teorisini öğrendiğimde hiç düşünmemiştim). Öyleyse “neden” tam olarak deterministik ve deterministik olmayan sonlu otomataları (DFA / NFA) inceliyoruz? İşte bu nedenle, çözme işleminden sonra elde ettiğim bazı cevaplar var ancak yine de 'aha' anına …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Norbert Blum kısa bir süre önce olduğuna dair 38 sayfalık bir kanıt yayınladı . Doğru mu?P≠ NPP≠NPP \ne NP Ayrıca konu üzerine: Başka nerede (internette) doğruluğu tartışılıyor? Not: Bu soru metninin odağı zaman içinde değişmiştir. Ayrıntılar için soru yorumlarına bakın.

232 cc.complexity-theory  np-hardness  complexity-classes 

[ Zaman Çizelgesi ] Bu soru, herkesin hangi makaleleri okuması ve herkesin izlemesi gereken hangi videolar hakkında aynı ruha sahiptir . Teorik bilgisayar biliminin farklı alanlarında dikkat çekici kitaplar ister. Kitaplar matematik odaklı olabilir, ancak bir bilgisayar bilimcisi için harika bulabilirsiniz. Örnekler: olasılık Eşitsizlikler Mantık Grafik teorisi Kombinatorik Algoritma Tasarımı …

229 reference-request  soft-question  big-list  books 

Wikipedia sadece "bilgisayar bilimlerindeki çözülmemiş problemler" altındaki iki sorunu listeler : P = NP? Tek yönlü fonksiyonların varlığı Bu listeye eklenmesi gereken diğer önemli sorunlar nelerdir? Kurallar: Cevap başına sadece bir sorun Kısa bir açıklama ve ilgili linkleri girin

218 big-list  open-problem 

Diyelim ki Mario bir gezegenin yüzeyinde yürüyor. Bilinen bir yerden, sabit bir yönde, önceden belirlenmiş bir mesafe boyunca yürümeye başlarsa, nerede duracağını ne kadar çabuk belirleyebiliriz? Daha teorik bir dışbükey politop verilir varsayalım 3-boyutlu uzayda bir başlangıç noktası, yüzeyi üzerinde , bir yön vektör (bazı faset içeren düzlemi içinde ) …

140 ds.algorithms  cg.comp-geom 

Stanford Üniversitesi'nde , dinamik sistemlerden kuantum dolaşımına kadar her şeyin tam kurslarının HD videolarına ücretsiz erişime sahip bir Youtube kanalı bulunuyor . Daha fazla konferans ve atölye çalışmaları görüşmelerini videoya çekiyor. İnternette herkesin bilmesi gereken videolar nelerdir? Bunu, çoğunlukla açıklayıcı olan sunumlara birkaç cevapla ekleyeceğim, ancak bu umudun gerçekleşebileceğini umduğum …

140 soft-question  big-list 

Faktoring ve grafik izomorfizmi, NP'de P de olduğu veya NP-Komple olmadığı bilinen problemlerdir. Bu özelliği paylaşan diğer (yeterince farklı) doğal problemler nelerdir? Doğrudan Ladner teoreminin kanıtından gelen yapay örnekler sayılmaz. Bu örneklerden herhangi biri, yalnızca “makul” bir hipotez olduğu varsayımıyla kanıtlanabilir bir NP-orta aracı mıdır?

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Daniel Apon'un sorusunu okuduktan sonra , daha üst düzey araştırmacıların deneyimlerinden daha fazla bilgi alabilmemiz için daha geniş ve daha genel bir soru sormanın (özellikle benim gibi küçük araştırmacılar ve mezun öğrenciler için) yararlı olabileceğini düşünmeye başladım. Yani burada soru: Araştırmalarınızda hangi uygulamaları faydalı buldunuz? Herhangi bir tavsiye türü ile …

118 soft-question  research-practice  advice-request 

İki diziden oluşan bir karışma, karakterleri yeni bir dizgeye serpiştirerek her dizginin karakterlerini sırayla tutar. Örneğin, ve MISSISSIPPIbir karıştırma . İki özdeş dizgenin karıştırılması durumunda bir dize karesini arayayım . Örneğin , karedir, çünkü ve bir karışıklığıdır , ancak dize kare değildir.MISIPPSSISIABCABDCDABCDABCDABCDDCBA Bir dize kare olup olmadığını belirlemek için hızlı …

117 ds.algorithms  open-problem 

Bununla aynı şemaya sahip birkaç soru var: Herkes hangi kağıtları okumalı? Herkes hangi kitapları okumalı? Taslakları çevrimiçi olan son TCS kitapları nelerdir herkes hangi videoları izlemeli Bir tane daha göndermemde isteksizdim, ancak Jeff Erickson'ın algoritmalar üzerine ders notları fikrimi değiştirdi. Düşündüm: Ah benim! Bunca yıldır ve bu mükemmel notları görmedim! …

113 reference-request  soft-question  big-list 

Teorik bilgisayar bilimi, "soyutlamanın bedeli" ile ilgili bazı örnekler sağlamıştır. En belirgin iki kişi Gauss ortadan kaldırılması ve tasnifi içindir. Yani: İşlemleri bir bütün olarak satırlara ve sütunlara sınırlarsanız , Gauss eleme işleminin determinantı hesaplamak için optimal olduğu bilinmektedir [1]. Açıkçası Strassen'in algoritması bu kısıtlamaya uymuyor ve asimetrik olarak Gauss …

112 ds.algorithms  reference-request  big-list  lower-bounds