离散数学C语言上机题

广东工业大学 计算机科学与技术 张法光

离散数学C语言上机题

Anyview

可视化编程作业系统

二元关系章节编程题

EX

01

6.01③ 试设计一算法，

实现集合的卡氏积运算。

实现下列函数：

/**

* 进行两个集合的卡氏积运算

* @param pA： 要进行卡氏积运算的集合

* @param pB： 要进行卡氏积运算的集合

* @return: 将pA和pB进行卡氏积运算后得到的集合

*/

pCartersianSet CartesianProduct(pOriginalSet pA, pOriginalSet pB)

{

pCartersianSet pC=createNullCartersianSet(); //空卡

for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA))

{ // 空卡 ←序偶插入 ← 建立序偶 ← 条件语句

for(resetOriginalSet(pB);!isEndOfOriginalSet(pB);nextOriginalSetPos(pB))

OrderedCoupleInsertToCartersianSet(pC,createOrderedCouple(getCurrentOriginalSetElem(pA),g

etCurrentOriginalSetElem(pB)));

}

return pC;

}

02

6.02② 试设计一算法，

给定集合A、集合B和集合C，判断集合C是否为A到B的一个二元关系。

实现下列函数：

/**

* 给定集合A、集合B和集合C，判断集合C是否为A到B的一个二元关系。

* @param pA： 集合A

* @param pB： 集合B

* @param pC： 集合C

* @return: 如果集合C是A到B的一个二元关系，则返回true，否则返回false。

*/

boolean isBinaryRelation(pOriginalSet pA, pOriginalSet pB, pCartersianSet pC)

{

pCartersianSet pD=createNullCartersianSet();

for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA))

{ // 空卡 ←序偶插入 ← 建立序偶 ← 条件语句

for(resetOriginalSet(pB);!isEndOfOriginalSet(pB);nextOriginalSetPos(pB))

OrderedCoupleInsertToCartersianSet(pD,createOrderedCouple(getCurrentOriginalSetElem(pA),getCurrentOriginalSetElem(pB)));

}

for(resetCartersianSet(pC);!isEndOfCartersianSet(pC); nextCartersianSetPos(pC))

{

if(isInCartersianSet(pD,getCurrentCartersianSetElem(pC)))

;//满足条件，执行空语句，继续循环

else return false;

}

return true;

}

03

6.03② 试设计一算法，求集合A上的恒等关系。

实现下列函数：

/**

* 给定集合A，求集合A上的恒等关系。

* @param pSet： 原始集合

* @return: 集合A上的恒等关系。

*/

pCartersianSet IdentityRelation(pOriginalSet pA)

{ pCartersianSet pB=createNullCartersianSet();

for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA))

{ // 空卡 ←序偶插入 ← 建立序偶 ← 条件语句

for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA))

if(getCurrentOriginalSetElem(pA)==getCurrentOriginalSetElem(pA))//The same elements

OrderedCoupleInsertToCa