W „ostatnim akapicie” „pierwszej strony” następującego artykułu: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , „Jeśli NP ma obwody wielomianowe, wówczas MA = AM”, Theoretical Computer Science, 1995. Napotkałem nieco sprzeczne z intuicją twierdzenie:...
Znalazłem książkę Pairwise Independence and Derandomization na ten temat, ale jest ona bardziej zorientowana na badania niż na samouczek. Jestem nowy w temacie „Derandomizacji” i dlatego chciałem wiedzieć, od którego odniesienia zacząć? Wolę taki, który omawia literaturę i historię, a także...
Interesują mnie właściwości losowo ukierunkowanych wykresów o ustalonym out-stopniu ddd . Wyobrażam sobie losowy model wykresu, w którym każdy wierzchołek wybiera u sąsiadów (powiedzmy z zamiennikiem) Pytanie : Czy coś wiadomo o rozkładzie stacjonarnym i czasach mieszania losowych spacerów na...
Niech 0≤p≤10≤p≤10\le p\le 1 i rozważmy problem decyzyjny Klika P Wejście: całkowita s , wykres G z T wierzchołki krawędzie Pytanie: sposób zawierać klika na co najmniej wierzchołki?pp_p sssGGGtttGs⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Instancja CLIQUE zawiera proporcję spośród...
Niech będzie CCC . Niech być bifunctor produkt na . Ponieważ Cat to CCC, możemy curry :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times...
Mówi się, że rozkład ϵ -fooluje funkcję f if | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Mówi się, że oszuka klasę funkcji, jeśli oszuka każdą funkcję w tej klasie. Wiadomym jest, że ε -biased obowiązuje oszukać klasę parytetów nad podzbiorów. (patrz...
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...
Czytając artykuł na temat stosowania metod algebraicznych do wykrywania niektórych indukowanych subgrafów, okazuje się, że ideał krawędzi jest ważnym narzędziem łączącym algebrę komutacyjną i teorię grafów. Skoro nie znam obliczeń obiektów algebraicznych, czy są jakieś dobre odniesienia lub książki...
W przeszłości wdrażałem modele koordynacji, wykorzystując SAT i regularną satysfakcję z ograniczeń jako podstawowy koń roboczy w ich silnikach. Kontynuując tę linię pracy, chciałbym uczynić modele bardziej interaktywnymi, a najlepszym sposobem, jaki to widzę, jest otwarcie solvera więzów, aby nie...
O ile rozumiem, wszyscy znają deterministyczne reguły przestawne dla algorytmów simpleksowych mają określone dane wejściowe, na których algorytm wymaga czasu wykładniczego (lub przynajmniej nie wielomianowego), aby znaleźć optymalne. Nazwijmy te przypadki „patologicznymi”, ponieważ zwykle (tj. Na...
Załóżmy, że budujesz komputer, który będzie obliczał stan wszystkich atomów we Wszechświecie w pewnym momencie w przyszłości. Ponieważ Wszechświat jest z definicji wszystkim, co istnieje (i wszystkim, co wchodzi w interakcję z resztą), obejmuje także komputer, który budujesz. Czy potrafisz obliczyć...
Liniowe rozszerzenie L.L.L z poset P.P.\mathcal{P} jest liniowy porządek na elementach P.P.\mathcal{P} tak, że x ≤ yx≤yx \leq y w implikuje w dla wszystkich . x ≤ y L x , y ∈ PP.P.\mathcal{P}x ≤ yx≤yx \leq yL.L.Lx , y∈ P.x,y∈P.x,y\in\mathcal{P} Liniowy wykres przedłużenie jest wykresem na zestawie...
Biorąc pod uwagę losowy spacer na wykresie, czas pokrycia jest pierwszym (oczekiwana liczba kroków), że każdy wierzchołek został trafiony (pokryty) przez spacer. W przypadku podłączonych niekierowanych wykresów czas pokrycia jest znany z górnej granicy . Istnieją silnie połączone digrafy z...
Biorąc pod uwagę zestaw S macierzy permutacji nxn (który jest tylko małą częścią n! Możliwych macierzy permutacji), w jaki sposób możemy znaleźć podzbiory T o minimalnej wielkości, tak że dodanie macierzy T ma co najmniej 1 w każdej pozycji? Interesuje mnie ten problem, w którym S jest małą...
Łatwo zauważyć, że każdy problem, który można rozstrzygnąć w deterministycznej przestrzeni logicznej ( ), pojawia się co najwyżej w czasie wielomianowym ( P ). Wiele znanych algorytmów przestrzeni logicznej (na przykład: nieukierowana łączność st, izomorfizm płaskiego wykresu) działa w O ( n k ),...
Chcę dowiedzieć się, czy istnieją jakieś ogólne wyniki lub przykłady dotyczące kompletności NP problemu znalezienia drugiego rozwiązania problemu NP-zupełnego. Dokładniej, jestem zainteresowany wszelkimi problemami następującej formy: Biorąc pod uwagę rozwiązanie na przykład I z NP-pełnej...
Jestem nowy w teorii języków programowania i szukam dobrego zasobu na temat zasobów dla formalnej semantyki języków programowania. Poszukuje strukturalnej semantyki operacyjnej. Mam rekomendacje książek. Ale szukam zasobu na bardziej wstępnym poziomie. Mile widziane są zwłaszcza samouczki, strona...
Problem, który rozważamy tutaj, to rozszerzenie znanego problemu kolorowania interwałów. Zamiast przedziałów uważamy prostokąty o bokach równoległych do osi. Celem jest pokolorowanie prostokątów przy użyciu minimalnej liczby kolorów, tak aby każdemu z dwóch nachodzących na siebie prostokątów...
Czytam Simona Peytona Jonesa Implementation of Functional Programming Languages i jest jedno zdanie, które mnie trochę zaskoczyło (na stronie 39): W znacznie większym stopniu niż w przypadku języków imperatywnych języki funkcjonalne są w dużej mierze odmianami składniowymi, przy stosunkowo...
Próbowałem przeczytać „ Perły projektowania algorytmu funkcjonalnego ”, a następnie „ Algebra programowania ”, i istnieje oczywista zgodność między rekurencyjnie (i wielomianowo) zdefiniowanymi typami danych i obiektami kombinatorycznymi, mającymi tę samą definicję rekurencyjną, a następnie...