HDU 3292 【佩尔方程求解 && 矩阵快速幂】

任意门：http://acm.hdu.edu.cn/showproblem.php?pid=3292

No more tricks, Mr Nanguo

Time Limit: 3000/1000 MS (Java/Others)    Memory Limit: 65535/32768 K (Java/Others)
Total Submission(s): 587    Accepted Submission(s): 400

Problem Description

Now Sailormoon girls want to tell you a ancient idiom story named “be there just to make up the number”. The story can be described by the following words.
In the period of the Warring States (475-221 BC), there was a state called Qi. The king of Qi was so fond of the yu, a wind instrument, that he had a band of many musicians play for him every afternoon. The number of musicians is just a square number.Beacuse a square formation is very good-looking.Each row and each column have X musicians.
The king was most satisfied with the band and the harmonies they performed. Little did the king know that a member of the band, Nan Guo, was not even a musician. In fact, Nan Guo knew nothing about the yu. But he somehow managed to pass himself off as a yu player by sitting right at the back, pretending to play the instrument. The king was none the wiser. But Nan Guo's charade came to an end when the king's son succeeded him. The new king, unlike his father, he decided to divide the musicians of band into some equal small parts. He also wants the number of each part is square number. Of course, Nan Guo soon realized his foolish would expose, and he found himself without a band to hide in anymore.So he run away soon.
After he leave,the number of band is Satisfactory. Because the number of band now would be divided into some equal parts,and the number of each part is also a square number.Each row and each column all have Y musicians.

 

Input

There are multiple test cases. Each case contains a positive integer N ( 2 <= N < 29). It means the band was divided into N equal parts. The folloing number is also a positive integer K ( K < 10^9).

 

Output

There may have many positive integers X,Y can meet such conditions.But you should calculate the Kth smaller answer of X. The Kth smaller answer means there are K – 1 answers are smaller than them. Beacuse the answer may be very large.So print the value of X % 8191.If there is no answers can meet such conditions,print “No answers can meet such conditions”.

 

Sample Input

2 999888

3 1000001

4 8373

 

Sample Output

7181

600

No answers can meet such conditions

 

Author

B.A.C

 

Source

2010 “HDU-Sailormoon” Programming Contest

题意概括：

滥竽充数的故事，一开始所有人可以排成一个 X*X 的方阵， 去掉一个人后 所有人可以排成 N 个 Y*Y 的方阵，

求满足上述条件的第K大的总人数。

解题思路：

佩尔方程模板题

可根据关系列出方程： x*x - D*( y*y) = 1；

暴力求出特解；

解的递推式为：

X_n  = X_n-1  × X₁ + d × Y_n-1 ×Y₁

Y_n  = X_n-1  × Y₁ + Y_n-1  × X₁

矩阵快速幂递推：

AC code：

 #include <bits/stdc++.h>
 #define INF 0x3f3f3f3f
 #define LL long long
 using namespace std;
 const int MAXN = ;
 const int mod = ;
 typedef struct
 {
     int m[MAXN][MAXN];
 }Matrix;
 Matrix per, d;
 int x, y, D;

 void Find_ans()
 {
     y = ;
     while(){
         x = (int)sqrt(D*y*y+1.0);
         if(x*x - D*y*y == ) break;
         y++;
     }
 }

 void init()
 {
     d.m[][] = x%mod;
     d.m[][] = D*y%mod;
     d.m[][] = y%mod;
     d.m[][] = x%mod;
     for(int i = ; i < MAXN; i++)
         for(int j = ; j < MAXN; j++)
         per.m[i][j] = (i==j);
 }

 Matrix multi(Matrix a, Matrix b)
 {
     Matrix c;
     for(int i = ; i < MAXN; i++)
     for(int j = ; j < MAXN; j++){
         c.m[i][j] = ;
         for(int k = ; k < MAXN; k++)
             c.m[i][j] += a.m[i][k] * b.m[k][j];
         c.m[i][j]%=mod;
     }
     return c;
 }

 Matrix qpow(int k)
 {
     Matrix p = d, ans = per;
     while(k){
         if(k&){
             ans = multi(ans, p);
             k--;
         }
         k>>=;
         p = multi(p, p);
     }
     return ans;
 }

 int main()
 {
     int K;
     while(~scanf("%d %d", &D, &K)){
         int ad = (int)sqrt(D+0.0);
         if(ad*ad == D){
             puts("No answers can meet such conditions");
             continue;
         }
         Find_ans();
         init();
         d = qpow(K-);
         printf("%d\n", (d.m[][]*x%mod+ d.m[][]*y%mod)%mod);
     }
     return ;
 }