Python的输出、判断、循环函数：Luogu1014Cantor表

原题链接：https://www.luogu.com.cn/problem/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\le N\le 10^7$）。

输出格式

表中的第 $N$ 项。

输入输出样例

输入 #1

7

输出 #1

1/4

题解

显然，每斜排的长度依次递增，我们可以枚举最小的满足$i\times (i+1)\ge N$的$i$就能找到第$N$个数在第$i$排，再根据同一排的分数分子分母之和为$i+1$，并判断一下$i$的奇偶性，即可找到第$N$个数。

代码

为了编写这个程序，我们需要先用$for$循环枚举$1\sim N$的所有整数找到$i$（事实上可以直接在$\sqrt{N}$附近找，但是为了练习循环语句，姑且用这个不那么快的办法）。

$Python$的$for$循环可以直接枚举一个集合中的元素，而不是像$C$++那样先枚举下标，再通过下标访问对应元素。当然，在这里我们并不需要这么复杂，直接枚举数就行了，可以用函数$range(start,end,step)$返回的一个数组来规定一个枚举的范围，$start$为枚举的起点（不填时默认为$0$），$end$是必填参数，为枚举的终点$+1$（即$range(3)=[0,1,2]$），而$step$为数之间的间隔，当我们需要使用$step$参数时，必须将$start$参数也加上，否则$range(end,step)$函数会返回一个$end\sim step$的数组。

判断语句与$C$++区别不大，但是习惯$C$++而又初学$Python$的人（比如我）很容易漏掉冒号。

$Python$的输出函数也非常强大，它可以直接以对应的数据类型输出数据而不需要像$C$++那样让编程者通过%d、%c这样的符号来人为规定。同时，它还可以设置间隔符$sep$，默认间隔符为空格，如果不想要间隔，可以设为sep=''，即间隔符为空，设置其他间隔符类似，如sep=','。

代码

n=int(input())
for i in range(1,n):
    if i*(i+1)/2>=n:
        break
a=int(n-i*(i-1)/2)
if i%2==0:
    print(a,'/',i+1-a)
else:
    print(i+1-a,'/',a,sep='')