Il semble clair qu'un certain nombre de sous-domaines de l'informatique théorique ont été fortement influencés par les résultats de la physique théorique. Deux exemples de ceci sont Calcul quantique Résultats de la mécanique statistique utilisés dans l'analyse de complexité / les algorithmes...
La complexité informatique comprend l’étude de la complexité temporelle ou spatiale des problèmes informatiques. Du point de vue de l'informatique mobile, l'énergie est une ressource informatique précieuse. Alors, existe-t-il une adaptation bien étudiée des machines de Turing qui prend en compte...
Cette question a été posée à Jeannette Wing après sa présentation de PCAST sur la science informatique. «Du point de vue de la physique, y a-t-il un volume maximal d'informations que nous pouvons avoir?» (Une question intéressante pour la communauté informatique théorique, car je pense que cela...
En tant qu'amateur de TCS, je lis du matériel très introductif sur l'informatique quantique. Voici les quelques informations élémentaires que j'ai apprises jusqu'à présent: Les ordinateurs quantiques ne sont pas connus pour résoudre des problèmes NP-complets en temps polynomial. "La magie quantique...
De nombreux experts pensent que la conjecture est vraie et l'utilisent dans leurs résultats. Ma préoccupation est que la complexité dépend fortement de la conjecture .P ≠ N PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ma question est donc: Tant que la conjecture n'est pas...
J'ai entendu dire qu'il existe des arguments heuristiques en physique statistique qui donnent des résultats dans la théorie des probabilités pour lesquels des preuves rigoureuses sont inconnues ou très difficiles à obtenir. Quel est un simple exemple de jouet d'un tel phénomène? Ce serait bien si...
Afin de vérifier ma compréhension, je voudrais partager quelques réflexions sur les besoins énergétiques du calcul. Ceci fait suite à ma question précédente et pourrait être lié à la question de Vinay sur les lois de conservation . Il m'est apparu que, d'un point de vue thermodynamique, l'exécution...
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...
Considérons un réseau électrique modélisé comme un graphe planaire G, où chaque front représente une résistance de 1Ω. À quelle vitesse peut-on calculer la résistance effective exacte entre deux sommets en G? De manière équivalente, à quelle vitesse pouvons-nous calculer le courant exact circulant...
L'informatique réversible est un modèle informatique qui ne permet que des opérations thermodynamiquement réversibles. Selon le principe de Landauer, qui stipule que l'effacement d'un peu d'informations libère joules de chaleur, cela exclut les fonctions de transition qui ne sont pas un à un (par...
En calcul quantique adiabatique (AQC), on code la solution d'un problème d'optimisation à l'état fondamental d'un [problème] hamiltonien . Pour arriver à cet état fondamental, vous commencez dans un état initial (fondamental) facilement refroidissable avec Hamiltonian H i et "recuit" (perturber...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
L'une des choses étonnantes de l'informatique est que l'implémentation physique est en quelque sorte «hors de propos». Les gens ont réussi à construire des ordinateurs à partir de plusieurs substrats différents - relais, tubes à vide, transistors discrets, etc. Les gens pourraient bientôt réussir à...
Il y a un chercheur montrant que l'effacement d'un bit doit consommer de l'énergie, maintenant y a-t-il des recherches sur la consommation moyenne d'énergie d'un algorithme avec une complexité de calcul ? Je suppose que la complexité de calcul F ( n ) est corrélée à la consommation moyenne...
J'ai lu des livres, des articles et des articles publiés sur l'informatique quantique. J'ai trouvé que tous les matériaux que j'ai vus sont, au lieu de décrire la porte quantique de la physique de base à l'abstraction, s'efforçant d' éviter de parler des détails de mise en œuvre des portes...
Contexte La complexité du circuit est définie comme l'ensemble des familles de circuits (c'est-à-dire des séquences de circuits, une pour chaque taille d'entrée) de profondeur bornée et de taille polynomiale construites à l'aide de fan-in illimités ET, OU et NON.AC0AC0AC^0 La fonction de parité...
Je recherche des exemples de problèmes difficiles (en NP ou plus difficiles) de l'informatique qui peuvent être réduits à des modèles de processus physiques. Par exemple, max-2-sat peut être réduit à une minimisation d'énergie dans un modèle Ising. J'aimerais trouver plus d'exemples de ce type de...
Ma question concerne les algorithmes quantiques pour les calculs QED (électrodynamique quantique) liés aux constantes de structure fine. De tels calculs (comme on m'a expliqué) revient à calculer des séries de type Taylor où α est la constante de structure fine (autour de 1/137) et c k est la...
Les ordinateurs quantiques et les ordinateurs à ADN sont des exemples bien connus de calcul inspiré par des phénomènes naturels. Que sait-on du potentiel et / ou des limites de l'informatique avec les lois ou la gravité de Maxwell? Autrement dit, incorporer les solutions «rapides» de la nature aux...