Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

6
Okasaki'den beri tamamen işlevsel veri yapılarında yeni olan ne var?
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 ...

30
Herkes hangi kağıtları okumalı?
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 ...

30
Kitaptan Algoritmalar.
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. ...

29
Dağıtılmış çekirdek algoritmaları
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ş ...

11
Sonlu otomatalar okuduktan sonra elde etmem gereken aydınlanma nedir?
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 ...


30
Herkes Kitap Okumalı mı?
[ 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ı ...


2
Süper Mario Galaxy sorunu
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 ) ...

30
Herkes hangi videoları izlemeli?
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 ...

28
P ve NPC Arasındaki Sorunlar
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?

13
İyi araştırma uygulamaları için tavsiyeler
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 ...

11
Bir ipi kaldırmak ne kadar zor?
İ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ı ...

15
Herkes Ders Notlarını Okumalı mı?
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! ...

17
Soyutlama fiyatına örnekler?
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 ...

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.