离散实验偏序关系满足实验报告C语言,离散数学实验教学实验报告4.doc

“离散数学实验教学”实验报告

班级：信息1102 姓名：王原野 学号：2011310201015

实验题目1：关系应用实验

实验要求：编写程序解决以下实际问题：利用整除关系，对于正整数，给出偏序关系的集合表达式.

实验内容(含分析思路和源程序)：

思路：整除关系是偏序关系，所以给出整除关系的集合表达式就可以了。

源程序：

#include

using namespace std;

int main()

{

int n;

cin>>n;

int i,j;

for(i=1;i<=n;i++)

{

for(j=1;j<=i/2+1;j++)

{

if(i%j==0)

cout<"<

}

cout<"<

}

return 0;

}

实验结论：可以得到偏序关系的集合表达式。

实验感想：j取到i/2+1,可以减少计算量。对于自身的整除关系，可以直接表示出来。

实验题目2：图论算法实验：

实验要求：编写程序实现最小生成树(Prim)

实验内容(含分析思路和源程序)：

思路：先找到所有权中最小的权，计入；再把这个起始点和终止点看成一个整体，找到与起始点和终止点相连接的最小的权，计入；再把这三个点看成一个整体，以此类推。

源程序：

#include

#include

#define MAX 100

#define MAXCOST 0x7fffffff

int map[MAX][MAX];

int Prim(int map[][MAX], int n)

{

/* lowcost[i]记录以i为终点的边的最小权值，当lowcost[i]=0时表示终点i加入生成树 */

int lowcost[MAX];

/* mst[i]记录对应lowcost[i]的起点，当mst[i]=0时表示起点i加入生成树 */

int mst[MAX];

int i, j, min, minid, sum = 0;

for (i = 2; i <= n; i++)

{

lowcost[i] = map[1][i];

mst[i] = 1;

}

/* 标记1号节点加入生成树 */

mst[1] = 0;

for (i = 2; i <= n; i++)

{

min = MAXCOST;

minid = 0;

/* 找满足条件的最小权值边的节点minid */

for (j = 2; j <= n; j++)

{

/* 边权值较小且不在生成树中 */

if (lowcost[j] < min && lowcost[j] != 0)

{

min = lowcost[j];

minid = j;

}

}

/* 输出生成树边的信息:起点，终点，权值 */

printf("%c - %c : %d\n", mst[minid] + 'A' - 1, minid + 'A' - 1, min);

sum += min;

/* 标记节点minid加入生成树 */

lowcost[minid] = 0;

/* 更新当前节点minid到其他节点的权值 */

for (j = 2; j <= n; j++)

{

/* 发现更小的权值 */

if (map[minid][j] < lowcost[j])

{

/* 更新权值信息 */

lowcost[j] = map[minid][j];

/* 更新最小权值边的起点 */

mst[j] = minid;

}

}

}

/* 返回最小权值和 */

return sum;

}

int main()

{