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ą,...
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...
To moje pierwsze pytanie na tej stronie. Biorę kurs magisterski z teorii obliczeń. Jak wytłumaczysz problem P = NP 10-letniemu dziecku i dlaczego ma on taką nagrodę pieniężną? Twoje zdanie? Zaktualizuję pytanie, gdy moja głowa się o tym
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...
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...
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ę...
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...
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...
Rozumiem, że model Turinga stał się „standardem” przy opisywaniu obliczeń. Interesuje mnie, dlaczego tak jest - to znaczy, dlaczego model TM stał się szerzej stosowany niż inne teoretycznie równoważne (o ile mi wiadomo) modele, na przykład μ-Recursion Kleene'a lub rachunek lambda (rozumiem to...
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...
Gdybyś mógł zmienić nazwę programowania dynamicznego, jak byś to
Prawdziwe komputery mają ograniczoną pamięć i tylko skończoną liczbę stanów. Są to w zasadzie skończone automaty. Dlaczego informatycy teoretyczni używają maszyn Turinga (i innych równoważnych modeli) do badania komputerów? Jaki jest sens studiowania tych znacznie silniejszych modeli w odniesieniu...
Wydaje się jasne, że na wiele podpól teoretycznej informatyki istotny wpływ wywarły wyniki fizyki teoretycznej. Oto dwa przykłady Obliczenia kwantowe Wyniki mechaniki statystycznej stosowane w analizie złożoności / algorytmach heurystycznych. Więc moje pytanie brzmi: czy brakuje mi jakichś...
W 1937 r. Turing opisał maszynę Turinga. Od tego czasu opisano wiele modeli obliczeń, próbując znaleźć model, który jest jak prawdziwy komputer, ale wciąż wystarczająco prosty do projektowania i analizy algorytmów. W rezultacie mamy kilkanaście algorytmów dla np. Problemu SORT dla różnych modeli...
Teoretycznie jestem studentem drugiego roku. Pracowałem nad problemem przez ostatni rok (w teorii grafów / algorytmach). Do wczoraj myślałem, że mam się dobrze (przedłużałem twierdzenie z artykułu). Dziś zdałem sobie sprawę, że popełniłem prosty błąd. Zrozumiałem, że zrobienie tego, co zamierzałem,...
Na MathOverflow Timothy Gowers zadał pytanie zatytułowane „ Wykazanie, że rygor jest ważny ”. Większość dyskusji dotyczyła przypadków pokazujących wagę dowodu, o których ludzie w CSTheory prawdopodobnie nie muszą być przekonani. Z mojego doświadczenia wynika, że dowody muszą być bardziej...
Mimo kilku lat zajęć wciąż nie mogę się zdecydować na temat badań. Przeglądałem artykuły z różnych dziedzin i rozmawiałem z profesorami i zaczynam myśleć, że to niewłaściwe podejście. Czytałem, że pomaga znaleźć interesujący problem (bez względu na obszar), a następnie pracować nad tym....
Jestem doktorantem czwartego roku informatyki teoretycznej. Chciałbym zostać w środowisku akademickim, więc myślę o tym, jak najlepiej rozwinąć swoją karierę. Oczywiście najlepszym sposobem na zrobienie tego jest napisanie wielu dobrych prac, ale inne pytanie brzmi, czy powinienem starać się, aby...
OŚWIADCZENIE: To pytanie jest otwarte, a purytanie z wymiany stosów prawdopodobnie odczuwaliby niezwykłą potrzebę głosowania w celu zapomnienia. Nie mogę jednak wymyślić żadnego innego forum bardziej odpowiedniego i obiecującego na uzyskanie odpowiedzi na to pytanie. Pracując nad problemem...
Jestem doktorantem trzeciego roku z zakresu teoretycznego CS, który chciałby uzyskać porady dotyczące trudnej sytuacji z moim doradcą. Mój doradca w ogóle nie bierze udziału w moich projektach badawczych. W szczególności wymyśliłem wszystkie moje pomysły na papier i wykonałem je sam. Zawsze jednak...