Формула включения-исключения — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показана 61 промежуточная версия 17 участников)
Строка 1: Строка 1:
'''Формула включения–исключения''' {{---}} это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.
+
 
 +
== Формула включения-исключения ==
 +
{{Определение
 +
|definition='''Формула включения-исключения''' (англ. ''Inclusion-exclusion principle'') {{---}} комбинаторная формула, выражающая мощность объединения конечных множеств через мощности всех множеств и мощности всех их возможных пересечений.
 +
}}
  
 
[[Файл:пересечение двух множеств.svg.png|thumb|right|Случай для двух множеств]]
 
[[Файл:пересечение двух множеств.svg.png|thumb|right|Случай для двух множеств]]
  
Например, в случае двух множеств <tex>~A, B</tex> формула включения{{---}}исключения имеет вид:
+
Для случая из двух множеств <tex dpi = "140"> A, B </tex> формула включения-исключения имеет следующий вид:
 
<center>
 
<center>
<tex> | A \cup B | = | A | + | B | - | A \cap B |</tex>
+
<tex dpi = "140"> | A \cup B | = | A | + | B | - | A \cap B |</tex>
 
</center>
 
</center>
В сумме <tex>~| A | + | B |</tex> элементы пересечения <tex>A \cap B</tex> учтены дважды, и, чтобы компенсировать это, мы вычитаем <tex> | A \cap B |</tex> из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера–Венна для двух множеств, приведенной на рисунке справа.
+
В силу того, что в сумме <tex dpi = "140"> | A | + | B |</tex> элементы пересечения <tex dpi = "140"> A \cap B </tex> учтены дважды, то уменьшаем текущее значение суммы на мощность пересечения, чтобы каждый элемент был подсчитан ровно один раз. Для наглядности воспользуемся диаграммой Эйлера{{---}}Венна для двух множеств, приведенной на рисунке справа.
 +
 
 +
Для случая с большим количеством рассматриваемых множеств <tex dpi = "140"> n </tex> процесс нахождения количества элементов объединения состоит в поочередном включений ошибочно исключенного и исключений ошибочно включенного. Отсюда и происходит название формулы.  
  
