<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="ru">
		<id>http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D0%9B%D0%B5%D0%B1%D0%B5%D0%B4%D0%B5%D0%B2+%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD</id>
		<title>Викиконспекты - Вклад участника [ru]</title>
		<link rel="self" type="application/atom+xml" href="http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D0%9B%D0%B5%D0%B1%D0%B5%D0%B4%D0%B5%D0%B2+%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD"/>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%92%D0%BA%D0%BB%D0%B0%D0%B4/%D0%9B%D0%B5%D0%B1%D0%B5%D0%B4%D0%B5%D0%B2_%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD"/>
		<updated>2026-08-03T23:14:02Z</updated>
		<subtitle>Вклад участника</subtitle>
		<generator>MediaWiki 1.30.0</generator>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8724</id>
		<title>Двойное хэширование</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8724"/>
				<updated>2011-05-16T22:11:43Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Двойное хэширование */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Двойное хэширование ==&lt;br /&gt;
'''Двойное хэширование (double hashing)''' - один из лучших методов открытой адресации. Перебор ячеек хэш-таблицы, возникающий при двойном хешировании, обладает свойствами, присущими равномерному хешированию. При двойном хешировании хэш-функция &amp;lt;tex&amp;gt; h &amp;lt;/tex&amp;gt; имеет следующий вид:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h(k,i) = (h_1(k) + i*h_2(k)) mod m &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Файл: Вставка при двойном хэшировании.svg.jpeg|thumb|right|Вставка при двойном хэшировании]]&lt;br /&gt;
&lt;br /&gt;
где &amp;lt;tex&amp;gt; h1 &amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; - вспомогательные хеш-функции, &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt; - размер хэш-таблицы. Иными словами, последовательность индексов исследуемых ячеек при работе с ключом &amp;lt;tex&amp;gt; k &amp;lt;/tex&amp;gt; представляет собой арифметическую прогрессию (по модулю &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;) с первым членом &amp;lt;tex&amp;gt; h_1(k) &amp;lt;/tex&amp;gt; и шагом &amp;lt;tex&amp;gt; h_2(k) &amp;lt;/tex&amp;gt;. Следовательно, в данном случае последовательность исследования зависит от ключа k по двум параметрам - выбор начальной исследуемой ячейки и расстояние между двумя исследуемыми ячейками, так как оба параметра зависят от значения ключа. &lt;br /&gt;
&lt;br /&gt;
Пример вставки элемента при двойном хешировании приведен на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Показана хэш-таблица размером 13 ячеек, в которой используются вспомогательные функции:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_1(k) = k mod 13 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_2(k) = 1 + k mod 11 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Мы хотим вставить ключ 14. Изначально &amp;lt;tex&amp;gt; i = 0 &amp;lt;/tex&amp;gt;. Тогда &amp;lt;tex&amp;gt; h(14,0) = (h_1(14) + 0*h_2(14)) mod 13 = 1 &amp;lt;/tex&amp;gt;. Но ячейка с индексом 1 занята, поэтому увеличиваем &amp;lt;tex&amp;gt; i &amp;lt;/tex&amp;gt; на 1 и пересчитываем значение хэш-функции. Делаем так, пока не дойдем до пустой ячейки. При &amp;lt;tex&amp;gt; i = 2 &amp;lt;/tex&amp;gt; получаем &amp;lt;tex&amp;gt; h(14,2) = (h_1(14) + 2*h_2(14)) mod 13 = 9 &amp;lt;/tex&amp;gt;. Ячейка с номером 9 свободна, значит записываем туда наш ключ.&lt;br /&gt;
&lt;br /&gt;
Для того, чтобы последовательность исследования могла охватить всю таблицу, значение &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; должно быть взаимно простым с размером таблицы. Есть два удобных способа это сделать. Первый состоит в том, что в качестве размера таблицы используется простое число, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает натуральные числа, меньшие &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;. Второй - размер таблицы является степенью двойки, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает нечетные значения.&lt;br /&gt;
&lt;br /&gt;
Двойное хэширование превосходит другие в смысле количества последовательностей исследований. Это связано с тем, что каждая возможная пара &amp;lt;tex&amp;gt; (h_1(k),h_2(k)) &amp;lt;/tex&amp;gt; дает отличающуюся от других последовательность исследований.&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8722</id>
		<title>Двойное хэширование</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8722"/>
				<updated>2011-05-16T22:06:36Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Двойное хэширование */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Двойное хэширование ==&lt;br /&gt;
