Wyzwanie

Biorąc pod uwagę nieujemną liczbę całkowitą, określ, czy możliwe jest, aby dwie daty (kalendarza gregoriańskiego) różniły się dokładnie o tyle lat, aby dzielić dzień tygodnia. Zakłada się, że rok przestępny jest podzielny przez 4, ale nie 100, lub jeśli jest podzielny przez 400.

Dane wyjściowe mogą być:

• falsey / truey (w obu orientacjach)
• dowolne dwie odrębne wartości
• jedna odrębna wartość i jedna jest czymkolwiek innym
• według kodu powrotu programu
• przez sukces / błąd
• w jakikolwiek inny rozsądny sposób - po prostu zapytaj, czy podejrzewasz, że może to być kontrowersyjne

Ale nie przez dwa nierozróżnialne zestawy wartości, z wyjątkiem falsey / truey (ponieważ pozwoliłoby to na brak możliwości!)

Szczegół

To jest, czy wejście jest członkiem sekwencji OEIS A230995 .

Członkowie:

0, 5, 6, 7, 11, 12, 17, 18, 22, 23, 28, 29, 33, 34, 35, 39, 40, 45, 46, 50, 51, 56, 57, 61, 62, 63, 67, 68, 73, 74, 78, 79, 84, 85, 89, 90, 91, 95, 96, 101, 102, 106, 107, 108, 112, 113, 114, 117, 118, 119, 123, 124, 125, 129, 130, 131, 134, 135, 136, 140, 141, 142, 145, 146, 147, 151, 152, 153, 157, 158, 159, 162, 163, 164, 168, 169, 170, 173, 174, 175, 179, 180, 181, 185, 186, 187, 190, 191, 192, 196, 197, 198, 202, 203, 204, 208, 209, 210, 213, 214, 215, 219, 220, 221, 225, 226, 227, 230, 231, 232, 236, 237, 238, 241, 242, 243, 247, 248, 249, 253, 254, 255, 258, 259, 260, 264, 265, 266, 269, 270, 271, 275, 276, 277, 281, 282, 283, 286, 287, 288, 292, 293, 294, 298, 299, 304, 305, 309, 310, 311, 315, 316, 321, 322, 326, 327, 332, 333, 337, 338, 339, 343, 344, 349, 350, 354, 355, 360, 361, 365, 366, 367, 371, 372, 377, 378, 382, 383, 388, 389, 393, 394, 395
plus
400, 405, 406, 407, 411, ...

Osoby niebędące członkami:

1, 2, 3, 4, 8, 9, 10, 13, 14, 15, 16, 19, 20, 21, 24, 25, 26, 27, 30, 31, 32, 36, 37, 38, 41, 42, 43, 44, 47, 48, 49, 52, 53, 54, 55, 58, 59, 60, 64, 65, 66, 69, 70, 71, 72, 75, 76, 77, 80, 81, 82, 83, 86, 87, 88, 92, 93, 94, 97, 98, 99, 100, 103, 104, 105, 109, 110, 111, 115, 116, 120, 121, 122, 126, 127, 128, 132, 133, 137, 138, 139, 143, 144, 148, 149, 150, 154, 155, 156, 160, 161, 165, 166, 167, 171, 172, 176, 177, 178, 182, 183, 184, 188, 189, 193, 194, 195, 199, 200, 201, 205, 206, 207, 211, 212, 216, 217, 218, 222, 223, 224, 228, 229, 233, 234, 235, 239, 240, 244, 245, 246, 250, 251, 252, 256, 257, 261, 262, 263, 267, 268, 272, 273, 274, 278, 279, 280, 284, 285, 289, 290, 291, 295, 296, 297, 300, 301, 302, 303, 306, 307, 308, 312, 313, 314, 317, 318, 319, 320, 323, 324, 325, 328, 329, 330, 331, 334, 335, 336, 340, 341, 342, 345, 346, 347, 348, 351, 352, 353, 356, 357, 358, 359, 362, 363, 364, 368, 369, 370, 373, 374, 375, 376, 379, 380, 381, 384, 385, 386, 387, 390, 391, 392, 396, 397, 398, 399
plus
401, 402, 403, 404, 408, ...

To jest golf golfowy, więc wygrywa najkrótsza odpowiedź w każdym języku!

MATL , 17 bajtów

`0Gv@+5:YcYO8XOda

Program zatrzymuje się, jeśli dane wejściowe należą do sekwencji lub w przeciwnym razie działa w nieskończoność (pętla nieskończona).

Niech nbędzie wejściem. Kod wykonuje pętlę, która testuje lata 1i 1+n; wtedy 2i 2+n; ... aż do znalezienia pasującego dnia tygodnia. Jeśli nie istnieje dopasowanie, pętla działa w nieskończoność.

Funkcja członkostwa dla njest okresowa z kropką 400. Dlatego co najwyżej400 potrzeba iteracji, jeśli nnależy do sekwencji. Wymaga to mniej niż 20 sekund w Try It Online. Jako dowód na tę górną granicę, oto zmodyfikowany program, który ogranicza liczbę iteracji do 400 (dodając @401<*na końcu). Zauważ też, że ta granica jest luźna i zwykle wystarczy kilka sekund.

Wypróbuj online!

Wyjaśnienie

`           % Do...while
  0Gv       %   Push column vector [0; n], where n is the input number
  @+        %   Add k, element-wise. Gives [k; k+n]
  5:        %   Push row vector [1, 2, 3, 4, 5]
  Yc        %   Horizontal "string" concatenation: gives the 2×6 matrix
            %   [k, 1, 2, 3, 4, 5; k+n, 1, 2, 3, 4, 5]. The 6 columns
            %   represent year, month, day, hour, minute, second
  YO        %   Convert each row to serial date number. Gives a column
            %   vector of length 2
  8XO       %   Convert each date number to date string with format 8,
            %   which is weekday in three letters ('Mon', 'Tue', etc).
            %   This gives a 2×3 char matrix such as ['Wed';'Fri']
  d         %   Difference (of codepoints) along each column. Gives a
            %   row vector of length 3
  a         %   True if some element is nonzero, or false otherwise
            % End (implicit). The loop proceeds with the next iteration
            % if the top of the stack is true

