Pytania otagowane jako big-picture

Znacznik dużego obrazu służy do „szerokiego, ogólnego widoku lub perspektywy problemu lub problemu”.

4
Zastosowania teorii złożoności
Teoria złożoności wydaje się uchwycić coś fundamentalnego w strukturze wszechświata, ponieważ formalizuje intuicyjne przekonanie, że niektóre problemy są trudniejsze niż inne. Scott Aaronson przewidział : „Założenie o twardości NP będzie w końcu postrzegane jako analogiczne do drugiej zasady termodynamiki lub niemożności sygnalizacji nadświetlnej”. Tak zwane „trudne problemy” są podstawą współczesnej …
1
Kariera w informatyce teoretycznej
Obecnie jestem uczniem szkoły średniej, interesuję się informatyką teoretyczną i matematyką stosowaną. Nauczyłem się algebry liniowej, rachunku różniczkowego i matematycznego. Mam naiwne przekonanie, że aby pisać lepsze algorytmy, trzeba znać tyle matematyki, ile się da, ponieważ można się uczyć o nowych strukturach, a następnie używać tych struktur do tworzenia bardziej …
3
Jak trudna jest dokładna symulacja algorytmów i powiązana z nią operacja na klasach złożoności
Zwiastun Ponieważ problem jest długotrwały, tutaj jest szczególny przypadek, który oddaje jego istotę. Problem: Niech A będzie algorytmem detrministycznym dla 3-SAT. Czy problem polega na całkowitej symulacji algorytmu A (na każdym wystąpieniu problemu). P-Space trudne? (Dokładniej, czy istnieją powody, by sądzić, że to zadanie jest trudne dla P-Space, robi coś …
3
Randomize or Not?
To pytanie jest inspirowane koszulką Georgia Tech Al Algorytmy i Randomness Center , która pyta „Randomize or not ?!” Istnieje wiele przykładów, w których randomizacja pomaga, szczególnie podczas działania w środowiskach przeciwnych. Istnieją również ustawienia, w których losowanie nie pomaga ani nie boli. Moje pytanie brzmi: Jakie są ustawienia, kiedy …
2
Status quo teorii kategorii i monad w teoretycznych badaniach informatycznych?
Tło . Jestem studentem studiów licencjackich, który interesuje się badaniami związanymi z teorią kategorii, monadami i Haskellem, i chcę znaleźć temat do mojej pracy licencjackiej w tej dziedzinie. Spojrzałem na gazetę Eugenio Moggi , „ Pojęcia obliczeń i monad ”, 1991, i jeszcze niewiele z tego rozumiem. Prawdopodobnie będę potrzebować …
10
Nieprzerwalność problemów NP-zupełnych jako zasada fizyki?
Zawsze intryguje mnie brak danych liczbowych z matematyki eksperymentalnej za lub przeciw pytaniu P vs NP. Podczas gdy hipoteza Riemanna zawiera pewne dowody potwierdzające weryfikację numeryczną, nie znam podobnych dowodów na pytanie P vs NP. Ponadto nie jestem świadomy żadnych bezpośrednich konsekwencji dla świata fizycznego istnienia nierozwiązywalnych problemów (lub istnienia …
6
Geometryczna interpretacja obliczeń
Będąc fizyką, zostałem przeszkolony, aby patrzeć na wiele problemów z geometrycznego punktu widzenia. Na przykład geometria różniczkowa rozmaitości w układach dynamicznych itp. Kiedy czytam podstawy informatyki, zawsze staram się znaleźć interpretacje geometryczne. Jak wiarygodna geometryczna interpretacja zbiorów rekurencyjnie wyliczalnych (pracowałem nad częścią, w której próbowałem połączyć je z geometrią algebraiczną, …
2
Krajobraz interaktywnych systemów dowodowych
Moje pierwsze pytanie dotyczy tego, czy charakterystyka interaktywnego systemu dowodu jest znana dla wszystkich klasycznych klas złożoności. Nazwałbym P, NP, PSPACE, EXP, NEXP, EXPSPACE, funkcje rekurencyjne i rekurencyjnie wyliczalne klasyczne (między innymi). W szczególności, czy charakterystyka interaktywnego systemu dowodu znana jest z funkcji rekurencyjnych i rekurencyjnie wyliczalnych? Wiem tylko, że …
5
Czy redukcje powinny nas bardziej lub mniej optymistycznie podchodzić do rozwiązania problemu?
Wydaje mi się, że większość teoretyków złożoności ogólnie uważa następującą zasadę filozoficzną: Jeśli nie możemy wymyślić skuteczny algorytm dla problemu i możemy zmniejszyć problemu A do problemu B , wtedy prawdopodobnie nie jest skuteczny algorytm dla problemu B , albo.ZAAAZAAAbBBbBB Dlatego, na przykład, gdy nowy problem zostanie udowodnione, NP-complete po …
7
Analiza matematyczna i złożoność obliczeniowa?
złożoność obliczeniowa obejmuje duże ilości kombinatoryki i teorii liczb, niektóre elementy stochastyczne i pojawiającą się ilość algebry. Jednak będąc analitykiem zastanawiam się, czy istnieją zastosowania analizy w tej dziedzinie, czy może pomysły inspirowane analizą. Wiem tylko, co nieco to odpowiada, to transformata Fouriera na grupach skończonych. Możesz mi pomóc?
1
Dlaczego Martin-Löf potrzebował stworzyć intuicyjną teorię typów?
Czytałem o Intuitionistic Type Theory (ITT) i to ma sens. Ale staram się zrozumieć, dlaczego „dlaczego” zostało stworzone? Intuicyjna logika (IL) i prosty typ rachunek (STLC) i teoria typów ogólnie poprzedzają samo istnienie samego Martina-Löfa! Wydaje się, że w STLC można zrobić wszystko, co jest możliwe w ITT (mogę się …
4
Interesujące wyniki w TCS, które można łatwo wytłumaczyć programistom bez wiedzy technicznej
Załóżmy, że spotykasz się z programistami, którzy odbyli profesjonalne kursy programowania (/ self-think), ale nie studiowali matematyki na poziomie uniwersyteckim. Aby pokazać im piękno TCS, chciałbym zebrać kilka fajnych wyników / otwartych pytań pochodzących z TCS, które można łatwo wyjaśnić. Dobry kandydat do tego celu (IMHO) pokaże, że problem zatrzymania …
2
Czym jest informatyka teoretyczna?
Czym dokładnie jest informatyka teoretyczna? Czy uczy się kodować w różnych językach i tworzy aplikacje na platformach? A może myślisz o coraz szybszych algorytmach, aby komputery mogły efektywniej wykonywać zadania? A może programowanie i myślenie o nowych sytuacjach życiowych, które można symulować na komputerze? Co dokładnie staramy się tutaj zrobić? …
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.