【vijos】1543 极值问题（数论+fib数）

https://vijos.org/p/1543

好神奇的一题。。

首先我竟然忘记n可以求根求出来，sad。

然后我打了表也发现n和m是fib数。。

严格证明（鬼知道为什么这样就能对啊，能代换怎么就能保证最大呢？）：

(n^2-mn-m^2)^2=1

(m^2+mn-n^2)^2=1

(m(m+n)-n^2)^2=1

((m+n-n)(m+n)-n^2)^2=1

((m+n)^2-n(m+n)-n^2)^2=1

因为(n'^2-m'n'-m'^2)^2=1

取n'=m+n, m'=n使式子成立。。

所以每一次我们都能找到一个n'>n m'>m（假设了n>m)，那么显然我们每次一直向上取，取到不能取为止

其实这题只需要找是否存在不是fib的数使得这个成立即可。

若n和m满足题意，那么gcd(n, m)=1，否则原式可以将d=gcd(n, m)提出来变为d*d(...)^2=1，此时(...)成了分数，显然不符合题意

而假设n>m，那么根据辗转相减有gcd(n, m)=gcd(m, n-m)

所以这样推下去，显然这些数就是fib数。

然后就是暴力就行了

#include <cstdio>
#include <cstring>
#include <cmath>
#include <string>
#include <iostream>
#include <algorithm>
#include <queue>
using namespace std;
typedef long long ll;
#define rep(i, n) for(int i=0; i<(n); ++i)
#define for1(i,a,n) for(int i=(a);i<=(n);++i)
#define for2(i,a,n) for(int i=(a);i<(n);++i)
#define for3(i,a,n) for(int i=(a);i>=(n);--i)
#define for4(i,a,n) for(int i=(a);i>(n);--i)
#define CC(i,a) memset(i,a,sizeof(i))
#define read(a) a=getint()
#define print(a) printf("%d", a)
#define dbg(x) cout << (#x) << " = " << (x) << endl
#define printarr2(a, b, c) for1(_, 1, b) { for1(__, 1, c) cout << a[_][__]; cout << endl; }
#define printarr1(a, b) for1(_, 1, b) cout << a[_] << '	'; cout << endl
inline const int getint() { int r=0, k=1; char c=getchar(); for(; c<'0'||c>'9'; c=getchar()) if(c=='-') k=-1; for(; c>='0'&&c<='9'; c=getchar()) r=r*10+c-'0'; return k*r; }
inline const ll max(const ll &a, const ll &b) { return a>b?a:b; }
inline const int min(const int &a, const int &b) { return a<b?a:b; }

ll k, a, b, ans;

int main() {
	read(k);
	ll n=1, m=0;
	while(n+m<=k) {
		ll c=m;
		m=n;
		n+=c;
	}
	printf("%lld
", m*m+n*n);
	return 0;
}

---

背景

小铭的数学之旅2。

描述

已知m、n为整数，且满足下列两个条件：
① m、n∈1，2，…，K
② (n^ 2－mn－m^2)^2＝1
编一程序，对给定K，求一组满足上述两个条件的m、n，并且使m^2＋n^2的值最大。例如，若K＝1995，则m＝987，n＝1597，则m、n满足条件，且可使m^2＋n^2的值最大。

格式

输入格式

输入仅一行，K的值。

输出格式

输出仅一行，m^2＋n^2的值。

样例1

样例输入1[复制]

1995

样例输出1[复制]

3524578

限制

每个测试点1秒。

提示

Source:
汕头市FXOI组
Phoeagon
ThanX2 Sivon
For TripleY