<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>组合数学 on 分而治之</title>
        <link>https://www.pythoner.work/tags/%E7%BB%84%E5%90%88%E6%95%B0%E5%AD%A6/</link>
        <description>Recent content in 组合数学 on 分而治之</description>
        <generator>Hugo -- gohugo.io</generator>
        <language>zh-cn</language>
        <copyright>Divide and Conquer. All rights reserved.</copyright>
        <lastBuildDate>Sun, 10 Jul 2022 11:52:00 +0800</lastBuildDate><atom:link href="https://www.pythoner.work/tags/%E7%BB%84%E5%90%88%E6%95%B0%E5%AD%A6/index.xml" rel="self" type="application/rss+xml" /><item>
        <title>组合数学 - 从n个球中取m个</title>
        <link>https://www.pythoner.work/post/counting-balls/</link>
        <pubDate>Sun, 10 Jul 2022 11:52:00 +0800</pubDate>
        
        <guid>https://www.pythoner.work/post/counting-balls/</guid>
        <description>&lt;blockquote&gt;
&lt;p&gt;UPD: 2025-07-13&lt;/p&gt;&lt;/blockquote&gt;
&lt;h2 id=&#34;不放回无重排列组合&#34;&gt;不放回（无重排列组合）
&lt;/h2&gt;&lt;h3 id=&#34;有序&#34;&gt;有序
&lt;/h3&gt;&lt;p&gt;$$P_n^m$$&lt;/p&gt;
&lt;h3 id=&#34;无序&#34;&gt;无序
&lt;/h3&gt;&lt;p&gt;$$C_n^m$$&lt;/p&gt;
&lt;h2 id=&#34;放回可重排列组合&#34;&gt;放回（可重排列组合）
&lt;/h2&gt;&lt;h3 id=&#34;有序-1&#34;&gt;有序
&lt;/h3&gt;&lt;p&gt;一个一个取，每步可以有$n$种选择，乘法原理：
$$n \times n \times n \times&amp;hellip;\times n\
= n^m$$&lt;/p&gt;
&lt;h3 id=&#34;无序-1&#34;&gt;无序
&lt;/h3&gt;&lt;p&gt;可重组合，可记作：
$\bar{C}_n^m$（c bar n m)，
$H_n^m$。&lt;/p&gt;
&lt;p&gt;重点：隔板法&lt;/p&gt;
&lt;p&gt;从$n$元集中可重复的选取$m$个元素，则方程$x_1 + x_2 + x_3 + &amp;hellip; + x_n = m$的非负整数解的个数就是可以选的方式的总个数。那么我们可以把这个问题看成在$m$个元素中插入$n-1$个分隔符，每段中是一种元素，就是在$n+m-1$个位置中选取$n-1$个放分隔符，也是$n+m-1$个位置中选取$m$个不放分隔符，就可以用无重组合的方式表示可重组合：
$$C_{n+m-1}^{m}$$&lt;/p&gt;
&lt;h3 id=&#34;无序每种至少选一个&#34;&gt;无序，每种至少选一个
&lt;/h3&gt;&lt;p&gt;可重组合的变形，仍使用隔板法。&lt;/p&gt;
&lt;p&gt;这次每种至少选一个的使得两个隔板不能放在一起，位置数减小到了$m - 1$，所以答案就是：
$$C_{m-1}^{n-1}$$&lt;/p&gt;
</description>
        </item>
        
    </channel>
</rss>
