Pytania, których odpowiedzi to duża lista pozycji (książki, twierdzenia, oprogramowanie, ...)
Od czasu książki Chrisa Okasakiego z 1998 r. „Czysto funkcjonalne struktury danych”, nie widziałem zbyt wielu nowych ekscytujących czysto funkcjonalnych struktur danych; Mogę wymienić tylko kilka: IntMap (również wynaleziony przez Okasaki w 1998 r., Ale nieobecny w tej książce) Drzewa palcowe (i...
To pytanie jest (zainspirowane) / (wstydliwie skradzione) podobnym pytaniem w MathOverflow , ale spodziewam się, że odpowiedzi tutaj będą zupełnie inne. Wszyscy mamy ulubione artykuły z naszych własnych obszarów teorii. Od czasu do czasu pojawia się artykuł tak zdumiewający (np. Ważny,...
Paul Erdos mówił o „Księdze”, w której Bóg przechowuje najbardziej elegancki dowód każdego twierdzenia matematycznego. To nawet zainspirowało książkę (która, jak sądzę, jest teraz w czwartym wydaniu): Dowody z książki . Gdyby Bóg miał podobną książkę na temat algorytmów, jaki według ciebie...
[ Oś czasu ] To pytanie ma ten sam duch, co artykuły powinny przeczytać wszyscy i jakie filmy wszyscy powinni oglądać . Prosi o niezwykłe książki z różnych dziedzin informatyki teoretycznej. Książki mogą być zorientowane na matematykę, ale mogą się okazać przydatne dla informatyków....
Wikipedia wymienia tylko dwa problemy w kategorii „nierozwiązane problemy w informatyce” : P = NP? Istnienie funkcji jednokierunkowych Jakie są inne poważne problemy, które należy dodać do tej listy? Zasady: Tylko jeden problem na odpowiedź Podaj krótki opis i wszelkie odpowiednie linki...
Uniwersytet Stanforda ma teraz kanał na Youtube , z bezpłatnym dostępem do filmów HD z pełnymi kursami na wszystko, od systemów dynamicznych po splątanie kwantowe. Więcej konferencji i warsztatów nagrywa swoje rozmowy wideo. Jakie są filmy online, o których Twoim zdaniem każdy powinien...
Rozkładanie na czynniki i izomorfizm wykresów są problemami w NP, o których nie wiadomo, że są w P ani w NP-kompletne. Jakie są inne (wystarczająco różne) naturalne problemy, które dzielą tę właściwość? Sztuczne przykłady pochodzące bezpośrednio z dowodu twierdzenia Ladnera się nie liczą. Czy...
Było kilka pytań o tym samym schemacie jak ten: Jakie gazety każdy powinien przeczytać Jakie książki każdy powinien przeczytać Jakie są najnowsze książki TCS, których wersje robocze są dostępne online jakie filmy wszyscy powinni oglądać Nie chciałem publikować jeszcze jednego, ale notatki z...
Informatyka teoretyczna dostarczyła kilka przykładów „ceny abstrakcji”. Dwa najbardziej znaczące dotyczą eliminacji i sortowania Gaussa. Mianowicie: Wiadomo, że eliminacja Gaussa jest optymalna do, powiedzmy, obliczenia wyznacznika, jeśli ograniczysz operacje do wierszy i kolumn jako całości [1]....
Idąc za postem Co książki powinny przeczytać wszystkie , zauważyłem, że są ostatnie książki, których wersje robocze są dostępne online. Na przykład pozycja Algorytmy aproksymacji powyższego wpisu cytuje książkę z 2011 r. (Jeszcze do opublikowania) zatytułowaną Projektowanie algorytmów...
Chciałbym prosić o pomoc w opracowaniu listy jak największej liczby konferencji i warsztatów związanych z TCS. Moją główną motywacją do tego jest zaplanowanie potencjalnego zasięgu blogów na temat większej liczby miejsc teoretycznych - znalezienie korespondentów biorących udział w tych...
Jaka jest najśmieszniejsza opublikowana praca związana z TCS? Podaj tylko te, które mają być śmieszne. Preferowane są prace, które zostały stworzone z myślą o inteligentnym humorze (zamiast, powiedzmy, opublikowanym zbiorem krótkich dowcipów dotyczących teorii złożoności). Akceptowane są również...
Proszę wymienić przykłady, w których twierdzenie matematyki, które normalnie nie było uważane za stosowane w informatyce, zostało po raz pierwszy wykorzystane do udowodnienia wyniku w informatyce. Najlepszymi przykładami są te, w których połączenie nie było oczywiste, ale kiedy zostało odkryte,...
Jestem praktykiem oprogramowania i piszę ankietę na temat struktur algebraicznych do badań osobistych i staram się przedstawić przykłady wykorzystania tych struktur w informatyce teoretycznej (oraz, w mniejszym stopniu, w innych dziedzinach informatyki) . W ramach teorii grup natknąłem się na...
Jakie są algorytmy legalnej użyteczności, które są po prostu zbyt skomplikowane, aby je zaimplementować? Wyjaśnię: nie szukam algorytmów takich jak obecny asymptotyczny algorytm optymalnego mnożenia macierzy (Coppersmith-Winograd), który jest rozsądny do wdrożenia, ale ma stałą, która czyni go...
Pochodząc z matematyki, tak naprawdę nigdy nie nauczyłem się kodować. Zaczynam doktorat z TCS i wiele osób było zaskoczonych tym, jak mało wiedziałem o programowaniu (i ogólnie o komputerze). Mogę pisać algorytmy w pseudo-kodzie, ale tak naprawdę nie znam żadnego języka programowania. Mogę sobie...
EDYCJA PRZY 10/12/08: Spróbuję zmodyfikować pytanie, aby zainteresować większą liczbą osób dzieleniem się opiniami. POTRZEBUJEMY twoich datków! Ten post jest inspirowany jednym z MO: Przykłady powszechnych fałszywych przekonań w matematyce . Wielkie listy czasami generują ogromną liczbę...
Zaktualizowano poniżej Wszyscy znamy kluczowe znaczenie wzajemnej oceny. Jest to główna forma kontroli jakości i informacji zwrotnej na temat badań. Jednak dla początkującego badacza (takiego jak ja) może to być czasem mylący system / proces. W związku z tym istnieje kilka traktatów na temat...
Często, gdy bierzemy udział w konferencjach TCS, zauważamy kilka drobiazgów, którymi chcielibyśmy się zająć organizatorzy konferencji. A kiedy organizujemy konferencje, już o tym zapomnieliśmy. Stąd pytanie: jakie małe kroki moglibyśmy łatwo podjąć, aby usprawnić konferencje TCS ? Mam nadzieję,...
Szukam przykładów problemów sparametryzowanych liczbą , gdzie twardość problemu nie jest monotoniczna w k . Z mojego doświadczenia wynika, że większość problemów ma przejście jednofazowe, na przykład k- SAT ma przejście jednofazowe od k ∈ { 1 , 2 } (gdzie problem występuje w P) do k ≥ 3 (gdzie...