MATL , 17 바이트

`0Gv@+5:YcYO8XOda

입력이 시퀀스에 속하면 프로그램이 중지되거나 그렇지 않으면 무한정 (무한 루프) 실행됩니다.

n입력 하자 . 이 코드는 연도를 테스트하는 루프를 실행 1하고 1+n; 다음 2과 2+n; … 요일이 일치 할 때까지 일치하는 것이 없으면 루프가 무한정 실행됩니다.

에 대한 멤버쉽 기능 n은 period와 주기적입니다 400. 따라서 시퀀스에 속하는 400경우 최대 반복이 필요합니다 n. 온라인 사용해보기에 20 초 미만이 소요됩니다. 이 상한을 증명 하기 위해 반복 횟수를 400으로 제한 하는 수정 된 프로그램 이 있습니다 ( @401<*끝 부분 에 추가하여 ). 또한이 한계는 느슨하며 몇 초 정도면 충분합니다.

온라인으로 사용해보십시오!

설명

`           % 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

이전 버전, 24 바이트

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

출력은 0입력이 시퀀스에 속하거나 1그렇지 않으면 출력됩니다.

온라인으로 사용해보십시오!

설명

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)

답변

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

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

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.

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

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

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

iI7 * FsM. : hMs.iKiIL4S99 * 98] K % Q400 | 전체 프로그램. STDIN에서 읽고 STDOUT으로 출력합니다.

                   S99 | 1 ... 99의 정수를 생성하십시오.
                 패 | 해당 목록의 각 정수 N에 대해 ...
               iI 4 | N이 GCD를 적용하는 것보다 4가 변하지 않는지 확인하십시오.
                                 | 이것은 4 | 엔.
              케이 | 결과를 변수 K에 저장하십시오.
            .i * 98] K | 포장 된 K의 요소와 K를 인터리브
                                 | 목록에 넣고 98 번 반복했습니다.
           s | 반음 낮추다.
         hM | 증가.
       . : | 그리고 모든 하위 문자열을 생성하십시오 ...
                           % Q400 | 길이 % 400의.
     sM | 각각 합산하십시오.
   * F | 접힌 제품을 바르십시오.
iI7 | GCD를 적용 할 때 7이 변하지 않는지 확인하십시오.
                                 | 제품 (기본적으로 7 | 제품 확인).
                                 | 적절한 부울 값을 내재적으로 출력합니다.

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)]