Пусть \( x_1 \) — количество процессоров, отданных первому роботу, а \( x_2 \) — количество процессоров, отданных второму роботу. Мы знаем, что:
\[ x_1 + x_2 = 17 \]
и \( x_1 \geq 1 \), \( x_2 \geq 1 \).
Для удобства, можно сделать замену переменных:
\[ y_1 = x_1 - 1 \quad (y_1 \geq 0) \] \[ y_2 = x_2 - 1 \quad (y_2 \geq 0) \]
Тогда у нас будет:
\[ y_1 + 1 + y_2 + 1 = 17 \]
или
\[ y_1 + y_2 = 15. \]
Теперь нам нужно подсчитать неотрицательные решения уравнения \( y_1 + y_2 = 15 \). Для этого можно использовать формулу для количества неотрицательных решений:
\[ C(n+k-1, k-1), \]
где \( n \) — это 15, а \( k \) — это 2 (количество переменных).
В нашем случае:
\[ C(15 + 2 - 1, 2 - 1) = C(16, 1) = 16. \]
Таким образом, существует 16 различных способов разделить 17 одинаковых процессоров между двумя роботами так, чтобы каждый из них получил хотя бы один процессор.