Таким же образом и в случае <tex>~n>2</tex> множеств процесс нахождения количества элементов объединения <tex>A_1 \cup A_2 \cup \ldots \cup A_n</tex> состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.
+
Сформулируем и докажем теорему для нахождения мощности объединения произвольного количества множеств.  
  
 
{{Теорема  
 
{{Теорема  
|statement=Пусть <tex> A = \bigcup \limits_{i=1}^{n}A_i </tex> , тогда по формуле включения–исключения: <center> <tex> | A | = \sum \limits_{I \in 2^N} (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| </tex> </center>
+
|statement=Пусть <tex dpi = "140"> A = \bigcup \limits_{i=1}^{n}A_i </tex> , тогда по формуле включения-исключения: <center> <tex dpi = "140"> | A | = \sum \limits_{I \in 2^N -1} (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| </tex> </center>
Причем <tex> N = \{ 1,2, \ldots ,n \} </tex>. Здесь за  <tex> 2^N </tex> обозначим множество всех непустых подмножеств <tex> N </tex>.
+
Причем <tex dpi = "140"> N = \{ 1,2, \ldots ,n \} </tex>. Здесь за  <tex dpi = "140"> 2^N - 1 </tex> обозначим множество всех непустых подмножеств <tex dpi = "140"> N </tex>.
  
  
 
||proof=
 
||proof=
Приведем два разноплановых доказательства Теоремы.
+
Приведем два разноплановых доказательства теоремы.
  
'''I. Комбинаторное доказательство Теоремы.'''
+
'''I. Комбинаторное доказательство теоремы.'''
  
Рассмотрим некоторый элемент <tex> x \in \bigcup \limits_{i=1}^{n}A_i </tex>. Пусть <tex> x \in \bigcap \limits_{j=1}^{t}A_{i_j} </tex>. Тогда найдем число вхождений элемента <tex> x </tex> в правую часть формулы.
+
Рассмотрим некоторый элемент <tex dpi = "140"> x \in \bigcup \limits_{i=1}^{n}A_i </tex>. Пусть <tex dpi = "140"> x \in \bigcap \limits_{j=1}^{t}A_{i_j} </tex>. Тогда найдем число вхождений элемента <tex dpi = "140"> x </tex> в правую часть формулы.
  
<tex>k =  (-1) ^ {t + 1}  {t \choose t} + (-1) ^ {t}  {t \choose {t - 1}} +  \ldots  + (-1)^2  {t \choose 1} + (-1)  {t \choose 0} = -\sum \limits_{j = 1}^{t} (-1)^j {t \choose j}  </tex><tex> = {t \choose 0} - \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}</tex>
+
<tex dpi = "140">k =  (-1) ^ {t + 1}  {t \choose t} + (-1) ^ {t}  {t \choose {t - 1}} +  \ldots  + (-1)^2  {t \choose 1} = -\sum \limits_{j = 1}^{t} (-1)^j {t \choose j}  </tex><tex dpi = "140"> = {t \choose 0} - \sum \limits_{j = 0
 +
}^{t} (-1)^j {t \choose j} </tex>
  
 +
Докажем, что <tex dpi = "140"> \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}  = 0</tex>
  
'''II. Доказательство Теоремы по индукции.'''
+
В силу того, что <tex dpi = "140"> (1 + (-1)) ^ t  = {t \choose 0} 1^t (-1)^0 + {t \choose 1} 1 ^ {t - 1} (-1) ^ 1 + \ldots + {t \choose t} 1^0 (-1)^t = \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}</tex>, имеем <tex dpi = "140"> 0 = (1 + (-1)) ^ t = \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}</tex>, то равенство доказано.
  
Пусть <tex>~l</tex> {{---}} это количество множеств, мощность пересечения которых мы ищем. Для случая <tex>~l=1</tex> равенство обращается в тривиальное (<tex> |A| = |A_1| </tex> {{---}} истинно).  Для случая <tex>~l=2</tex> справедливость теоремы пояснена выше. Таким образом, <tex>~l=2</tex> {{---}} база индукции.
+
Таким образом, <tex dpi = "140"> k = {t \choose 0} - \sum \limits_{j = 0}^{t} (-1)^j = 1 - 0 = 1</tex>, то есть каждый элемент подсчитан в правой части формулы ровно один раз, то теорема доказана.
  
Предположим, что для <tex>~l=n-1</tex> равенство верно. Докажем, что равенство истинно для <tex>~l=n</tex>
+
'''II. Доказательство теоремы по индукции.'''
  
 +
Пусть <tex dpi = "130">~l</tex> {{---}} это количество множеств, мощность пересечения которых мы ищем. Для случая <tex dpi = "130">~l=1</tex> равенство обращается в тривиальное (<tex dpi = "130"> |A| = |A_1| </tex> {{---}} истинно).  Для случая <tex dpi = "130"x>~l=2</tex> справедливость теоремы пояснена выше. Таким образом, <tex dpi = "130">~l=2</tex> {{---}} база индукции. 
  
Пусть <tex> A </tex> {{---}} объединение <tex>~n</tex> множеств. Очевидно, что  <tex> A = \bigcup \limits_{i=1}^{n}A_i = \left(  {\bigcup \limits_{i=1}^{n-1}A_i} \right) \cup A_n </tex>. Пусть <tex> B = \bigcup \limits_{i=1}^{n-1}A_i </tex>;  <tex>N' = \{ 1,2, \ldots ,n-1 \} </tex>.
+
Предположим, что для <tex dpi = "130">~l=n-1</tex> равенство верно. Докажем, что равенство истинно для <tex dpi = "130">~l=n</tex>
 +
 
 +
 
 +
Пусть <tex dpi = "130"> A </tex> {{---}} объединение <tex dpi = "130">~n</tex> множеств. Очевидно, что  <tex dpi = "130"> A = \bigcup \limits_{i=1}^{n}A_i = \left(  {\bigcup \limits_{i=1}^{n-1}A_i} \right) \cup A_n </tex>. Пусть <tex dpi = "130"> B = \bigcup \limits_{i=1}^{n-1}A_i </tex>;  <tex dpi = "130">N' = \{ 1,2, \ldots ,n-1 \} </tex>.
  
  
 
Исходя из предположения индукции, имеем, что  
 
Исходя из предположения индукции, имеем, что  
<tex> | B | = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| </tex>
+
<tex dpi = "130"> | B | = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| </tex>
 +
 
 +
 
 +
Кроме того, так как формула верна для <tex dpi = "130">~l=2</tex> (из базы индукции), то верно равенство <tex dpi = "130"> | A | = | B | + | A_n | - | B \cap A_n | (*)</tex>.
  
  
Кроме того, так как формула верна для <tex>~l=2</tex> (из базы индукции), то верно равенство <tex> | A | = | B | + | A_n | - | B \cap A_n | (*)</tex>. Найдем  <tex>~| B \cap A_n |</tex>:
+
Найдем  <tex dpi = "130">~| B \cap A_n |</tex>:
  
  
Очевидно, что <tex>  B \cap A_n  = \left( \bigcup \limits_{i=1}^{n-1}A_i \right) \cap A_n =  \bigcup \limits_{i=1}^{n-1} \left( A_i \cap A_n \right)      (**)</tex>
+
Очевидно, что <tex dpi = "130">  B \cap A_n  = \left( \bigcup \limits_{i=1}^{n-1}A_i \right) \cap A_n =  \bigcup \limits_{i=1}^{n-1} \left( A_i \cap A_n \right)      (**)</tex>
  
  
Опираясь на предположение индукции и равенство <tex> (**) </tex> имеем, что  <tex> |B \cap A_n|  = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} \left( A_j \cap A_n \right) \right| = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| </tex>
+
Опираясь на предположение индукции и равенство <tex dpi = "130"> (**) </tex> имеем, что  <tex dpi = "130"> |B \cap A_n|  = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} \left( A_j \cap A_n \right) \right| = \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| </tex>
  
  
Подставим полученные значения в <tex>(*)</tex>:
+
Подставим полученные значения в <tex dpi = "130">(*)</tex>:
  
  
<tex>  | A |  = | A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| \right) - \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)</tex> <tex> =| A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| \right) +  \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)  
+
<tex dpi = "130">  | A |  = | A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I} A_j \right| \right) - \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)</tex> <tex dpi = "130"> =| A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| \right) +  \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)  
 
  </tex>
 
  </tex>
  
  