'''Двойное хэширование (double hashing)''' - один из лучших методов открытой адресации. Перестановки индексов, возникающие при двойном хешировании, обладают свойствами, присущими равномерному хешированию. При двойном хешировании функция &amp;lt;tex&amp;gt; h &amp;lt;/tex&amp;gt; имеет следующий вид:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h(k,i) = (h_1(k) + i*h_2(k)) mod m &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Файл: Вставка при двойном хэшировании.svg.jpeg|thumb|right|Вставка при двойном хэшировании]]&lt;br /&gt;
&lt;br /&gt;
где &amp;lt;tex&amp;gt; h1 &amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; - вспомогательные хеш-функции, &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt; - размер хэш-таблицы. Иными словами, последовательность индексов исследуемых ячеек при работе с ключом &amp;lt;tex&amp;gt; k &amp;lt;/tex&amp;gt; представляет собой арифметическую прогрессию (по модулю &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;) с первым членом &amp;lt;tex&amp;gt; h_1(k) &amp;lt;/tex&amp;gt; и шагом &amp;lt;tex&amp;gt; h_2(k) &amp;lt;/tex&amp;gt;. Следовательно, в данном случае последовательность исследования зависит от ключа k по двум параметрам - выбор начальной исследуемой ячейки и расстояние между двумя исследуемыми ячейками, так как оба параметра зависят от значения ключа. &lt;br /&gt;
&lt;br /&gt;
Пример вставки элемента при двойном хешировании приведен на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Показана хэш-таблица размером 13 ячеек, в которой используются вспомогательные функции:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_1(k) = k mod 13 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_2(k) = 1 + k mod 11 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Мы хотим вставить ключ 14. Изначально &amp;lt;tex&amp;gt; i = 0 &amp;lt;/tex&amp;gt;. Тогда &amp;lt;tex&amp;gt; h(14,0) = (h_1(14) + 0*h_2(14)) mod 13 = 1 &amp;lt;/tex&amp;gt;. Но ячейка с индексом 1 занята, поэтому увеличиваем &amp;lt;tex&amp;gt; i &amp;lt;/tex&amp;gt; на 1 и пересчитываем значение хэш-функции. Делаем так, пока не дойдем до пустой ячейки. При &amp;lt;tex&amp;gt; i = 2 &amp;lt;/tex&amp;gt; получаем &amp;lt;tex&amp;gt; h(14,2) = (h_1(14) + 2*h_2(14)) mod 13 = 9 &amp;lt;/tex&amp;gt;. Ячейка с номером 9 свободна, значит записываем туда наш ключ.&lt;br /&gt;
&lt;br /&gt;
Для того, чтобы последовательность исследования могла охватить всю таблицу, значение &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; должно быть взаимно простым с размером таблицы. Есть два удобных способа это сделать. Первый состоит в том, что в качестве размера таблицы используется простое число, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает натуральные числа, меньшие &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;. Второй - размер таблицы является степенью двойки, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает нечетные значения.&lt;br /&gt;
&lt;br /&gt;
Двойное хэширование превосходит другие в смысле количества последовательностей исследований. Это связано с тем, что каждая возможная пара &amp;lt;tex&amp;gt; (h_1(k),h_2(k)) &amp;lt;/tex&amp;gt; дает отличающуюся от других последовательность исследований.&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8719</id>
		<title>Двойное хэширование</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8719"/>
				<updated>2011-05-16T22:01:28Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Двойное хэширование */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Двойное хэширование ==&lt;br /&gt;
