Wyjście tej sekwencji binarnej o długości 1160:
-++-+--++-++-+--+--++-+--+--++-+--++-++-+-++--++-+---+-++-+--+--++++--+--++-+--++-++----++-++-+-++--++-+-+---++-+--++-++-+--++-+--+---+-++-+--++-++-+--+--++-++-+--++-+--+++-+-+----+++-+--+--+++---++-++-+--+--+++--+-+-+--+-+++-++-+--+--++-+--++-++-+--+--++--+++---+++-+---++-+--++--+-+--+-+++-+--++-++-+--++-+--+--++-+--++--+-++-+-+--+-+-++-+--++-+--+--++-+-+-++-+-+-++---+-+--++++--+---++-+-++-+--++-+--+--++-+--++++--+---+-++++--+--++-++-+--++-+--+--++-+--++-++-+--++-+--+--++-++-+----+++-+--++--+++---+-++-+--+-++---+-++-++-+--+--++--++++-+--+--+--++++--+--+++---++-++-+--++--+-+--+--++-++-+--+--+-+++-++-+--+--++--+-++-++-+--+--+--++-++-+--+++---++-+--++-++---+++---++-++----+++--+-++-+--+--++-+--++-++-+-++--++--++----+++-++--++----++-+++--++---+++----+-+-++-++-++-+-+----+++--++-+--++-++-+--+--+--++-+--++-++-+--++--+-+--+-+-+-++++---+-+-++--+--+-+-+-++-+-+++--+-+--+--+-+++--+-+++---++-+--+--++-++--++---++-+-++--++-+---+-++-+--+-++--++-+--++-+--+-+++-+--++--+-+-+++--+-+--++-++-+--+--+-++---+-++-+-++--++-+--+++-+----++--+-++-+-++--++-+--++-+-++--++-+---+-++-+--+++----+-+-++--++-+--++-++-++-+--+--+--++++---++---+-+-++-+-+++--+-++--+-+--+-+-++---+++-++
Sekwencja
Ta skończona sekwencja jest ściśle skonstruowana w sposób, który, mam nadzieję, nadaje unikalne metody kompresji. Wynika to z problemu rozbieżności Erdősa, który został opisany w poprzednim wyzwaniu .
Traktując terminy jako +1 i -1, jest to sekwencja rozbieżności 2 o maksymalnej długości, co oznacza, że:
Dla każdego pozytywnego rozmiaru kroku
d
, jeśli weźmiesz każdy cod
trzeci (poczynając odd
tego), bieżąca suma wynikowej sekwencji pozostaje między -2 a 2 włącznie.
Jeśli uważasz, że każdy z nich +
oznacza krok w prawo i -
krok w lewo, oznacza to, że spacer każdej d
instrukcji nigdy nie przebiega o więcej niż 2 kroki od pozycji początkowej.
Na przykład, d=3
przyjmowanie co 3 kadencję daje sekwencję +-++--+--+-...
, której sumy bieżące są [1,0,1,2,1,0,1,0,-1,0,1,...]
, które nigdy nie trafiają -3 lub 3.
-++-+--++-++-+--+--++-+--+--++-+--+...
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^
+ - + + - - + - - + -
1 0 1 2 1 0 1 0 -1 0 -1 ...
Sekwencję tę znaleziono w 2014 r. Za pomocą wyszukiwania komputerowego. Zobacz ten artykuł , w którym sekwencja została odtworzona w załączniku B. Wyszukiwanie dowodzi, że 1160 jest maksymalną długością sekwencji rozbieżności-2, chociaż istnieje więcej niż jedna sekwencja o tej długości. Problem rozbieżności Erdősa, udowodniony w 2015 r. , Mówi, że każda taka sekwencja musi mieć skończoną długość dla każdej maksymalnej rozbieżności c
zamiast 2.
Wymagany czas
Twój kod powinien zakończyć się w ciągu 5 sekund . Ma to na celu ograniczenie brutalnego wymuszania.
Format wyjściowy
Można użyć dowolnych dwóch stałych odrębne znaki lub wartości +
, a -
w każdym lista podobnego lub ciąg podobnego formatu. Format powinien być taki, w którym można bezpośrednio odczytać wartości 1160 bitów, a nie na przykład zakodować jako liczbę poprzez binarną reprezentację lub ciąg znaków poprzez wartości znakowe. W przypadku ciągów znaków dozwolony jest końcowy znak nowej linii.
Tabela liderów