Докажем, что <tex> | A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| \right) +  \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)  
+
Докажем, что <tex dpi = "130"> | A_n |+\left( \sum \limits_{I \in 2^{N'}}  (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| \right) +  \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2}  \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)  
  </tex>  <tex> =  \sum \limits_{I \in 2^N} (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| </tex>
+
  </tex>  <tex dpi = "130"> =  \sum \limits_{I \in 2^N} (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| </tex>
 +
 
 +
Равенство справедливо, потому что все наборы <tex dpi = "130"> I \in 2^N </tex> можно разбить на две группы :
 +
 
 +
# <tex dpi = "130"> I \in 2^{N'} </tex> Это означает, что в наборе точно '''не''' будет присутствовать  индекс <tex dpi = "130"> n </tex>, а будут все различные варианты индексов остальных множеств, т.е. <tex dpi = "130"> I \in 2^{N'}</tex>.
 +
# <tex dpi = "130">\{n\} \cup I</tex>, где <tex dpi = "130">I \in N'</tex> Аналогично предыдущему, только в наборе будет индекс <tex dpi = "130"> n </tex>.
 +
 
 +
Как видно из равенства, первое и третье слагаемое "отвечают" за вторую группу, а второе слагаемое за первую группу. Значит, равенство истинно и <tex dpi = "130">|A| =  \sum \limits_{I \in 2^N} (-1)^{|I|+1}  \left| \bigcap \limits_{ j \in I } A_j \right| </tex> .
 +
Таким образом, для <tex dpi = "130">~l=n</tex> мы доказали, что равенство верно. Значит, индукционный переход верен, то есть теорема доказана.
 +
}}
 +
 
 +
== Беспорядки ==
 +
{{Определение
 +
|id=идентификатор (необязательно), пример: def1.
 +
|definition='''Беспорядок''' (англ. ''Derangement'') — это перестановка чисел от <tex>1</tex> до <tex>n</tex>, в которой ни один элемент не стоит на своём месте. 
 +
}}
 +
 
 +
=== Явная формула с использованием принципа включения-исключения ===
 +
{{Теорема
 +
|id=идентификатор (необязательно), пример: th1.
 +
|statement= Количество беспорядков порядка <tex>n</tex> равно субфакториалу <ref>[http://ru.wikipedia.org/wiki/%D0%A1%D1%83%D0%B1%D1%84%D0%B0%D0%BA%D1%82%D0%BE%D1%80%D0%B8%D0%B0%D0%BB Википедия {{---}}  Субфакториал]</ref> числа <tex>n</tex> (обозначение: <tex>!n</tex>) и вычисляется по формуле:
 +
 
 +
<tex dpi = "150"> !n = n! - \frac{n!}{1!} + \frac{n!}{2!} - \frac{n!}{3!} + ... + \frac{n!}{n!}(-1)^{n}= \sum_{k=0}^n\frac{n!}{k!}(-1)^{k} </tex>
 +
|proof=
 +
Воспользуемся принципом включения-исключения: обозначим за <tex dpi = "130">A_i</tex> — количество перестановок из <tex dpi = "130">n</tex> элементов, в каждой из которых <tex dpi = "130">i</tex>-ый элемент стоит на своём месте. Тогда по формуле включения-исключения имеем:
 +
 +
<tex dpi = "140"> \Big |\bigcap_{i=_1}^n \overline{A}_i \Big| = |U|-\sum \limits_{i} |A_i|+\sum \limits_{i < j} |A_i\bigcap A_j|-\sum \limits_{i < j < k} |A_i\bigcap A_j\bigcap A_k|</tex> <tex dpi = "130">+ ... +(-1)^{n}| A_1 \bigcap A_2 \bigcap ... \bigcap A_n | </tex>, где универсум <tex dpi = "130">U</tex> — множество из всех перестановок порядка <tex dpi = "130">n</tex>.       
 +
 
 +
<tex>\overline{A}_i</tex> — количество перестановок, в каждой из которых <tex>i</tex>-ый элемент стоит не на своём <tex>i</tex>-ом месте.
 +
 
 +
Таким образом <tex dpi = "130">| \bigcap_{i=_1}^n \overline {A}_i |</tex> — количество всех перестановок, в каждой из которых <tex>i</tex>-ый элемент <tex dpi = "130">\neq</tex> <tex dpi = "130">i</tex>,то есть количество искомых беспорядков.
  
Равенство справедливо, потому что все наборы <tex> I \in 2^N </tex> можно разбить на две группы :
+
<tex dpi = "130">|A_i| = (n - 1)!</tex>, так как <tex dpi = "130">i</tex>-ая позиция занята числом <tex dpi = "130">i</tex>. <tex dpi = "130">\binom{n}{1}</tex> — количество способов выбрать одну <tex dpi = "130">i</tex>-ую позицию  <tex dpi = "130"> \Rightarrow \sum \limits_{i = 1}^{n} |A_i| = \binom{n}{1} (n-1)!</tex>
  
# <tex> I \in 2^{N'} </tex> Это означает, что в наборе точно '''не''' будет присутствовать  индекс <tex> n </tex>, а будут все различные варианты индексов остальных множеств, т.е. <tex> I \in 2^{N'}</tex>.
+
Рассмотрим <tex dpi = "130"> |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| </tex>, где <tex dpi = "130"> 1\leqslant i_1 < i_2 < ... < i_k \leqslant n </tex>. Так как некоторые <tex dpi = "130">k</tex> позиций <tex dpi = "130">i_1, i_2, ... , i_k </tex> заняты соответствующими числами, то количество способов расставить остальные <tex dpi = "130">n-k</tex> чисел равно <tex dpi = "130">(n-k)!</tex>. То есть <tex dpi = "130"> |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = (n - k)! </tex> Количество всех способов выбрать <tex dpi = "130">k</tex> позиций <tex dpi = "130">i_1, i_2, ... , i_k </tex> равно <tex dpi = "130">\binom{n}{k} </tex>. Таким образом получаем, что: 
# <tex>\{n\} \cup I</tex>, где <tex>I \in N'</tex> Аналогично предыдущему, только в наборе будет индекс <tex> n </tex>.
 
  
Как видно из равенства, первое и третье слагаемое "отвечают" за вторую группу, а второе слагаемое за первую группу. Значит, равенство истинно и <tex>|A| = \sum \limits_{I \in 2^N} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| </tex> .
+
<tex dpi = "130">\sum \limits_{1\leqslant i_1 < i_2 < ... < i_k \leqslant n}^{} |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = \binom{n}{k} \cdot(n-k)! </tex>
Таким образом, для <tex>~l=n</tex> мы доказали, что равенство верно. Значит, индукционный переход верен, то есть теорема доказана.
+
 
 +
Подставляя соответствующие значения мощностей множеств в формулу включения-исключения, получаем:
 +
 
 +
<tex dpi = "130">| \bigcap_{i=_1}^n \overline{A}_i | = n! + \sum \limits_{k = 1}^{n} (-1)^{k}\binom{n}{k} \cdot (n - k)!.</tex>  
 +
 
 +
Раскрывая <tex dpi = "140">\binom{n}{k}</tex> по общеизвестной формуле, получим требуемое выражение, то есть количество беспорядков порядка <tex dpi = "130">n</tex>.
 
}}
 
}}
 +
 +
=== Рекурретное соотношение для нахождения количества беспорядков ===
 +
 +
{{Утверждение
 +
|statement =
 +
Количество беспорядков удовлетворяет рекурсивным соотношениям:
 +
 +
<tex dpi = "140"> d(n)=(n-1)[d(n-1)+d(n-2)] </tex>
 +
 +
и
 +
 +
<tex dpi = "140"> d(n)=n \times d(n-1)+(-1)^{n} </tex>,
 +
 +
где <tex dpi = "140"> d(1)=0 </tex>, а <tex dpi = "140"> d(2)=1 </tex>
 +
|proof =
 +
1) Докажем второе соотношение:
 +
 +
Так как <tex dpi = "140"> d(n)=!n </tex>, то можно переписать эту формулу, как <tex dpi = "140"> !n=n!(n-1)+(-1)^{n} </tex>
 +
 +
По формуле субфакториала <tex dpi = "140"> !n=n!(\sum \limits_{k = 0}^{n-1} \frac {(-1)^{k}}{k!} + \frac {(-1)^{n}}{n!})=n!\sum \limits_{k = 0}^{n-1} \frac {(-1)^{k}}{k!}+(-1)^{n}=n \times !(n-1)+(-1)^{n}</tex>
 +
 +
2) Докажем первое соотношение:
 +
 +
У нас есть <tex> n </tex> чисел и столько же мест. Мы должны найти количество способов разместить эти числа так, что ни одно из чисел не оказалось на месте с таким же номером.
 +
 +
Предположим, что первое число оказалось на месте с номером <tex> i </tex>. Это можно сделать <tex> n-1 </tex> способами, так как первое число может оказаться на любом месте, кроме первого. Теперь есть 2 варианта, зависящие от того, окажется ли число с номером <tex> i </tex> на первом месте или нет.
 +
 +
* Число <tex> i </tex> на первом месте. Остается <tex> n-2 </tex> мест и <tex> n-2 </tex> чисел. То есть количество беспорядков от <tex> n-2 </tex>
 +
* Число <tex> i </tex> не может оказаться на первом месте. Это эквивалентно решению задачи с <tex> n-1 </tex> местами и <tex> n-1 </tex> числами (первое число уже заняло место, а остальные еще нет): у каждого числа будет одно запрещенное место (у числа с номером <tex> i </tex> запрещенным будет первое место). Получается количество беспорядков от <tex> n-1 </tex>.
 +
 +
Эти 2 случая не пересекаются и поэтому суммируются. В первом случае число <tex> i </tex> занимает первое место, затем идет распределение остальных чисел, не зависящее от первого и <tex> i </tex>-го чисел. Во втором же случае число с номером <tex> i </tex> попасть на первое место не может, а значит займет какое-то другое место, и распределение остальных чисел уже будет другое.
 +
 +
В итоге получается необходимая формула.
 +
}}
 +
 +
