有效等价类处理用NextDate函数，x、y、z分别赋值给Date1的年月日，来达到日期增加三天的目的。细则是2月份和12月份是比较特殊的：二月份他有可能是有28天，也有可能有29天；12月份，它一过

int is_leap(int q){
 if(q%40&&q%100!=0) return 1;
 if(q%4000) return 1;
 else return 0;
 }

struct Date{
 int year;
 int month;
 int day;
 };
 struct Date NextDate(int x,int y,int z){
 struct Date Date1;
 Date1.year=x;
 Date1.mnotallow=y;
 Date1.day=z;
 if(y12){
 if(z30){
 Date1.year=Date1.year+1;
 Date1.mnotallow=1;
 Date1.day=1;
 }
 else if(z==31){
 Date1.year=Date1.year+1;
 Date1.mnotallow=1;
 Date1.day=2;
 }
 else{
 Date1.day=Date1.day+2;
 }
 }

  if(1<=day&&day<=26) day1=1;
  else if(day==27) day1=2;
  else if(day==28) day1=3;
  else if(day==29) day1=4;
  else if(day==30) day1=5;
  else if(day==31) day1=6;
  else day1=13;
  if(month==4||month==6||month==9||month==11) month1=7;
  else if(month==1||month==3||month==5||month==7||month==8||month==10) month1=8;
  else if(month==2) month1=9;
  else if(month==12) month1=10;
  else month1=14;
  if((year%4==0&&year%100!=0)||year%400==0) 
    year1=11;
  else year1=12;