Obecnie studiuję matematykę. Jednak nie sądzę, żebym chciał zostać zawodowym matematykiem w przyszłości. Zastanawiam się nad wykorzystaniem mojej wiedzy z matematyki do badań nad sztuczną inteligencją. Nie jestem jednak pewien, ile kursów matematyki powinienem odbyć. (I które kursy teorii CS...
Chciałbym wiedzieć, czy w TCS istniały przypuszczenia, które od dawna nie zostały udowodnione, a które później udowodniono na podstawie innego twierdzenia, które mogłyby być łatwiejsze do udowodnienia.
Które uniwersytety mają silny program obliczeń kwantowych i oferują pewien rodzaj obliczeń kwantowych / kursów informacyjnych / badań? Ma to na celu zebranie przydatnej listy dla osób rozważających studia podyplomowe w tych dziedzinach, a nie dyskutowanie o tym, co jest „najlepsze”. Aby ta lista...
Teoria złożoności wydaje się uchwycić coś fundamentalnego w strukturze wszechświata, ponieważ formalizuje intuicyjne przekonanie, że niektóre problemy są trudniejsze niż inne. Scott Aaronson przewidział : „Założenie o twardości NP będzie w końcu postrzegane jako analogiczne do drugiej zasady...
Bardzo często, jeśli czas działania algorytmu jest skomplikowanym wyrażeniem, sam algorytm jest również skomplikowany i niepraktyczny. Każdy z pierwiastek sześcienny i czynników w czasie biegu asymptotycznej tendencję, aby dodać złożoności algorytmu, a także ukryte czynniki stałe do czasu...
Zdaję sobie sprawę, że może to być kontrowersyjne pytanie, ale wydawało się, że to właściwe miejsce do zadawania pytań. Proszę mnie przekierować, jeśli nie. Tło jest takie, że jestem „praktykiem” (doktorantem, nie studiuję teorii CS), ale mam uzasadnione podstawy w algorytmach licencjackich i...
Dobrze wiadomo, że istnieje mnóstwo amatorów - w tym ja - którzy są zainteresowani problemem P vs. NP. Jest też wielu amatorów - w tym ja również - którzy próbowali rozwiązać problem. Jednym z problemów, na który, jak sądzę, cierpi społeczność TCS, jest stosunkowo wysoki stosunek zainteresowanych...
Przeglądam Podręcznik informatyki inspirowanej naturą i innowacji dla SIGACT News. To bardzo interesująca lektura. Każdy rozdział ma jednak smak: „To moja dziedzina badań i do cholery, to niesamowite!” Więc część tego, co próbuję zrobić, to oddzielić szum i dokonać trzeźwej oceny zawartości...
Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane...
Pojęcie wielomianowych redukcji czasu (redukcje Cooka) jest abstrakcją bardzo intuicyjnej koncepcji: skutecznego rozwiązywania problemu za pomocą algorytmu dla innego problemu. Jednakże, w teorii -completeness pojęcie -hardness jest rejestrowany za pomocą redukcji odwzorowania (redukcje Karp). Ta...
Jestem matematykiem, który pracuje przede wszystkim w spektralnej teorii samozporządkowania i operatorów unitarnych. Niektóre z moich badań mają znaczenie podczas spacerów kwantowych, w szczególności mam jeden artykuł, który chciałbym przedstawić na konferencji Quantum Information Processing, która...
Mój pomysł na wymarzoną karierę to kariera w badaniach przemysłowych, w której można zmierzyć się z problemami, które są trudne, a także mieć praktyczne zastosowanie. W związku z tym, czy doktorat z TCS (interesują mnie takie tematy jak algorytmy rozproszone / równoległe, algorytmy online) to zły...
Ostatnio byłem na konferencji wspieranej przez ACM. Podczas bankietu organizatorzy konferencji opowiedzieli nam o przyszłości i przeszłości konferencji. Powiedzieli nam, że podczas edycji konferencji w 2010 roku strata wyniosła 5000 $. Pokazali nam budżet poprzedniej konferencji, gdzie mogliśmy...
Przepraszam, jeśli to nie na temat. Wygląda na to, że nazwa domeny wygasła. Mam nadzieję, że niektórzy członkowie społeczności tutaj (nie jestem jednym) mogą wiedzieć, kto był administratorem / właścicielem tej witryny. To był całkiem użyteczny
Jestem studentem matematyki z solidnym doświadczeniem w logice. Wziąłem roczny kurs magisterski z logiki wraz z kursami absolwentów teorii modeli skończonych, a także teorii wymuszania i teorii mnożenia. Większość tekstów CS wydaje się przyjmować jedynie bardzo skromne tło logiki, które w...
To pytanie w duchu tego , na które odpowiedziałem, że ważne jest, aby śledzić, co zrobiłeś, dlaczego to zrobiłeś, a co nie działa. Osobiście używam do tego celu notebooków, ale ma to kilka wad: po pierwsze potrzebuję dużo miejsca do przechowywania, po drugie, kiedy podróżuję, nie mam dostępu do...
Wiele publikacji informatycznych z lat 50. i 60. XX wieku zawiera fascynujące spekulacje filozoficzne na temat natury umysłu i znaczenia informacji w odniesieniu do świata fizycznego. Słynne przykłady to „Test Turinga”, „Obliczanie przestrzeni” Zuse'a, „It from bit” Wheelera itp. Dziś takie tematy...
Przepraszam, jeśli jest to zbyt szerokie pytanie dla tego forum, ale interesują mnie konkretne taktyki i wskazówki, których naukowcy (w TCS) używają do napisania wstępu do pracy naukowej.
Czy istnieją przypadki, w których dodatkowe publikacje mogą zaszkodzić Twojej dokumentacji? Pozwala to uniknąć oczywistych przypadków, w których publikujesz nieprawidłowe lub kontrowersyjne wyniki. Unikaj także przypadku czasu skończonego: masz tylko tyle czasu na myślenie i pisanie, więc...
Biorąc pod uwagę, że większość amerykańskich uniwersytetów przyjmuje wnioski tylko w jednej dziedzinie, staram się dowiedzieć, jakie są zalety / wady stosowania programu teorii CS w porównaniu z programem matematyki stosowanej, biorąc pod uwagę, że interesuje go gdzieś w obu wydziałach. Mówiąc...