== Задача о перестановках ==
 +
 +
Сколько есть перестановок чисел от <tex> 0 </tex> до <tex> 9 </tex> таких, что первый элемент больше <tex> 1 </tex>, а последний меньше <tex> 8 </tex>?
 +
 +
Посчитаем количество "плохих" перестановок, то есть таких, у которых первый элемент <tex> \leqslant 1 </tex> (множество таких перестановок обозначим <tex> X </tex>) и/или последний <tex> \leqslant 8 </tex> (множество таких перестановок обозначим <tex> Y </tex>).
 +
 +
Тогда количество "плохих" перестановок по формуле включений-исключений равно:
 +
 +
<tex> |X|+|Y|-|X \cap Y| </tex>
 +
 +
Проведя несложные комбинаторные вычисления, получим:
 +
 +
<tex> 2 \times 9!+2 \times 9! - 2 \times 2 \times 8! </tex>
 +
 +
Отнимая это число от общего числа перестановок <tex> 10! </tex>, получим ответ.
 +
 +
== Задача о нахождении числа взаимно простых четвёрок ==
 +
 +
Дано <tex> n </tex> чисел: <tex> a_1, a_2,..., a_n </tex>. Необходимо посчитать количество способов выбрать из них четыре числа так, что они будут взаимно простыми, то есть их НОД равен единице.
 +
 +
