Myślę, że przeczytałem zbyt wiele ambitnych artykułów KR-u . Problem polega na tym, że dokumenty te nie są recenzowane, ale często brzmią interesująco i przechodzą podstawowe kontrole wiarygodności. A może nie, a ja muszę tylko poprawić swoje kontrole wiarygodności. Oto ostatnia próbka takich...
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,...
Z tego, co rozumiem (co jest bardzo mało, więc proszę popraw mnie tam, gdzie się mylę!), Teoria języków programowania często dotyczy dowodów „intuicyjnych”. W mojej własnej interpretacji podejście to wymaga od nas poważnego potraktowania konsekwencji obliczeń dla logiki i sprawdzalności. Dowód nie...
W obecnej formie to pytanie nie pasuje do naszego formatu pytań i odpowiedzi. Oczekujemy, że odpowiedzi poparte będą faktami, referencjami lub wiedzą fachową, ale to pytanie prawdopodobnie będzie wymagało debaty, argumentów, ankiet lub rozszerzonej dyskusji. Jeśli uważasz, że to...
Spójrzmy w przyszłość za 30 lat. Bądźmy optymistami i załóżmy, że obszary związane z uczeniem maszynowym rozwijają się tak szybko, jak to, co widzieliśmy w ciągu ostatnich 10 lat. Byłoby świetnie, ale jaka byłaby rola tradycyjnej algorytmiki w takiej przyszłości? Tutaj przez „tradycyjną...
Zastanawiałem się, jakich narzędzi używają ludzie z tej dziedziny (teoretyczna informatyka) do tworzenia prezentacji. Ponieważ duża część informatyki to nie tylko pisanie artykułów, ale także wygłaszanie prezentacji, pomyślałem, że będzie to ważne miękkie pytanie. Jest to inspirowane poprzednim...
Ostatnio otrzymuję odrzucenie moich artykułów z czasopism (tj. TALG) z tego powodu, że nie mam znaczącej różnicy między wersją czasopisma a wersją postępowania (tj. SODA). Głównym powodem, dla którego przesyłam do czasopisma, jest jego dokładny proces recenzji. Poza tym, limit 20 stron SODA to...
Mam trudności z nauczeniem pojęcia funkcji obliczalnych. Próbowałem rozwinąć pojęcie, dlaczego badacze tacy jak Hilbert / Ackermann / Godel / Turing / Church / ... wymyślili pojęcie „obliczalności”. Uczniowie natychmiast zapytali: „co oznacza obliczalność?” i nie mogę odpowiedzieć, dopóki nie...
W artykule „KOMPLEKSOWOŚĆ PROBLEMÓW Z ZADOWOLENIEM” Tomasza J. Schaefera autor wspomniał, że This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity...
Chodzi o to, jak skutecznie możemy wyrazić algorytm. Potrzebuję tego do moich studiów licencjackich. Rozumiem, że nie ma czegoś takiego jak standardowy sposób pisania pseudo kodu. Różni autorzy stosują różne konwencje. Byłoby pomocne, gdyby ludzie tutaj wskazywali, w jaki sposób podążają i myślą...
Podczas zestawiania wyników często pożądane jest, aby mieć diagramy wyglądające profesjonalnie, a nie diagramy zestawione w MS Paint. Jaki jest standard rysowania struktur
W przyszłym semestrze będę prowadził standardowe studia licencjackie z języków i automatów i wolałbym korzystać z legalnego bezpłatnego lub taniego tekstu. Jakieś sugestie? Uwielbiam tekst Sipser, ale najnowsze wydanie kosztuje 196 USD, co trudno powiedzieć z prostą miną w dobie bezpłatnych...
Jestem studentem i niedawno pogodziłem się z faktem, że mogę nie mieć rozumu do prowadzenia badań w dziedzinie informatyki teoretycznej lub być w stanie zostać dopuszczonym i ukończyć program doktorancki. Chciałbym jednak nadal zajmować się informatyką teoretyczną, ponieważ uważam ją za bardzo...
Piszę prace z informatyki teoretycznej, będąc czasem nieanonimowym pojedynczym autorem. Wcześniej użyłem liczby pierwszej w liczbie pierwszej w takich dokumentach, np .: Pokażemy, że klasy złożoności X i Y pokrywają się. Nie jestem ani ojczystym językiem angielskim, ani wyjątkowo dobrym...
Większość prac jest teraz pisanych wspólnie, a współpracownicy często znajdują się w różnych miejscach. Zawsze używałem systemów kontroli wersji dla moich dokumentów i kodu, a także uważałem kontrolę wersji za kluczową dla wspólnych projektów oprogramowania, ale wydaje się, że wielu badaczy...
Mam dwa historyczne pytania: Kto pierwszy opisał obliczenia niedeterministyczne? Wiem, że Cook opisał problemy z NP-zupełnością i że Edmonds zaproponował, że algorytmy P są algorytmami „wydajnymi” lub „dobrymi”. Przeszukałem ten artykuł w Wikipedii i odszukałem „O złożoności obliczeniowej...
To pytanie jest podobne do bardziej ogólnego pytania dotyczącego tego, jaki jest właściwy model teoretyczny komputera do projektowania algorytmów i struktur danych. Tutaj pytam konkretnie o obecne komputery o wysokiej wydajności (takie jak te wymienione na liście 500 najlepszych ), a nawet o...
Ta ostatnia teoria gier pytanie dało mi do myślenia (to jest styczna, oczywiście): Czy jest możliwe, aby skutecznie zoptymalizować osobistą strategię wyboru pytania badawcze do pracy na wykorzystaniu teorii gier? Aby przejść do sformalizowania pytania, przyjmuję następujące (nieformalnie)...
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...
Jakie są najlepsze zasoby do znalezienia ofert pracy na stanowiska wykładowców w teorii CS? Czy jest w szczególności jedna strona internetowa lub lista mailingowa, która jest dość wyczerpująca? Obecnie mam wrażenie, że trzeba użyć różnych zasobów, aby uzyskać kompleksową, ogólnoświatową listę ofert...