Jestem nowy w dziedzinie CS i zauważyłem, że w wielu artykułach, które czytam, nie ma wyników empirycznych (bez kodu, tylko lematy i dowody). Dlaczego? Biorąc pod uwagę, że informatyka jest nauką, czy nie powinna podążać za metodą
W przedmowie do swoich bardzo wpływowych książek Automata, języki i maszyny (tomy A, B) Samuel Eilenberg kusząco obiecał tomy C i D dotyczące „hierarchii (zwanej racjonalną hierarchią) nieracjonalnych zjawisk… przy użyciu relacji racjonalnych jako narzędzie do porównywania. Racjonalne zestawy...
Wielu ekspertów uważa, że hipoteza jest prawdziwa i wykorzystuje ją w swoich wynikach. Obawiam się, że złożoność silnie zależy od hipotezy .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Więc moje pytanie brzmi: Dopóki hipoteza nie zostanie udowodniona, czy można /...
Czy ktoś odważy się wyjaśnić, jaki jest związek tych kierunków studiów, czy może nawet bardziej konkretną odpowiedź na poziomie problemów? Który obejmuje, który obejmuje niektóre powszechnie akceptowane formulacje. Jeśli dobrze to zrozumiałem, przechodząc z SAT do SMT, po prostu wchodzisz w pole...
Niedawno mój przyjaciel (pracujący w TCS) wspomniał w rozmowie, że „chciał zobaczyć / poznać wszystkie (lub jak najwięcej) pięknych wyników w TCS w swoim życiu”. Ten rodzaj sprawił, że zastanawiałem się nad pięknymi wynikami w tej dziedzinie, a tym samym motywacją do następującego pytania: Które...
Będąc inżynierem oprogramowania przez większą część mojego życia, nie mam absolutnie pojęcia, jak zacząć od opublikowania „akademickiego” rodzaju pracy. Podczas moich ostatnich badań znalazłem interesujący algorytm dla zadania, które rozwiązałem (związane z niektórymi obliczeniami na rynkach...
Poza ACM, IEEE Computer Society, Google Scholar, która jest najlepsza strona, aby uzyskać wpisy bibtex dla artykułów związanych z
Prezentacja teraz podana. Slajdy dostępne poniżej. Prezentacja prac w toku jest czymś, co wszyscy powinniśmy zrobić, aby uzyskać wczesną informację zwrotną i pomóc w krystalizacji naszych pomysłów. Niestety, wielu doktorantów potrzebuje pomocy w przezwyciężeniu trudności związanych z...
Ostatnio studiuję Haskell i języki programowania. Czy ktoś mógłby polecić jakieś książki na temat teorii
Przepraszam, jeśli to pytanie jest trochę niejasne, ale jestem ciekawy, jak odnoszący sukcesy badacze „odczuwają” wyniki w TCS. Na przykład algebra liniowa może być rozumiana geometrycznie lub w kategoriach jej fizycznych interpretacji (wektory własne można traktować jako „punkty stabilne” w...
Słyszałem od niektórych starszych naukowców zajmujących się informatyką teoretyczną, że praca w branży niezwiązanej z badaniami, nawet przez kilka lat, zabije twoją karierę jako badacz TCS. Jestem jednak podejrzliwy wobec twierdzenia, że droga od bycia badaczem TCS do pracy niezwiązanej z...
O których brakujących tematach TCS na Wikipedii najbardziej chciałbyś znaleźć artykuł? Mogą to być rażące pominięcia lub po prostu tematy, które Twoim zdaniem powinny zawierać artykuł. Poproszę jeden temat na odpowiedź, aby głosować na najbardziej poszukiwanych. Aktualizacja 5/2/2017 : Shuchi...
To jest moje pierwsze pytanie na stosie cstheory, więc nie bądź zbyt niegrzeczny, jeśli w jakiś sposób naruszam etykietę) Jak wiemy, w matematyce nawet znani matematycy, supergwiazdy i geniusze od czasu do czasu popełniają poważne błędy. Na przykład, zarówno twierdzenie 4-kolorowe, jak i...
Czytałem to . To mówi ... Nie będziesz głodować funduszy takich jak Pure Mathematics. (Nadal zawsze będziesz głodował po fundusze.) ... Dlaczego czystej matematycy potrzebują finansowania? (Ooops, pytanie o przepływ matematyki) Dlaczego ktoś prowadzący badania teoretyczne potrzebuje...
Ostatnio uczyłem ekspanderów i wprowadziłem pojęcie grafów ramanujańskich. Michael Forbes zapytał, dlaczego tak się nazywają, i musiałem przyznać, że nie wiem.
Mam nadzieję, że nie jest to pytanie niepoprawne politycznie, ale dla doktoranta, który zwykle publikuje w CCC / ITCS / ICALP (a czasami w FOCS / STOC), może być szkodliwe (pod względem kariery zawodowej) publikowanie mniej znaczących prac w mniej prestiżowe konferencje (np. MFCS, FCT, STACS, IPL)?...
Będę uczestniczył w mojej pierwszej konferencji informatycznej i po przeczytaniu porady, jak ulepszyć konferencje , zauważyłem, że kilka sugestii dotyczyło studentów na pierwszej konferencji. Jakie masz rady dla ucznia uczestniczącego w jego pierwszej konferencji i na czym powinien się...
Istnieje wiele zastosowań rzeczywistych analiz w informatyce teoretycznej, obejmujących testowanie własności, złożoność komunikacji, uczenie się PAC i wiele innych dziedzin badań. Nie mogę jednak wymyślić żadnego wyniku w TCS, który opierałby się na złożonej analizie (poza obliczeniami kwantowymi,...
Szukam książki o zaawansowanych strukturach danych, która wykracza poza to, co jest zawarte w standardowych podręcznikach, takich jak Cormen, Leiserson, Rivest i „Wprowadzenie do algorytmów” Steina. Książka, która może być wykorzystana do nauczania kursów na poziomie zaawansowanym na temat...
Jakie są inne opcje kariery w pełnym lub częściowo teoretycznym obszarze CS, poza pójściem w pełni na studia i uzyskaniem doktoratu / post-doc lub pójściem do mniej lub bardziej „standardowej” pracy w zakresie tworzenia