Посчитаем число "плохих" четвёрок, то есть таких, в которых все числа делятся на число <tex> d > 1 </tex>.
 +
 +
Воспользуемся формулой включений-исключений, суммируя количество четвёрок, делящихся на <tex> d </tex> (но, возможно, делящихся и на больший делитель).
 +
 +
<tex> answer=\sum \limits_{d>1} (-1)^{deg(d)-1} \times f(d) </tex>,
 +
 +
где <tex> deg(d) </tex> — это количество простых в факторизации числа <tex> d </tex>, <tex> f(d) </tex> — количество четвёрок, делящихся на <tex> d </tex>.
 +
 +
Чтобы посчитать функцию <tex> f(d) </tex>, надо просто посчитать количество чисел, кратных <tex> d </tex>, и с помощью биномиальных коэффициентов посчитать число способов выбрать из них четвёрку.
 +
 +
Таким образом, с помощью формулы включений-исключений мы суммируем количество четвёрок, делящихся на простые числа, затем отнимаем число четвёрок, делящихся на произведение двух простых, прибавляем четвёрки, делящиеся на три простых, и т.д.
 +
 +
== См. также ==
 +
* [[Производящая функция]]
 +
* [[Лемма Бёрнсайда и Теорема Пойа]]
 +
 +
==Примечания==
 +
 +
<references />
 +
== Источники информации ==
 +
* [[wikipedia:ru:Беспорядок_(перестановка)|Википедия — Беспорядок]]
 +
