Вычислите число способов выбрать 3 вершины из правильного n-угольника так, чтобы выбранные вершины не были смежными. Предложите несколько комбинаторных подходов (прямой счет, метод включений-исключений, комбинаторика со сдвигами) и сравните их сложность
Ответ: для n-угольника n≥6n ≥ 6n≥6 количество способов выбрать 3 вершины, никакие две из которых не смежны, равно N = nn−4n − 4n−4n−5n − 5n−5 / 6. (При n < 6 таких троек нет, при n = 6 получаем 2, при n = 7 — 7 и т. д.)
Доказательства несколькими способами.
1) Прямой подсчёт через «щели» stars−and−barsнакругеstars-and-bars на кругеstars−and−barsнакруге
Расположим по часовой три выбранные вершины; между ними по кругу находятся три промежутка из непомеченных вершин. Если никакие две выбранные не смежны, то в каждом промежутке должно быть ≥1 непомеченной вершины.Пусть a, b, c ≥ 1 и a + b + c = n − 3. Число упорядоченных троек a,b,ca,b,ca,b,c — число положительных решений = Cn−4,2n−4,2n−4,2.Зафиксируем одну выбранную вершину как «первая»: для каждой из n возможных позиций этой вершины и для каждой упорядоченной тройки промежутков получаем упорядоченное расположение трёх вершин. Итого упорядоченных циклически троек = n·Cn−4,2n−4,2n−4,2.Каждая неупорядоченнаянеупорядоченнаянеупорядоченная тройка вершин даётся в таком порядке ровно 3 раза в3−хциклическихначальныхточкахв 3-х циклических начальных точкахв3−хциклическихначальныхточках, значит искомое число N = n·Cn−4,2n−4,2n−4,2/3 = n·n−4n−4n−4n−5n−5n−5/6.
Всего троек вершины Cn,3n,3n,3.Пусть A_i — событие, что пара i,i+1i,i+1i,i+1покругупо кругупокругу обе выбраны. Число троек, содержащих заданную смежную пару, равно n−2 третьювершинуможновыбратьизостальныхn−2третью вершину можно выбрать из остальных n−2третьювершинуможновыбратьизостальныхn−2. Сумма по всем парам: S1 = n·n−2n−2n−2.Пересечение двух таких событий возможно только если выбираются три подряд идущие вершины i,i+1,i+2i,i+1,i+2i,i+1,i+2; таких троек ровно n, поэтому S2 = n. Более высоких пересечений нет.По формуле включений–исключений число троек, содержащих хотя бы одну смежную пару, = S1 − S2 = nn−3n−3n−3.Значит желаемое N = Cn,3n,3n,3 − nn−3n−3n−3 = nn−4n−4n−4n−5n−5n−5/6.
3) Комбинаторика «со сдвигами» / общий метод
Более общая формула для выбора k непоследовательных вершин на круге: число = n/n−kn − kn−k · Cn−k,kn − k, kn−k,kприn≥2kпри n ≥ 2kприn≥2k. Для k = 3 это даёт n/n−3n−3n−3 · Cn−3,3n−3,3n−3,3 = nn−4n−4n−4n−5n−5n−5/6.Короткое доказательство: посчитать упорядоченные по кругу k-ки фиксацияпервойвершиныираспределениеn−kневыбранныхвkпромежутковс≥1фиксация первой вершины и распределение n−k невыбранных в k промежутков с ≥1фиксацияпервойвершиныираспределениеn−kневыбранныхвkпромежутковс≥1 и разделить на k. Это обобщение пункта 111.
Сравнение подходов по «сложности»
Прямой подход через разбиения 111 даёт быстрый и понятный вывод, небольшая комбинаторная обработка stars−and−barsstars-and-barsstars−and−bars, легко обобщается на произвольное k. По информативности и компактности — предпочтителен.Включения–исключения 222 интуитивно прост для k = 3 нужнорассмотретьтолькоодно−идвухкратныепересечениянужно рассмотреть только одно- и двухкратные пересечениянужнорассмотретьтолькоодно−идвухкратныепересечения, но при увеличении k количество членов в сумме растёт и метод становится громоздким. Для общего k требуется учитывать до k-чинных пересечений, что делает метод менее удобным.Метод со сдвигами / ориентацией 333 — это та же идея, что и 111, но оформленная в другом виде; даёт удобную общую формулу n/n−kn−kn−k·Cn−k,kn−k,kn−k,k. Для алгоритмического вычисления всех значений для разных k он проще и даёт закрытую форму.
Вывод: для трёх вершин наиболее кратки и естественны метод «щелей» и общий сдвиговый метод; включения–исключения полезны для проверки и интуиции, но громоздки при обобщениях.
Ответ: для n-угольника n≥6n ≥ 6n≥6 количество способов выбрать 3 вершины, никакие две из которых не смежны, равно
N = nn−4n − 4n−4n−5n − 5n−5 / 6.
(При n < 6 таких троек нет, при n = 6 получаем 2, при n = 7 — 7 и т. д.)
Доказательства несколькими способами.
1) Прямой подсчёт через «щели» stars−and−barsнакругеstars-and-bars на кругеstars−and−barsнакруге
Расположим по часовой три выбранные вершины; между ними по кругу находятся три промежутка из непомеченных вершин. Если никакие две выбранные не смежны, то в каждом промежутке должно быть ≥1 непомеченной вершины.Пусть a, b, c ≥ 1 и a + b + c = n − 3. Число упорядоченных троек a,b,ca,b,ca,b,c — число положительных решений = Cn−4,2n−4,2n−4,2.Зафиксируем одну выбранную вершину как «первая»: для каждой из n возможных позиций этой вершины и для каждой упорядоченной тройки промежутков получаем упорядоченное расположение трёх вершин. Итого упорядоченных циклически троек = n·Cn−4,2n−4,2n−4,2.Каждая неупорядоченнаянеупорядоченнаянеупорядоченная тройка вершин даётся в таком порядке ровно 3 раза в3−хциклическихначальныхточкахв 3-х циклических начальных точкахв3−хциклическихначальныхточках, значит искомое числоN = n·Cn−4,2n−4,2n−4,2/3 = n·n−4n−4n−4n−5n−5n−5/6.
2) Включения–исключения черездополнение«естьсмежнаяпара»через дополнение «есть смежная пара»черездополнение«естьсмежнаяпара»
Всего троек вершины Cn,3n,3n,3.Пусть A_i — событие, что пара i,i+1i,i+1i,i+1 покругупо кругупокругу обе выбраны. Число троек, содержащих заданную смежную пару, равно n−2 третьювершинуможновыбратьизостальныхn−2третью вершину можно выбрать из остальных n−2третьювершинуможновыбратьизостальныхn−2. Сумма по всем парам: S1 = n·n−2n−2n−2.Пересечение двух таких событий возможно только если выбираются три подряд идущие вершины i,i+1,i+2i,i+1,i+2i,i+1,i+2; таких троек ровно n, поэтому S2 = n. Более высоких пересечений нет.По формуле включений–исключений число троек, содержащих хотя бы одну смежную пару, = S1 − S2 = nn−3n−3n−3.Значит желаемое N = Cn,3n,3n,3 − nn−3n−3n−3 = nn−4n−4n−4n−5n−5n−5/6.3) Комбинаторика «со сдвигами» / общий метод
Более общая формула для выбора k непоследовательных вершин на круге: число = n/n−kn − kn−k · Cn−k,kn − k, kn−k,k приn≥2kпри n ≥ 2kприn≥2k. Для k = 3 это даёт n/n−3n−3n−3 · Cn−3,3n−3,3n−3,3 = nn−4n−4n−4n−5n−5n−5/6.Короткое доказательство: посчитать упорядоченные по кругу k-ки фиксацияпервойвершиныираспределениеn−kневыбранныхвkпромежутковс≥1фиксация первой вершины и распределение n−k невыбранных в k промежутков с ≥1фиксацияпервойвершиныираспределениеn−kневыбранныхвkпромежутковс≥1 и разделить на k. Это обобщение пункта 111.Сравнение подходов по «сложности»
Прямой подход через разбиения 111 даёт быстрый и понятный вывод, небольшая комбинаторная обработка stars−and−barsstars-and-barsstars−and−bars, легко обобщается на произвольное k. По информативности и компактности — предпочтителен.Включения–исключения 222 интуитивно прост для k = 3 нужнорассмотретьтолькоодно−идвухкратныепересечениянужно рассмотреть только одно- и двухкратные пересечениянужнорассмотретьтолькоодно−идвухкратныепересечения, но при увеличении k количество членов в сумме растёт и метод становится громоздким. Для общего k требуется учитывать до k-чинных пересечений, что делает метод менее удобным.Метод со сдвигами / ориентацией 333 — это та же идея, что и 111, но оформленная в другом виде; даёт удобную общую формулу n/n−kn−kn−k·Cn−k,kn−k,kn−k,k. Для алгоритмического вычисления всех значений для разных k он проще и даёт закрытую форму.Вывод: для трёх вершин наиболее кратки и естественны метод «щелей» и общий сдвиговый метод; включения–исключения полезны для проверки и интуиции, но громоздки при обобщениях.