等价关系——离散数学

定义：集合S上的关系≡,称为S上为等价关系，当且仅当它在S上是对称的，自反的，传递的。
例如：

x=x
x=y意味着y=x
x=y且y=z意味着x=z
可以使用等价关系将集合S划分为等价类，S的两个元素x和y属于同一等价类，当且仅当≡，例如，有12个编号为0至11元素：
0≡4,3≡1,6≡10,8≡9,7≡4,6≡8,3≡5,2≡11,11≡0
那么根据关系≡的自反性，对称性和传递性的结果，可以归为以下几个等价类：
{0, 2, 4, 7, 11};{1, 3, 5};{6, 8, 9, 10}.
如果用二维数组去表示其等价关系，不仅会浪费大量空间，还需相当的时间去寻找两个等价元素之间的第三个等价元素。那么我们可以考虑用链表来去查找等价类的元素，来减少时间和空间复杂度，其用链表设计查找等价类的结构如图：

代码实现：

#include <iostream>
#include<stdlib.h>
#include<stdio.h>
//等价关系最大范围(0-MAX_SIZE)其中不包括MAX_SIZE
#define MAX_SIZE 24
#define IS_FULL(ptr) (!(ptr))
//标记输出过
#define FALSE 0
//标记没有输出过
#define TRUE 1
typedef struct node *node_pointer;
//存储结构
struct node
{
   int data;
   node_pointer link;
};
using namespace std;
int main()
{
   //存储元素是否输出过的标记
   int out[MAX_SIZE];
   //每个等价元素链表的头结点
   node_pointer seq[MAX_SIZE];
   node_pointer x,y,top;
   int i,j,n;
   //输入其元素范围[0,n)
   printf("Enter the size(<=%d) ",MAX_SIZE);
   scanf("%d",&n);
   //初始化操作
   for(i=0;i<n;i++)
   {
      out[i]=TRUE;
      seq[i]=NULL;
   }
   printf("Enter a pair of numbers (-1 -1 to quit):" );
   //循环输入等价关系的元素对
   scanf("%d%d",&i,&j);
   while(i>=0)
   {
      x=(node_pointer)malloc(sizeof(node));
      if(IS_FULL(x))
      {
         fprintf(stderr,"the memory is full\n");
         exit(1);
      }
      //插入到第i个链表的前端
      x->data=j;
      x->link=seq[i];
      seq[i]=x;
      x=(node_pointer)malloc(sizeof(node));
      if(IS_FULL(x))
      {
         fprintf(stderr,"the memory is full\n");
         exit(1);
      }
      //插入到第j个链表的前端
      x->data=i;
      x->link=seq[j];
      seq[j]=x;
      printf("Enter a pair of numbers (-1 -1 to quit):" );
      scanf("%d%d",&i,&j);
   }
   for(i=0;i<n;i++)
   {
      //判断是否输出
      if(out[i])
      {
         printf("\nNew class:%5d",i);
         out[i]=FALSE;
         //查找剩下的等价结点
         x=seq[i];
         top=NULL;
         for(;;)
         {
            //输出链表的等价元素
            while(x)
            {
               j=x->data;
               if(out[j])
               {
                  printf("%5d",j);
                  out[j]=FALSE;
                  //使其链表结点的指针方向反向
                  y=x->link;
                  x->link=top;
                  top=x;
                  x=y;
               }
               else
               {
                  x=x->link;
               }
            }
            if(!top) break;
            //查找第top->data个等价链表的元素
            x=seq[top->data];
            top=top->link;
         }
      }
   } 
}

分析：seq和out初始化的时间开销为O(n),输入等价对时，其时间开销是常量，故该阶段为的时间总开销为O(m+n),在第二阶段中，每个节点至多放入链栈一次，由于只有2m个节点，并且for循环n次，故该阶段的时间开销是O(m+n),因此总的计算时间开销是O(m+n).其算法空间的开销是O(m+n).

等价关系——离散数学

猜你喜欢