Очевидно, что вы не можете избавиться от термина N
, если M=0
. так что давайте предположим, M>0
. Возьмите постоянную k > 0
такую, что 1<=kM
(если M
целое число, k=1
, в противном случае возьмите постоянную c
, такую, что 0 < c <= M
дубль k=1/c
). У нас есть
N+NM = N(1+M)
<= N(kM+M) ; 1<=kM
= (k+1)NM
∊ O(NM)
С другой стороны,
NM <= N+NM ∊ O(N+NM)
Отсюда и равенство.