est-il


11

J'ai donc cette question pour prouver une déclaration:

O(n)Θ(n) ...

Je n'ai pas besoin de savoir comment le prouver, juste que dans mon esprit cela n'a aucun sens et je pense que ce devrait plutôt être Θ(n)O(n) .

Ma compréhension est que O(n) est l'ensemble de toutes les fonctions qui ne font pas pire que n tandis que Θ(n) est l'ensemble de toutes les fonctions qui ne font pas mieux et pas pire que n.

En utilisant cela, je peux penser à l'exemple d'une fonction constante, disons g(n)=c . Cette fonction sera sûrement un élément de O(n) car elle ne fera pas pire que n lorsque n approche d'un nombre suffisamment grand.

Cependant, la même fonction ne serait pas un élément de Θ ( n ) car g fait mieux que n pour les grands n ... Alors puisque g O ( n ) et g Θ ( n ) , alors O ( n ) Θ ( n )gΘ(n)nngO(n)gΘ(n)O(n)Θ(n)

La question est-elle donc peut-être fausse? J'ai appris qu'il est dangereux de faire cette supposition et généralement j'ai oublié quelque chose, je ne vois tout simplement pas ce que cela pourrait être dans ce cas.

Des pensées ? Merci beaucoup..


5
Pensez à . alors f = O ( n ) mais f Θ ( n ) . Donc " O ( ) " est une demande plus faible, donc il contient plus de fonctions ..f=0f=O(n)fΘ(n)O()
Ran G.

5
Je pense que vous avez raison, cela semble être une erreur.
Yuval Filmus

3
Que voulez-vous dire par la notation : sous-ensemble ou sous-ensemble approprié ? Je conseillerais d'utiliser ou pour éviter toute confusion.
A.Schulz

Réponses:


11

À la suggestion de Raphaël, j'ai transformé un commentaire précédent en cette réponse.

Il n'est pas vrai que . En fait, Θ ( f ( n ) ) = O ( f ( n ) ) Ω ( f ( n ) ) , par définition. Nous avons donc Θ ( f ( n ) ) O ( f ( n ) ) .O(f(n))Θ(f(n))Θ(f(n))=O(f(n))Ω(f(n))Θ(f(n))O(f(n))


4

Pensez-y de cette façon: chaque fonction qui ne fait "pas pire que n" et "pas mieux que n" est également une fonction qui ne fait "pas pire que n". La partie "pas mieux que n" n'est qu'une contrainte supplémentaire. Il s'agit d'une application simple de la règle logique qui dit: . Par ce raisonnement, toutes les fonctions qui sont dans l'ensemble Θ ( n ) sont également membres de l'ensemble O ( n ) .xyxΘ(n)O(n)

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.