Stara wersja, 24 bajty

400:"0G&v@+5:YcYO8XOdavA

Dane wyjściowe to 0 jeśli dane wejściowe należą do sekwencji lub w 1inny sposób.

Wypróbuj online!

Wyjaśnienie

400         % Push row vector [1, 2, ..., 400]
"           % For each k in that array
  0G&v      %   Push column vector [0; n], where n is the input number
  @+        %   Add k, element-wise. Gives [k; k+n]
  5:        %   Push row vector [1, 2, 3, 4, 5]
  Yc        %   Horizontal "string" concatenation: gives the 2×6 matrix
            %   [k, 1, 2, 3, 4, 5; k+n, 1, 2, 3, 4, 5]. The 6 columns
            %   represent year, month, day, hour, minute, second
  YO        %   Convert each row to serial date number. Gives a column
            %   vector of length 2
  8XO       %   Convert each date number to date string with format 8,
            %   which is weekday in three letters ('Mon', 'Tue', etc).
            %   This gives a 2×3 char matrix such as ['Wed';'Fri']
  d         %   Difference (of codepoints) along each column. Gives a
            %   row vector of length 3
  a         %   True if some element is nonzero, or false otherwise
  v         %   Concatenate vertically with previous results
  A         %   True if all results so far are true
            % End (implicit). Display (implicit)

Python 2 , 58 bajtów

u=-abs(200-input()%400)-4
print u/100+5>(u-8)*5/4%7>u%4/-3

Wypróbuj online!

Formuła bezpośrednia.

Galaretka , 20 18 bajtów

99R4ḍj`‘ṡ%4ȷ$S€P7ḍ

Wyjścia 1 dla członków, 0 dla osób niebędących członkami.

Wypróbuj online!

Jak to działa

99R4ḍj`‘ṡ%4ȷ$S€P7ḍ  Main link. Argument: n

99                  Set the return value to 99.
  R                 Range; yield [01, .., 99].
   4ḍ               Test each element in the range for divisibility by 4.
     j`             Join the resulting array, using itself as separator.
                    The result is an array of 9801 Booleans indicating whether the
                    years they represent have leap days.
       ‘            Increment the results, yielding 1 = 365 (mod 7) for non-leap
                    years, 2 = 366 (mod 7) for leap years.
         %4ȷ$       Compute n % 4000.
        ṡ           Take all slices of length n % 4000 of the result to the left.
             S€     Take the sum of each slice.
               P    Take the product of the sums.
                7ḍ  Test for divisibility by 7.

Python 2 , 83 bajty

lambda i:all(c(y)-c(y-i)for y in range(401))
c=lambda n:(5*(n/4)+n%4-n/100+n/400)%7

Wypróbuj online!

Bezpośredni port mojej odpowiedzi Haskell .

Haskell , 76 bajtów

-35 bajtów dzięki Jonathanowi Allanowi. -2 bajty dzięki Lynn.

f i=or[c y==c$y+i|y<-[0..400]]
c n=(5*n#4+n%4-n#100+n#400)%7
(%)=mod
(#)=div

Wypróbuj online!

Korzystanie z algorytmu programu OEIS PARI.

Pyth , 32 bajty

iI7*FsM.:hMs.iKiIL4S99*98]K%Q400

Wypróbuj tutaj!(Kliknij „Przełącz na pakiet testowy”, aby zweryfikować więcej przypadków testowych jednocześnie)

W jaki sposób?

Używa fajnej sztuczki fajnej którą właśnie dodałem do wątku „Wskazówki dotyczące gry w golfa w Pyth”.

iI7 * FsM.: hMs.iKiIL4S99 * 98] K% Q400 | Pełny program Odczytuje ze STDIN, wysyła do STDOUT.

                   S99 | Wygeneruj liczby całkowite w 1 ... 99.
                 L | Dla każdej liczby całkowitej N na tej liście ...
               iI 4 | Sprawdź, czy 4 jest niezmienne w stosunku do zastosowania GCD z N.
                                 | Odpowiada to sprawdzeniu, czy 4 | N.
              K | Zapisz wynik w zmiennej K.
            .i * 98] K | I przeplataj K z elementami K owiniętymi
                                 | na listę i powtarzane 98 razy.
           s | Spłaszczyć.
         hM | Przyrost.
       .: | I wygeneruj wszystkie podciągi ...
                           % Q400 | O długości% 400.
     sM | Suma każdego.
   * F | I zastosuj złożony produkt.
iI7 | Sprawdź, czy 7 jest niezmienne po zastosowaniu GCD z
                                 | produkt (w zasadzie sprawdź, czy 7 | produkt).
                                 | Wyjmij domyślnie odpowiednią wartość logiczną.

Python 3 , 110 107 bajtów

from datetime import*
lambda n,d=date:0in[d(i,1,1).weekday()-d(i+n%400,1,1).weekday()for i in range(1,999)]

Wypróbuj online!

-3 bajty dzięki Mr. Xcoder.