Sekwencja Recamaña: Jeden Linia Reguły Wygladzącej Na Chaos

Zasada zaoferowana głodnie, która wygląda na przypadkową i nie jest taką

Sekwencja Recamaña zaczyna się od a(0) = 0, a każda kolejna wartość oblicza się według jednej zasadniczej zasady: najpierw spróbuj odjąć n od poprzedniej wartości; jeśli wynik jest dodatni i nie pojawił się wcześniej w sekwencji, to przyjmij go; w przeciwnym razie dodaj n. Sekwencja ta nosi nazwę po columbijskim matematyku Bernarda Recamaña Santos i została popularna dzięki Neilowi Sloanemu oraz OEIS (jest to sekwencja A005132, jedna z najczęściej oglądanych wpisów w całym bazie danych). Działa na ośmieszenie zasady tak prostej — liczby w sekwencji wydają się skaczyć niepewnie i niestabilnie — a wizualizacja jej jako łuków sprawia, że struktura tego wydawanego przypadkowości jest widoczna.

a[0] = 0;
seen = new Set([0]);
for (let n = 1; n <= N; n++) {
  const back = a[n-1] - n;
  if (back > 0 && !seen.has(back)) {
    a[n] = back;               // subtract, if it's new and positive
  } else {
    a[n] = a[n-1] + n;          // otherwise add
  }
  seen.add(a[n]);
}

Czytanie łuków

Narysowanie każdego kroku jako półokręgu łączącego a(n−1) z a(n) — nad linią liczb dla dodawania, pod nią dla odejmowania — przekształca szereg niewielkich liczb w obraz, który symulacja animuje. Wizualizacja nie jest tylko dekoracyjna: pokrywające się łuki są dokładnie kolizjami, których algorytm sprawdza. Kiedy kandydat na odejmowanie powróci do liczby już pokrytej wcześniejszym łukiem, zasada jest zmuszona do dodawania zamiast tego, a można obserwować, jak łuki fizycznie unikają przecinania się z siebie w obrazie, generacja po generations, w czasie rzeczywistym.

Dlaczego nigdy nie zatrzymuje się na miejscu i czy każdy numer pojawia się

Podstawa tajemniczej reguły polega na tym, że ona zabrania tylko powtórzeń, a nie przestanków — sekwencja jest wolna do skakania nad liczbami, które nigdy nie odwiedzi bezpośrednio, asystując jedynie temu, że się tam nie powtarza. Zdaniem matematyków i potwierdzonych obliczeniowo dla ogromnych zakresów (będących znacznie dalej niż 10^11 wyrazów), każdy nieujemny liczbę ostatecznie pojawia się w sekwencji, ale to nie jest dowiedzione dla wszystkich n. To, co wiadomo, to fakt, że sekwencja ciągle odnajduje nowe terytoria głównie poprzez odejmowanie, gdy to jest bezpieczne, ponieważ spadek powoduje mniej powtórzenia mniejszych liczb niż długie serii tylko dodawania zostawiłyby za sobą, a przestanki, które pojawiają się, tendują do wypełnienia się później, czasami po setki tysięcy kroków.

arytmetyka sytuacji, w której odejmowanie jest zmuszone do nieudanej operacji

Dzięki temu, że a(n−1) − n musi pozostawać dodatnim, aby nawet być rozważanym, gałąź odejmowania staje się niedostępna wtedy, gdy n jest duże w stosunku do bieżącego wyrazu — dla n > a(n−1), odjęcie byłoby ujemne, więc zasada jest zmuszona do czystej dodawania na pewien czas. Długie ciągi dodawania podnoszą sekwencję szybko (każde dodanie to +n, więc kolejne dodawania kompensują się jak częściowa suma n, n+1, n+2, …), co dokładnie uzupełnia „budzet” potrzebny do późniejszych odejmowań ponownie stać się prawidłowymi, gdy n zwiększy się do tego stopnia, aby przewyższyć akumulowaną wartość. Ta walka między zmuszonymi ciągami dodawania a okazjonalnymi odejmowaniem jest rzeczywistym źródłem wizualnie niepokojącego skręcania sekwencji.

Dlaczego matematycy nadal studiują coś tak prostej

Sekwencja Recamaña znajduje się w małej, popularnej rodzinie „prostych zasad decydujących o nieoczekiwanych wynikach” sekwencji liczb całkowitych, razem z sekwencją EKG i sekwencją Ulama. Są one interesujące właśnie dlatego, że jednolinijkowa rekurencyjna definicja tworzy otwarte matematyczne pytania. Nikt nie udowodnił hipotezy o tym, że każda liczba całkowita pojawia się w sekwencji, nikomu nie znana jest wzór zamknięty dla a(n), a szybkość zrostu i statystyki przepustnic są badane empirycznie generując biliony wyrazów i szukając wzorów — co stanowi dobre opisanie tego, jak wyglądała większość teorii liczb przed udowodnieniem twierdzeń, a także przypomina, że „proste w definicji” i „proste do zrozumienia” to bardzo różne właściwości.

Często zadawane pytania

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Recamán's Sequence Visualization i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.