Jestem na drugim roku studiów magisterskich, które nie odnoszą się zbytnio do TCS, choć tego chciałbym. Chodzi przede wszystkim o teorię sterowania, sygnały i systemy, a ja wziąłem zajęcia z zaawansowanych systemów (solidne, nieliniowe, optymalne, stochastyczne), zaawansowanego przetwarzania...
Jestem studentem trzeciego roku na uniwersytecie „20 najlepszych”, który pracuje nad złożoną złożonością (dużo zabawy z 3-SUM, OV i zwykłymi popularnymi przypuszczeniami dotyczącymi twardości). W ciągu ostatniego roku byłem dość produktywny i otrzymałem 3 zaakceptowane prace i dwie przesłane prace....
Z góry przepraszamy za to miękkie pytanie, które nie ma zamkniętej, poprawnej odpowiedzi. To chyba najlepsze forum do zadawania moich pytań. Jestem studentem trzeciego roku w grupie teoretycznej 15 najlepszych szkół w USA. Jak dotąd radziłem sobie całkiem nieźle. Mam do tej pory pierwszą pracę...
Nie jestem teoretycznym informatykiem. Jestem stabilnym teoretykiem homotopii, posługującym się kategoriami . Widziałem zastosowań teorii teorii kategorii i topos teoretycznej informatyki, a ja zastanawiałem się, czy istnieje jakikolwiek sposób można użyć ∞ -categories (i korzystnie dla mnie,...
Próbowałem owinąć głowę wokół tego, co, dlaczego i jak rachunek, ale nie jestem w stanie poradzić sobie z „dlaczego to działa”?λλ\lambda „Intuicyjnie” dostaję model obliczeniowy Turing Machines (TM). Ale ta abstrakcja wprawia mnie w zakłopotanie.λλ\lambda Załóżmy, że bazy danych nie istnieją -...
Od jakiegoś czasu opracowuję algorytm SAT i doszedłem do punktu, w którym chciałbym się nim podzielić. Nie znam wielu ludzi informatyki i nie jestem pewien, dokąd się zwrócić. Zastanawiam się, jakie zasoby są dostępne dla kogoś z algorytmem, który rozważa publikację. Potrzebuję również pomocy w...
Wydaje mi się, że wszystkie muzea i wystawy związane z komputerami obejmują jedynie historię maszyn komputerowych, ale nic na temat informatyki. Uczestniczysz w tworzeniu nowego Muzeum Informatyki, którego zadaniem jest edukacja, rozrywka i inspirowanie ogółu społeczeństwa w szerokim zakresie...
W artykule konferencyjnym, w celu udowodnienia -completeness problemu, napisałem zdanie głupiego „Jest oczywiste, że problem jest w N P . Więc będziemy udowadniać, że jest N P -hard”. W rzeczywistości nie było wcale jasne. Wydaje się nawet, że jest to otwarty problem. Dla grupy docelowej, nie jest...
Niedawno rozpocząłem kurs magisterski. W ostatnim semestrze brałem udział w kursach z różnych dyscyplin, takich jak sieci, inżynieria oprogramowania, architektura itp. Ostatnio, po przejściu zaawansowanego kursu w zakresie algorytmów i struktur danych, myślę, że znalazłem kurs, który najbardziej...
Jaka jest różnica nazywania calculus algebrą zamiast rachunku różniczkowego? Podnoszę to pytanie, ponieważ gdzieś przeczytałem wiersz „ λ- rachunek nie jest rachunkiem, ale algebrą” (iirc, przypisane Danie Scott). O co chodzi?
W 1996 r. Długotrwały otwarty problem został rozwiązany przez komputer; mianowicie, że algebra Robbinsa i algebra Boole'a są takie same. Dowód został znaleziony przez automatyczną powiedzonkę twierdzeń. Ponadto znany dowód twierdzenia o czterech kolorach zawiera generowane komputerowo...
Na cs.stackexchange zapytałem o bibliotekę algebird scala na githubie, spekulując, dlaczego mogą potrzebować abstrakcyjnego pakietu algebry. Strona github zawiera kilka wskazówek: Implementacje Monoidów dla interesujących algorytmów aproksymacyjnych, takich jak filtr Bloom, HyperLogLog i...
Chociaż ogólna zasada jest taka, że w artykułach TCS autorzy są uporządkowani alfabetycznie, istnieją pewne znaczące kontrprzykłady, które przychodzą na myśl, w których autorzy są uporządkowani w inny sposób, np. Metody algebraiczne dla interaktywnych systemów dowodowych [Lund, Fortnow,...
Staram się zrozumieć, co jest zaangażowane w teoretyczne badania informatyczne. Czym zajmują się informatycy teoretyczni? Wiem, że znaczna ilość czasu poświęcana jest na nauczanie, nadzorowanie doktorantów, ubieganie się o fundusze i obowiązki departamentalne. Odkładając je na bok, jak spędzasz...
Jestem absolwentem informatyki teoretycznej, aw szczególności algorytmów aproksymacyjnych. Teraz uważam, że bardziej interesuje mnie czysta matematyka (mogę to powiedzieć, ponieważ wydaje mi się, że bardziej podobały mi się kursy matematyki niż kursy CS). Chciałbym zapytać, czy istnieją obszary w...
Istnieją teorie grafów algorytmicznych / teoria liczb / kombinatoryka / teoria informacji / teoria gier. Czy istnieje algorytmiczna analiza matematyczna? Według wiki analiza matematyczna obejmuje teorie różniczkowania, całkowania, miary, limitów, szeregów nieskończonych i funkcji...
W projektach Polymath duża grupa pracuje nad otwartym problemem. Jakie problemy wydają się działać najlepiej w tych ramach? Czy są jacyś dobrzy kandydaci na projekt polimorficzny w informatyce teoretycznej? Czy są jakieś przeszkody, które sprawiają, że projekty Polymath rzadziej odnoszą sukcesy...
W przeszłości czasopisma były głównym sposobem rozpowszechniania i weryfikacji odkryć naukowych / matematycznych. W niektórych obszarach nadal są. Jednak w (teoretycznej) informatyce rolę tę pełnią prawie w całości konferencje i otwarte rozpowszechnianie internetowe (np. Arxiv lub osobiste strony...
Cześć wszystkim, obecnie staram się znaleźć solidny temat pracy magisterskiej dotyczący jakiejś gałęzi teorii automatów lub związany z językami formalnymi. Próbuję wygenerować kilka dobrych pomysłów na temat akceptowalnego tematu, czegoś ambitnego, ale jednocześnie wykonalnego. Wszelkie sugestie...
Jestem samoukiem, profesjonalnym programistą. Jestem w tym całkiem dobry (Ruby, Unix, Clojure, Java, Objective-C), ale teraz myślę o przeniesieniu go na wyższy poziom, być może ubiegając się o studia magisterskie lub doktoranckie w CS. Jakie tematy matematyczne powinienem studiować, aby przygotować...