集合上二元关系性质判断的实现

{
if(i==j)
{
continue;
}
else
{
if(c[j].Getleft()==c[i].Getright())
{
for(k=0;k<n;k++)
{
if(c[k].Getleft()==c[i].Getleft()&&c[k].Getright()==c[j].Getright())
{
break;
{
for(j=0;j<n;j++)
{
if((c[j].Getleft()==a[i])&&(c[j].Getright()==a[i]))
{
return false;
}
}
}
return true;
}
bool Fanduichen_or_not(element c[],int n)//反对称性的判断
{
}
else
{
continue;
}
}
if(k==n)
{
return false;
}
}
else
{
continue;
}
}
}
}
return true;
}
bool Fanzifan_or_not(string a[],int m,element c[],int n)//反自反性的判断
{
int i,j;
for(i=0;i<m;i++)
{
continue;
}
}
}
return true;
}
int main()
{
int flag=1;
while(flag==1)
{
system("cls");
cout<<"欢迎使用集合上的二元关系性质判断的工具！"<<endl<<endl;
int number_1;
cout<<"请输入全集中元素的个数：";
{
int i,j;
for(i=0;i<m;i++)
{
for(j=0;j<n;j++)
{
if(c[j].Getleft()==a[i]&&c[j].Getright()==a[i])
{
break;
}
else
{
continue;
}
}
if(j==n)
{
return false;
}
}
return true;
right="";
}
element::element(string a,string b)
{
left=a;
right=b;
}
string element::Getleft()
{
return left;
}
string element::Getright()
{
return right;
}
bool Zifan_or_not(string a[],int m,element c[],int n)//自反性的判断
cin>>number_1;
string *all=new string[number_1];
cout<<"请输入全集中的各个元素：";
for(int i=0;i<number_1;i++)
{
cin>>all[i];
}
cout<<"你输入的全集为："<<"{";
for(int i=0;i<number_1;i++)
实验报告
（/学年第一学期）
课程名称
离散数学
实验名称
集合上二元关系性质判断的实现
实验时间
年
月
日
指导单位
指导教师
学生姓名
班级学号
学院(系)
专业
实验报告
实验称
集合上二元关系性质判断的实现
指导教师
实验类型
上机实验
实验学时
4
实验时间
一、实验目的和要求
能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。
{
cout<<all[i];
if(i!=number_1-1)
{
cout<<",";
}
}
cout<<"}"<<endl;
int number_2;
cout<<endl<<"请输入要求二元关系的集合中元素的个数：";
cin>>number_2;
element *collection=new element[number_2];
}
bool Duichen_or_not(element c[],int n)//对称性的判断
{
int i,j;
for(i=0;i<n;i++)
{
for(j=0;j<n;j++)
{
if(c[j].Getleft()==c[i].Getright()&&c[j].Getright()==c[i].Getleft())
{
break;
}
else
{
continue;
}
}
if(j==n)
{
return false;
}
}
return true;
}
bool Chuandi_or_not(element c[],int n)//传递性的判断
{
int i,j,k;
for(i=0;i<n;i++)
{
for(j=0;j<n;j++)
原理：建立一个元素类，用来保存元素，根据各个二元关系的定义构造判断的函数，在主函数中建立一个字符数组保存全集，建立一个对象数组保存要求二元关系的集合调用判断的函数并输出。
程序：
#include <iostream>
#include <windows.h>
using namespace std;
class element
int i,j;
for(i=0;i<n;i++)
{
for(j=0;j<n;j++)
{
if(c[j].Getleft()==c[i].Getright()&&c[j].Getright()==c[i].Getleft())
{
if(i==j)
{
break;
}
else
{
return false;
}
}
else
cout<<"请输入要求二元关系的集合中的每个元素："<<endl<<endl;
for(int i=0;i<number_2;i++)
{
string a,b;
cin>>a>>b;
collection[i]=element(a,b);
{
private:
string left;
string right;
public:
element();
element(string a,string b);
~element() {};
string Getleft();
string Getright();
};
element::element()
{
left="";
二、实验环境(实验设备)
硬件:PC机。
软件:Code::Blocks（C++）
三、实验原理及内容
内容：首先输入要求二元关系的集合所对应的全集中的元素个数以及各个元素，屏幕输出该全集以便使用者观看，然后输入要求二元关系的集合中的各个元素，程序调用判断各个关系的函数，最后在屏幕输出是否具有各个二元关系，并且询问是否继续使用，若继续使用则重复进行上述过程。