集合的划分(1)

【问题描述】
设S是一个具有n个元素的集合,S={a1,a2,……,an},现将S划分成k个满足下列条件的子集合S1,S2,……,Sk ,且满足:

则称S1,S2,……,Sk是集合S的一个划分。它相当于把S集合中的n个元素a1 ,a2,……,an 放入k个(0<k≤n<30)无标号的盒子中,使得没有一个盒子为空。请你确定n个元素a1 ,a2 ,……,an 放入k个无标号盒子中去的划分数S(n,k)。
【输入样例】setsub.in
23 7
【输出样例】setsub.out
4382641999117305

【算法分析】
先举个例子,设S={1,2,3,4},k=3,不难得出S有6种不同的划分方案,即划分数S(4,3)=6,具体方案为:
{1,2}∪{3}∪{4} {1,3}∪{2}∪{4} {1,4}∪{2}∪{3}
{2,3}∪{1}∪{4} {2,4}∪{1}∪{3} {3,4}∪{1}∪{2}
考虑一般情况,对于任意的含有n个元素a1 ,a2,……,an的集合S,放入k个无标号的盒子中去,划分数为S(n,k),我们很难凭直觉和经验计算划分数和枚举划分的所有方案,必须归纳出问题的本质。其实对于任一个元素an,则必然出现以下两种情况:
1、{an}是k个子集中的一个,于是我们只要把a1,a2,……,an-1 划分为k-1子集,便解决了本题,这种情况下的划分数共有S(n-1,k-1)个;
2、{an}不是k个子集中的一个,则an必与其它的元素构成一个子集。则问题相当于先把a1,a2,……,an-1 划分成k个子集,这种情况下划分数共有S(n-1,k)个;然后再把元素an加入到k个子集中的任一个中去,共有k种加入方式,这样对于an的每一种加入方式,都可以使集合划分为k个子集,因此根据乘法原理,划分数共有k * S(n-1,k)个。

综合上述两种情况,应用加法原理,得出n个元素的集合{a1,a2,……,an}划分为k个子集的划分数为以下递归公式:S(n,k)=S(n-1,k-1) + k * S(n-1,k) (n>k,k>0)。

下面,我们来确定S(n,k)的边界条件:

首先不能把n个元素不放进任何一个集合中去,即k=0时,S(n,k)=0;

也不可能在不允许空盒的情况下把n个元素放进多于n的k个集合中去,即k>n时,S(n,k)=0;

再者,把n个元素放进一个集合或把n个元素放进n个集合,方案数显然都是1,即k=1或k=n时,S(n,k)=1。


因此,我们可以得出划分数S(n,k)的递归关系式为:
S(n,k)=S(n-1,k-1) + k * S(n-1,k)    (n>k,k>0)
S(n,k)=0     (n<k)或(k=0)
S(n,k)=1     (k=1)或(k=n)

复制代码
 1 #include<iostream>
 2 using namespace std;
 3  
 4 int s(int n, int k)  //数据还有可能越界,请用高精度计算
 5 {
 6      if ((n < k) || (k == 0)) return 0;     //满足边界条件,退出
 7      if ((k == 1) || (k == n)) return 1;
 8      return s(n-1,k-1) + k * s(n-1,k);   //调用下一层递归
 9 }
10  
11 int main()
12 {
13      int n,k;
14    cin >> n >> k;
15    cout << s(n,k);
16    return 0;
17 }
复制代码

 

posted on   华山青竹  阅读(1108)  评论(0编辑  收藏  举报

编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 如何调用 DeepSeek 的自然语言处理 API 接口并集成到在线客服系统
· 【译】Visual Studio 中新的强大生产力特性
· 2025年我用 Compose 写了一个 Todo App
历史上的今天:
2014-03-04 递归练习:猴子吃桃问题
2014-03-04 递归练习:错排问题
2014-03-04 递归练习:走台阶
2014-03-04 递归练习:计算最大公约数和最小公倍数
2014-03-04 递归练习:逆序输出一个十进制数的各位数字
2014-03-04 递归函数练习:输出菲波拉契(Fibonacci)数列的前N项数据
2014-03-04 递归程序练习:输出十进制数的二进制表示

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5
点击右上角即可分享
微信分享提示