'''Двойное хэширование (double hashing)''' - один из лучших методов открытой адресации. Перестановки индексов, возникающие при двойном хешировании, обладают свойствами, присущими равномерному хешированию. При двойном хешировании функция h имеет следующий вид:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h(k,i) = (h_1(k) + i*h_2(k)) mod m &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Файл: Вставка при двойном хэшировании.svg.jpeg|thumb|right|Вставка при двойном хэшировании]]&lt;br /&gt;
&lt;br /&gt;
где &amp;lt;tex&amp;gt; h1 &amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; - вспомогательные хеш-функции, &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt; - размер хэш-таблицы. Иными словами, последовательность индексов исследуемых ячеек при работе с ключом &amp;lt;tex&amp;gt; k &amp;lt;/tex&amp;gt; представляет собой арифметическую прогрессию (по модулю &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;) с первым членом &amp;lt;tex&amp;gt; h_1(k) &amp;lt;/tex&amp;gt; и шагом &amp;lt;tex&amp;gt; h_2(k) &amp;lt;/tex&amp;gt;. Следовательно, в данном случае последовательность исследования зависит от ключа k по двум параметрам - выбор начальной исследуемой ячейки и расстояние между двумя исследуемыми ячейками, так как оба параметра зависят от значения ключа. &lt;br /&gt;
&lt;br /&gt;
Пример вставки элемента при двойном хешировании приведен на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Показана хэш-таблица размером 13 ячеек, в которой используются вспомогательные функции:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_1(k) = k mod 13 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_2(k) = 1 + k mod 11 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Мы хотим вставить ключ 14. Изначально &amp;lt;tex&amp;gt; i = 0 &amp;lt;/tex&amp;gt;. Тогда &amp;lt;tex&amp;gt; h(14,0) = (h_1(14) + 0*h_2(14)) mod 13 = 1 &amp;lt;/tex&amp;gt;. Но ячейка с индексом 1 занята, поэтому увеличиваем &amp;lt;tex&amp;gt; i &amp;lt;/tex&amp;gt; на 1 и пересчитываем значение хэш-функции. Делаем так, пока не дойдем до пустой ячейки. При &amp;lt;tex&amp;gt; i = 2 &amp;lt;/tex&amp;gt; получаем &amp;lt;tex&amp;gt; h(14,2) = (h_1(14) + 2*h_2(14)) mod 13 = 9 &amp;lt;/tex&amp;gt;. Ячейка с номером 9 свободна, значит записываем туда наш ключ.&lt;br /&gt;
&lt;br /&gt;
Для того, чтобы последовательность исследования могла охватить всю таблицу, значение &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; должно быть взаимно простым с размером таблицы. Есть два удобных способа это сделать. Первый состоит в том, что в качестве размера таблицы используется простое число, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает натуральные числа, меньшие &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;. Второй - размер таблицы является степенью двойки, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает нечетные значения.&lt;br /&gt;
&lt;br /&gt;
Двойное хэширование превосходит другие в смысле количества последовательностей исследований. Это связано с тем, что каждая возможная пара &amp;lt;tex&amp;gt; (h_1(k),h_2(k)) &amp;lt;/tex&amp;gt; дает отличающуюся от других последовательность исследований.&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:%D0%92%D1%81%D1%82%D0%B0%D0%B2%D0%BA%D0%B0_%D0%BF%D1%80%D0%B8_%D0%B4%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%BC_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8.svg.jpeg&amp;diff=8718</id>
		<title>Файл:Вставка при двойном хэшировании.svg.jpeg</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:%D0%92%D1%81%D1%82%D0%B0%D0%B2%D0%BA%D0%B0_%D0%BF%D1%80%D0%B8_%D0%B4%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%BC_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8.svg.jpeg&amp;diff=8718"/>
				<updated>2011-05-16T21:58:49Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8717</id>
		<title>Двойное хэширование</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B5_%D1%85%D1%8D%D1%88%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5&amp;diff=8717"/>
				<updated>2011-05-16T21:58:25Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Двойное хэширование */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Двойное хэширование ==&lt;br /&gt;
