Cette question fait suite à la question sur les algorithmes d'ADN posée par Aadita Mehra .
Dans ses commentaires, Joe Fitzsimmons a déclaré, en partie:
[L] e rayon du système doit évoluer proportionnellement à la masse pour éviter cela. La puissance de calcul évolue au plus linéairement dans la masse. Ainsi, votre quantité exponentielle de machines a un rayon exponentiel. Comme vous ne pouvez pas signaler plus vite que la lumière, un signal d'un côté à l'autre prend un temps exponentiellement long pour atteindre l'autre côté, et donc si toutes les machines contribuent à la réponse, il est impossible de résoudre le problème en moins que l'exponentielle temps.
Ma question comporte deux parties.
(1) Quelle est la / les meilleure (s) manière (s) de formaliser un énoncé du type "La puissance de calcul évolue au plus linéairement dans la masse"? Cette déclaration n'est-elle vraiment pas sujette à débat?
(2) Supposons que l'énoncé soit vrai. Même ainsi, la nature aurait-elle déjà pu effectuer une quantité exponentielle de prétraitement que nous pourrions utiliser, par exemple la création par l'évolution de systèmes de vision par le biais de la "randomisation par force brute".
J'ai entendu et lu un bon nombre de réponses douces (pseudoscientifiques) à des questions de ce type, et je serais reconnaissant pour toutes les réponses ici, mais je suis le plus intéressé par la façon dont (1) et (2) peuvent être refondus dans la rigueur TCS.