蓝桥杯——跑步锻炼，统计总共跑步公里数

/*小蓝每天都锻炼身体。

正常情况下，小蓝每天跑 1 千米。如果某天是周一或者月初（1 日），
为了激励自己，小蓝要跑 2 千米。如果同时是周一或月初，小蓝也是跑 2 千米。

小蓝跑步已经坚持了很长时间，从 2000 年 1 月 1 日周六（含）到 2020 年 10 月 1 日周四（含）。
请问这段时间小蓝总共跑步多少千米？*/
public class RunWorkout {
    public static void main(String[] args) {
        int sum = 0;//统计跑的公里数
        int allDay = 1;//用来统计从2000年1月1日开始，总的天数，主要作用用来计算当天是周几
        for (int i = 2000; i < 2020; i++) {//年
            for (int j = 1; j <= 12; j++) {//月
                for (int k = 1; k <= getDay(i,j); k++) {//日
                    if (k == 1 || (allDay + 5)%7 == 1) {//周一到周日用1到7表示，根据第一天为周六可以推出表达式(allDay + 5)%7
                        sum = sum + 2;
                    } else {
                        sum++;
                    }
                    allDay++;
                }
            }
        }
        for (int i = 1; i < 10; i++) {//2020年的跑步月份
            for (int j = 1; j <= getDay(2020,i); j++) {//每月的天数
                if (j == 1 || (allDay + 5)%7 == 1) {
                    sum = sum + 2;
                } else {
                    sum++;
                }
                allDay++;
            }
        }
        System.out.println(sum + 2);//输出总的公里数8879
    }
//    判断是否为闰年,能被4整除却不能被100整除或能被400整除的年份就是闰年
    public static boolean isLeap(int year) {
        return (year % 100 != 0 && year % 4 == 0) || (year % 400 == 0);
    }
//    获取月份天数
    public static int[] getMon(int year) {
        if (isLeap(year)) {//是闰年的话，二月份有29天
            return new int[]{0,31,29,31,30,31,30,31,31,30,31,30,31};
        } else {//不是闰年，二月份只有28天
            return new int[]{0,31,28,31,30,31,30,31,31,30,31,30,31};
        }
    }
//    获取当月天数
    public static int getDay(int year,int mon) {
        int[] arr = getMon(year);
        return arr[mon];
    }
}