Рассмотрим задачу: найти целочисленное решение системы неравенств с помощью метода ветвей и границ.
Задача: Максимизировать \(x_1 + 4x_2 \), при условиях: \[ \begin{cases} 5x_1 + 4x_2 \geq 17 \\ 10x_1 + 3x_2 \geq 15 \\ x_1, x_2 \geq 0 \\ x_1, x_2 \in \mathbb{Z} \end{cases} \]
Шаг 1. Анализ границ - ищем диапазоны возможных значений переменных.
Далее, поскольку нужно целочисленное решение, используем метод ветвей и границ.
Шаг 2. Решим систему неравенств, игнорируя целочисленность, ищем оптимальное решение (например, методом LP — линейного программирования).
Обозначения: \[ f(x_1, x_2) = x_1 + 4x_2 \]
Рассмотрим неравенства:
- \(5x_1 + 4x_2 \geq 17\)
- \(10x_1 + 3x_2 \geq 15\)
Перепишем неравенства в виде равенств, чтобы найти границы:
- \(5x_1 + 4x_2 = 17\)
- \(10x_1 + 3x_2 = 15\)
Рассчитаем точки пересечения этих линий с осями и между собой.
Шаг 3. Найдем точки пересечения неравенств:
По \(x_2 = 0\):
из 1): \(5x_1 = 17 \Rightarrow x_1 = 3.4\),
из 2): \(10x_1 = 15 \Rightarrow x_1=1.5\).
По \(x_1=0\):
из 1): \(4x_2=17 \Rightarrow x_2=4.25\),
из 2): \(3x_2=15 \Rightarrow x_2=5\).
Шаг 4. Теперь ищем целочисленные решения в диапазонах:
- \(x_1 \geq 0\),
- \(x_2 \geq 0\).
Комбинируем значения \(x_1\) и \(x_2\), чтобы они удовлетворяли обеим неравенствам.
Шаг 5. Перебор вариантов, начиная с максимизации \(x_1 + 4x_2\).
Проверим значения в окрестности точек пересечения.
Вариант 1:
\(x_1=2\), проверим условие из 1):
\[ 5*2 + 4x_2 \geq 17 \Rightarrow 10 + 4x_2 \geq 17 \Rightarrow 4x_2 \geq 7 \Rightarrow x_2 \geq 2 \]
из 2):
\[ 10*2 + 3x_2 \geq 15 \Rightarrow 20 + 3x_2 \geq 15 \Rightarrow 3x_2 \geq -5, \] что выполнено при любых \(x_2 \geq 0\).
Также \(x_2 \geq 2\) из первого неравенства.
Пусть \(x_2=2\), тогда:
\[ f = x_1 + 4x_2 = 2 + 8=10. \]
Вариант 2:
\(x_1=3\):
из 1):
\[ 5*3 + 4x_2 \geq 17 \Rightarrow 15 + 4x_2 \geq 17 \Rightarrow 4x_2 \geq 2 \Rightarrow x_2 \geq 0.5, \] то есть \(x_2 \geq 1\).
из 2):
\[ 10*3 + 3x_2 \geq 15 \Rightarrow 30 + 3x_2 \geq 15, \] что всегда выполняется.
Пусть \(x_2=1\):
\[ f=3 + 4*1=7. \]
Вариант 3:
\(x_1=1\):
из 1):
\[ 5*1 + 4x_2 \geq 17 \Rightarrow 5 + 4x_2 \geq 17 \Rightarrow 4x_2 \geq 12 \Rightarrow x_2 \geq 3, \] из 2):
\[ 10*1 + 3x_2 \geq 15 \Rightarrow 10 + 3x_2 \geq 15 \Rightarrow 3x_2 \geq 5 \Rightarrow x_2 \geq 2, \] значит \(x_2 \geq 3\), возьмем \(x_2=3\):
\[ f=1 + 4*3=13. \]
Это лучший результат на данный момент.
Шаг 6. Проверим еще для большей \(x_2\):
- \(x_2=4\), \(x_1=1\):
\[ f=1 + 4*4=17, \] проверим условия:
\[5*1+4*4=5+16=21\geq 17,\]
\[10*1 + 3*4=10+12=22\geq15,\]
все условия выполнены.
Самое лучшее значение: \(f=17\), при \(x_1=1\), \(x_2=4\).
Ответ:
Целочисленное решение, максимизирующее \(x_1 + 4x_2\):
\[ \boxed{ x_1=1, \quad x_2=4, \quad \text{максимальное значение }=17. } \]