Корректность задач Опции

[Зеркало]

Об этом много говорилось в комментариях и комментариях для решивших. И у меня, и у других пользователей часто возникали претензии к корректности задач, поэтому, подумалось, что было бы интересно обсудить эту тему. Часто, как мне кажется, у разных пользователей, а также, у пользователей и модераторов разные взгляды на то, какие задачи считать корректными, а какие - нет. Поэтому, мне кажется, было бы интересно и полезно, если бы каждый в этой теме изложил свои взгляды по этому вопросу, а я, в свою очередь, изложу свои. Если эта тема, когда-то уже поднималась тут, то прошу извинить.
Итак, мои взгляды на то, как должна выглядеть корректная задача. Сразу оговорюсь, что я не беру такие разделы как "Задачи детям", "Загадки", "Задачи на смекалку", "Последовательности и соответствия". Это довольно специфические разделы, в которых формализовать понятие корректности довольно сложно и задачи скорее следовало бы назвать загадками, для которых многое из нижеперечисленого является скорее "фичей, а не багой". Для остальных же задач, для того, чтобы они выглядели честными, как мне кажется, должны предъявляться следующие требования:

1. Однозначность формулировки. Условия должны быть чёткими и однозначными, допускать единственно возможное толкование, которое совпадает с правильным. По возможности это условие должно быть понятно с первого раза большинству игроков. Ни в коем случае, условия не должны намеренно вводить игроков в заблуждение. Двусмысленность условий допустима только в вышеперечисленных специфических категориях.
2. Самодостаточность. Условия задачи должны быть полными. Это значит, что ответ задачи должен полностью выводиться из условий задачи логическим путём и не требовать догадываться до каких-то неочевидных данных, не выводящихся из условий задачи. Опять же, повторюсь, это не касается задач на смекалку и проч. подобных категорий.
3. Сущесвоваие ответа. На вопрос задачи должен существовать ответ. Ответом может быть и пустое множество, но для этого формулировка вопроса должна предполагать возможность такого ответа. Например, если сказано: решите уравнение/неравенство/систему уравнений/неравенств, то ясно, что такая формулировка предполагает необходимость указать множество значений, которые могут принимать переменные, а множество может быть и пустым. Но если сказано, например: найдите число, обладающее таким-то свойством, то вопрос задачи предполагает, что такое число существует и в случае, если такого числа найти нельзя, задача будет некорректной.
4. Чёткий критерий правильного ответа. Формулировка задачи должна быть такой, чтобы про любой ответ на неё можно было чётко сказать (и обосновать это), является он правильным или нет.
5. Достаточность одного ответа. Если в вопросе задаче явно не указано иное, то решением считается нахождение хотя бы одного, любого ответа на неё. Если требуется найти больше одного ответа, вопрос задачи должен быть сформулирован так, чтобы это явно следовало из него.
6. Общедоступность. Задача должна по возможности не опираться на какие-то специальные, узкопрофильные знания, недоступные широкому кругу читателей. Желательно, чтобы школьных знаний было достаточно для её решения, хотя тут, конечно, возможны исключения.
7. Простота. Решение задачи не должно быть каким-то запредельно сложным, занимающим много страниц текста. Это не значит, что сама задача не должна быть сложной, но сложность задачи не должна основываться на необходимости проведения большого количества расчётов, рассуждений и т.д. В идеале сложная задача должна иметь достаточно простое решение, до которого, однако, довольно сложно догадаться. Как пример: "Кубические сосуды". Относительная сложность решения может быть оправдана только красотой самой задачи и её ответа.

У меня пока всё. Интересно услышать мнение других участников.

[netvoe]

Не совсем понятно, что вы хотите
В целом вы описываете то, что апприори требуется на этом ресурсе и вроде как выполняется. Как бы вы там не описывали условия, всегда найдется к чему придраться. Тут уж все зависит от желания клиента - либо он действительно не понял условие и хочет понять, либо просто желает пофлеймить...
Что значит "достаточность одного ответа", если вас просят найти множество ответов. А если их бесконечно много - вы предлагаете привести один ответ и чтобы вам засчитали задачу ???
Что значит "то вопрос задачи предполагает, что такое число существует и в случае, если такого числа найти нельзя, задача будет некорректной." ??? - другими словами вы хотите подсказку.
Зачем вы отвергаете сложные задачи ? - не нравится не решайте. Задача где мальчик говорил одному произведение, а другому сумму чисел (как я вижу, хотя сам не решил еще) требует рассуждений и некоторого перебора данных, посему простое решение тут не выйдет.

Единственное, что поддержу - 6 пункт про общедоступность. В целом политика всегда была такой, что здешние задачи не требуют спецзнаний, хотя это только на словах - я считаю, что преферанс и программирование сюда не подходят. Хотя надо отдать должное, что весовые задачи в программировании не требуют спец знаний - там надо найти алгоритм. А там, где требуется знание кода - все задачи нулевые. Не плохо было бы так же и с префом поступить.

[vahmurko]

Со всем согласна, кроме пятого пункта. В задачах с вопросом "Сколько?" описана конкретная ситуация. Условно говоря, приведя один подходящий ответ на подобную задачу, мы не можем быть уверены, что именно столько (чего-то) и было в описанной ситуации. Так что найденное подходящее число может оказаться не просто неполным ответом, но и неверным. Полный ответ должен включать всё множество подходящих ответов и доказательство отсутствия других.
Мне кажется, это общепринятый подход в решении таких задач.

Что значит "то вопрос задачи предполагает, что такое число существует и в случае, если такого числа найти нельзя, задача будет некорректной."

По-моему, я понимаю, о чем речь. Меня тоже раздражает присутствие задач, в одной из которых вопрос "как?" (условно) предполагает ответ "никак", а в другой мы этот ответ не принимаем, несмотря на доказательство.