Runs Test
The Wald-Wolfowitz runs test is a nonparametric hypothesis test that determines whether a sequence of observations — coded as a series of binary symbols — follows a random pattern or contains systematic structure. Introduced by Abraham Wald and Jacob Wolfowitz in 1940, the test counts the number of uninterrupted runs of identical symbols and asks whether that count is consistent with random arrangement.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.