Pytania otagowane jako soft-question

Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.

3
Dlaczego analiza Fouriera funkcji boolowskich „działa”?
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 obliczeniach kwantowych. Podczas gdy czułem się dobrze, stosując analizę Fouriera funkcji boolowskich jako bardzo …
10
Czy pozostały jakieś otwarte problemy związane z DFA?
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 jest niejasne pytanie, ale mam nadzieję, że masz pomysł. …
7
Jak zestrzelić swoje dowody
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 błędów i otrzymałem wiele porad od …
8
Jaka klasa złożoności jest najbardziej związana z tym, co ludzki umysł może szybko osiągnąć?
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 (analogiczną do zadania P). Ale czy NP to naprawdę …
6
Jak znaleźć pracę
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ść w kwestii tego, co powinienem teraz robić, aby osiągnąć karierę …
15
Czasopisma z otwartym dostępem
Wraz z pojawieniem się Internetu (i zdrowego rozsądku) rośnie zapotrzebowanie na badania o otwartym dostępie. Kilku badaczy (w tym ja) uważa za frustrujące, że opublikowane artykuły naukowe recenzowane są za ścianami płatnymi. Szukam czasopism i konferencji (związanych z informatyką teoretyczną, teorią grafów, kombinatoryką, optymalizacją kombinatoryczną), które udostępniłyby wszystkim akceptowanym publikacjom …
16
Jakich narzędzi używasz do pisania prac?
Jakich narzędzi używasz do pisania prac? Z mojego małego doświadczenia teoretycy spędzają dużo czasu na pisaniu i doskonaleniu artykułów, poza tym, że są kreatywni. Oznacza to, że przekazują swoją pracę innym ludziom. Być może artykuły nie są odpowiednim sposobem, ale należy to pozostawić do kolejnej dyskusji. W każdym razie wydaje …
5
Jakie blogi CS powinni wszyscy przeczytać?
Wielu wybitnych informatyków i grup badawczych prowadzi aktywne blogi, które informują nas o najnowszych badaniach w zakresie zainteresowań autorów. W większości przypadków posty na blogu są łatwiejsze do zrozumienia niż oficjalne dokumenty, ponieważ pomijają większość krwawych szczegółów technicznych i podkreślają intuicję (które zwykle pomijają). Przydałoby się zatem mieć listę polecanych …
21
Opis teoretycznego informatyki na stole?
Często jestem pytany, co robi teoretyczny informatyk. Byłoby wspaniale mieć kilka miłych odpowiedzi na to pytanie. Zwykle wracam do technicznego żargonu, a oczy ludzi zwykle w tym momencie się błyszczą. Co robi teoretyczny informatyk w kategoriach zrozumiałych dla osób niebędących informatykami? Dobra odpowiedź powinna być zgryźliwa, dokładna w duchu, bez …
18
Najbardziej pamiętne tytuły papierowe CS
Po owocnym pytaniu w MO pomyślałem, że warto przedyskutować kilka znaczących nazw artykułów w CS. Oczywiste jest, że większość z nas może być zainteresowana przeczytaniem (lub przynajmniej spojrzeniem) artykułu o interesującym tytule (przynajmniej robię to za każdym razem, gdy przeglądam listę artykułów na konferencji) lub unikam słabego czytania nazwane artykuły. …
8
Czy istnieją dowody istnienia niekonstruktywnego algorytmu?
Pamiętam, że mogłem spotkać odniesienia do problemów, które zostały udowodnione, że można je rozwiązać ze szczególną złożonością, ale bez znanego algorytmu, który by faktycznie osiągnął tę złożoność. Walczę z tym, jak to się dzieje; jak wyglądałby niekonstruktywny dowód na istnienie algorytmu. Czy rzeczywiście istnieją takie problemy? Czy mają dużą wartość …
6
Sposoby, aby matematyk był informowany o bieżących badaniach w teorii złożoności
Teoria złożoności jest moim drugorzędnym zainteresowaniem, ale nie jest moim głównym zainteresowaniem badawczym, więc nie mam nadziei, że wezmę udział we wszystkich konferencjach, przeczytam wszystkie blogi i upewnię się, że „w” tłumie cc: ja na każdym gorące wiadomości. Próbuję to zrobić, ale zastanawiam się, jakie metody przyniosą mi największe zyski …
6
Dobre przykłady, jak dobrze pisać w TCS
Redagowałem manuskrypt studencki. Uczeń zauważył, że miło byłoby zobaczyć przykłady dobrej jakości pisania w opublikowanych pracach i zdałem sobie sprawę, że tak naprawdę nie mogę wymyślić dobrych przykładów z głowy Jakie są najlepsze przykłady wysokiej jakości pisania matematycznego, jakie widziałeś? Zasady: Wolę papiery TCS, o ile to możliwe. Nasz styl …
5
Nieformalne wycieczki po dowodach
Dzisiaj Ryan Williams opublikował artykuł na temat arXiv (wcześniej ukazał się w SIGACT News) zawierający mniej techniczną wersję swojej najnowszej techniki ACC z dolną granicą. Moje pytanie nie dotyczy samej techniki (oczywiście godnej wielkiej pochwały), ale dotyczy stylu pracy. W streszczeniu pisze: Dowód zostanie opisany z perspektywy osoby próbującej go …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.