UC知道如何用C++实现离散数学中对二元关系对称性的判断
来源：百度知道 编辑：UC知道 时间：2024/05/31 23:17:25
设R是集合A上的二元关系，
（1）对任意的x,y∈A，如果<x,y>∈R，那么<y,x>∈R，则称关系R是对称的（Symmetric），或称R具有对称性（Symmetry），即
R在A上是对称的
(x)(y)((x∈A) ∧(y∈A)∧(<x,y>∈R)→(<y,x>∈R))=1
（2）对任意的x,yA，如果<x,y>∈R且<y,x>∈R，那么x=y，则称关系R是反对称的（Antisymmetric），或称R具有反对称性（Antisymmetry），即
R在A上是反对称的
(x)(y)((x∈A)∧(y∈A)∧(<x,y>∈R)∧(<y,x>∈R)→(x=y))=1
表现在关系矩阵上：关系R是对称的当且仅当其关系矩阵为对称矩阵，即rij=rji，i,j=1,2, …,n；
要求依据上述运算规则，判断任意给定一个6×6的关系矩阵是否是对称矩阵，既判断此关系是否是对称关系，并显示运算结果。
只需要原代码,有好的代码追加100分!
急!急!急!急!急!急!急!急!急!
"stdafx.h"在哪里？
你用的什么环境？我用的DEV和VC都试过，找不到这个头文件
\dev c++\C stdafx.h: No such file or directory.
（1）对任意的x,y∈A，如果<x,y>∈R，那么<y,x>∈R，则称关系R是对称的（Symmetric），或称R具有对称性（Symmetry），即
R在A上是对称的
(x)(y)((x∈A) ∧(y∈A)∧(<x,y>∈R)→(<y,x>∈R))=1
（2）对任意的x,yA，如果<x,y>∈R且<y,x>∈R，那么x=y，则称关系R是反对称的（Antisymmetric），或称R具有反对称性（Antisymmetry），即
R在A上是反对称的
(x)(y)((x∈A)∧(y∈A)∧(<x,y>∈R)∧(<y,x>∈R)→(x=y))=1
表现在关系矩阵上：关系R是对称的当且仅当其关系矩阵为对称矩阵，即rij=rji，i,j=1,2, …,n；
要求依据上述运算规则，判断任意给定一个6×6的关系矩阵是否是对称矩阵，既判断此关系是否是对称关系，并显示运算结果。
只需要原代码,有好的代码追加100分!
急!急!急!急!急!急!急!急!急!
"stdafx.h"在哪里？
你用的什么环境？我用的DEV和VC都试过，找不到这个头文件
\dev c++\C stdafx.h: No such file or directory.
#include "stdafx.h"
#include <iostream>
using namespace std;
int Array[6][6];//R的关系矩阵
int main()
{
cout <<"输入6*6矩阵\n";
for(int i=0;i<6;i++){
for(int j=0;j<6;j++){
cin>>Array[i][j];
}
}
bool prime=true;
for(int i=0;i<6;i++){
for(int j=i+1;j<6;j++){
if(Array[i][j]!=Array[j][i])prime=false;
}
}
if(prime)
cout <<"R是对称的\n";
else cout <<"R是反对称的\n";
return 0;
}
//"stdafx.h"是程序运行的环境，编译器自带的，这是编写控制台应用程序必须包含的头文件
//我用的是vs2008，既然找不到，那就不写那句话，看能否通过