Landauの用語の合計の何が問題になっていますか?


14

私が書いた

=1n1==1nO1=On

しかし、私の友人はこれが間違っていると言います。TCSチートシートから、合計がHnと呼ばれ、が対数的に増加することがわかりnます。したがって、私の限界はあまりシャープではありませんが、必要な分析には十分です。

私は何を間違えましたか?

編集:私の友人は同じ推論で、私たちはそれを証明できると言います

=1n==1nO1=On

これは明らかに間違っています!ここで何が起こっていますか?


2
この質問のタグについての議論を参照してくださいここに
ラファエル


回答:


10

あなたがしているのは、非常に便利な表記法の乱用です。

O(f)セットを表し、あなたがしているようにそれらに対して算術演算を行うことができないので、あなたが書くことはナンセンスだと言う人もいます。

しかし、それらのペダントを無視し、がセットの一部を表すと想定するのは良い考えです。だから我々は言うとき、F N = G N + ON 、私たちは本当に平均もしそのF N - G N ON 。(注:f n は数値であり、fOffn=gn+OnfngnOnfnf 関数です!)

これにより、次のような式を書くことが非常に便利になります。

nk=1nk1/kn+On1/3

これが意味することは、いくつか存在することである、その結果fOn1/3

nk=1nk1/kn+fn

あなたの場合

k=1n1k=k=1nO1=On

さらに悪用しているので、注意する必要があります。

ここには2つの可能な解釈があります:nの関数、またはkの関数を参照していますか?O1nk

正しい解釈は、それを関数として解釈することだと思います。k

あなたはの関数としての考え方をしようとした場合、それは思考のように、潜在的な誤謬につながるかもしれない、間違っていないと思っkがあるO1 と書こうとΣ のn のk = 1、K = Σ nは、K = 1 Oを1 nkO1k=1nk=k=1nO1

あなたはの関数として、それのことを考えてみた場合、あれば、というのは本当であるF = OG (引数はに行くと)とgは決してありません0という、kf=Ogg0

Sn=k=1nfk=k=1nOgk=Ok=1n|gk|

途中で、我々は、表記の都合の乱用使用していることに注意してください、そのいくつかの機能のために意味するために、H OG の合計であるΣ N K = 1つの H K O内の最終関数はnの関数を参照することに注意してください。証明はそれほど難しくはありませんが、漸近的な上限(つまり、十分に大きな引数)を扱っているという事実に対応する必要がありますが、合計は1から始まります。OgkhOgk=1nhkOn1

あなたはの関数として、それのことを考えてみた場合は、それがあればということも事実であるF = OG (引数はに行くと)、その後nf=Og

Sn=k=1nfk=k=1nOgn=Ongn

したがって、どちらの解釈でも、証明は本質的に正しいです。


1
結論:ランダウシンボルが出現するたびに定数を導入する(持っている)ことに注意してください(確認してください)。
ラファエル

8

あなたが書いたことは完全に正しいです。次高調波の数目は、設定に実際にあるO N nO(n)

証明: i=1n1ilnn+12n=O(n

上限厳密ではありませんが、正しいです。On


4
OK:1 / i≤1 = O(1)。
-JeffE

1
懸念は、2番目の等号に向けられています。どうすれば確認できますか?
ラファエル

2
しかし、それも正しいです。それぞれがO(1)であるn個の項の合計は、実際にはO(n)です。
スレシュ

2
@Suresh Oによって暗示される定数が総和変数に依存しない場合にのみ、それがここでのポイントです(シードの質問)。O
ラファエル

2
O1=On=O1

6

2番目の例では、主張することはできません。

=O1

nによって変化するため。数ステップ後、i > n / 2になります。より適切な方法は、と言うことであり、iは= O n個の加算を通して、実際にので、私は決して超えない1 n>n/2=On1n

=1n==1nOn=nOn=On2

ただし、実際にすべきことは、最後にのみbig-O表記を使用することです。これらの落とし穴を避けるために漸近表記法を使用した場合にのみ、可能な限り厳密に集計の上限を設定します。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.