Exponentielles doubles vs exponentielles simples

Voici quatre principes que je ne peux pas concilier:

Algorithmes de temps exponentiels doubles exécutés en temps avec constante $O(2^{2^{n^k}})$ $k \in \mathbb{N}$
Des algorithmes de temps exponentiels s'exécutent en avec constante $O(2^{n^k})$ $k \in \mathbb{N}$
La première borne croît plus vite que la seconde; c'est-à-dire qu'il existe des algorithmes qui fonctionnent en temps exponentiel double mais pas en temps exponentiel
En appliquant à la double limite exponentielle, nous avons , qui tombe dans la limite exponentielle précédemment indiquée $a^{b^c} = a^{bc}$ $O(2^{2^{n^k}}) = O(2^{2^{nk}}) = O(2^{2nk})$

Je sens qu'il me manque une subtilité concernant la définition d'un algorithme à temps exponentiel comme fonctionnant en plutôt qu'en , mais je ne le suis pas sûr précisément où se trouve la subtilité. $O(2^{\mathrm{poly}(n)})$ $O(2^{n})$

asymptotics discrete-mathematics notation

— badroit
source

J'ai édité les balises et les tuiles car, vraiment, cette question n'a rien à voir avec la théorie de la complexité: elle concerne la notation mathématique et le comportement asymptotique des fonctions mathématiques.

— David Richerby

Réponses:

Le problème se résume à une terminologie ambiguë.

$(a^b)^c = a^{bc}$ , mais . En d'autres termes, les exposants ne sont pas associatifs. $a^{(b^c)} \neq a^{bc}$

Classiquement, les exponentielles imbriquées sans parenthèses sont regroupées de cette deuxième manière, car c'est plus utile. Donc . Si nous voulions parler de , nous pourrions simplement écrire place, nous réservons donc la double notation exponentielle pour l'autre cas. $2^{2^n} = 2^{(2^n)} \neq 2^{2n}$ $(2^2)^n$ $2^{2n}$

— Draconis
source

Cette convention est la seule raisonnable. Comme vous l'avez décrit, choisir l'autre façon de grouper serait inutile car nous pourrions déjà exprimer cette valeur / fonction en utilisant au lieu d'un "double exponentiel" fantaisiste.

a^{b \cdot c}

$a^{b\cdot c}$

— Bakuriu

@Bakuriu Oh, en effet, bien qu'il soit important de noter que ce n'est qu'une convention. (Il pourrait aussi y avoir la convention de toujours utiliser des parenthèses, c'est ce que fait LaTeX: il refuse de deviner comment se regrouper a^b^cet lance une erreur à la place.)

— Draconis

Toute notation est "juste une convention". Décrire « » comme «juste une convention» suggère qu'il existe d'autres alternatives plausibles mais, vraiment, il n'y en a pas.

a^{b^{c}} = a^{(b^{c})}

$a^{b^c}=a^{(b^c)}$

— David Richerby

@DavidRicherby Certes, toute notation est conventionnelle! Mais cela ne signifie pas que cela ne vaut pas la peine d'être noté. C'est un choix délibéré des mathématiciens d'utiliser cette notation: et c'est un bon choix, car il élimine l'ambiguïté et est plus utile que l'alternative. Mais c'est toujours un choix, et rien ne vous empêche de le définir différemment (en plus de confondre les lecteurs sans réel gain).

— Draconis

@Bakuriu Je n'irais pas jusqu'à dire que c'est la seule convention sensée, car il me semble très sensé de supposer que toutes les opérations sont évaluées de gauche à droite, sauf s'il y a des parenthèses. C'est ce que nous faisons avec l'addition et la soustraction et ce que les enfants apprennent à l'école primaire avec "PEMDAS". Le fait que l'exponentiation ne respecte pas la convention m'a fait trébucher dans le passé, et à peu près tous ceux qui en ont entendu parler pour la première fois.

— 6005

$a^{(b^c)}$ n'est pas identique à . Lorsque les gens écrivent , ils signifient généralement , pas . $(a^b)^c$ $2^{2^k}$ $2^{(2^k)}$ $(2^2)^k$

— DW
source