Если вы повторите T раз алгоритм ( внутренний ) со сложностью O (n + m) или любым другим по этому вопросу, будет правильным сделать вывод, что новый алгоритм ( внешний ) будет иметь сложность O (T * (n + m)) при условии:
- Внешний алгоритм добавляет постоянную сложность только каждый раз, когда повторяет внутренний.
- Параметры n и m остаются неизменными при каждом вызове внутреннего алгоритма.
Другими словами, внешний алгоритм должен подготавливать входные данные для внутреннего за постоянное время, а параметры новых входных данных должны оставаться хорошо представленными n и m на протяжении T итераций. В противном случае, если какое-либо из этих двух требований не будет доказано, вы должны сложить T раз сложности, связанные с новыми параметрами, скажем
O(n1 + m1) + ... + O(n_T + m_T)
, а также принимать во внимание всю предварительную и последующую обработку внешнего алгоритма до и после использования внутреннего.