离散数学t(R)图画法:两个图同构,实际上就是一个图,只是标号不同或画法不同而已,根据r(R),s(R),t(R)的定义补画上去的。例如,r(R)是自反闭包,必须补上aRa等。
首先写出关系R={<1,1><1,2><1,3><2,1><2,2><3,1>},则关系图和关系矩阵就可以画出来,自反闭包是关系矩阵R并上单位阵I,对称闭包是R并上R的逆矩阵,传递闭包是R并R^2并R^3。
离散数学
是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。