W obliczeniach rozproszonych problem konsensusu wydaje się być jednym z głównych tematów, który przyciągnął intensywne badania. W szczególności artykuł „Niemożność rozproszonego konsensusu z jednym wadliwym procesem” otrzymał nagrodę PODC Influential Paper Award 2001 . Dlaczego więc problem...
W sekcji „Wprowadzenie do języków programowania” Anthony'ego Aaby'ego na temat semantyki dokonuje następujących obserwacji: Znaczna część pracy w semantyce języków programowania jest motywowana problemami napotkanymi przy próbie konstruowania i zrozumienia programów imperatywnych - programów z...
Czy mam rację rozumiejąc, że udowodnienie, że problem NP jest kompletny, to sukces badawczy? Jeśli tak to
Rozglądałem się daleko za takimi aplikacjami i najczęściej okazało się, że są krótkie. Potrafię znaleźć wiele zastosowań topologii i podobnych struktur na zestawach policzalnych (lub niepoliczalnych), ale rzadko znajduję zbiory niepoliczalne jako przedmiot badań przez informatyków, a zatem prowadzi...
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...
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...
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...
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...
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...
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...
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...
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...
Pamiętam jakiś czas temu badanie lub artykuł, w którym twierdziłem, że większość przyspieszenia obserwowanego w programach komputerowych w ciągu ostatnich kilku dekad wynika z lepszych algorytmów niż z szybszego sprzętu. Czy ktoś zna badanie lub
Jaka klasa złożoności jest powiązana z wyczerpującymi algorytmami wyszukiwania? (jeśli jest) Czy to jest NP czy PSPACE? Czy istnieją ograniczone modele obliczeń przechwytujące klasę wyczerpujących algorytmów wyszukiwania podobnych do modeli dla chciwego i dynamicznego...
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 ,...
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...
Jakie są zastosowania moich „mocy” poza środowiskiem akademickim? Co mogę zrobić poza nauczaniem i publikowaniem artykułów? Gdzie wszystko mogę zastosować swoje uprawnienia? Dla argumentu: proszę założyć, że mam doktorat z algorytmów / TCS i nauczyłem się wielu „rzeczy” i stworzyłem przełomowe...
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...
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...
Niech będzie funkcją logiczną o czułości s ( f ) i czułości bloku b s ( f ) .fafafs ( f)s(fa)s(f)b s ( f)bs(fa)bs(f) Hipoteza domniemania czułości według bloku czułości stwierdza, że istnieje takie, że ∀ f , b s ( f ) ≤ s ( f ) c .c > 0do>0c>0∀ f, b s ( f ) ≤ s (...