* [http://en.wikipedia.org/wiki/Derangement Wikipedia — Derangement]
 +
* Виленкин Н.Я., Виленкин А.Н., Виленкин П.А. Комбинаторика, Изд. 4-е, исправленное - МЦНМО, 2013 ISBN 978-5-4439-0052-0
 +
* Р. Стенли, Перечислительная комбинаторика. — М.: Мир, 1990. — С. 107-108.
 +
 +
 
[[Категория: Дискретная математика и алгоритмы]]
 
[[Категория: Дискретная математика и алгоритмы]]
 
[[Категория: Комбинаторика]]
 
[[Категория: Комбинаторика]]

Текущая версия на 19:33, 4 сентября 2022

Формула включения-исключения

Определение:
Формула включения-исключения (англ. Inclusion-exclusion principle) — комбинаторная формула, выражающая мощность объединения конечных множеств через мощности всех множеств и мощности всех их возможных пересечений.


Случай для двух множеств

Для случая из двух множеств [math] A, B [/math] формула включения-исключения имеет следующий вид:

[math] | A \cup B | = | A | + | B | - | A \cap B |[/math]

В силу того, что в сумме [math] | A | + | B |[/math] элементы пересечения [math] A \cap B [/math] учтены дважды, то уменьшаем текущее значение суммы на мощность пересечения, чтобы каждый элемент был подсчитан ровно один раз. Для наглядности воспользуемся диаграммой Эйлера—Венна для двух множеств, приведенной на рисунке справа.

Для случая с большим количеством рассматриваемых множеств [math] n [/math] процесс нахождения количества элементов объединения состоит в поочередном включений ошибочно исключенного и исключений ошибочно включенного. Отсюда и происходит название формулы.

Сформулируем и докажем теорему для нахождения мощности объединения произвольного количества множеств.

Теорема:
Пусть [math] A = \bigcup \limits_{i=1}^{n}A_i [/math] , тогда по формуле включения-исключения:
[math] | A | = \sum \limits_{I \in 2^N -1} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I} A_j \right| [/math]
Причем [math] N = \{ 1,2, \ldots ,n \} [/math]. Здесь за [math] 2^N - 1 [/math] обозначим множество всех непустых подмножеств [math] N [/math].
Доказательство:
[math]\triangleright[/math]

Приведем два разноплановых доказательства теоремы.

I. Комбинаторное доказательство теоремы.

Рассмотрим некоторый элемент [math] x \in \bigcup \limits_{i=1}^{n}A_i [/math]. Пусть [math] x \in \bigcap \limits_{j=1}^{t}A_{i_j} [/math]. Тогда найдем число вхождений элемента [math] x [/math] в правую часть формулы.

[math]k = (-1) ^ {t + 1} {t \choose t} + (-1) ^ {t} {t \choose {t - 1}} + \ldots + (-1)^2 {t \choose 1} = -\sum \limits_{j = 1}^{t} (-1)^j {t \choose j} [/math][math] = {t \choose 0} - \sum \limits_{j = 0 }^{t} (-1)^j {t \choose j} [/math]

Докажем, что [math] \sum \limits_{j = 0}^{t} (-1)^j {t \choose j} = 0[/math]

В силу того, что [math] (1 + (-1)) ^ t = {t \choose 0} 1^t (-1)^0 + {t \choose 1} 1 ^ {t - 1} (-1) ^ 1 + \ldots + {t \choose t} 1^0 (-1)^t = \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}[/math], имеем [math] 0 = (1 + (-1)) ^ t = \sum \limits_{j = 0}^{t} (-1)^j {t \choose j}[/math], то равенство доказано.

Таким образом, [math] k = {t \choose 0} - \sum \limits_{j = 0}^{t} (-1)^j = 1 - 0 = 1[/math], то есть каждый элемент подсчитан в правой части формулы ровно один раз, то теорема доказана.

II. Доказательство теоремы по индукции.

Пусть [math]~l[/math] — это количество множеств, мощность пересечения которых мы ищем. Для случая [math]~l=1[/math] равенство обращается в тривиальное ([math] |A| = |A_1| [/math] — истинно). Для случая [math]~l=2[/math] справедливость теоремы пояснена выше. Таким образом, [math]~l=2[/math] — база индукции.

Предположим, что для [math]~l=n-1[/math] равенство верно. Докажем, что равенство истинно для [math]~l=n[/math]


Пусть [math] A [/math] — объединение [math]~n[/math] множеств. Очевидно, что [math] A = \bigcup \limits_{i=1}^{n}A_i = \left( {\bigcup \limits_{i=1}^{n-1}A_i} \right) \cup A_n [/math]. Пусть [math] B = \bigcup \limits_{i=1}^{n-1}A_i [/math]; [math]N' = \{ 1,2, \ldots ,n-1 \} [/math].


Исходя из предположения индукции, имеем, что [math] | B | = \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I} A_j \right| [/math]


Кроме того, так как формула верна для [math]~l=2[/math] (из базы индукции), то верно равенство [math] | A | = | B | + | A_n | - | B \cap A_n | (*)[/math].


Найдем [math]~| B \cap A_n |[/math]:


Очевидно, что [math] B \cap A_n = \left( \bigcup \limits_{i=1}^{n-1}A_i \right) \cap A_n = \bigcup \limits_{i=1}^{n-1} \left( A_i \cap A_n \right) (**)[/math]


Опираясь на предположение индукции и равенство [math] (**) [/math] имеем, что [math] |B \cap A_n| = \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I} \left( A_j \cap A_n \right) \right| = \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| [/math]


Подставим полученные значения в [math](*)[/math]:


[math] | A | = | A_n |+\left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I} A_j \right| \right) - \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right)[/math] [math] =| A_n |+\left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| \right) + \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2} \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right) [/math]


