牛客多校第六场 G Is Today Friday? 蔡勒公式/排列

题意：

有一堆日期，这些日期都是星期五，但是数字被映射成了字母A~J，现在让你求逆映射，如果存在多种答案，输出字典序最小的那个。

题解：

用蔡勒公式解决关于星期几的问题。

对于映射，可以用笔者刚刚学会的神器，next_permutation()，直接按照字典序生成排列数作为映射，一旦找到解，就输出，必定是字典序最小的。

理论上，枚举10个排列数需要枚举10!≈3e6次，生成下一个排列复杂度为O(n)，每次枚举还要检查1e5个日期。

但是一旦找到合法的映射便可直接输出，而不合法的映射往往在检查前几个日期时就被检查出不合法，因此剪枝效果还是很好的。

注意要对于日期去重，对于去重来说unique()是个神器，能直接在排好序的数组上将重复元素只保留一个，然后返回去重之后的数组的最后一位的后一位的地址。参数也是类似于sort()

#include<iostream>
#include<string>
#include<cstring>
#include<algorithm>
using namespace std;
string date[];
char tmp[];
//char week[10000][13][32];
int refl[];
inline bool Leap(int year){
    if(year%==||(year%== && year%!=))return ;
    else return ;
}
inline bool days31(int month){
    return (month== || month== || month== || month== || month== || month== || month==);
}
inline bool Zeller(int year,int month,int day){
    if(year<)return ;
    if(month== || month >=)return ;
    if(day<=)return ;
    if(month==){
        if(Leap(year)){
            if(day>)return ;
        }else{
            if(day>)return ;
        }
    }
    if(days31(month)){
        if(day>)return ;
    }else{
        if(day>)return ;
    }
    //判断日期合法性
    if (month ==  || month == ){
        year--;month += ;
    }
    //判断month是否为1或2　
    int c = year / ;
    int y = year - c * ;
    int week = y + y /  + c /  -  * c +  * (month + ) /  + day - ;
    week%=;
    week+=;
    week%=;
    return (week==);
}
int main(){
    int T;
    scanf("%d",&T);
    for(int I=;I<=T;I++){
        int n;
        scanf("%d",&n);
        for(int i=;i<=n;i++){
            scanf("%s",tmp);
//            0000/00/00
            tmp[]=;
            tmp[]=;
            date[i].clear();
            date[i]+=tmp;
            date[i]+=tmp+;
            date[i]+=tmp+;
        }
        sort(date+,date++n);
        n=unique(date+,date++n)-date-;
        //去重
//        printf("%d\n",n);
        for(int i=;i<;i++)refl[i]=i;
        bool flag;
        while(){
            flag=;
            for(int i=;i<=n;i++){
                if(Zeller(
                refl[date[i][]-'A']*+
                refl[date[i][]-'A']*+
                refl[date[i][]-'A']*+
                refl[date[i][]-'A'],
                refl[date[i][]-'A']*+
                refl[date[i][]-'A'],
                refl[date[i][]-'A']*+
                refl[date[i][]-'A']
                )==){
                    flag=;
                    break;
                }
            }
            if(flag==){
                printf("Case #%d: ",I);
                for(int i=;i<;i++)printf("%d",refl[i]);
                printf("\n");
                break;
            }else{
                if(!next_permutation(refl,refl+))break;
            }
        }
        if(flag==)printf("Case #%d: Impossible\n",I);
    }
    return ;
}

PS：蔡勒公式的巧妙之处在于它把1，2月当作去年的13，14月，因此将复杂的置闰放到了年底，简化了计算。