转载

集合习题之列出有限集合所有子集

1、题目(《离散数学及其应用》第6版P75 20 题)

给出可以列出有限集合所有子集的步骤。

2、  解题思路

假设有集合A = {a1, a2 … an},列出其所有子集。

  • 先列出含有1个元素的所有子集:{a1},{a2} … {an}
  • 然后列出含有2个元素的所有子集:{a1,a2},{a1,a3}…{an-1,an}
  • 同上所示,一直列到含有n个元素的所有子集

可以看出,问题就简化为求在 A 集合中,求含有固定 x 个元素的所有子集(注意,子集中每个ai只能包含一次)。

这实际上类似这么个问题,袋子中有编号为1到10的10个球,每次取一个球,取出后不放回袋子,取3次,问取出的3个球的编号可能的所有组合。

方法:

  • 取第1个球时,有1~10种取法
  • 取第2个球时,如果知道第1个球取的编号是a,则第2个球有除a以外的9种取法,但要注意{1,2}和{2,1}是同一个子集,如何保证不取已经取过了的同一组编号的球?

我们可以观察到如果让{1,2}2个球按编号大小排列只有一种排列方式即{1,2},所以只要保证第2个球的编号比第一个球的编号大,即可保证不会取到{2,1}

所以,我们可以在取第2个球时,从 (a+1) 开始取,即可保证不会取到重复的排列方式

同时,我们取第3个球时,一样需要知道第1、2个球的编号,这实际上就是一个递归问题了,假设已知取到第1个球为a,第2个球为b,则第三个球的取法为 {(b+1) …10)}

3、算法

 //功能:从m个元素(元素不重复)中取出n个元素(n <= m)的所有取法 //参数:vectorHead = 前nBit_x - 1个元素已取了的头部vector //参数:nHeadBit = 当前处理的元素在vectorSet中的位置 //参数:nBit_x = 当前要处理的子集的元素位置 //参数:nChildSetSize= 要取的n个元素的子集的大小 //参数:vectorSet = m个元素的总集 //参数:vectorChildSetBuffer = 存放子集的buffer //返回:当前操作的步数 int    GetChildSetByDec(std::vector<int>& vectorHead, int nHeadBit, int nBit_x, int nChildSetSize, std::vector<int>& vectorSet, std::vector<std::vector<int>>& vectorChildSetBuffer) {     int    nRet  = 0;      for (int i = nHeadBit; i < vectorSet.size(); i++)     {         nRet++;          std::vector<int>    vectorNewHead = vectorHead;         vectorNewHead.push_back(vectorSet[i]);          if (nBit_x == nChildSetSize - 1)         {             //如果已经处理到最后一位了,则添加到buffer中             vectorChildSetBuffer.push_back(vectorNewHead);         }         else         {             //如果还没处理到最后一位,则递归             GetChildSetByDec(vectorNewHead, i + 1, nBit_x + 1, nChildSetSize, vectorSet, vectorChildSetBuffer);         }     }      return    nRet; }  //功能:从m个元素(元素不重复)中取出n个元素(n <= m)的所有取法 //参数:nChildSize = 要取的n个元素的子集的大小 //参数:vectorBuffer = 存放所有数组的buffer //参数:vectorSet = m个元素的总集 //返回:无 void    GetChildSet(std::vector<std::vector<int>>& vectorChildSetBuffer, std::vector<int>& vectorSet) {     //依次列出从1个元素到n个元素的集合     for (int i = 1; i <= vectorSet.size(); i++)     {         std::vector<int> vectorHead;          GetChildSetByDec(vectorHead, 0, 0, i, vectorSet, vectorChildSetBuffer);     } } 

说明:

  • 这里用的 vectorChildAggregateBuffer 来存放返回的子集,vectorChildAggregateBuffer 是一个STL容器中向量的向量,如果没有用过STL,可以理解为数组的指针(Array[][]),这里用Vector是为了存储操作方便。
  • GetChildAggregateByDec() 函数即用递归实现上面例子中10个球中取3个球的所有取法遍历。
  • GetChildAggregateByDec() 中运用了将n个元素映射为 Array[n] 数组一一对应的思想

程序运行结果:

集合习题之列出有限集合所有子集

如有其他思路解题,欢迎大家跟帖讨论

正文到此结束
Loading...