Докажем, что [math] | A_n |+\left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| \right) + \left( \sum \limits_{I \in 2^{N'}} (-1)^{|I|+2} \left| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \right| \right) [/math] [math] = \sum \limits_{I \in 2^N} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| [/math]

Равенство справедливо, потому что все наборы [math] I \in 2^N [/math] можно разбить на две группы :

  1. [math] I \in 2^{N'} [/math] Это означает, что в наборе точно не будет присутствовать индекс [math] n [/math], а будут все различные варианты индексов остальных множеств, т.е. [math] I \in 2^{N'}[/math].
  2. [math]\{n\} \cup I[/math], где [math]I \in N'[/math] Аналогично предыдущему, только в наборе будет индекс [math] n [/math].

Как видно из равенства, первое и третье слагаемое "отвечают" за вторую группу, а второе слагаемое за первую группу. Значит, равенство истинно и [math]|A| = \sum \limits_{I \in 2^N} (-1)^{|I|+1} \left| \bigcap \limits_{ j \in I } A_j \right| [/math] .

Таким образом, для [math]~l=n[/math] мы доказали, что равенство верно. Значит, индукционный переход верен, то есть теорема доказана.
[math]\triangleleft[/math]

Беспорядки

Определение:
Беспорядок (англ. Derangement) — это перестановка чисел от [math]1[/math] до [math]n[/math], в которой ни один элемент не стоит на своём месте.


Явная формула с использованием принципа включения-исключения

Теорема:
Количество беспорядков порядка [math]n[/math] равно субфакториалу [1] числа [math]n[/math] (обозначение: [math]!n[/math]) и вычисляется по формуле: [math] !n = n! - \frac{n!}{1!} + \frac{n!}{2!} - \frac{n!}{3!} + ... + \frac{n!}{n!}(-1)^{n}= \sum_{k=0}^n\frac{n!}{k!}(-1)^{k} [/math]
Доказательство:
[math]\triangleright[/math]

Воспользуемся принципом включения-исключения: обозначим за [math]A_i[/math] — количество перестановок из [math]n[/math] элементов, в каждой из которых [math]i[/math]-ый элемент стоит на своём месте. Тогда по формуле включения-исключения имеем:

[math] \Big |\bigcap_{i=_1}^n \overline{A}_i \Big| = |U|-\sum \limits_{i} |A_i|+\sum \limits_{i \lt j} |A_i\bigcap A_j|-\sum \limits_{i \lt j \lt k} |A_i\bigcap A_j\bigcap A_k|[/math] [math]+ ... +(-1)^{n}| A_1 \bigcap A_2 \bigcap ... \bigcap A_n | [/math], где универсум [math]U[/math] — множество из всех перестановок порядка [math]n[/math].

[math]\overline{A}_i[/math] — количество перестановок, в каждой из которых [math]i[/math]-ый элемент стоит не на своём [math]i[/math]-ом месте.

Таким образом [math]| \bigcap_{i=_1}^n \overline {A}_i |[/math] — количество всех перестановок, в каждой из которых [math]i[/math]-ый элемент [math]\neq[/math] [math]i[/math],то есть количество искомых беспорядков.

[math]|A_i| = (n - 1)![/math], так как [math]i[/math]-ая позиция занята числом [math]i[/math]. [math]\binom{n}{1}[/math] — количество способов выбрать одну [math]i[/math]-ую позицию [math] \Rightarrow \sum \limits_{i = 1}^{n} |A_i| = \binom{n}{1} (n-1)![/math]

Рассмотрим [math] |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| [/math], где [math] 1\leqslant i_1 \lt i_2 \lt ... \lt i_k \leqslant n [/math]. Так как некоторые [math]k[/math] позиций [math]i_1, i_2, ... , i_k [/math] заняты соответствующими числами, то количество способов расставить остальные [math]n-k[/math] чисел равно [math](n-k)![/math]. То есть [math] |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = (n - k)! [/math] Количество всех способов выбрать [math]k[/math] позиций [math]i_1, i_2, ... , i_k [/math] равно [math]\binom{n}{k} [/math]. Таким образом получаем, что:

[math]\sum \limits_{1\leqslant i_1 \lt i_2 \lt ... \lt i_k \leqslant n}^{} |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = \binom{n}{k} \cdot(n-k)! [/math]

Подставляя соответствующие значения мощностей множеств в формулу включения-исключения, получаем:

[math]| \bigcap_{i=_1}^n \overline{A}_i | = n! + \sum \limits_{k = 1}^{n} (-1)^{k}\binom{n}{k} \cdot (n - k)!.[/math]

Раскрывая [math]\binom{n}{k}[/math] по общеизвестной формуле, получим требуемое выражение, то есть количество беспорядков порядка [math]n[/math].
[math]\triangleleft[/math]

Рекурретное соотношение для нахождения количества беспорядков

Утверждение:
Количество беспорядков удовлетворяет рекурсивным соотношениям:

[math] d(n)=(n-1)[d(n-1)+d(n-2)] [/math]

и

[math] d(n)=n \times d(n-1)+(-1)^{n} [/math],

где [math] d(1)=0 [/math], а [math] d(2)=1 [/math]
[math]\triangleright[/math]

1) Докажем второе соотношение:

Так как [math] d(n)=!n [/math], то можно переписать эту формулу, как [math] !n=n!(n-1)+(-1)^{n} [/math]

По формуле субфакториала [math] !n=n!(\sum \limits_{k = 0}^{n-1} \frac {(-1)^{k}}{k!} + \frac {(-1)^{n}}{n!})=n!\sum \limits_{k = 0}^{n-1} \frac {(-1)^{k}}{k!}+(-1)^{n}=n \times !(n-1)+(-1)^{n}[/math]

2) Докажем первое соотношение:

У нас есть [math] n [/math] чисел и столько же мест. Мы должны найти количество способов разместить эти числа так, что ни одно из чисел не оказалось на месте с таким же номером.

Предположим, что первое число оказалось на месте с номером [math] i [/math]. Это можно сделать [math] n-1 [/math] способами, так как первое число может оказаться на любом месте, кроме первого. Теперь есть 2 варианта, зависящие от того, окажется ли число с номером [math] i [/math] на первом месте или нет.

  • Число [math] i [/math] на первом месте. Остается [math] n-2 [/math] мест и [math] n-2 [/math] чисел. То есть количество беспорядков от [math] n-2 [/math]
  • Число [math] i [/math] не может оказаться на первом месте. Это эквивалентно решению задачи с [math] n-1 [/math] местами и [math] n-1 [/math] числами (первое число уже заняло место, а остальные еще нет): у каждого числа будет одно запрещенное место (у числа с номером [math] i [/math] запрещенным будет первое место). Получается количество беспорядков от [math] n-1 [/math].

Эти 2 случая не пересекаются и поэтому суммируются. В первом случае число [math] i [/math] занимает первое место, затем идет распределение остальных чисел, не зависящее от первого и [math] i [/math]-го чисел. Во втором же случае число с номером [math] i [/math] попасть на первое место не может, а значит займет какое-то другое место, и распределение остальных чисел уже будет другое.

В итоге получается необходимая формула.
[math]\triangleleft[/math]

Задача о перестановках

Сколько есть перестановок чисел от [math] 0 [/math] до [math] 9 [/math] таких, что первый элемент больше [math] 1 [/math], а последний меньше [math] 8 [/math]?

Посчитаем количество "плохих" перестановок, то есть таких, у которых первый элемент [math] \leqslant 1 [/math] (множество таких перестановок обозначим [math] X [/math]) и/или последний [math] \leqslant 8 [/math] (множество таких перестановок обозначим [math] Y [/math]).

Тогда количество "плохих" перестановок по формуле включений-исключений равно:

[math] |X|+|Y|-|X \cap Y| [/math]

Проведя несложные комбинаторные вычисления, получим:

[math] 2 \times 9!+2 \times 9! - 2 \times 2 \times 8! [/math]

Отнимая это число от общего числа перестановок [math] 10! [/math], получим ответ.

Задача о нахождении числа взаимно простых четвёрок

Дано [math] n [/math] чисел: [math] a_1, a_2,..., a_n [/math]. Необходимо посчитать количество способов выбрать из них четыре числа так, что они будут взаимно простыми, то есть их НОД равен единице.

Посчитаем число "плохих" четвёрок, то есть таких, в которых все числа делятся на число [math] d \gt 1 [/math].

Воспользуемся формулой включений-исключений, суммируя количество четвёрок, делящихся на [math] d [/math] (но, возможно, делящихся и на больший делитель).

[math] answer=\sum \limits_{d\gt 1} (-1)^{deg(d)-1} \times f(d) [/math],

где [math] deg(d) [/math] — это количество простых в факторизации числа [math] d [/math], [math] f(d) [/math] — количество четвёрок, делящихся на [math] d [/math].

Чтобы посчитать функцию [math] f(d) [/math], надо просто посчитать количество чисел, кратных [math] d [/math], и с помощью биномиальных коэффициентов посчитать число способов выбрать из них четвёрку.

Таким образом, с помощью формулы включений-исключений мы суммируем количество четвёрок, делящихся на простые числа, затем отнимаем число четвёрок, делящихся на произведение двух простых, прибавляем четвёрки, делящиеся на три простых, и т.д.

См. также

Примечания

Источники информации

  • Википедия — Беспорядок
  • Wikipedia — Derangement
  • Виленкин Н.Я., Виленкин А.Н., Виленкин П.А. Комбинаторика, Изд. 4-е, исправленное - МЦНМО, 2013 ISBN 978-5-4439-0052-0
  • Р. Стенли, Перечислительная комбинаторика. — М.: Мир, 1990. — С. 107-108.