蔡勒公式(Zeller’s congruence),是一种计算任何一日属一星期中哪一日的算法,由德国数学家克里斯提安·蔡勒推算出来。
公式如下:
or
公式都是基于公历的置闰规则来考虑。
公式中的符号含义如下:
- w:星期(计算所得的数值对应的星期:0-星期日;1-星期一;2-星期二;3-星期三;4-星期四;5-星期五;6-星期六)
- c:年份前两位数
- y:年份后两位数
- m:月(m的取值范围为3至14,即在蔡勒公式中,某年的1、2月要看作上一年的13、14月来计算,比如2003年1月1日要看作2002年的13月1日来计算)
- d:日
- [ ]:称作高斯符号,代表向下取整,即,取不大于原数的最大整数。
- mod:同余(这里代表括号里的答案除以7后的余数)
因为
可能为负数,所以当出现负数的情况下不能直接mod 7。编写成代码的时候如果两个操作数中只有一个负数,求模的结果取决于机器,也就是说某些情况下w在一些机器上为负数,但是在某一些机器上w不一定为负数(例如:21%-5的结果取决于机器,可能得到1或-4),对于产生负数这种情况可将原来公式分为两步:
; w = ( w % 7 + 7 ) % 7;
若为一月二月,则看作为去年的13月和14月输入,同时在年份上减一。以上各式中的“%”符号表示取余运算。
例子:
对2006年4月4日而言,代入公式算出:
得知为星期二。
注意:原版公式后面是没有“-1”的,西方通常以星期日作为一个星期的第一天,在ISO的版本则出现“-1”
代码实现:
#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<stdlib.h>
int main()
{
int y, c, m, d, w, year, month, day;
printf("请输入一个日期:\n");
scanf("%d%d%d", &year, &month, &day);
y = year % 100;//年 如2015 即年是15年
c = year / 100;// 年份前两位 如2015即20
m = month; d = day;
if (m == 1 || m == 2) { //判断月份是否为1或2
y--;
m += 12;//某年的1、2月要看作上一年的13、14月来计算
}
w = y + y / 4 + c / 4 - 2 * c + 13 * (m + 1) / 5 + d - 1;//蔡勒公式的公式
while (w < 0) w += 7;//确保余数为正
w %= 7;
printf("输入的日期是星期%d", w);
system("pause");
}