Для приготування однієї «гарної» страви потрібно дві різні м'ясні порції та одну порцію сиру. Отже, якщо приготувати k страв, буде витрачено 2k м'ясних порцій і k порцій сиру. Маємо такі обмеження:
\begin{cases}
2k \le a + b + c, \text{(достатньо м’яса)},\\
\text{жодна м’ясна порція не використовується двічі} \;\Longrightarrow\; k \le (a + b + c) - \max\{a,b,c\},\\
k \le d, \text{(достатньо сиру)}.
\end{cases}
Позначимо
s = a + b + c,
\qquad
M = \max\{a,b,c\}.
Тоді
\bigl\lfloor s/2\bigr\rfloor
\quad \text{та} \quad
s - M
— це дві різні міри максимальної кількості м’ясних пар, відтак
\text{м’ясне обмеження}
\;=\;
\min\!\Bigl(\bigl\lfloor s/2\bigr\rfloor,\;s - M\Bigr).
Узагальнюємо з урахуванням сиру:
k \;=\;
\min\!\Bigl(d,\;
\min\!\bigl(\lfloor s/2\rfloor,\;s - M\bigr)\Bigr).
Кількість невикористаних порцій у сумі:
R = (a + b + c + d) \;-\; \bigl(2k + k\bigr)
= (a + b + c + d) \;-\; 3k.
