1 /******************
 2     by zhuyuqi      *
 3     QQ:1113865149 *
 4     name:2-sat    *
 5                   *
 6 ******************/
 7 
 8 using namespace std;
 9 const int MAX = 1000;
10 int r[MAX],*rank;
11 int wa[MAX],wb[MAX],ws[MAX],wv[MAX];
12 int height[MAX];
13 char str[MAX];
14 int cmp(int *r,int a,int b,int d) {
15     return r[a]==r[b]&&r[a+d]==r[b+d];
16 }
17 
18 void build_sa(int *r,int *sa,int n,int m) {
19     int *x=wa,*y=wb,*t;
20     for(int i=0;i<m;i++) ws[i]=0;
21     for(int i=0;i<n;i++) ws[x[i]=r[i]]++;
22     for(int i=1;i<m;i++) ws[i]+=ws[i-1];
23 
24     for(int i=0,j=1,p=1;p<n;j*=2,m=p) {
25         for(i=n-j,p=0;i<n;i++) y[p++]=i;
26         for(i=0;i<n;i++) if(sa[i]>=j) y[p++]=sa[i]-j;
27         for(i=0;i<n;i++) wv[i]=x[y[i]];
28 
29         for(i=0;i<m;i++) ws[i]=0;
30         for(i=0;i<n;i++) ws[wv[i]]++;
31         for(i=1;i<m;i++) ws[i]+=ws[i-1];
32         for(i=n-1;i>=0;i--) sa[--ws[wv[i]]] = y[i];
33 
34         for(p=1,i=1,t=x,x=y,y=t,x[sa[0]]=0;i<n;i++)
35         x[sa[i]]=cmp(y,sa[i-1],sa[i],j)?p-1:p++;
36 
37 
38     }
39 
40     return ;
41 }
42 
43 void getHight(int *r,int *sa,int n) {   //two - point
44     int h=0;
45     for(int i=0;i<n;i++)  rank[sa[i]]=i;
46     for(int i=0;i<n;i++) {
47         if(h) h--;
48         int j=sa[rank[i]-1];
49         while(str[i+h]==str[j+h]) h++;
50         height[rank[i]]=h;
51     }
52 }
53 
54 int main() {
55 }