ЗАДАЧИ
problems.ru
О проекте | Об авторах | Справочник
Каталог по темам | по источникам |
К задаче N

Проект МЦНМО
при участии
школы 57
Задача 98070
Темы:    [ Теория алгоритмов (прочее) ]
[ Разложение в произведение транспозиций и циклов ]
[ Полуинварианты ]
Сложность: 4+
Классы: 9,10,11
В корзину
Прислать комментарий

Условие

В колоду сложено n различных карт. Разрешается переложить любое число рядом лежащих карт (не меняя порядок их следования и не переворачивая) в другое место колоды. Требуется несколькими такими операциями переложить все n карт в обратном порядке.
  а) Докажите, что при  n = 9  это можно сделать за 5 операций;
Докажите, что при  n = 52  это
  б) можно сделать за 27 операций;
  в) нельзя сделать за 17 операций;
  г) нельзя сделать за 26 операций.


Решение

  a) Обозначим карты цифрами. Пусть вначале они упорядочены по убыванию:  9, 8, 7, 6, 5, 4, 3, 2, 1.  Покажем результаты перекладываний, выделяя подчёркиваниями переложенные карты:

  б) Обозначим карты числами от 1 до 52, предположим, что сначала они упорядочены по убыванию. Поменяем местами половины колоды, получим:  26, 25, ..., 2, 1, 52, 51, ..., 27.  Теперь выделенную пару карт перенесём в конец:  26, 25, ..., 2, 51, 50, ..., 27, 1, 52.  Очередную пару на стыке двух исходных половинок врежем в уже перенесённые в конец карты:  26, 25, ..., 3, 50, 49, ..., 27, 1, 2, 51, 52,  а далее продолжаем этот процесс. Последней будет перенесена пара 26, 27, после чего колода оказывается упорядоченной по возрастанию. Всего потребовалось  1 + 26 = 27  операций.

  в) По-прежнему считаем, что в начале карты упорядочены по убыванию. Беспорядком назовём пару стоящих рядом карт, если номер левой больше номера правой. Первоначально имеется 51 беспорядок. При каждом вынимании части колоды мы можем уничтожить не более двух беспорядков (разрушаем две соседние пары), а при вставке в колоду разрывается только одна пара, так что можем уничтожить не более одного беспорядка. Это показывает, что меньше, чем 17 операциями не обойтись. Но и 17 операций недостаточно, поскольку на первом шаге при вынимании число беспорядков уменьшается не более чем на 1: если мы вынимаем часть, расположенную с краю, то при этом разрывается только одна пара, а если вынимаем из середины, то возникает один новый беспорядок во вновь образовавшейся паре соседних карт.

  г) Докажем, что при каждой операции число беспорядков уменьшается не более чем на 2, а при первой и последней операции – на 1. Тогда 26 операций хватит, чтобы уничтожить  1 + 24·2 + 1 = 50  беспорядков, а в начале их – 51.
  Допустим, что при некоторой операции число беспорядков уменьшилось на 3. Это означает, что при вынимании исчезло два беспорядка и ни один не возник, а при вставке исчез один и ни один не возник. Пусть вынимается кусок с первой картой a и последней b и вставляется между картами e и f:

Сформулированные условия означают, что  c < d,  c > a,  b > d,  следовательно,  b > a.  С другой стороны,  e > f,  e < a,  b < f,  то есть  a > b.  Полученное противоречие доказывает невозможность уничтожения трёх беспорядков за одну операцию.
  Докажем, что на первом шаге число беспорядков не может уменьшиться на 2. Если вынимаем с краю, то рвём только один беспорядок, а если изнутри, то два уничтожаем, а один возникает. Если после этого вынутый кусок ставим с краю, то число беспорядков не уменьшается, а если вставляем внутрь, то один беспорядок уничтожается, но другой возникает.

  Аналогично рассматривается последний шаг.

Замечания

1. 8-9 кл. – 3 + 3 + 4 + 4,   10-11 кл. – 2 + 2 + 4 + 4.

2. В несколько другой формулировке задача предлагалась в Задачнике "Кванта" (задача М1285).

Источники и прецеденты использования

олимпиада
Название Турнир городов
Турнир
Номер 12
Дата 1990/1991
вариант
Вариант осенний тур, основной вариант, 10-11 класс
Задача
Номер 6
олимпиада
Название Турнир городов
Турнир
Номер 12
Дата 1990/1991
вариант
Вариант осенний тур, основной вариант, 8-9 класс
Задача
Номер 6

© 2004-... МЦНМО (о копирайте)
Пишите нам

Проект осуществляется при поддержке Департамента образования г.Москвы и ФЦП "Кадры" .