P1014 [NOIP1999 普及组] Cantor 表

题目描述

现代数学的著名证明之一是 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;
}