整数方程-星形和柱形
组合学中经常出现的一个问题是,在计算将相同的物体分组的方法的数量时,例如将无法区分的球放入有标记的瓮中。我们讨论一种组合计数技术称为恒星和酒吧或球和骨灰盒为了解决这些问题,不可区分的物体用星形表示,分组用条形表示。
这允许我们将要计数的集合转换为另一个集合,这更容易计数。我们有一个双射,这些集合的大小相同。
简介
考虑方程 在哪里 非负整数。我们要求这个方程有多少个解。一开始,我们并不清楚该如何解决这个问题。一种方法是使用蛮力:确定一个变量的可能性,并分析其他变量的结果。但我们想要更好的,真正优雅的东西。我们使用上面提到的策略:通过显示双射将一个集合转换为另一个集合,从而使第二个集合更容易计数。
假设我们有 我们放置的地方 明星和 酒吧,每个地方一个物品。关键思想是这个位型代表方程的一个解。例如, 代表解决方案 .因为我们有 星号,然后是横条(代表加号),然后 星星,同样是条,类似 而且 明星效仿。同样的, 表示解决方案 因为我们一开始没有星号,然后是横条,推理和前面一样。
我们看到,任何这样的构型代表方程的一个解,而方程的任何解都可以转换成这样的星柱序列。我们已经在方程的解和构型之间建立了一个双射 明星和 酒吧。所以我们的问题归结为“我们可以用多少种方式放置。 明星和 酒吧 的地方吗?”这和固定是一样的 的地方的 到处都是星星。当然,我们可以在, 的方式。所以方程的解的个数是
星条形定理
星星和棒/球和瓮技术如下所述。
放置方式的数量 无法区分球进 标签骨灰盒是
下面是上述定理的证明。
我们代表了 球的 相邻的星星,考虑插入 酒吧之间的星星把酒吧分成 组。例如,对于 而且 ,下面是一组的表示 5个瓮中无法区分的球,其中瓮1、2、3、4、5的大小分别为2、4、0、3、3:
注意,在分组中,可能会有空瓮。总共有 职位,其中 是明星和 是酒吧。因此,放置方式的数量 无法区分球进 骨灰盒的标签是相同的选择方式的数量 之间的位置 星星的空格,所有剩下的位置都作为柱。有很多方法可以做到这一点
注意: 可以解释为替代选择职位的方法有多少 酒吧和采取所有剩余的位置是星星。
查看以下示例:
有多少非负整数的有序集 是否存在这样的情况
的解之间创建一个双射 长度为13的序列由10组成 的和3 换句话说,我们将每个解与唯一的序列相关联,反之亦然。
给定一组4个整数 ,我们创建的序列开始于 的,那么有一个 ,然后 的,那么有一个 ,然后 的,那么有一个 ,然后 例如,if ,则关联序列为 .现在,如果我们加上限制条件 ,关联的序列将由10组成 (从 )和3 's(来自我们的手动插入),因此总长度为13。
相反,给定一个长度为13,由10组成的序列 的和3 的,让 的初始字符串的长度 在第一个之前 ),让 是下一个字符串1的长度(在第一个和第二个之间) ),让 的第三串的长度 (在第二个和第三个之间 ),让 的最后一个字符串的长度 ’s(在第三个后面 ).这些值给出了方程的解 .
这种构造将每个解与唯一序列关联起来,反之亦然,因此给出了双射。
现在我们有了一个双射,这个问题就相当于计算长度为13,由10组成的序列的数量 的和3 的,我们用星柱法来计数。有 我们选择的位置 位置为1,其余位置为0。通过星星和酒吧,有 不同的选择。
注意:解决这个问题的另一种方法是生成函数.
解决问题
本节包含示例和要尝试的问题。
求非负整数解的个数
我们有 变量,因此 +的迹象。所以根据星星和酒吧,答案是
有多少种方法可以从26个字母的英语字母表中选择一个5个字母的单词替换,其中字谜的单词被认为是相同的?
观察一下,因为字谜被认为是一样的,我们感兴趣的特征是每个字母在单词中出现的次数(忽略字母出现的顺序)。为了将其转化为一个星柱问题,我们考虑将5写成26个整数的和 而且 在哪里 次数是字母吗 是选择, 次数是字母吗 选择等。
因此, = 5, = 26。
然后用星号和横条表示5个字母的单词的个数
对于某些问题,星条旗法并不能立即应用。在这些情况下,问题的解决方案必须首先映射到另一个问题的解决方案,然后可以用星形和条形来解决。我们在下面的例子中说明了一个这样的问题:
有多少正整数的有序集 是否存在这样的情况 为 而且
由于不平等,这个问题没有直接映射到星形和条形框架。要继续,考虑整数之间的双射 满足条件和整数 令人满意的 而且
现在,通过设置 为 ,我们要找到整数的集合 这样 而且
用星星和竖条表示,等于 .
尝试以下问题: