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

[Зеркало]

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

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

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

[alan]

Хороший вопрос.
На самом деле, думаю, даже среди модераторов нет объективного определения такой вещи как "корректность". Причина в том, что, это развлекательный ресурс и, прежде всего, задача должна нравиться большинству пользователей, поэтому при формулировке условия задачи учитывается довольно много факторов, в том числе субъективное (интуитивное и необъяснимое) восприятие каждого модератора. Часть из этих факторов, кстати, может противоречить друг другу, поэтому волей не волей приходится иногда ити на уступки, если задача кажется достойной.

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

Если пройтись по предложенному списку, то 1,2,4,5,6 - относится к читабельность, а 7 - к красоте.

Из предложенного к корректности я бы отнес только 3. Но основную суть того, что можно назвать некорректной задачей, я вижу во внутренней противоречивости условия. Например, оно может включать в себя "интуитивно очевидное", но неверное утверждение. Или же, она может нарушать установленные объективные правила чего-либо - русского языка, шахмат, и т.п. (Но, явное указание в условии некорректности этих моментов и применение их в служебных целях может сделать такую задачу корректной).

Насчет корректности у меня все.
Насчет остального замечу, что претензии пользователей чаще всего относятся к читабельности - к тому что они не понимают задачу или понимают ее не так как модераторы. И тут, на самом деле, нет никаких объективных критериев кто прав, и 100% понимание всех пользователей недостижимо. Поэтому часто, когда подавляющее большинство пользователей понимают задачу верно - модераторы довольны и предпочитают ничего не менять, а уточнять непонятные моменты лично.
Касаемо пункта 5 vahmurko вам ответила. По умолчанию подразумевается что нужно привести все ответы, это написано в FAQ. Такую договоренность мы выбрали потому, что иногда данная в условии информация о том, что ответ не один является большим спойлером к задаче, в то время как эту же информацию пользователь может получить сам путем логических рассуждений.