C++暴力枚举递归算法P1014 Cantor表

本文探讨Georg Cantor如何通过Z字形遍历Cantor表证明有理数的可枚举性,介绍了一种算法实现,用于找出表中任意一项的具体位置。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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≤10000000)

输出格式

表中的第N项

输入输出样例

输入

7

输出

1/4

代码的实现

#include<iostream>
using namespace std;
int vis[1000][1000]={0};   //标记数组
int N;
int x=0,y=0;
int dfs(int sum){
	if(x==0&&y==0){    //第一次由1走向2
		y=y+1;
		vis[x][y]=1;
		sum++;
	}
	else if(x-1<0&&vis[x+1][y-1]==1){     //判断是否斜向上走到头 
		y=y+1;
		vis[x][y]=1;
		sum++;

	}
	else if(y-1>=0&&x==0&&vis[x+1][y-1]==0){   //由头向下走 
		x=x+1;
		y=y-1;
		vis[x][y]=1; 
		sum++;
	}
	else if(y-1>=0&&x!=0&&vis[x-1][y+1]==1){   //斜向下走 
		y=y-1;
		x=x+1;
		vis[x][y]=1;
		sum++;
	}
	else if(y-1<0&&vis[x-1][y+1]==1){   //判断是否斜向下走到头 
		x=x+1;
		vis[x][y]=1;
		sum++;
	}
	else if(x-1>=0&&y==0&&vis[x-1][y+1]==0){  //由头向上走 
		x=x-1;
		y=y+1;
		vis[x][y]=1;
		sum++;
	}
	else if(x-1>=0&&y!=0&&vis[x+1][y-1]==1){   //斜向上走 
		y=y+1;
		x=x-1;
		vis[x][y]=1;
		sum++;
	
	}
	if(sum==N)return 0;
	else dfs(sum);    //递归算法
}
int main(){
	int a;
	cin>>N;
	if(N==1){   //如果是要寻找第一个的位置,直接输出1/1
		cout<<"1/1"<<endl;
		return 0;
	}
	else {
	dfs(1);    //从第一个位置开始往下找
	x=x+1;     //因为数组从0开始
	y=y+1;
	cout<<x<<"/"<<y;
	return 0;
	}
}

注意事项

在本题中,要多加思考数值的临界条件,不要漏掉每一种可能。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值