【离散数学上机】T235,T236

T235题目:输入集合A和B,输出A到B上的所有单射函数。

问题描述

给定非空数字集合A和B,求出集合A到集合B上的所有单射函数。

输入格式

第一行输入m和n(空格间隔),分别为集合A和集合B中的元素个数;

第二行输入非空数字集合A,每个元素之间用空格间隔;

第三行输入非空数字集合B,每个元素之间用空格间隔;

输出格式

输出每一行为集合A到集合B的一个构成单射函数的二元关系,按二元关系的基数大小从小到大输出所有二元关系,相同基数的二元关系按序偶中元素的字典序排列。

样例输入

2 2

1 2

3 4

样例输出

{<1,3>,<2,4>}

{<1,4>,<2,3>}

在T234基础上,保证加入q集合中元素不重复即可,前者链接见下:

【xdoj-离散线上练习H】T234(C++)-CSDN博客

cpp 复制代码
#include<bits/stdc++.h>
using namespace std;

int main()
{
	//预处理:利用优先队列将集合中元素从小到大放进数组A,B中
	int m, n, cur;
	cin>>m>>n;
	priority_queue<int>pq;	
	vector<int>A(m);
	vector<int>B(n);
	for(int i=0; i<m; i++) 
	{
		cin>>cur; pq.push(cur);
	}
	for(int i=1; i<=m; i++) 
	{
		A[m-i] = pq.top(); pq.pop();		
	}
	for(int i=0; i<n; i++) 
	{
		cin>>cur; pq.push(cur);
	}
	for(int i=1; i<=n; i++) 
	{
		B[n-i] = pq.top(); pq.pop();		
	}
	
	//观察输出样例:每行输出均有A中全部元素,B对应元素每行只有一处变化
	vector<int>q(m);//q[i]携带了当前映射关系中A[i]对应的集合B中元素
	//为什么用递归:因为A中元素数量不确定,事实上,如果用for循环嵌套,那么for循环的数量为 m,这是不能在确定的代码中实现的
	auto dfs = [&](auto& dfs, int cnt) -> void
	{
		if(cnt == m)//递归终止条件
		{
			cout<<"{";
			for(int i=0; i<m; i++)
			{
				cout<<"<"<<A[i]<<","<<q[i]<<">";				
				if(i == m-1) cout<<"}"<<endl;
				else cout<<",";
			}
			return;			
		}
		else{//继续递归
			for(int i=0; i<n; i++)
			{
				//保证q中的元素不重复
				int k=0;
				for( ; k<cnt; k++)
				{
					if(q[k] == B[i]) break;
				}	
				if(k == cnt)				
				{
					q[cnt] = B[i];
					dfs(dfs, cnt+1);
				}			
			}			
			return;
		}
	};
	dfs(dfs, 0);
	return 0;	
}

T236题目:输入集合A和B,输出A到B上的所有满射函数。

只需将dfs函数替换成如下形式

cpp 复制代码
auto dfs = [&](auto& dfs, int cnt) -> void
	{
		if(cnt == m)//递归终止条件
		{
			set<int>st;
			for(int i=0; i<m; i++)
			{
				st.insert(q[i]);
			}
			if(st.size() == n)
			{
				cout<<"{";
				for(int i=0; i<m; i++)
				{
					cout<<"<"<<A[i]<<","<<q[i]<<">";				
					if(i == m-1) cout<<"}"<<endl;
					else cout<<",";
				}
			}
			
			return;			
		}
		else{//继续递归
			for(int i=0; i<n; i++)
			{
				q[cnt] = B[i];
				dfs(dfs, cnt+1);						
			}			
			return;
		}
	};

T237题目:输入集合A和B,输出A到B上的所有双射函数。

将dfs换成这个就成

cpp 复制代码
auto dfs = [&](auto& dfs, int cnt) -> void
	{
		if(cnt == m)//递归终止条件
		{
			set<int>st;
			for(int i=0; i<m; i++)
			{
				st.insert(q[i]);
			}
			if(st.size() == n)
			{
				cout<<"{";
				for(int i=0; i<m; i++)
				{
					cout<<"<"<<A[i]<<","<<q[i]<<">";				
					if(i == m-1) cout<<"}"<<endl;
					else cout<<",";
				}
			}
			
			return;			
		}
		else{//继续递归
			for(int i=0; i<n; i++)
			{
				//保证q中的元素不重复
				int k=0;
				for( ; k<cnt; k++)
				{
					if(q[k] == B[i]) break;
				}	
				if(k == cnt)				
				{
					q[cnt] = B[i];
					dfs(dfs, cnt+1);
				}							
			}			
			return;
		}
	};
相关推荐
代码欢乐豆3 小时前
编译原理机测客观题(7)优化和代码生成练习题
数据结构·算法·编译原理
Scc_hy3 小时前
强化学习_Paper_2000_Eligibility Traces for Off-Policy Policy Evaluation
人工智能·深度学习·算法·强化学习·rl
leke20034 小时前
2025年10月17日
算法
CoovallyAIHub4 小时前
Mamba-3震撼登场!Transformer最强挑战者再进化,已进入ICLR 2026盲审
深度学习·算法·计算机视觉
Aqua Cheng.4 小时前
代码随想录第七天|哈希表part02--454.四数相加II、383. 赎金信、15. 三数之和、18. 四数之和
java·数据结构·算法·散列表
怀揣小梦想4 小时前
跟着Carl学算法--哈希表
数据结构·c++·笔记·算法·哈希算法·散列表
Nebula_g4 小时前
Java哈希表入门详解(Hash)
java·开发语言·学习·算法·哈希算法·初学者
Kent_J_Truman4 小时前
【模拟散列表】
数据结构·算法·蓝桥杯·散列表·常识类
Lchiyu4 小时前
哈希表 | 454.四数相加II 383. 赎金信 15. 三数之和 18. 四数之和
算法
玩镜的码农小师兄4 小时前
[从零开始面试算法] (04/100) LeetCode 136. 只出现一次的数字:哈希表与位运算的巅峰对决
c++·算法·leetcode·面试·位运算·hot100