Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.
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....
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...
Po przeczytaniu pytania Daniela Apona zacząłem myśleć, że przydałoby się (szczególnie młodym naukowcom i absolwentom, takim jak ja), zadać szersze i bardziej ogólne pytanie, abyśmy mogli wyciągnąć wnioski z doświadczenia starszych naukowców. Oto pytanie: Jakie praktyki uważasz za najbardziej...
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...
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...
Właśnie czytam rachunek lambda, żeby go „poznać”. Widzę to jako alternatywną formę obliczeń w przeciwieństwie do maszyny Turinga. Jest to interesujący sposób robienia rzeczy z funkcjami / redukcjami (z grubsza mówiąc). Niektóre pytania wciąż mnie dręczą: Jaki jest sens rachunku lambda? Po co...
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ż...
Obecnie jestem studentem, który w tym roku musi ukończyć studia. Po ukończeniu studiów rozważam pracę w kierunku magistra / doktora TCS. Zacząłem się zastanawiać, jakie dziedziny matematyki są uważane za pomocne w TCS, zwłaszcza (klasyczna) teoria złożoności. Jakie dziedziny uważasz za niezbędne...
To pytanie może nie pasować tutaj, ale nie mogłem znaleźć lepszego miejsca do zadawania pytań (zostało zamknięte w SO). Trudno mi zrozumieć prace badawcze z zakresu informatyki. Oczywiście tematy są skomplikowane. Ale po tym, jak rozumiem artykuł, zwykle mogę komuś to powiedzieć w prostszy sposób...
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,...
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...
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ę,...
Zastanawiam się nad tym pytaniem. Kiedy ludzie opisują problem P vs. NP, często porównują NP klasy do kreatywności. Zauważają, że skomponowanie symfonii jakości Mozarta (analogicznej do zadania NP) wydaje się znacznie trudniejsze niż sprawdzenie, czy już skomponowana symfonia ma jakość Mozarta...
Jakie są ogólne wytyczne dotyczące sprawdzania twoich dowodów? Uważam, że jest to ważne dla absolwentów takich jak ja. Wiem już, co musimy zrobić, aby coś udowodnić, ale zawsze musisz wszystko sprawdzić przed wysłaniem. Nawet do twojego własnego doradcy. Opracowałem sobie strategie metodą prób i...
Przez lata przyzwyczaiłem się do tego, że wiele twierdzeń TCS zostało udowodnionych przy użyciu dyskretnej analizy Fouriera. Transformacja Walsha-Fouriera (Hadamarda) jest przydatna w praktycznie każdym podpolu TCS, w tym w testowaniu właściwości, pseudolosowości, złożoności komunikacji i...
Jestem nowy na stronie. Na mathoverflow byłoby to wiki społeczności, ale nie widzę, jak to tutaj ustawić. Nie pytanie badawcze, ale miejmy nadzieję, że zainteresuje profesjonalnych teoretycznych informatyków. Teoretycznie jestem studentem drugiego roku i zastanawiałem się, jaką radę ma społeczność...
Po przestudiowaniu deterministycznych automatów skończonych (DFA) w undergrad poczułem, że są one bardzo dobrze rozumiane. Moje pytanie brzmi, czy jest coś, czego wciąż nie rozumiemy. Nie mam na myśli uogólnień DFA, ale oryginalne niezmodyfikowane DFA, które badamy w studiach licencjackich. To...