Сложные задачи для нейросетей: шесть мест без расписания
Сложные задачи для нейросетей на одном примере: шесть участников, несовместимые условия и четыре решения после правки. Полный ответ LibraChat и проверка.
А
Андрей
Преподаватель, научный редактор
9 мин чтения
Шесть участников, шесть мест для выступления, у каждого есть выбор. На листе всё выглядит благополучно. Я начал расставлять буквы по клеткам и быстро занял первые три места. Четвёртому участнику места уже не осталось, хотя справа пустовали ещё три клетки. Для занятия я специально придумал такой пример: сложные задачи для нейросетей удобно разбирать там, где аккуратная таблица может скрыть нарушение одного условия.
Меня интересовал конкретный ответ: возможно ли расписание вообще? Если нельзя, хочу увидеть причину, которую проверю карандашом. А после разрешённого изменения — узнать, появился единственный вариант или несколько. Эти вопросы требуют разных доказательств. На нашем маленьком примере их удобно не смешивать.
На листе есть шесть мест, но доступны они по-разному
Условимся: все выступления одинаковой длины, слоты обозначены числами от 1 до 6. Каждый участник выступает один раз, в каждом слоте находится ровно один человек. Никаких перемен, переходов между аудиториями или предпочтений преподавателя нет. Буквы обозначают вымышленных участников, а не настоящих учеников.
На первый взгляд запас есть у всех. Ни одной строки с единственным вариантом. Можно даже отдельно проверить пару участников: для любой пары найдутся два разных разрешённых места. Но эти маленькие проверки ещё ничего не говорят о совместимости всей таблицы.
Я обвёл первые четыре строки. Их общие возможности заканчиваются на цифре 3. Сколько ни переставляй буквы, четвёртая из этой группы останется без места. Свободный шестой слот не помогает: никому из четвёрки он не разрешён. Проблема обнаружилась в группе, а не в отдельной строке.
В учебном разборе мне нравится именно эта остановка. Рука уже готова передвинуть Г вправо, но это изменит исходное условие. Сначала нужно назвать конфликт. Договариваться о новом времени будем после того, как поймём, что именно мешает.
Что я отправил в LibraChat
Я попросил проверить две версии последовательно. В первой все ограничения остаются в силе. Во второй появляется одно явно названное разрешение. Это важно: иначе исправленную задачу легко принять за решение первоначальной.
Это полностью вымышленная логическая задача для учебного кружка. Есть шесть равных слотов 1–6 и шесть участников А, Б, В, Г, Д, Е. Каждый должен выступить ровно один раз; каждый слот занимает ровно один участник. Разрешённые слоты: А — 1 или 2; Б — 1 или 3; В — 2 или 3; Г — 1, 2 или 3; Д — 4, 5 или 6; Е — 4, 5 или 6. Других условий нет. Проверь, существует ли расписание без изменения условий. Если нет, дай короткое проверяемое доказательство, назови минимальную по включению конфликтующую группу участников и объясни минимальность. Не придумывай недостающие слоты и не меняй ограничения молча. Затем рассмотри отдельную версию: только участнику Г дополнительно разрешён слот 4. Найди одно допустимое расписание и скажи, единственное ли оно; если решений несколько, перечисли все. Покажи короткую проверку допустимых слотов и занятости. Ответ до 350 слов; без вступления и общего рейтинга возможностей ИИ.
Условия можно переписать под свой кружок, но в первом разборе я оставил маленькие числа. Мне нужно успеть проверить каждую букву. Если вместо шести участников взять шестьдесят, объём работы увеличится, а умение замечать подмену условия само по себе не появится.
Ответ: сначала отсутствие решения, затем четыре варианта
Ниже весь полученный ответ, включая объяснение и перечисление расписаний:
Расписания без изменения условий не существует. Участники А, Б, В, Г могут занимать только слоты 1–3, а Д и Е туда не допускаются. Четырёх участников нельзя разместить в трёх слотах.
Минимальная по включению конфликтующая группа — {А, Б, В, Г}. Любые три из них укладываются в {1, 2, 3}: например, {А, Б, В} → А1, В2, Б3 либо А2, Б1, В3; группы с Г аналогично имеют назначение в эти три слота. Пары и одиночки тоже допустимы. Нарушение появляется только у всей четвёрки.
Если Г дополнительно разрешён слот 4, решений ровно четыре. А, Б и В по-прежнему могут идти только в 1–3, поэтому занимают их целиком, а Г вынужден занять 4. Д и Е тогда делят 5 и 6.
- А1, В2, Б3, Г4, Д5, Е6
- А1, В2, Б3, Г4, Е5, Д6
- Б1, А2, В3, Г4, Д5, Е6
- Б1, А2, В3, Г4, Е5, Д6
Проверка: А только в 1 или 2, Б только в 1 или 3, В только в 2 или 3, Г в 4, Д и Е только в 5 или 6; каждый слот занят один раз. Других назначений нет: свободного места в 1–3 для Г не остаётся.
В ответе есть важная граница между двумя версиями: «Если Г дополнительно разрешён слот 4». До этой строки расписания нет. После неё рассматривается новая задача. Так можно показать ученику, где заканчивается доказательство и начинается обсуждение изменения условий.
Самый короткий фрагмент я бы попросил пересказать своими словами: почему пустые клетки справа не спасают четвёрку? Если ответ только «чат сказал, что нельзя», разбор ещё не закончен. Нужно указать саму группу и набор мест, в которые она должна поместиться.
Короткое «аналогично» я раскрываю на бумаге
Для невозможности исходного расписания достаточно четырёх участников и трёх доступных им слотов. А вот слово «минимальная» требует дополнительной проверки. Ответ говорит, что группы с Г размещаются аналогично, но не выписывает каждую. На занятии я бы заполнил этот пропуск.
Смысл минимальности здесь такой: если убрать из конфликтующей четвёрки любого участника, оставшиеся трое уже могут занять разные разрешённые места. В этой вспомогательной проверке рассматриваем только выбранную группу; остальные слоты заполнять не требуется.
Убираю А: Б1, В2, Г3.
Убираю Б: А1, В2, Г3.
Убираю В: А2, Б1, Г3.
Убираю Г: А1, В2, Б3.
В первом свидетельстве Б занимает разрешённую единицу, В — двойку, Г — тройку; остальные три проверь тем же способом. Нигде нет повторяющегося номера, каждый номер разрешён своему участнику. Если можно разместить этих троих, можно разместить и любую меньшую группу внутри них, просто убрав лишние буквы. Поэтому внутри найденной четвёрки меньшего конфликта нет.
Это не поиск самого короткого объяснения на свете. Мы проверили определённое свойство: найденная группа перестаёт конфликтовать после удаления любого её участника. «Минимальная по включению» описывает состав группы, а не размер всего ответа и не трудность задачи для модели.
Когда нейросеть употребляет такое слово, я хочу понимать, что за ним можно проверить. Одно пропущенное «аналогично» не делает ответ неверным. Оно показывает место, где читателю полезно самому дописать четыре коротких свидетельства.
Почему одного расписания после правки недостаточно
Теперь Г разрешён ещё и слот 4. А, Б и В по-прежнему должны занять первые три места. Значит, Г остаётся четвёртое. У Д и Е остаются пятое и шестое.
Для А, Б и В есть два размещения: А1–В2–Б3 и Б1–А2–В3. Это легко проверить, начав с А: если А в первом слоте, Б может быть только в третьем; если А во втором, В занимает третий, а Б первый. Других мест у А нет. В конце Д и Е могут поменяться местами. Два начала и два окончания дают четыре расписания, перечисленные в ответе.
Я дополнительно проверил этот конечный пример локальным перебором: перебрал все 720 перестановок шести букв и отсеял запрещённые назначения. Для исходной таблицы осталось ноль, для исправленной — четыре. Это отдельная проверка, выполненная мной; она не приписывается ответу LibraChat.
Найти один допустимый вариант и доказать, что он единственный, — разная работа. Для первого достаточно показать расписание и пройти по ограничениям. Для второго надо исключить все остальные. В нашем примере первый найденный вариант мог бы создать ложное ощущение единственного выхода, если остановиться слишком рано.
Добавление слота для Г — возможная согласованная правка. Я не называю её самой удобной для настоящего кружка: мы ничего не знаем о причинах ограничений. Даже логически минимальное число изменений не говорит, какой участник вправе поменять время. Такое решение в реальной ситуации принимают люди.
Что я заберу из этой задачи в следующую
Для нового задания я разделяю три вопроса ещё до ответа. Сначала существование: найдётся ли хоть один допустимый вариант? Затем объяснение отказа, если варианта нет. И только после разрешённой правки — повторная проверка, включая вопрос о количестве решений.
Мой порядок чтения ответа теперь такой:
Сравнить использованные разрешения с исходной таблицей.
Проверить, не заняли ли две буквы один слот.
При отказе найти конкретную конфликтующую группу.
Отделить исходную задачу от предложенного изменения.
Если заявлена единственность, попросить основание для исключения других вариантов.
Здесь нет шкалы, по которой эта головоломка объявлена труднее всех остальных. Есть несколько совместных ограничений и ответ, который можно независимо проверить. Один удачный запрос также не показывает, что любой следующий пример будет решён верно. Поменяется набор разрешений — потребуется новая проверка.
Другие короткие задания собраны в статье про задачи для проверки нейросети. Наш пример добавляет к ним вопрос о совместимости всей группы. LibraChat помогает разбирать текстовые условия; качество конкретного решения проверяй отдельно, а доступные возможности своего плана смотри на странице тарифов.
Попробуй прямо сейчас закрыть ответ и поменять только новое разрешение: пусть Г получает слот 5 вместо 4. Запиши один допустимый порядок, затем проверь, сколько вариантов останется у Д и Е. После своей проверки отправь новую таблицу в чат. Сравни не только последнюю цифру: на каком месте теперь окажется Г и почему?
