2017-11-18 2 views
0

그러한 반복 관계에 대한 꽉 묶인 것을 어떻게 알 수 있습니까? 이것은 hw 질문이고 우리는 m/log (m)이 tight asymptotic bound임을 증명할 것으로 예상됩니다. 유도를 사용하여 시도했지만 아무데도 갈 것 같습니다. 그것은 로그 규칙으로 무언가를 놓치고 있거나 뭔가 더 있습니다.반복 T (n) = T (n - log (n)) + 1

+0

유도를 시작하는 방법을 알려주세요. 어쩌면 누군가가 당신을 도울 수 있습니다. – ShadowMitia

답변

1

유도. 모두 k < n에 대해 C의 경우 T(k) <= C k/log k이라고 가정합니다. log(n/2)log(.)와 교체

펴고 재발을 (n/2)/log(n/2)

시간은 (우리 T(n)log(n) 모두 단조 함수라는 사실을 이용). 즉,

T(n) <= C (n/2)/log(n/2) + (n/2)/log(n/2)

이제 오른쪽에있는 표현식이 C n/log n에 의해 제한되어 있음을 증명해야

T(n) <= T(n/2) + (n/2)/log(n/2)

T(n) <= T(n - log(n/2) * (n/2)/log(n/2)) + (n/2)/log(n/2)

. Arithmetics와 같은 발견 C 연습으로 남아 있습니다.

+0

동의하지 않습니다. 나는 해결책이 형태로 있어야한다고 생각한다 : '(n-log (n))/(log (n-log (n)))' – ugar

+0

@nomadov 그것은 당신이 필요로하는 근사의 정도에 달려있다. –

+0

'(n/2)/log (n/2) '번 반복을 어떻게 푸시 옵니까? 나는 당신이 어떻게 얻었는지 이해하지 못했다. = T (n-log (n/2) * (n/2)/log (n/2)) + (n/2)/log)' – ugar

관련 문제