• 堆栈应用(五):离线等价类


    1、问题描述

    例子:假定 n= 1 4, R= { ( 1 , 11 ), ( 7 , 11 ), ( 2 , 1 2 ), ( 1 2 , 8 ), ( 11 , 1 2 ), ( 3 , 1 3 ), ( 4 , 1 3 ), ( 1 3 , 1 4 ),( 1 4 , 9 ), ( 5 , 1 4 ), ( 6 , 1 0 ) }。我们忽略了所有形如 ( a , a )的关系,因为按照反身属性,这些关系是隐含的。同样也忽略了所有的对称关系。比如 ( 1 , 11) € R,按对称属性应有 ( 11,1) €R。其他被忽略的关系是由传递属性可以得到的属性。例如根据 ( 7 , 11) 和( 11 , 1 2 ),应有(7,12) €R。如果(a , b) €R,则元素是等价的。等价类( equivalence class)是指相互等价的元素的最大集合。 “最大”意味着不存在类以外的元素,与类内部的元素等价。
    考察例 中的等价关系。由于元素 1 与11, 11 与1 2是等价的,因此,元素 1 , 11 , 1 2是等价的,它们应属于同一个等价类。不过,这三个元素还不能构成一个等价类,因为还有其他的元素与它们等价(如 7)。所以 { 1 , 11 , 1 2 } 不是等价元素的最大集合。集合 { 1 , 2 , 7 , 8 , 11 , 1 2 } 才是一个等价类。关系 R还定义了另外两个等价类: { 3 , 4 , 5 , 9 , 1 3 , 1 4 } 和{ 6 , 1 0 }。

    定义:假定有一个具有 n 个元素的集合U= { 1, 2, . . ., n},另有一个具有 r 个关系的集合 R= { (i1, j1) ,(i2 , j2 ), ..., (ij) } 。关系 R是一个等价关系( equivalence relation),当且仅当如下条件为真时成立:
    • 对于所有的 a,有(a, a) €R 时(即关系是反身的)。
    • 当且仅当 (b, a) € R时(a, b) €R(即关系是对称的)。
    • 若(a, b) €R且(b, c) €R,则有(a, c) € R(即关系是传递的)。
    在给出等价关系 R时,我们通常会忽略其中的某些关系,这些关系可以利用等价关系的反身、对称和传递属性来获得。
    在离线等价类( o ffline equiralence class)问题中,已知 n R,确定所有的等价类。注意每个元素只能属于某一个等价类。

    2、解决方法:

    可以为n个元素分别建立一个链表,链表其他元素为与当前元素等价的元素。从头扫描元素,对于未输出过的元素,将其先压入一个堆栈,然后扫描对应这个元素的链表,并对这个链表中的元素重复着一过程。直到堆栈为空。

    3、代码实现:

    堆栈实现见:堆栈的链表方式实现

      1 #ifndef OFFLINEEQUIRALENCECLASS_H
      2 #define OFFLINEEQUIRALENCECLASS_H
      3 
      4 #include <iostream>
      5 #include "Chain.h"
      6 #include "LinkedStack.h"
      7 using std::cout;
      8 using std::cin;
      9 using std::endl;
     10 
     11 class offlineEC
     12 {
     13 public:
     14     offlineEC(int n):num(n)
     15     {
     16         C = new Chain<int>[n + 1];
     17     }
     18 
     19     ~offlineEC(){
     20         if (C!=NULL)
     21         {
     22             delete[] C;
     23         }
     24     }
     25 
     26     friend void Offline_Equiralence();
     27     
     28 private:
     29     Chain<int>* C;//存储等价关系的链表
     30     int num;//元素个数
     31     void findEquiralence();//查找等价类
     32 };
     33 
     34 
     35 void offlineEC::findEquiralence()
     36 {
     37     bool *outflag = new bool[num + 1];//标识当前元素是否已经输出到一个等价类了
     38     LinkedStack<int> S;
     39     ChainIterator<int> CI;//迭代器,遍历链表中的元素
     40 
     41     for (int i = 1; i < num + 1; ++i)
     42     {
     43         outflag[i] = false;
     44     }
     45 
     46     for (int i = 1; i < num + 1; ++i)
     47     {
     48         if (!outflag[i])//若没有输出过,则是一个新的等价类的开始
     49         {
     50             cout << "新的等价类:" << i;
     51             outflag[i] = true;
     52             S.Add(i);
     53             while (!S.IsEmpty())//若堆栈不为空,说明还有属于这个等价类的元素
     54             {
     55                 int j;
     56                 S.Delete(j);
     57                 int* q = CI.Initialize(C[j]);
     58                 while (q)//遍历对应的链表,因为一个链表内的元素属于同一个等价类
     59                 {
     60                     if (!outflag[*q])
     61                     {
     62                         cout << " " << *q;
     63                         outflag[*q] = true;
     64                         S.Add(*q);
     65                     }
     66                     q = CI.Next();
     67                 }
     68             }
     69             cout << endl;
     70         }
     71     }
     72 }
     73 
     74 void Offline_Equiralence()
     75 {
     76     int n, r;
     77     cout << "输入元素的个数:" << endl;
     78     cin >> n;
     79     if (n<2)
     80     {
     81         std::cerr << "error:元素个数太少" << endl;
     82         exit(1);
     83     }
     84 
     85     cout << "输入关系对的个数:" << endl;
     86     cin >> r;
     87     if (r<1)
     88     {
     89         std::cerr << "error:关系对至少应有1个" << endl;
     90         exit(1);
     91     }
     92 
     93     offlineEC EC(n);
     94     cout << "输入关系对:" << endl;
     95     int a, b;
     96     for (int i = 0; i < r;++i)
     97     {
     98         cout << "输入一对关系对:";
     99         cin >> a;
    100         cin >> b;
    101         while (a>n||b>n||a<=0||b<=0)
    102         {
    103             std::cerr << "error:元素值输入有误,重新输入" << endl;
    104             cout << "输入一对关系对:";
    105             cin >> a;
    106             cin >> b;
    107         }
    108 
    109         EC.C[a].Insert(0, b);
    110         EC.C[b].Insert(0, a);
    111     }
    112 
    113     EC.findEquiralence();
    114 }
    115 #endif

    运行:

    1 #include "OfflineEquiralenceClass.h"
    2 
    3 int main()
    4 {
    5     Offline_Equiralence();
    6 
    7     system("pause");
    8     return 0;
    9 }

    运行结果:

  • 相关阅读:
    wxpython模块学习
    Linux Kernel TCP/IP Stack|Linux网络硬核系列
    解 Linux 的 epoll 机制
    取消 “安装未知发布者程序” 提示
    添加 “开机自启动” 程序
    x和y轴取对数之后的散点图
    python 混淆矩阵可视化
    fileserverMinio(进行中)
    谷粒商城 分布式高级篇全文检索ElasticSearch进阶term查询 match查询的区别
    谷粒学院高级118、全文检索ElasticSearch进阶aggregations聚合分析
  • 原文地址:https://www.cnblogs.com/haoliuhust/p/4262723.html
Copyright © 2020-2023  润新知