题目描述
现代数学的著名证明之一是 Georg Cantor 证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的:
我们以 Z 字形给上表的每一项编号。第一项是 1/1,然后是 1/2,2/1,3/1,2/2,…
输入格式
整数N(1≤N≤10^7)。
输出格式
表中的第 N 项。
输入输出样例
输入
7
输出
1/4
解题思路(纯模拟)
对于Z字形走路问题 ,我们可以从纯模拟的角度来思考。
我们不妨将该Z字型扭转45°,此时会发现,可以从奇数行偶数行的角度来看分子和分母的变化。
第一行 1/1 分子分母之和为偶数,第二行 1/2 2/1 分子分母之和为奇数。
我们分别研究 在行内 偶数行和奇数行 分别会发生什么样的变化
假定我们用x表示分子,用y表示分母
首先 我们看奇数行 1/2 到 2/1 可发现 分子+1 分母-1 即为x+1,y-1;
其次 我们看偶数行 3/1 到 2/2 可发现 分子-1 分母+1 即为x-1,y+1;
接下来 我们再来研究 边边的情况
我们已知,奇数行和偶数行是交替出现的
偶数行的尾端 比如1/1 1/3 都是x=1的情况 此时 要做的是 y+=1;
奇数行的尾端 比如2/1 4/1 都是y=1的情况 此时 要做的是 x+=1;
当我们思考完这个后 便可以先一个函数啦
void snack(int &x,int &y)
{
if((x+y)%2==0)
{
if(x==1)
y+=1;
else
x-=1,y+=1;
}
else
{
if(y==1)
x+=1;
else
x+=1,y-=1;
}
}
完整代码如下
#include<iostream>
#include<algorithm>
using namespace std;
void snack(int &x,int &y)
{
if((x+y)%2==0)
{
if(x==1)
y+=1;
else
x-=1,y+=1;
}
else
{
if(y==1)
x+=1;
else
x+=1,y-=1;
}
}
int main()
{
int n;
cin>>n;
n-=1;//从第二个数开始模拟
int x=1,y=1;
while(n--)
{
snack(x,y);
}
cout<<x<<'/'<<y<<endl;
return 0;
}