Y a-t-il toujours une complexité Big Oh strictement entre deux autres?


8

J'apprends l'analyse asymptotique et j'ai vu des complexités d'aspect exotique vivre entre d'autres courantes. Par exemple, "log log n" est strictement compris entre 1 et log n. Je me demande si l'on peut toujours trouver des complexités entre deux autres.

Plus précisément, pour toutes les fonctions f et g avec O (f) ⊂ O (g), existe-t-il toujours un h tel que O (f) ⊂ O (h) ⊂ O (g)?

Ce ne sont pas des devoirs ou quoi que ce soit. Je suis juste curieux de savoir si quelqu'un sait.

Réponses:


10

Oui: prenez une fonction au milieu, pour une définition appropriée du milieu. Vous avez un large choix.

Si O(f)O(g) (où l'inclusion est stricte), puis gO(g)O(f) (parce que si gO(f) et fO(g) puis Θ(f)=Θ(g)). Prenez la moyenne géométrique: laissezh=fg (puisque nous parlons ici de complexité, je suppose que les fonctions sont positives).

alors fO(h) et hO(g) (si cela n'est pas immédiatement évident, prouvez-le en utilisant la définition de O), c'est à dire O(f)O(h)O(g). SiO(f)=O(h) puis g=fO(f), ce qui n'est pas le cas puisque nous avons supposé gO(f). Reste à prouver queO(h)O(g)et nous aurons O(f)O(h)(g).

Si O(h)=O(g) puis gO(h), c'est-à-dire qu'il existe A et C>0 tel que xA,g(x)Ch(x)=Cf(x)g(x). alorsg(x)C2f(x) (prenez le carré et divisez par g(x); encore une fois, je suppose des fonctions positives), doncgO(f), ce qui va à l'encontre de notre hypothèse initiale. L'hypothèseO(h)=O(g) conduit à une contradiction, qui conclut la preuve.


Laisser h être une moyenne m'est également venu à l'esprit, mais je me demande s'il y a un meilleur résultat. Si f: x ↦ 0 et g: x ↦ 2x, alors h serait x, mais O (h) est exactement égal à O (g). Je recherche un h qui est plus faible, où O (h) contient des éléments O (f) ne contient pas et manque certains éléments de O (g).
Begriffs

@ user3102996 Oups, oui, vous avez raison. L'erreur était dans «pareillement»… La moyenne arithmétique croît comme la plus grande fonction! La moyenne géométrique, par contre, croît «exactement» au milieu. J'ai corrigé ma réponse.
Gilles 'SO- arrête d'être méchant'

-3

cela semble être vrai pour les fonctions "bien définies" ou éventuellement "constructibles espace / temps", mais il est connu que certaines ("certaines" fonctions "pathologiques") sont trouvées par Blum dans par exemple le théorème de Blums Gap pour lequel il n'est pas le Cas. il semble donc similaire au concept de différenciation, par exemple, dans le calcul qui fonctionne pour les "fonctions les mieux comportées" mais qui ont trouvé des "exceptions pathologiques". il ne semble pas y avoir beaucoup d'étude systématique / approfondie jusqu'à présent de ces "exceptions pathologiques" dans la théorie de la complexité.


ps iirc c'était odor goldreich qui les appelle des fonctions de croissance "pathologiques" ... peut-être que certains préfèrent les balayer sous le tapis = (
vzn
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.