离散数学：用C语言来判断集合存在的二元关系

用C语言来判断是否满足自反，反自反，非自反，对称，反对称，非对称和传递性

也不知道写的对不对。没有大量验证，但是随便找的一些关系测试的没毛病，如果错了，欢迎各位大佬留言

#include<bits/stdc++.h>
const int maxn=1e3+10;
int a[maxn][maxn];
int vis[maxn][maxn];
int v[maxn][maxn];
int num,s_ize;
int res;
void relation1()//判断自反，反自反，非自反
{
	int flag=0;
	for(int i=1;i<=num;i++)
	{
		if(a[i][i])
			flag++;
	}
	if(flag==num)
		printf("满足自反性\n");
	else if(flag!=num&&flag!=0)
		printf("满足非自反性\n");
	else if(!flag)
		printf("满足反自反性\n");
}
void relation2()//判断对称
{
	int flag=0;
	for(int i=1;i<=num;i++)
	{
		for(int j=1;j<=num;j++)
		{
			if(a[i][j]==a[j][i]&&vis[i][j])
			{
				flag++;
				vis[i][j]=0;
			}
		}
	}
	if(flag==s_ize)
	{
		printf("满足对称性\n");
		res++;
	}
}
void relation3()//反对称,非对称 
{
	int flag=0;
	for(int i=1;i<num;i++)
	{
		for(int j=i+1;j<=num;j++)
		{
			if(a[i][j]&&a[j][i]&&i!=j)
			{
				flag++;
				break;
			}
		}
	}
	if(flag==0)
	{
		res++;
		printf("满足反对称性\n");
	}
	if(!res)
		printf("满足非对称性\n");
}
void relation4()//传递性
{
	int flag=1;
	int num1,num2;
	for(int i=1;i<s_ize;i++)
	{
		for(int j=2;j<=s_ize;j++)
		{
			if(v[i][2]==v[j][1])
			{
				num1=v[i][1],num2=v[j][2];
				if(vis[num1][num2]!=1)
				{
					flag=0;
					break;
				}
			}
		}
		if(!flag)
			break;
	}
	if(!flag)
		printf("不满足传递性\n");
	else
		printf("满足传递性\n");
}
int main(int argc, char const *argv[])
{
	printf("---------开始进行二元关系的判断---------\n");
	printf("请输入需要执行的次数\n");
	int t;
	scanf("%d",&t);
	int T=0;
	while(t--)
	{
		printf("******Case%d:请输入集合中的元素个数******\n",++T);
		scanf("%d",&num);
		if(num<=0)
			break;
		printf("请输入集合中的关系个数：\n");
		scanf("%d",&s_ize);
		printf("请输入集合中的关系元素，一共有 %d 对关系 %d 个元素(请以整数形式输入) \n",s_ize,2*s_ize);
		int x,y;
		res=0;
		memset(a,0,sizeof(a));
		memset(vis,0,sizeof(vis));
		for(int k=1;k<=s_ize;k++)
		{
			scanf("%d%d",&x,&y);
			v[k][1]=x;
			v[k][2]=y;
			a[x][y]=1;
			vis[x][y]=1;
		}
		int i,j;
		printf("**********输出关系矩阵**********\n");
		for(i=1;i<=num;i++)
		{
			for(j=1;j<=num;j++)
			{
				printf("%d\t",a[i][j]);
			}
			printf("\n");
		}
		relation1();
		relation2();
		relation3();
		relation4();
		printf("\n");
	}
	printf("********************感谢使用********************\n");
	return 0;
}