'''Двойное хэширование (double hashing)''' - один из лучших методов открытой адресации. Перестановки индексов, возникающие при двойном хешировании, обладают свойствами, присущими равномерному хешированию. При двойном хешировании функция h имеет следующий вид:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h(k,i) = (h_1(k) + i*h_2(k)) mod m &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
где &amp;lt;tex&amp;gt; h1 &amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; - вспомогательные хеш-функции, &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt; - размер хэш-таблицы. Иными словами, последовательность индексов исследуемых ячеек при работе с ключом &amp;lt;tex&amp;gt; k &amp;lt;/tex&amp;gt; представляет собой арифметическую прогрессию (по модулю &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;) с первым членом &amp;lt;tex&amp;gt; h_1(k) &amp;lt;/tex&amp;gt; и шагом &amp;lt;tex&amp;gt; h_2(k) &amp;lt;/tex&amp;gt;. Следовательно, в данном случае последовательность исследования зависит от ключа k по двум параметрам - выбор начальной исследуемой ячейки и расстояние между двумя исследуемыми ячейками, так как оба параметра зависят от значения ключа. Пример вставки элемента при двойном хешировании приведен на рисунке.&lt;br /&gt;
&lt;br /&gt;
[[Файл: Вставка при двойном хэшировании.svg.jpeg|thumb|right|Случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Показана хэш-таблица размером 13 ячеек, в которой используются вспомогательные функции:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_1(k) = k mod 13 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; h_2(k) = 1 + k mod 11 &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Мы хотим вставить ключ 14. Изначально &amp;lt;tex&amp;gt; i = 0 &amp;lt;/tex&amp;gt;. Тогда &amp;lt;tex&amp;gt; h(14,0) = (h_1(14) + 0*h_2(14)) mod 13 = 1 &amp;lt;/tex&amp;gt;. Но ячейка с индексом 1 занята, поэтому увеличиваем &amp;lt;tex&amp;gt; i &amp;lt;/tex&amp;gt; на 1 и пересчитываем значение хэш-функции. Делаем так, пока не дойдем до пустой ячейки. При &amp;lt;tex&amp;gt; i = 2 &amp;lt;/tex&amp;gt; получаем &amp;lt;tex&amp;gt; h(14,2) = (h_1(14) + 2*h_2(14)) mod 13 = 9 &amp;lt;/tex&amp;gt;. Ячейка с номером 9 свободна, значит записываем туда наш ключ.&lt;br /&gt;
&lt;br /&gt;
Для того, чтобы последовательность исследования могла охватить всю таблицу, значение &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; должно быть взаимно простым с размером таблицы. Есть два удобных способа это сделать. Первый состоит в том, что в качестве размера таблицы используется простое число, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает натуральные числа, меньшие &amp;lt;tex&amp;gt; m &amp;lt;/tex&amp;gt;. Второй - размер таблицы является степенью двойки, а &amp;lt;tex&amp;gt; h2 &amp;lt;/tex&amp;gt; возвращает нечетные значения.&lt;br /&gt;
&lt;br /&gt;
Двойное хэширование превосходит другие в смысле количества последовательностей исследований. Это связано с тем, что каждая возможная пара &amp;lt;tex&amp;gt; (h_1(k),h_2(k)) &amp;lt;/tex&amp;gt; дает отличающуюся от других последовательность исследований.&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5278</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5278"/>
				<updated>2010-11-26T16:11:05Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|Случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;tex&amp;gt;~A, B&amp;lt;/tex&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;tex&amp;gt;~| A | + | B |&amp;lt;/tex&amp;gt; элементы пересечения &amp;lt;tex&amp;gt;A \cap B&amp;lt;/tex&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;tex&amp;gt; | A \cap B |&amp;lt;/tex&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;tex&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/tex&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;tex&amp;gt; A = \bigcup \limits_{i=1}^{n}A_i &amp;lt;/tex&amp;gt; , тогда по формуле включения-исключения: &amp;lt;center&amp;gt; &amp;lt;tex&amp;gt; | A | = \sum \limits_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap \limits_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt; &amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;tex&amp;gt;~n=1&amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt;~n=2&amp;lt;/tex&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;tex&amp;gt;~n&amp;gt;2&amp;lt;/tex&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; A = \bigcup \limits_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup \limits_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | B | = \sum \limits_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap \limits_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup \limits_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup \limits_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; = \sum \limits_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap \limits_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum \limits_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A |=| A_n |+\Bigg( \sum \limits_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap \limits_{ j \in I } A_j \Big| \Bigg) - -  \Bigg( \sum \limits_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap \limits_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum \limits_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap \limits_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5277</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5277"/>
				<updated>2010-11-26T15:50:22Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Формула включения-исключения */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|Случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;tex&amp;gt;~A, B&amp;lt;/tex&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;tex&amp;gt;~| A | + | B |&amp;lt;/tex&amp;gt; элементы пересечения &amp;lt;tex&amp;gt;A \cap B&amp;lt;/tex&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;tex&amp;gt; | A \cap B |&amp;lt;/tex&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;tex&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/tex&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;tex&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/tex&amp;gt; , тогда по формуле включения-исключения: &amp;lt;center&amp;gt; &amp;lt;tex&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt; &amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;tex&amp;gt;~n=1&amp;lt;/tex&amp;gt; и &amp;lt;tex&amp;gt;~n=2&amp;lt;/tex&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;tex&amp;gt;~n&amp;gt;2&amp;lt;/tex&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5276</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=5276"/>
				<updated>2010-11-26T15:48:08Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Формула включения-исключения */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|Случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;tex&amp;gt;~A, B&amp;lt;/tex&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;tex&amp;gt;~| A | + | B |&amp;lt;/tex&amp;gt; элементы пересечения &amp;lt;tex&amp;gt;A \cap B&amp;lt;/tex&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;tex&amp;gt; | A \cap B |&amp;lt;/tex&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;tex&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/tex&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;tex&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/tex&amp;gt; , тогда по формуле включения-исключения: &amp;lt;center&amp;gt; &amp;lt;tex&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt; &amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;tex&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/tex&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;tex&amp;gt;~n&amp;gt;2&amp;lt;/tex&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;tex&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/tex&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4758</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4758"/>
				<updated>2010-11-10T05:23:42Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения: &amp;lt;center&amp;gt; &amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt; &amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4757</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4757"/>
				<updated>2010-11-10T05:21:35Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения: &amp;lt;center&amp;gt; &amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt; &amp;lt;/center&amp;gt;&lt;br /&gt;
||proof=Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4756</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4756"/>
				<updated>2010-11-10T05:19:57Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement=Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4755</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4755"/>
				<updated>2010-11-10T05:16:59Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
{{Теорема &lt;br /&gt;
|statement= Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
||proof=Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4706</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4706"/>
				<updated>2010-11-07T23:18:21Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Доказательство */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4704</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4704"/>
				<updated>2010-11-07T23:16:08Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Теорема */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4703</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4703"/>
				<updated>2010-11-07T23:15:42Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Доказательство */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4702</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4702"/>
				<updated>2010-11-07T23:15:01Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Доказательство */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4701</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4701"/>
				<updated>2010-11-07T23:14:28Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Теорема */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4700</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4700"/>
				<updated>2010-11-07T23:13:16Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Формула включения-исключения */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4699</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4699"/>
				<updated>2010-11-07T23:12:01Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: /* Формула включения-исключения */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) - \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4698</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4698"/>
				<updated>2010-11-07T23:09:52Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.svg.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4697</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4697"/>
				<updated>2010-11-07T23:07:38Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.png|thumb|right|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4696</id>
		<title>Формула включения-исключения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0_%D0%B2%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F-%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=4696"/>
				<updated>2010-11-07T23:06:08Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: Новая страница: «== Формула включения-исключения == '''Формула включения-исключения''' - это комбинаторная фор…»&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Формула включения-исключения ==&lt;br /&gt;
'''Формула включения-исключения''' - это комбинаторная формула, которая позволяет определить мощность объединения конечных множеств, если известны их мощности и мощности всех их возможных пересечений.&lt;br /&gt;
&lt;br /&gt;
[[Файл:пересечение двух множеств.png|thumb|left|случай для двух множеств]]&lt;br /&gt;
&lt;br /&gt;
Например, в случае двух множеств &amp;lt;math&amp;gt;~A, B&amp;lt;/math&amp;gt; формула включения-исключения имеет вид:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A \cup B | = | A | + | B | - | A \cap B |&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
В сумме &amp;lt;math&amp;gt;~| A | + | B |&amp;lt;/math&amp;gt; элементы пересечения &amp;lt;math&amp;gt;A \cap B&amp;lt;/math&amp;gt; учтены дважды, и чтобы компенсировать это мы вычитаем &amp;lt;math&amp;gt; | A \cap B |&amp;lt;/math&amp;gt; из правой части формулы. Справедливость этого рассуждения видна из диаграммы Эйлера-Венна для двух множеств, приведенной на рисунке справа.&lt;br /&gt;
&lt;br /&gt;
Таким же образом и в случае &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt; множеств процесс нахождения количества элементов объединения &amp;lt;math&amp;gt;A_1 \cup A_2 \cup \ldots \cup A_n&amp;lt;/math&amp;gt; состоит во включении всего, затем исключении лишнего, затем включении ошибочно исключенного и так далее, то есть в попеременном включении и исключении. Отсюда и происходит название формулы.&lt;br /&gt;
&lt;br /&gt;
== Теорема ==&lt;br /&gt;
Пусть &amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i &amp;lt;/math&amp;gt; , тогда по формуле включения-исключения:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = \sum_{I=(i_1,i_2, \ldots ,i_k) \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Доказательство ==&lt;br /&gt;
Для случая &amp;lt;math&amp;gt;~n=1&amp;lt;/math&amp;gt; и &amp;lt;math&amp;gt;~n=2&amp;lt;/math&amp;gt; теорема, очевидно, верна. &lt;br /&gt;
&lt;br /&gt;
Теперь рассмотрим &amp;lt;math&amp;gt;~n&amp;gt;2&amp;lt;/math&amp;gt;:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; A = \bigcup_{i=1}^{n}A_i = \Bigg( \underbrace {\bigcup_{i=1}^{n-1}A_i}_{B} \Bigg) \cup A_n &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | B | = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | B | + | A_n | - | B \cap A_n |&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; \Big| B \bigcap A_n \Big| = \Bigg| \Bigg( \bigcup_{i=1}^{n-1}A_i \Bigg) \bigcap A_n \Bigg|= \Bigg| \bigcup_{i=1}^{n-1} \bigg( A_i \bigcap A_n \bigg) \Bigg| = &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math&amp;gt; = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \bigg| \bigcap_{ j \in I } \Big( A_j \bigcap A_n \Big) \bigg| = \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
Таким образом:&lt;br /&gt;
&amp;lt;/center&amp;gt; &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt; | A | = | A_n| + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} }  (-1)^{|I|+1}  \Big| \bigcap_{ j \in I } A_j \Big| \Bigg) + \Bigg( \sum_{I \subset \{ 1,2, \ldots ,n-1 \} } (-1)^{|I|+1}  \Big| \bigcap_{ j\in I \cup \{ n \} } A_j \Big| \Bigg) = \sum_{I \subset \{ 1,2, \ldots ,n \} } (-1)^{k+1}  \Big| \bigcap_{ j \in I } A_j \Big| &amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9F%D0%B5%D1%80%D0%B5%D1%81%D0%B5%D1%87%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B4%D0%B2%D1%83%D1%85_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2.svg.png&amp;diff=4695</id>
		<title>Файл:Пересечение двух множеств.svg.png</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:%D0%9F%D0%B5%D1%80%D0%B5%D1%81%D0%B5%D1%87%D0%B5%D0%BD%D0%B8%D0%B5_%D0%B4%D0%B2%D1%83%D1%85_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2.svg.png&amp;diff=4695"/>
				<updated>2010-11-07T23:04:59Z</updated>
		
		<summary type="html">&lt;p&gt;Лебедев Роман: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>Лебедев Роман</name></author>	</entry>

	</feed>