最小表示法详解（例题：Snowflake Snow Snowflakes）

       首先我们解释一下最小表示法，对于一个字符串，我们把它首尾相连看作循环的“项链”，那么我们以每个珠子算起，都会形成一条长度为n的链，其中字典序最小的那个就是这个串的最小表示。

       正常的我们怎么找这个最小表示呢，如果暴力的话，枚举每两个串作比较，但是复杂度过高，这就用到O（n）的最小表示法了。

       我们把这个字符串复制一下接在原字符串的后边，比如“bacbasf”我们变成“bacbasfbacbasf”记作SS。

       然后我用两根指针指向两个不同的字符。初始化i=1；j=2；然后我们另k=0，从前往后比较i+k和j+k，当碰到某个k，两个字符不相等时候，比较哪个小，假如i的大，那么i到i+k的全部都比一定存在一个位置j比这个串小打的，因为上边我们选这个k的前提是(i~i+k)==(j~j+k)所以这个对于i到i+k为起点的都

存在一个j+k比他小，所以i指针变到i+k+1的位置，如果正好和j相等就i++；

下边是模板：

    int n=strlen(now+1);   //字符串从1位置开始
    for(int i=1;i<=n;i++)now[i+n]=now[i];
    int i=1,j=2,k;
    while(i<=n&&j<=n){
        for(k=0;k<n&&now[i+k]==now[j+k];k++);
        if(k==n)break;
        if(now[i+k]>now[j+k]){
            i=i+k+1;
            if(i==j)i++;
        }
        else{
            j=j+k+1;
            if(i==j)j++;
        }
    }
    int ans=min(i,j);

 

     以下我们介绍这个经典的雪花的最小表示做法：

我们对于每个雪花存下他的正序和逆序的最小表示做法，在用vector拉链后我们比对是否存在的时候就不需要每个位置暴力两次，在比较两朵雪花的时候，我们比较存下的每个的两个最小表示法就可以了，两个正序两个逆序，比较四次就可以了：

#include<iostream>
#include<string.h>
#include<vector>
#include<stdio.h>
#define ll long long
using namespace std;
int C[100005][10];
int Min[100005][10];
int Min2[100005][10];
vector<int>v[20000];
void fun(int x)
{
    int now[20];
    for(int i=1;i<=6;i++)now[i]=C[x][i],now[i+6]=C[x][i];
    int i=1,j=2,k;
    while(i<=6&&j<=6){
        for(k=0;k<6&&now[i+k]==now[j+k];k++);
        if(k==6)break;
        if(now[i+k]>now[j+k]){
            i=i+k+1;
            if(i==j)i++;
        }
        else{
            j=j+k+1;
            if(i==j)j++;
        }
    }
    int ans=min(i,j);
    for(int i=1;i<=6;i++){
        Min[x][i]=now[ans++];
    }
}
void fun2(int x)
{
    int now[20];
    for(int i=1;i<=6;i++)now[i]=C[x][7-i],now[i+6]=C[x][7-i];
    int i=1,j=2,k;
    while(i<=6&&j<=6){
        for(k=0;k<6&&now[i+k]==now[j+k];k++);
        if(k==6)break;
        if(now[i+k]>now[j+k]){
            i=i+k+1;
            if(i==j)i++;
        }
        else{
            j=j+k+1;
            if(i==j)j++;
        }
    }
    int ans=min(i,j);
    for(int i=1;i<=6;i++){
        Min2[x][i]=now[ans++];
    }
}
bool check(int x,int y)
{
    bool f=1,f2=1,f3=1,f4=1;
    for(int i=1;i<=6;i++){
        if(Min[x][i]!=Min[y][i])f=0;
    }
    for(int i=1;i<=6;i++){
        if(Min2[x][i]!=Min2[y][i])f2=0;
    }
    for(int i=1;i<=6;i++){
        if(Min[x][i]!=Min2[y][i])f3=0;
    }
    for(int i=1;i<=6;i++){
        if(Min2[x][i]!=Min[y][i])f4=0;
    }
    return f||f2||f3||f4;
}
int main()
{
    int n;
    while(~scanf("%d",&n))
    {
        for(int i=0;i<=13131;i++)v[i].clear();
        bool f=1;
        for(int i=1;i<=n;i++){
            ll sum=0;
            for(int j=1;j<=6;j++){
                scanf("%d",&C[i][j]);
                sum+=C[i][j];
            }
            fun(i);fun2(i);
            sum%=13131;
            int len=v[sum].size();
            for(int j=0;j<len;j++){
                if(check(v[sum][j],i))f=0;
            }
            v[sum].push_back(i);
        }
      /*  for(int i=1;i<=n;i++){
            for(int j=1;j<=6;j++){
                cout<<Min[i][j]<<" ";
            }
            cout<<endl;
        }*/
        if(f){
            printf("No two snowflakes are alike.\n");
        }
        else{
            printf("Twin snowflakes found.\n");
        }
    }
}