Итерации 1 - 2 - 3 - находятся внутри кольца 4 - 0.
Если приложить топологию (см. на схеме), то решение очевидно.

[quote]достаточные (зависимость m от Р) при выборе только одного m[/quote]
[b]m = 4 - 0[/b]

[quote="Гость"]выбирать надо тот вариант решения, который ВПИСЫВАЕТСЯ в [b]условие "необходимой достаточности"[/b][/quote]
Необходимые условия (нач.значение = 6000, -5 < m < 5, 4800 < значение < 16000) и достаточные (зависимость m от Р) при выборе только одного m как раз будут выполняться.

[quote]параметр m выбирается максимальным[/quote]
Если по условиям задачи требуется ОПТИМИЗАЦИЯ, то выбирать надо тот вариант решения, который ВПИСЫВАЕТСЯ в [b]условие "необходимой достаточности"[/b] (minimaх по-научному).

Rados, спасибо за совет, подкинули идею! Можно ведь выбрать не сразу все варианты из допустимых, а только один, создав еще одно условие (в моем случае, это допустимо), например, параметр m выбирается максимальным, когда, скажем, текущее значение Р меньше среднего за все итерации.

[quote]для оптимизации это не есть хорошо[/quote]
Попробуйте ДРУГОЙ метод, например вот:
https://ru.wikipedia.org/wiki/%D0%93%D1 ... 0%B8%D1%8F
А в качестве доказательства можно предложить "константу Хайтинга", ибо "для любого натурального числа n, множество последовательностей f в Канторовом пространстве, таких что f(n) = 1 имеет меру 1/2, и множество последовательностей чей n-й член есть 0 также имеют меру 1/2".
То есть, 5520 : 11520 = 1/2 при m "чуть больше нуля", а дальнейшее вычисление (при m больше 5) - "не имеет значения".

Возможно, что ОПТИМАЛЬНЫМ решением как раз и будет "зацепление" чисел 11520 и 5520.
11520 : 5520 = 2 (с остатком)

Эта задачка больше подходит к разделу ТОПОЛОГИЯ, но на этом Форуме такого раздела (пока) нету!
Целочисленная переменная m должна иметь какой-то ПРЕДЕЛ в числовом значении, либо повторяющиеся ЦИКЛЫ - как при делении ЛЮБОГО числа на 7.
На схеме Вы уже определили положительные значения, следовательно отрицательные значения "не имеют значения".
То есть, ЦИКЛИЧНОСТЬ и ИТЕРАЦИЯ должны каким-то образом "зацепляться":
https://studopedia.org/1-14720.html
Бесконечное продолжение ветвей не даёт "однозначного" решения.

Не знаю в какой теме опубликовать вопрос, так что решил в эту. Ищу оптимальное решение для одной задачи методом ветвей и границ и возникает вопрос в целесообразности его использования. Суть в том, чтобы найти несколько решений (в идеале одно). В первой итерации (всего 24 итерации) происходит расчет некоторого значения по формуле:

значение = нач.значение + P + m * 1000 - L,

где P и L некоторые числа, которые уже заданы для каждой итерации,
m - целочисленная переменная, через которую нужно найти оптимальное решение.

Во второй итерации и далее, вместо начального значения подставляется предыдущее. При этом существуют следующие ограничения:

нач.значение = 6000,
-5 < m < 5,
4800 < значение < 16000

В итоге получается следующая картина:
[attachment=0]пример.jpg[/attachment]


Получается, что чем больше итераций тем больше возможных решений (на четвертый уже за миллион), и для оптимизации это не есть хорошо. Выходит для данной задачи данный метод нецелесообразен?