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

二、实验环境(实验设备)
硬件:PC机。
软件:Code::Blocks（C++）
三、实验原理及内容
内容：首先输入要求二元关系的集合所对应的全集中的元素个数以及各个元素，屏幕输出该全集以便使用者观看，然后输入要求二元关系的集合中的各个元素，程序调用判断各个关系的函数，最后在屏幕输出是否具有各个二元关系，并且询问是否继续使用，若继续使用则重复进行上述过程。
{
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;
}
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())
}
cout<<"对称性：";
if(Duichen_or_not(collection,number_2))
{
cout<<"Yes"<<endl;
}
else
{
cout<<"No"<<endl;
}
cout<<"反对称性：";
if(Fanduichen_or_not(collection,number_2))
{
private:
string left;
string right;
public:
element();
element(string a,string b);
~element() {};
string Getleft();
string Getright();
};
element::element()
{
left="";
{
cout<<"Yes"<<endl;
}
else
{
cout<<"No"<<endl;
}
cout<<"反自反性：";
if(Fanzifan_or_not(all,number_1,collection,number_2))
{
cout<<"Yes"<<endl;
}
else
{
cout<<"No"<<endl;
{
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;
{
cout<<"<"<<collection[i].Getleft()<<","<<collection[i].Getright()<<">";
if(i!=number_2-1)
{
cout<<",";
}
}
cout<<"}"<<endl;
cout<<"自反性：";
if(Zifan_or_not(all,number_1,collection,number_2))
{
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];
{
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)//反对称性的判断
{
{
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++)
这次离散实验让我对C++的编程语言有了更强的运用能力，让我明白了每个程序都可以有不同的设计方案，需要先思考各个方案的优缺点，选择一个石河子的方案并坚持去做，就一定能做成并且收获一定是很大的。离散数学和编程知识是息息相关、密不可分的。以后我将更加认真学习离散数学，并且更多地将编程的知识运用起来，使得两者相辅相成。
实验报告
（/学年第一学期）
课程名称
离散数学
实验名称
集合上二元关系性质判断的实现
实验时间
年
月
日
指导单位
指导教师
学生姓名
班级学号
学院(系)
专业
实验报告
实验名称
集合上二元关系性质判断的实现
指导教师
实验类型
上机实验
实验学时
4
实验时间
一、实验目的和要求
能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。
五、指导教师评语
成绩
批阅人
日期
}
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<<"请输入全集中元素的个数：";
原理：建立一个元素类，用来保存元素，根据各个二元关系的定义构造判断的函数，在主函数中建立一个字符数组保存全集，建立一个对象数组保存要求二元关系的集合调用判断的函数并输出。
程序：
#include <iostream>
#include <windows.h>
using namespace std;
class element
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++)
right="";
}
element::element(string a,string b)
{
left=a;
right=b;
}
string element::Getleft()