Czy możesz podać jakiś przykład rozkładu jednowymiarowego, którego nie można losowo wygenerować?
Niech będzie Stałą Chaitina i spróbuje (rozkład) zmiennej losowej, która jest stale .cc
Jeśli interesuje Cię tylko próbkowanie zmiennych losowych, których wartości można rozsądnie aproksymować 64-bitowymi liczbami zmiennoprzecinkowymi, lub masz podobną tolerancję na błąd skończony w wartości, a mimo to nie reprezentujesz swoich próbek jako maszyny Turinga , rozważ to:
Niech z i spróbuj go wypróbować. Wartości i są doskonale reprezentowalne (na przykład liczby zmiennoprzecinkowe 64-bitowe bez błędów), ale myślę , że wygenerujesz je na niewłaściwych częstotliwościach, chyba że rozwiążesz problem zatrzymania.X∼Ber(p)p=1−c01
Dwa CDF są fragmentarycznie stałe: jeden to na i na . Drugi to na , następnie na i na . Oznacza to, że jednym z nich istotna w -osiowy, drugi z -osiowy. Nie jestem pewien, co sprawia, że próbkowanie jest najtrudniejsze, więc wybierz ten, który najbardziej lubisz ;-)0(−∞,c)1[c,∞)0(−∞,0)c[0,1)1[1,∞)cxy
powiedzmy, że przez „niemożliwe” rozumiemy także przypadki, które są bardzo drogie obliczeniowo, np. które wymagają symulacji siłowych, takich jak pobieranie ogromnych ilości próbek, aby zaakceptować tylko kilka z nich.
W tym przypadku oczywista odpowiedź wydaje się oczywista:
- Próbkuj równomiernie pierwsze czynniki gdzie jest duże (tj. Przełam RSA).nn
- Próbkuj preimages funkcji kryptograficznej funkcji skrótu (tj. Generuj bitcoiny i przełam git i merkurial).
- Wypróbuj zestaw optymalnych strategii Go (z chińskimi zasadami superko, które sprawiają, że wszystkie gry są skończone - o ile rozumiem).
Trochę bardziej formalnie: Daję ci duży przykład problemu z NP-zupełnym (lub EXP-zupełnym itp.) I proszę o jednolite próbkowanie zestawu rozwiązań dla mnie.
Prawdopodobnie powinienem zaakceptować jako rozwiązanie na brak instancji (i tylko na brak instancji, i byłoby to jedyne rozwiązanie). Powinienem również wymyślić biject między np. Liczbami całkowitymi (zakładając, że chcesz próbkować członków ) a rozwiązaniami - co jest często dość trywialne, po prostu traktuj reprezentacje bazy 2 jako przypisania prawdy dla mojej instancji SAT, na przykład: i może użyj aby przedstawić .⊥R−1⊥
Możesz łatwo sprawdzić, czy jakieś przypisanie prawdy spełnia moją instancję SAT, a po sprawdzeniu ich wszystko wiesz, czy ktoś tak robi, więc w pełni określiłem CDF, podając ci formułę boolowską (lub obwód), ale jeszcze próbowałem odpowiednią dystrybucję musicie zasadniczo stać się czymś co najmniej tak potężnym jak wyrocznia rozwiązująca SAT.
Dałem ci więc niepoliczalną liczbę, która powinna wrzucić piasek na twoje koła zębate, i dałem ci CDF, którego obliczenia są powolne. Może następnym oczywistym pytaniem jest coś takiego: czy istnieje CDF reprezentowany w jakiejś wydajnej formie (np. Może być oceniany w czasie wielomianowym) tak, że trudno jest wygenerować próbki o takim rozkładzie? Nie znam odpowiedzi na to pytanie. Nie znam odpowiedzi na to pytanie.