«big-list» etiketlenmiş sorular

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 

[ 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 

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 

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 

Bu Kitaptan Sonra Herkesin Okuması Gerekenler yazısının ardından, taslakları çevrimiçi olarak mevcut olan yeni kitaplar olduğunu gördüm. Örneğin , yukarıdaki yazının Yaklaşım Algoritmaları girişi , yaklaşık algoritmaların tasarımı başlıklı 2011 kitabını (henüz basılmamış) göstermektedir . Son çalışmaları bilmek, TCS trendlerinin tadına varmak isteyenler için gerçekten yararlı olduğunu düşünüyorum. Taslaklar mevcut …

99 reference-request  big-list  books 

Mümkün olduğunca çok sayıda TCS ile ilgili konferans ve çalıştayın bir listesini derlerken yardım istemek istiyorum. Bunu yapmak için temel motivasyonum daha teorik alanların muhtemel blog kapsamını planlamaktır - katıldığı etkinliklerle ilgili kısa veya derinlemesine blog yazıları yazmak isteyen bu olaylara katılan muhabirleri bulmak. Bunun ötesinde, bunun gibi bir listenin …

90 soft-question  big-list  conferences 

TCS ile ilgili yayınlanan en komik yayınlanmış eser hangisidir? Lütfen yalnızca komik olması gerekenleri ekleyin. Açıkça zekice mizahi olmak için hazırlanmış işler (örneğin, karmaşıklık teorisi ile ilgili yayınlanmış bir kısa şakalar topluluğu) tercih edilir. Esprili eserler (aslında komik, sadece sevimli değil) başlıklar da kabul edilir. Lütfen her cevap için yalnızca …

80 reference-request  soft-question  big-list 

Lütfen normalde bilgisayar bilimlerinde uygulandığı düşünülen matematik teorisinin ilk önce bilgisayar bilimi sonucunu kanıtlamak için kullanıldığı örnekleri listeleyiniz. En iyi örnekler, bağlantının açık olmadığı yerlerdir, ancak bir kez keşfedildikten sonra, açıkça yapmanın "doğru yolu" dur. Bu, TCS'nin klasik matematiğe uygulamaları sorusunun tam tersi mi? Örneğin, "Green'in Teori ve Düzlemsel Grafiklerde …

74 reference-request  soft-question  big-list  topology 

Uygulanamayacak kadar karmaşık olan bazı meşru fayda algoritmaları nelerdir? Netleştireyim: Geçerli asimptotik en uygun matris çarpım algoritması (Coppersmith-Winograd) gibi algoritmaları aramıyorum, uygulanması makul ama pratikte işe yaramaz kılan bir sabiti var. Makul bir şekilde pratik değere sahip olabilecek algoritmalar arıyorum, ancak kodlamalarını yapmak çok zor, ancak bunların hiçbir zaman uygulanmadığını, …

67 ds.algorithms  ds.data-structures  big-list  implementation 

Ben bir yazılım uygulayıcısıyım ve kişisel araştırma için cebirsel yapılar üzerine bir anket yazıyorum ve bu yapıların teorik bilgisayar bilimlerinde (ve daha az derecede bilgisayar biliminin diğer alt alanlarında) nasıl kullanıldığına dair örnekler üretmeye çalışıyorum. . Grup teorisi altında biçimsel diller için sözdizimsel monoidlerle, paralel / eşzamanlı hesaplama için iz …

67 reference-request  big-list  big-picture  algebra