基姆拉尔森公式

标签：spl   日期   splay   class   推广   pre   ctime   接下来   display   

基姆拉尔森公式 (Kim Larsen Calculation Formula) 用于给定年份 \(y\) , 月份 \(m\) 和日子 \(d\) 的条件下，计算该天是星期几。

初始条件：从公元 0 年 1 月 1 日，星期日开始计算（PS：公元 0 年不是闰年）。

输入： \(y\) 三个整数表示年月日。

输出：\(w \in [0, 6]\) 分别表示星期日到星期六。

下面为推导过程。

对于公元 0 年的第一个月：

考虑公元 0 年后的年份，不考虑闰年（即假设每年均为 365 天），因为 365 % 7 == 1，所以公元 1 年第一天是星期一，公元 2 年第二天是星期二，以此类推。在不考虑闰年的情况下，对于公元 \(y\) 年的 1 月：

考虑闰年，在 \([0,y-1]\) 区间内假设有 \(k\) 个闰年，那么公元 \(y\) 年第一个月的 \(w\) 需要加上 \(k\) 进行修正。

闰年的条件是：整除 400 或者整除 100 但不能整除 4 。所以 \(k = (y-1)/400 + ((y-1)/4 - (y-1)/100)\) ，其中 / 表示 C 语言的整型除法。

所以，在考虑闰年的情况下，公元 \(y\) 年的 1 月的星期几：

接下来，将上述公式推广到公元 \(y\) 年的任意月份。

公元 \(y\) 年的第 29 天的 \(w\) 值总是与第一天相同的。以 28 为基准，某些月份会多出几天的偏移，比如日期 0/1/1 是星期日，w = 0，1 月的偏移为 3 ，所以 日期 0/2/1 是星期三，w = 3 。

现在我们需要找出每个月份基于 1 月的偏移量（暂不考虑闰年）。

以数组记录表格的第 4 列：disp[] = {0, 0, 3, 3, 6, 1, 4, 6, 2, 5, 0, 3, 5} .

所以，不考虑考虑闰年的情况下，对于任意的 \(m\) 有：

如果考虑闰年，那么 2 月之后的月份的 \(w\) 值都需要加 1 处理。

代码表示即为：

#define isleap(y) (((y) % 400 == 0) || (((y) % 4 == 0) && ((y) % 100 != 0)))
int week(int y, int m, int d)
{
    int disp[] = {0, 0, 3, 3, 6, 1, 4, 6, 2, 5, 0, 3, 5};
    int w = ((d - 1) + y + ((y - 1) / 400 + (y - 1) / 4 - (y - 1) / 100) + disp[m]) % 7;
    if (m > 2 && y != 0 && isleap(y))
        w = (w + 1) % 7;
    return w;
}

下面考虑如何优化，因为 disp 数组每次使用都要手动算一遍。当然，下面很多技巧都是根据已有的结果反推过程而已。

假设把 n 年的 1 月和 2 月「划分」到 n-1 年，作为 n-1 年的第 13 月和 14 月。而每年的第一天是 3 月 1 日，即每年的月份范围是 \([3, 14]\) .

公元 0 年 3 月 1 日是星期三，所以对于公元 0 年 3 月有：

考虑闰年，对于公元 \(y\) 年的 3 月，这时候需要考虑的是 \([0,y]\) 范围内的闰年个数，/ 表示 C 语言整型除法：

偏移量表格：

暂时引入 disp[m] (3 <= m <= 14) 记录累计偏移模 7 .

考虑闰年，推广到任意月份 \(m\) ：

这时候 2 月是该年的最后一个月，不需要考虑上述「如果考虑闰年，那么 2 月之后的月份的 \(w\) 值都需要加 1 处理」的情况。

站在巨人的肩膀上，可以发现（/ 表示整型除法）：

所以：

int calcDayOfWeek(int y, int m, int d)
{
    int w;
    if (m == 1 || m == 2)
        m += 12, y--;
    w = (d + 2 * m + 3 * (m + 1) / 5 + y + y / 4 - y / 100 + y / 400 + 1) % 7;
    return w;
}

完整带测试代码：

#include <iostream>
#include <cassert>
#include <cstdlib>
#include <ctime>
#define isleap(y) (((y) % 400 == 0) || (((y) % 4 == 0) && ((y) % 100 != 0)))
#define YEARLIM (10000)
using namespace std;
int week(int y, int m, int d)
{
    int disp[] = {0, 0, 3, 3, 6, 1, 4, 6, 2, 5, 0, 3, 5};
    int w = ((d - 1) + y + ((y - 1) / 400 + (y - 1) / 4 - (y - 1) / 100) + disp[m]) % 7;
    if (m > 2 && y != 0 && isleap(y))
        w = (w + 1) % 7;
    return w;
}
int calcDayOfWeek(int y, int m, int d)
{
    //Sun=0, Mon=1, Tue=2, ...,
    //Sat=6, w的取值如上
    int w;
    if (m == 1 || m == 2)
        m += 12, y--;
    w = (d + 2 * m + 3 * (m + 1) / 5 + y + y / 4 - y / 100 + y / 400 + 1) % 7;
    return w;
}
const char *format = "%4d/%02d/%02d\n";
void test(int y, int m, int d)
{
    printf(format, y, m, d);
    int t1 = week(y, m, d), t2 = calcDayOfWeek(y, m, d);
    // cout << t1 << ‘ ‘ << t2 << endl;
    assert(t1 == t2);
}
int main()
{
    srand(time(nullptr));

    // common years test
    for (int i = 0; i < 1000; i++)
    {
        int y = rand() % YEARLIM;
        int m = (rand() % 12) + 1;
        int d = (rand() % 31) + 1;
        if (m == 2)
            d = (rand() % 28) + 1;
        if (y != 0 && isleap(y))
            y++;
        test(y, m, d);
    }
    cout << "-------------------" << endl;

    // leap years test
    for (int i = 0; i < 1000; i++)
    {
        int y = rand() % YEARLIM;
        while (!(y != 0 && isleap(y)))
            y = rand() % YEARLIM;
        int m = (rand() % 12) + 1;
        int d = (rand() % 31) + 1;
        if (m == 2)
            d = (rand() % 29) + 1;
        test(y, m, d);
    }

    // Feb. test
    cout << "-------------------" << endl;
    for (int i = 0; i < 1000; i++)
    {
        int y = rand() % YEARLIM;
        int m = 2;
        int d = (rand() % 28) + 1;
        if (y != 0 && isleap(y))
            d = (rand() % 29) + 1;
        test(y, m, d);
    }

    // 29,Feb test
    cout << "-------------------" << endl;
    for (int i = 0; i < 1000; i++)
    {
        int m = 2, d = 29;
        int y = rand() % YEARLIM;
        while (!(y != 0 && isleap(y)))
            y = rand() % YEARLIM;
        test(y, m, d);
    }
}

基姆拉尔森公式

标签：spl   日期   splay   class   推广   pre   ctime   接下来   display   

原文地址：https://www.cnblogs.com/sinkinben/p/13202036.html