チャレンジ

負でない整数を指定すると、（グレゴリオ暦の）2つの日付が何年も異なるために曜日を共有できるかどうかを出力します。年は、4で割り切れるが100で割り切れない場合、または400で割り切れる場合、うるう年と見なされます。

出力は次のとおりです。

• falsey / truthy（どちらの向きでも）
• 任意の2つの異なる値
• 1つの明確な値と1つの何か
• プログラムの戻りコード別
• 成功/エラーによって
• 他の合理的な手段で-物議をかもしていると思われるかどうか尋ねる

しかし、ない falsey / truthy以外の値の二つの非明確なセットによって（これはノーオペレーションを許可しないだろうと！）

詳細

これは、入力がOEISシーケンスA230995のメンバーであるかどうかです。

メンバー：

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, ...

非会員：

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, ...

これはコードゴルフなので、各言語で最短の答えが勝ちです！

MATL、17バイト

`0Gv@+5:YcYO8XOda

入力がシーケンスに属する場合、プログラムは停止します。それ以外の場合、プログラムは無期限に実行されます（無限ループ）。

n入力してみましょう。コードは、年1と1+n; をテストするループを実行します。それ2から2+n; ...一致する曜日が見つかるまで。一致するものがない場合、ループは無期限に実行されます。

のメンバーシップ関数nはperiodで周期的400です。したがって、シーケンスに属している400場合、多くても反復が必要ですn。これは、Try It Onlineで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)

Python 2、58バイト

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

オンラインでお試しください！

直接式。

ゼリー、20 18バイト

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

出力1のメンバーのために、0以外のメンバーのために。

オンラインでお試しください！

使い方

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バイト

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

オンラインでお試しください！

Haskellの回答の直接ポート。

ハスケル、76のバイト

-35バイト、ジョナサンアランのおかげ。Lynnのおかげで-2バイト。

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

オンラインでお試しください！

OEIS PARIプログラムのアルゴリズムを使用します。

Pyth、32バイト

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

ここで試してみてください！（一度にさらにテストケースを確認するには、[テストスイートに切り替える]をクリックします）

どうやって？

「Pythでのゴルフのヒント」スレッドに追加したばかりのクールなトリックを使用します。

iI7 * FsM。：hMs.iKiIL4S99 * 98] K％Q400 | 完全なプログラム。STDINから読み取り、STDOUTに出力します。

                   S99 | 1〜99の整数を生成します。
                 L | そのリストの各整数Nについて...
               iI 4 | NでGCDを適用する場合、4が不変かどうかを確認します。
                                 | これは、4 | N.
              K | 結果を変数Kに保存します。
            .i * 98] K | Kの要素をラップしてKをインターリーブします
                                 | リストに入れて98回繰り返しました。
           s | 平らにします。
         hM | インクリメント。
       。：| そして、すべての部分文字列を生成します...
                           ％Q400 | 長さ％の400。
     sM | それぞれを合計します。
   * F | そして折りたたまれた製品を適用します。
iI7 | GCDを適用したときに7が不変かどうかを確認します
                                 | 製品（基本的に7 |製品かどうかを確認します）。
                                 | 適切なブール値を暗黙的に出力します。

Pythonの3、110の 107バイト

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

オンラインでお試しください！

Xcoder氏のおかげで-3バイト。