Pytania otagowane jako survey

14
Zastosowania topologii w informatyce
Chciałbym napisać ankietę na temat zastosowań topologii w informatyce. Planuję opisać historię pomysłów topologicznych w dziedzinie informatyki, a także zwrócić uwagę na kilka aktualnych osiągnięć. Byłoby niezwykle pomocne, gdyby ktokolwiek mógł udzielić informacji na temat któregokolwiek z poniższych pytań. Czy są jakieś prace lub notatki opisujące chronologię wykorzystania topologii w …
14
Gdzie i jak komputery pomogły udowodnić twierdzenie?
Celem tego pytania jest zebranie przykładów z teoretycznej informatyki, w której pomocne było systematyczne korzystanie z komputerów budując przypuszczenie, które prowadzi do twierdzenia, fałszowanie przypuszczeń lub podejścia dowodowego, konstruowanie / weryfikacja (części) dowodu. Jeśli masz konkretny przykład, opisz, jak to zrobiono. Być może pomoże to innym w bardziej efektywnym korzystaniu …
22
Jakie znasz hierarchie i / lub twierdzenia dotyczące hierarchii?
Obecnie piszę ankietę na temat twierdzeń hierarchicznych dotyczących TCS. Szukając powiązanych artykułów zauważyłem, że hierarchia jest fundamentalną koncepcją nie tylko w TCS i matematyce, ale w wielu naukach, od teologii i socjologii po biologię i chemię. Widząc, że ilość informacji jest ogromna, mam nadzieję, że mógłbym poprosić o pomoc tę …
1
Warunek do nauki GCT
Wydaje się, że Teoria Złożoności Geometrycznej wymaga dużej wiedzy na temat czystej matematyki, takiej jak geometria algebraiczna, teoria reprezentacji. Chociaż jestem studentem CS i NIE mam zajęć z bardzo abstrakcyjnej i czystej matematyki, interesuje mnie ten program. Czy istnieje lista „minimalnej wiedzy” do nauki tej teorii? Ta lista zawiera notatki …
4
Brakuje artykułów z Wikipedii
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 Chawla stara się poprawić zasięg TCS na Wikipedii . Dodam …
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 …
4
Złożoność obliczeniowa w finansach ilościowych
Prognozowanie rynku akcji jest trudne! Czy TCS może uczynić ten sentyment bardziej formalnym? Ostatnio zacząłem trochę myśleć o finansach i zastanawiałem się, w jaki sposób wiedza TCS może pomóc. Fundusze hedgingowe i firmy inwestycyjne wydają się cały czas korzystać z handlu algorytmicznego, uczenia maszynowego i sztucznej inteligencji, ale wyniki TCS …
1
Wystarczające warunki dla prawidłowości języka bezkontekstowego
Byłoby miło zebrać listę warunków, które sugerują, że bezkontekstowy język L jest regularny, tj. Warunki postaci: „jeśli dany CFG / PDA ma właściwość P, to jego języki są regularne” Właściwość P nie musi charakteryzować CFG generujących zwykłe języki. Ponadto P nie musi być rozstrzygalne, a P powinno „w jakiś sposób …
2
Czy istnieje przegląd semantyki różnych funkcji języka programowania?
Czy istnieje ankieta (z artykułu, rozdziału książki, samouczka, linków, ...) semantyki różnych funkcji języka programowania? Początkowo byłem przytłoczony funkcjami D tutaj http://www.digitalmars.com/d/2.0/comparison.html Chciałbym zobaczyć, co mógłbym stąd uzyskać, chociaż zadałem podobne pytanie na temat przepełnienia stosu i rozumiem, że te dwie witryny mają różne perspektywy. Naprawdę doceniam twoją odpowiedź! Dzięki …
10
Materiały do ​​nauki o problemie P vs. NP
Niedawno przypomniano mi o problemie vs. jak wyjaśnił Stephen A. Cook z Clay Mathematics Institute.N PP.P.\mathsf{P}N P.N.P.\mathsf{NP} To wzbudziło moje zainteresowanie i chciałbym dowiedzieć się więcej na ten temat. Pierwszym krokiem byłoby lepsze zrozumienie problemu i ogólne zrozumienie tego obszaru. Czy możesz polecić jakieś książki lub inne zasoby, w których …
7
Podręcznik zaawansowanych algorytmów
Szukam zasobów (najlepiej podręcznika) na zaawansowane tematy w algorytmach (tematy wykraczające poza to, co są omówione w podręcznikach algorytmów, takich jak CLRS i DPV). Rodzaj materiału, który można wykorzystać do nauczania tematów w kursie algorytmów, takich jak Erik Demaine i kurs Davida Kargera Advanced Algorytmy . Preferowane są zasoby, które …
1
Ankieta na temat separatorów?
Do tej pory istnieje mnóstwo wyników dotyczących separatorów na wykresach, od płaskiego separatora, separatora drzew, ograniczonych wykresów szerokości drzewa, ograniczonych wykresów rodzajów itp. Itp. Czy jest jakaś dobra zaktualizowana ankieta na ten temat i ich zastosowania?
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.