Рекомендации по составлению задач

• Акользин И. Пара слов о том, как правильно готовить условия задач
• Рубинчик М. Системные проблемы АСМ. Оформление условий задач
• Станкевич А. Правила подготовки задач
• Правила подготовки задач для раундов Codeforces

Раздел «Входные данные»

Описание формата входных данных — самая формализованная часть условия задачи. Здесь в подавляющем большинстве случаев используется небольшой набор стандартных формулировок. Описание входных данных можно заполнять в первую очередь (даже когда не готова легенда).

Валидатор и генераторы тестов создаются исключительно по информации в данном разделе (фактически, раздел «Входные данные», код валидатора и код генератора — это три представления одной и той же информации).

Строки входных данных

Если все входные данные даны в одну строку, то пишем «Ввод содержит <...>».

Если есть несколько строк (так чаще всего), то делаем столько же абзацев, каждый начинается с «Первая строка содержит <...>», «Вторая строка содержит <...>» и т. д.

Если есть блок из N логически объединённых строк: «Следующие $N$ строк описывают <...>. Каждая из них содержит <...>».

Если есть строка после неопределённого числа строк, то числительное заменяем на «следующая»: «Следующая строка содержит <...>».

Значения, содержащиеся в строках

Общий вид: «содержит тип_значения $имя_значения$ ($ограничения$) --- описание_значения».

Если строка содержит несколько значений, то количество НЕ пишется. Неправильно: «Первая строка содержит два целых числа $N$ и $M$». Правильно: «Первая строка содержит целые числа $N$ и $M$».

Кроме того, если несколько значений, то раздел описаний (после тире) должен начинаться (предпочтительнее) или заканчиваться словом «соответственно».

Ограничения описываются следующим образом: «($1 \le A \le 10$, $100 \le X \le 200$)». Если несколько значений логически связаны и имеют общие ограничения, их можно объединить: «($1 \le X, Y, Z \le 100$)». Пример с дополнительными ограничениями: «($1 \le H, W \le 300$, $H \cdot W \le 1000$, $H \ne W$)». Обратите внимание, что каждое выражение имеет собственные доллар-скобки.

Желательно, чтобы порядок описания значений совпадал с порядком в легенде.

Конкретика по типам:

• Целые числа: «Первая строка содержит целые числа $A$ и $B$ ($1 \le A, B \le 100$) --- соответственно количество зайчиков и количество белочек»
• Вещественные числа: «Первая строка содержит вещественные числа $X$ и $Y$ ($0 \le X, Y \le 1$), заданные с не более чем двумя знаками после десятичной точки, --- соответственно вероятность победы Макса и вероятность победы Владимира.»
• Строки: «Первая строка содержит последовательность $S$ ($10 \le |S| \le 100$), состоящую из строчных латинских букв, пробелов и знаков препинания, --- текст сообщения.»

Тут есть нюанс. В русском языке слово «строка» обозначает как участок файла, ограниченный \n (row, line), так и последовательность символов (string). Чтобы не писать «строка содержит строку», приходится писать «строка содержит последовательность» или «строка содержит слово» (этот вариант предпочтителен, когда в последовательности нет пробелов или цифр).

• Символы, строки из фиксированного множества: «Первая строка содержит символ $C$ ($C \in \{\texttt{X}, \texttt{Y}, \texttt{Z}\}$) --- тип операции.», «Первая строка содержит слово $T$ ($T \in \{\texttt{PUSH}, \texttt{POP}\}$) --- тип операции.».

Значения в блоках строк

Общий вид: «Следующие $N$ строк описывают <...>. Каждая из них содержит <...>.».

Количество строк в блоке (N) всегда должно быть описано (определено) до самого блока.

К именам значений добавляются индексы: «Следующие $N$ строк описывают картины. Каждая из них содержит целые числа $H_i$ и $W_i$ ($1 \le H_i, W_i \le 100$) --- соответственно высоту и ширину картины.»

Если блоков строк несколько, и они логически не связаны, то в первом блоке нужно использовать индексы i, во втором — j, и так далее.

Дополнительные ограничения описываются в этом же абзаце: «Следующие $N$ строк описывают названия городов. Каждая из них содержит слово $S_i$ ($10 \le |S_i| \le 20$), состоящее из латинских букв, --- название города. Названия всех городов различны.».

Раздел «Выходные данные»

Общий вид: Выведите количество_значений тип_значений --- описание_значений. Пример: «Выведите одно целое число --- максимально возможную зарплату Макса».

Нельзя писать «Выведите одно целое число --- ответ на задачу», это выдаёт в вас лентяя и импотента. Нужно кратко, но явно повторить, какое именно значение ожидается.

Если значений несколько, то после тире появляется слово «соответственно»: «Выведите два целых числа --- соответственно минимальную и максимальную зарплату Макса».

Если выводятся вещественные числа, требуется указание на точность: «Точность ответа должна составлять не менее 4 знаков после десятичной точки». (Вообще говоря, правильно писать «Абсолютная или относительная погрешность ответа должна составлять не более 10^{-4}», но школьники этого не поймут).

Если ответ нужно выводить по модулю: «Так как ответ может оказаться очень большим, выведите остаток от его деления на 1000000007».

Если возможны несколько ответов: «Если подходящих ответов несколько, выведите любой из них». Вместо «ответов» можно конкретизировать: «чисел», «последовательностей» и т. д.

Если возможно отсутствие ответа: «Если Макс не сможет составить набор, выведите -1».

Если выводится сложный ответ с количеством строк в начале: «В первой строке выведите целое число $K$ --- количество ходов Макса. В каждой из следующих $K$ строк выведите одно целое число --- номер хода.»

Если количество значений или строк в ответе заранее не известно: «Выведите одно или более целых чисел --- бонусы Макса».

Прочие замечания по оформлению

Знаки:

• Тире: ---
• Меньше или равно: \le
• Больше или равно: \ge
• Не равно: \ne
• Принадлежит: \in
• Оператор «точка»: \cdot
• Оператор «крестик»: \times («Поле имеет размер $H \times W$»)

Маркированный список (нумерованный — точно так же, но с «enumerate» вместо «itemize»):

\begin(itemize)
\item Первый элемент
\item Второй элемент
\end{itemize}

Строковые константы, особенно которые нужно выводить, выделяются моноширинным шрифтом: «Выведите \t{YES}, если Макс выиграет. В противном случае выведите \t{NO}».

Степени десятки: 10, 100 и 1000 пишутся полностью, дальше — в показательной форме: 10^4, 10^5 и т. д.

Валидатор

Все числовые константы начиная с 1e4 пишем в экспоненциальном виде: не 2000000000, а (int)2e9. Никто не будет считать эти ваши нули, избавьте нас от этого.

Если в цикле считывается много однотипных значений, добавляйте индексы: пишите не просто inf.readInt(1, 100, "a"), а так: inf.readInt(1, 100, format("a[%d]", i)). Если проблема будет в одном из тысячи чисел, вы будете знать, в каком именно.