离散数学实验3极大相容类C++实现.doc

要求：求相容关系的极大相容类输入：集合A相容关系R或者简化关系矩阵输出：R的极大相容类要求:采用P108的算法#include#include#includeusing namespace std;typedef vector vector Mat;class Relationvector s;/集合Mat A;/关系矩阵Mat D;public:void inputs();/将集合存入向量中void inputa();/将读入的关系转化为关系矩阵void print();/输出关系矩阵void rong(); void rongprint();/定义类int n=0,m;/全局变量，下文中使用void Relation:inputs()couta;)s.push_back(a);if(getchar()=n)break;/将集合存入向量中void Relation:inputa()/将读入的关系转化为关系矩阵cout输入关系endl;int i,j,k;for(i=0;is.size()-1;i+)vector u;for(j=0;jk;u.push_back(k);A.push_back(u);/创建二维向量，初始化，是每个元素为0void Relation:print()for(int i=0;is.size()-1;i+)for(int j=0;ji+1;j+)coutAij ;coutendl;/输出关系矩阵void Relation:rong()for(int m=0;ms.size();m+)vector u;u.push_back(sm);D.push_back(u);for(int i=s.size()-2;i-1;i-)vector c;for(int j=i;js.size()-2;+j)if(Aji=1)n=5;c.push_back(sj+1);if(n=5)int q=0;int r=D.size();int s=0;int z;for(m=0;mr;+m)vector p;int g=0;for(int e=0;eDm.size();+e)for(g=0;g1)for(int k=r;kD.size()-1;+k)int num=0;for(z=0;zDk.size();+z)for(r=0;rDD.size()-1.size();+r)if(Dkz=DD.size()-1r)num+;if(num=Dk.size()for(z=k;zD.size()-1;+z)Dz=Dz+1;D.pop_back();k-;break;if(num=DD.size()-1.size()&num!=Dk.size()D.pop_back();q=0;for(int x=0;xD.size()-O;+x)for(int a=1;aO+1;+a)int num=0;for(z=0;zDx.size();+z)for(r=0;rDD.size()-a.size();+r)if(Dxz=DD.size()-ar)num+;if(num=Dx.size()for(z=x;zD.size()-1;+z) Dz=Dz+1;D.pop_back();x-;break;if(num=DD.size()-a.size()&num!=Dx.size()D.pop_back();/求极大相容类void Relation:rongprint()for(int o=0;oD.size();+o)for(int v=0;vDo.size();+v)coutDov ;coutendl;/输出极大相容类void main