洛谷P1014 Cantor表

一只鶸的刷题记录

题目描述
 
现代数学的著名证明之一是 Georg Cantor 证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的：
 
1/1 , 1/2 , 1/3 , 1/4, 1/5, …
2/1, 2/2 , 2/3, 2/4, …
3/1 , 3/2, 3/3, …
4/1, 4/2, …
5/1, …
…
 
我们以 Z 字形给上表的每一项编号。第一项是 1/1，然后是 1/2，2/1，3/1，2/2，…
 
输入格式
 
整数N（1<=N<=10^7）
 
输出格式
 
表中的第 N 项。
 
输入输出样例
 
输入 #1
7
 
输出 #1
1/4

首先我们先把这张表补充的更加完整一些：

1/1 1/2 1/3 1/4 1/5 1/6 1/7 1/8 1/9

2/1 2/2 2/3 2/4 2/5 2/6 2/7 2/8

3/1 3/2 3/3 3/4 3/5 3/6 3/7

4/1 4/2 4/3 4/4 4/5 4/6

5/1 5/2 5/3 5/4 5/5

6/1 6/2 6/3 6/4

7/1 7/2 7/3

8/1 8/2

9/1

然后就可以从中发现一些规律：

• 前i-1行一共有j个数
• n是第i行，第n-j个数，通过观察可以发现分子是从i到1,分子是从1到i

于是就可以写出程序：

//题解中给出的模拟方法大多是分奇数行和偶数行，但是我发现其实不分也是可以的，仅供参考（已AC）

#include <iostream>

using namespace std;

int main()
{
    int n,i=0,j=0; //前i-1行一共有j个数
    cin>>n;
    while(n>j)//用来算出i和j:前i-1行一共有j个数，并且n是第i行的n-j个数
    {
        i++;
        j+=i;
    }
    j-=i;//回滚一步，这样才是前i-1行一共有j个数，否则就成了前i行一共有j个数
    
    //n是第i行，第n-j个数，通过观察可以发现分子是从i到1,分子是从1到i
    
    //所以分子是i-(n-j)+1，分母就是n-j
    
    //比如第7项是第四行第一个，n-j就是1，所以分母就是1，；因为在第四行所以分子是4，也就是4-1+1=4
    
    cout<<i-(n-j)+1<<"/"<<n-j<<endl;
    return 0;
}