«Квант» — научно-популярный физико-математический журнал (издаётся с 1970 года)
Старый сайт журнала: kvant.ras.ru

Задача М1531

Условие задачи (1996, № 1) Задача М1531 // Квант. — 1996. — № 1. — Стр. 22; 1996. — № 4. — Стр. 28—29.

На плоскости дан квадрат и невидимая точка $P$‍.‍ Разрешается провести любую прямую и спросить, по какую сторону от неё (или на самой прямой) лежит $P$‍.‍ За какое наименьшее число вопросов можно выяснить, лежит ли $P$‍‍ внутри квадрата?

А. Я. Канель-Белов


Решение задачи (1996, № 4) Задача М1531 // Квант. — 1996. — № 1. — Стр. 22; 1996. — № 4. — Стр. 28—29.

Ответ: за 3 вопроса.

Сначала проведём диагональ $AC$‍.‍ Если окажется, что $P$‍‍ лежит от неё по ту же сторону, что и вершина $B$‍,‍ достаточно будет узнать, по какую сторону от прямых $AB$‍‍ и $BC$‍‍ лежит точка $P$‍‍ (рис. 1).

Рис. 1
Рис. 1
Рис. 2
Рис. 2

Двух вопросов явно недостаточно: пересечением двух полуплоскостей, где может лежать точка $P$‍,‍ окажется неограниченная область — угол, так что нельзя будет (ни при каких ответах) утверждать, что точка лежит внутри квадрата (рис. 2).

Для аналогичной задачи про выпуклый $2^k$‍‍-угольник (а тем самым, и про $n$‍‍-угольник, где $n\le2^k$‍)‍ достаточно $k+1$‍‍ вопросов; здесь работает идея «дихотомии» — деления пополам: первым вопросом мы выясняем, по какую сторону от прямой, соединяющей 1-ю вершину с «противоположной» ($2^{k-1}+1$‍)‍-й, лежит точка $P$‍,‍ и (по индукции) сводим задачу к аналогичной для $2^{k-1}$‍‍-угольника.

Аналогичные задачи в пространстве сложнее, но и там полезна идея «дихотомии» (именно она оказалась ключевой в вызвавших несколько лет назад определённую сенсацию работах А. Хочияна и др., где вопреки ожиданиям было обнаружено, что некоторые задачи линейного программирования имеют полиномиальную сложность, т. е. решаются значительно быстрее, чем полным перебором).

А. Я. Канель-Белов, Н. Б. Васильев


Метаданные Задача М1531 // Квант. — 1996. — № 1. — Стр. 22; 1996. — № 4. — Стр. 28—29.

Предмет
Математика
Условие
Решение
,
Номера

1996. — № 1. — Стр.  [условие]

1996. — № 4. — Стр.  [решение]

Описание
Задача М1531 // Квант. — 1996. — № 1. — Стр. 22; 1996. — № 4. — Стр. 28‍—‍29.
Ссылка
https://www.kvant.digital/problems/m1531/