Thermodynamic Perspectives on Computational Complexity: Exploring the P vs. NP Problem (2401.08668v3)
Abstract: The resolution of the P vs. NP problem, a cornerstone in computational theory, remains elusive despite extensive exploration through mathematical logic and algorithmic theory. This paper takes a novel approach by integrating information theory, thermodynamics, and computational complexity, offering a comprehensive landscape of interdisciplinary study. We focus on entropy, a concept traditionally linked with uncertainty and disorder, and reinterpret it to assess the complexity of computational problems. Our research presents a structured framework for establishing entropy profiles within computational tasks, enabling a clear distinction between P and NP-classified problems. This framework quantifies the 'information cost' associated with these problem categories, highlighting their intrinsic computational complexity. We introduce Entropy-Driven Annealing (EDA) as a new method to decipher the energy landscapes of computational problems, focusing on the unique characteristics of NP problems. This method proposes a differential thermodynamic profile for NP problems in contrast to P problems and explores potential thermodynamic routes for finding polynomial-time solutions to NP challenges. Our introduction of EDA and its application to complex computational problems like the Boolean satisfiability problem (SAT) and protein-DNA complexes suggests a potential pathway toward unraveling the intricacies of the P vs. NP problem.
- Sanjeev Arora and Boaz Barak. 2009. Computational Complexity: A Modern Approach. Cambridge University Press, Cambridge, UK.
- Francisco Barahona. 1982. On the computational complexity of Ising spin glass models. Journal of Physics A: Mathematical and General 15, 10 (1982), 3241–3253.
- Charles H. Bennett. 1973. Logical Reversibility of Computation. IBM Journal of Research and Development 17, 6 (1973), 525–532.
- Charles H. Bennett. 1982. The Thermodynamics of Computation—A Review. International Journal of Theoretical Physics 21 (1982), 905–940.
- Sadi Carnot. 1824. Reflections on the Motive Power of Fire. Librairie Scientifique-Industrielle, Paris, France.
- Rudolf Clausius. 1850. On the Moving Force of Heat. P.G. Teubner, Leipzig, Germany.
- Stephen A. Cook. 1971. The complexity of theorem-proving procedures. Proceedings of the third annual ACM symposium on Theory of computing 3, 2 (1971), 151–158.
- Alexis DeVos and Robert Wille. 2003. Computation in Multicomponent Systems: Joint Readout in Multiple QCA. In Proceedings of the workshop on non-silicon computing. ACM, New York, NY, USA, xx–yy.
- Freeman J. Dyson. 1960. The radiation theories of Tomonaga, Schwinger, and Feynman. Physical Review 75, 3 (1960), 486–502.
- Michael R. Garey and David S. Johnson. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, San Francisco, CA, USA.
- Unbinding Pathways of a Substrate from the Active Site of a Membrane-Embedded Enzyme. Scientific Reports 7, 1 (2017), 12038. https://doi.org/10.1038/s41598-017-12172-2
- John E. Hopcroft and Jeffrey D. Ullman. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA, USA.
- John J. Hopfield. 1982. Neural networks and physical systems with emergent collective computational abilities. Proceedings of the National Academy of Sciences 79, 8 (1982), 2554–2558.
- Richard M. Karp. 1972. Reducibility Among Combinatorial Problems. Complexity of Computer Computations 40, 4 (1972), 85–103.
- Optimization by Simulated Annealing. Science 220, 4598 (1983), 671–680.
- Rolf Landauer. 1961. Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development 5, 3 (1961), 183–191.
- Leonid A. Levin. 2012. The Tale of One-way Functions. Problems of Information Transmission 48, 1 (2012), 65–74.
- Seth Lloyd. 1989. Use of Mutual Information to Decrease Entropy: Implications for the Second Law of Thermodynamics. Physical Review A 39, 10 (1989), 5378–5386.
- Michael A. Nielsen and Isaac L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UK.
- Udo Seifert. 2012. Stochastic thermodynamics, fluctuation theorems and molecular machines. Reports on Progress in Physics 75, 12 (2012), 126001.
- Claude E. Shannon. 1948. A Mathematical Theory of Communication. The Bell System Technical Journal 27 (1948), 379–423, 623–656.
- Leo Szilard. 1929. On the Decrease of Entropy in a Thermodynamic System by the Intervention of Intelligent Beings. Zeitschrift für Physik 53 (1929), 840–856.
- Stephen Wolfram. 2002. A New Kind of Science. Wolfram Media, Champaign, IL, USA.