O (mnlgn) всегда будет больше, чем O (mn), независимо от относительных размеров m и n.Вы удалили бы термины или упростили бы их только в том случае, если один из терминов считается ограниченным или фиксированной константой.Согласно этим утверждениям, n и m являются независимыми измерениями, которые совместно ограничивают время выполнения алгоритма.Они оба продолжают иметь значение в нотации big-O, если только у одного из них нет конечной границы.Даже в этом случае может оказаться полезным оставить ограниченное измерение m при сравнении границ времени выполнения различных алгоритмов, которые могут различаться по своей сложности относительно m.
O (mnlgn) и O (mn)не будет сходиться, даже если n >> m.Они всегда будут разделены множителем m.Если m является переменным и неограниченным, то правила Big-O требуют, чтобы он оставался.