离散实验——二元关系及其性质

#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<stdlib.h>
#define N 10086
int a[N][N], n;
void init()
{
    printf("请输入二元关系的域的个数：");
    scanf("%d", &n);
    printf("请输入关系矩阵。\n");
    for (int i = 0; i < n; i++){
        for (int j = 0; j < n; j++){
            scanf("%d", &a[i][j]);
        }
    }
}
int judge_R(int flag)   // 判断是不是 自反关系
{
    for (int i = 0; i < n&&flag; i++)
        if (a[i][i] == 0)
            flag = 0;
    if (flag)
        return 1;
    return 0;
}
int judge_S(int flag)   // 判断是不是 对称关系
{
    for (int i = 0; i < n; i++)
        for (int j = 0; j < n; j++)
            if (a[i][j] && !a[j][i])
                flag = 0;
    if (flag)
        return 1;
    return 0;
}
int judge_T(int flag)   // 判断是不是 传递关系
{
    for (int i = 0; i < n&&flag; i++)
        for (int j = 0; j < n&&flag; j++)
            for (int k = 0; k < n&&flag; k++)
                if (a[i][j] && a[j][k] && !a[i][k])
                    flag = 0;
    if (flag)
        return 1;
    return 0;
}
void show()
{
    int fld[N];  // 二元关系的 域
    for (int i = 0; i < n; i++)
        fld[i] = i + 1;   // i 代表第 i 个元素

    printf("\n商集为：\n");
    printf("{ ");
    for (int i = 0; i < n; i++)   //循环所有元素
    {
        if (fld[i])   // 如果当前元素 所属的等价类 还没打印出来
        {
            printf("{ ");
            for (int j = 0; j < n; j++)
            {
                if (a[i][j] && fld[j])  //  如果与当前元素连通的元素 所属的等价类 还没打印出来
                {
                    printf("%d ", fld[j]);
                    fld[j] = 0;   // 标记 用过的元素,至于 i，因为不会重复循环，所以不用 标记
                }
            }
            printf("} ");
        }
    }
    printf("}\n");
}
int main(void)
{
    init();   // 初始化矩阵
   
    if (judge_R&&judge_S&&judge_T)  // 判断是否是等价关系
        show();    // 打印商集
    else
        printf("该二元关系不是等价关系。\n");

    system("pause");
    return 0;
}
/*测试数据：
10
1 0 0 0 0 1 0 0 0 0
0 1 0 0 0 0 1 0 0 0
0 0 1 0 0 0 0 1 0 0
0 0 0 1 0 0 0 0 1 0
0 0 0 0 1 0 0 0 0 1
1 0 0 0 0 1 0 0 0 0 
0 1 0 0 0 0 1 0 0 0 
0 0 1 0 0 0 0 1 0 0
0 0 0 1 0 0 0 0 1 0 
0 0 0 0 1 0 0 0 0 1 

*/