Pytania otagowane jako soft-question

Miękkie pytanie jest pytaniem (być może subiektywnym) o dziedzinie informatyki teoretycznej, a nie pytaniem w informatyce teoretycznej.

6
Dlaczego badacz TCS potrzebuje finansowania?
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 finansowania? Myślę, że narzędziami handlu są papiery, ołówki, laptop z dobrym połączeniem internetowym …
1
Odrzucenie dowodu: amatorskie recenzje ambitnych artykułów KR-u
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 dokumentów: Drzewa wyjątkowości: możliwe podejście wielomianowe do …
4
Podręcznik zaawansowanych struktur danych
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 zaawansowanych struktur danych, takich jak Erik Demaine i André Schulz, na …
13
Kompleksowa analiza w informatyce teoretycznej
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, gdzie liczby zespolone są nieodłączne w modelu). Czy ktoś ma przykład klasycznego …
2
Jeśli techniki uczenia maszynowego będą się ciągle poprawiać, jaka jest rola algorytmiki w przyszłości?
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ą algorytmię” odnoszę się do zwykłego procesu, który …
4
Kiedy (lub powinna) Teoretyczna CS dba o intuicyjne dowody?
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 może istnieć, chyba że istnieje algorytm konstruujący konsekwencje …
1
Główne błędy w zaakceptowanych dokumentach FOCS / STOC [zamknięte]
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 pytanie można poprawić i ewentualnie ponownie otworzyć, odwiedź centrum pomocy w …
16
Jakich narzędzi używasz do prezentacji?
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 pytaniem, jakich narzędzi używasz do pisania prac . Najczęstsze, które widziałem, są …
5
Ciekawy o komputerowych dowodach kompletności NP
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 could be explored with the help of a computer. The computer would be …
3
Dobre praktyki pisania algorytmów
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ą najlepiej. Czy jest jakaś książka, która zajmuje …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.