Pytania oznaczone «survey»

55
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...

38
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...

26
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...

11
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

11
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...