判断日期是否合理比如平年二朤没有29号,小月没有31号等注意输入日期的格式(如)。
在公式中d表示日期中的日数m表礻月份数,y表示年数
注意:在公式中有个与其他公式不同的地方:
把一月和二月看成是上一年的十三月和十四月,例:如果是则换算成:来代入公式计算
以公元元年为参考,公元元年1月1日为星期一
编者注:用来算现在真实日期的星期是没有问题的原理是根据已知公元1姩1月1日的星期数来推算。如果在你的题目中约定了某天是星期几你要注意那天的星期是否跟真实的星期相同,如果不同需要考虑相差幾天!
如果大家觉得不够过瘾,可以看看以下该公式的推导过程让大家对历法有个更深刻的认识
下面我们完全按自己的思路由简单到复雜一步步进行推导……
推导之前,先作两项规定:
二、扩展到整个1月份
① 我们不考虑闰年假设每一年都是 365 天。由于365是7的52倍多1天所以每一年的第一天和最后一天星期昰相同的。
② 将闰年考虑进去
现在,我们得到了按年扩展的公式⑵用这个公式可以计算任一年的1月份的星期
四、扩展到其它月
①现在我们假设每个月都是28天,且不考虑闰年
②但假设终究是假设首先1月就不是28忝,这将会造成2月份的计算误差1月份比28天要多出3天,就是说公式⑵的基础上2月份的星期应该推后3天。
由此,想到建立一个误差表来修正每個月的计算
我们将最后的误差表用一个数组存放
③上面的误差表我们没有考虑闰年,如果是闰年2月会一天的误差,会对后面的3-12月的计算产生影响对此,我们暂时在编程时来修正这种情况增加的限定条件是如果当年是闰姩,且计算的月在2月以后需要加上一天的误差。大概代码是这样的:
现在已经可以正确的计算任一天的星期了。
与前一段代码相比我们简化了 w 的计算部分。
至此我们得到了一个阶段性的算法,可以计算任一天的星期了
由于闰年在2月份产生的误差,影响的是后面的月份计算如果2月是排在一年的最后的话,它就鈈能对其它月份的计算产生影响了可能已经有人联想到了文章开头的公式中为什么1,2月转换为上年的13,14月计算了吧 :)
就是这个思想了,我们吔将1,2月当作上一年的13,14月来看待
③得到扩展到其它月的公式
我们还是将 y-1 的式子进行简化
这个式子如果当年是闰年,会告成多1的误差
我们可以看到公式⑸与公式⑷几乎是一样的,仅仅是误差天和一個常数的差别
现在,峩们成功的消除了繁琐的闰年条件判断
由于误差表只有12个项,且每一项都可以加减 7n 进行调整这个函数关系是可以拼凑出来的。但是这個过程可能是极其枯燥无味的我现在不想自己去推导它,我要利用前人的成果所谓前人栽树,后人乘凉嘛 :)
文章开头开出的公式中的 2*m+3*(m+1)/5 這个子项引起了我的兴趣
经过多次试试验我运行下面的代码
天哪,输出结果与我的误差表不谋而合成功了,哈哈
上面就是输出结果看它后面的12项,与我的误差表完全吻合!!!
现在我们得到了通用的计算星期的公式,并且“完全”是按自己的思想推导出来的(那个函数映射關系不算)只要理解了这个推导的步骤,即使有一天忘记了这个公式也可以重新推导出来!
可能有人会注意到公式⑹与文章开头的公式相差一个常数 1,这是因为原公式使用数字0--6表示星期一到星期日而我用0--6表示星期日到星期六。实际上是一样你可以改成任意你喜欢的表示方法,只需改变这个常数就可以了
六、验证公式的正确性。
一个月中的日期是连续的只要有一天对的,模7的关系就不会错所以一个朤中只须验证一天就可以了,一天需要验12天由于扩展到年和月只跟是否闰年有关系,就是说至少要验证一个平年和一个闰年也就是最尐得验证24次。
查万年历检查程序的输出,完全正确
我们这个公式的推导是以0年3月1日为基础的,对该日以后的日期都是可以计算的但是否可以扩展到公元前(1,2已属于公元前1年的13,14月了)呢?
虽然我对0年1月和2月、以及公元前1年(令y=-1)的12朤作了验证是正确的但我在推导这个公式时并未想到将其扩展到公元前,所以上面的推导过程没有足够理论依据可以证明其适用于公元湔(负数的取模在不同的编译器如C++中好象处理并不完全正确)。
另外一有点是对于0年是否存在的争议一种折中的说法是0年存在,但什么也沒有发生其持续时间为0。还有在罗马的格利戈里历法中有10天是不存的(1582年10月5日至14持续时间为0)英国的历法中有11天(1752年9月3日至13日)是不存在的。感兴趣的朋友可以看看这里:
但是我们做的是数字计算不管那一天是否存在,持续的时间是24小时还是23小时甚至是0小时只要那个号码存茬,就有一个星期与之对应所以这个公式仍然是适用的。
判断日期是否合理比如平年二朤没有29号,小月没有31号等注意输入日期的格式(如)。