Computational Complexity, Protein Structure Prediction, and the Levinthal Paradox

[1]  G. Crippen.  Global optimization and polypeptide conformation , 1975 .

[2]  David Shalloway,et al.  Application of the renormalization group to deterministic global minimization of molecular conformation energy functions , 1992, J. Glob. Optim..

[3]  Berg,et al.  Multicanonical ensemble: A new approach to simulate first-order phase transitions. , 1992, Physical review letters.

[4]  C. Epstein,et al.  The Genetic Control of Tertiary Protein Structure: Studies With Model Systems , 1963 .

[5]  R. L. Baldwin,et al.  A sequential model of nucleation-dependent protein folding: kinetic studies of ribonuclease A. , 1972, Journal of molecular biology.

[6]  P. Wolynes,et al.  Intermediates and barrier crossing in a random energy model , 1989 .

[7]  Jr. George N. Reeke.  Protein folding: computational approaches to an exponential-time problem , 1988 .

[8]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[9]  R. L. Baldwin,et al.  Helix stabilization by Glu-...Lys+ salt bridges in short peptides of de novo design. , 1987, Proceedings of the National Academy of Sciences of the United States of America.

[10]  R. L. Baldwin,et al.  How does protein folding get started? , 1989, Trends in biochemical sciences.

[11]  R. Unger,et al.  Finding the lowest free energy conformation of a protein is an NP-hard problem: proof and implications. , 1993, Bulletin of mathematical biology.

[12]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[13]  F. Stillinger,et al.  Predicting polypeptide and protein structures from amino acid sequence: Antlion method applied to melittin , 1993 .

[14]  Karplus,et al.  Protein folding bottlenecks: A lattice Monte Carlo simulation. , 1991, Physical review letters.

[15]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[16]  K. Schmidt,et al.  Implementing the fast multipole method in three dimensions , 1991 .

[17]  Kenneth M. Merz,et al.  The application of the genetic algorithm to the minimization of potential energy functions , 1993, J. Glob. Optim..

[18]  M. Karplus,et al.  Diffusion–collision model for protein folding , 1979 .

[19]  Nesa L'abbe Wu,et al.  Linear programming and extensions , 1981 .

[20]  L. Greengard.  The Rapid Evaluation of Potential Fields in Particle Systems , 1988 .

[21]  H. Scheraga,et al.  Predicted conformations for the immunodominant region of the circumsporozoite protein of the human malaria parasite Plasmodium falciparum. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[22]  G. Fasman.  Prediction of Protein Structure and the Principles of Protein Conformation , 2012, Springer US.

[23]  J T Ngo,et al.  Computational complexity of a problem in molecular structure prediction. , 1992, Protein engineering.

[24]  W. C. Still,et al.  The multiple minimum problem in molecular modeling. Tree searching internal coordinate conformational space , 1988 .

[25]  H. Scheraga,et al.  Performance of the diffusion equation method in searches for optimum structures of clusters of Lennard-Jones atoms , 1991 .

[26]  C. Anfinsen.  Principles that govern the folding of protein chains. , 1973, Science.

[27]  J. Straub,et al.  Global energy minimum searches using an approximate solution of the imaginary time Schroedinger equation , 1993 .

[28]  P. S. Kim,et al.  Nature of the charged-group effect on the stability of the C-peptide helix. , 1985, Proceedings of the National Academy of Sciences of the United States of America.

[29]  John Franco,et al.  Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem , 1983, Discret. Appl. Math..

[30]  H. Scheraga,et al.  Energy parameters in polypeptides. VII. Geometric parameters, partial atomic charges, nonbonded interactions, hydrogen bond interactions, and intrinsic torsional potentials for the naturally occurring amino acids , 1975 .

[31]  Martin Saunders,et al.  Conformations of cycloheptadecane. A comparison of methods for conformational searching , 1990 .

[32]  Peter C. Cheeseman,et al.  Where the Really Hard Problems Are , 1991, IJCAI.

[33]  J. Kostrowicki,et al.  Diffusion equation method of global minimization: Performance for standard test functions , 1991 .

[34]  P. S. Kim,et al.  Intermediates in the folding reactions of small proteins. , 1990, Annual review of biochemistry.

[35]  Paul Walton Purdom,et al.  Average Time Analyses of Simplified Davis-Putnam Procedures , 1982, Inf. Process. Lett..

[36]  G. Chang,et al.  An internal-coordinate Monte Carlo method for searching conformational space , 1989 .

[37]  H A Scheraga,et al.  Calculation of protein conformation as an assembly of stable overlapping segments: application to bovine pancreatic trypsin inhibitor. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[38]  M. Karplus,et al.  Protein-folding dynamics , 1976, Nature.

[39]  A Kolinski,et al.  Dynamic Monte Carlo simulations of globular protein folding/unfolding pathways. I. Six-member, Greek key beta-barrel proteins. , 1990, Journal of molecular biology.

[40]  G J Williams,et al.  The Protein Data Bank: a computer-based archival file for macromolecular structures. , 1977, Journal of molecular biology.

[41]  O. Ptitsyn.  Protein folding: Hypotheses and experiments , 1987 .

[42]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

[43]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[44]  K. Dill,et al.  Polymer principles in protein structure and stability. , 1991, Annual review of biophysics and biophysical chemistry.

[45]  Eugene I. Shakhnovich,et al.  Frozen states of a disordered globular heteropolymer , 1989 .

[46]  M. Sternberg.  Prediction of protein structure and the principles of protein conformation , 1990 .

[47]  H. A. Scheraga,et al.  Application of the diffusion equation method of global optimization to water clusters , 1992 .

[48]  M Karplus,et al.  Modeling of globular proteins. A distance-based data search procedure for the construction of insertion/deletion regions and Pro----non-Pro mutations. , 1990, Journal of molecular biology.

[49]  F. Stillinger,et al.  A strategy for finding classes of minima on a hypersurface: implications for approaches to the protein folding problem. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[50]  B. Shubert.  Sequential Optimization of Multimodal Discrete Function with Bounded Rate of Change , 1972 .

[51]  M. Karplus,et al.  Kinetics of protein folding. A lattice model study of the requirements for folding to the native state. , 1994, Journal of molecular biology.

[52]  B. Shubert.  A Sequential Method Seeking the Global Maximum of a Function , 1972 .

[53]  J. Moult,et al.  An algorithm for determining the conformation of polypeptide segments in proteins by systematic search , 1986, Proteins.

[54]  H A Scheraga,et al.  An approach to the multiple-minima problem by relaxing dimensionality. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[55]  H. Scheraga,et al.  On the multiple-minima problem in the conformational analysis of molecules: deformation of the potential energy hypersurface by the diffusion equation method , 1989 .

[56]  David Baraff,et al.  Coping with friction for non-penetrating rigid body simulation , 1991, SIGGRAPH.

[57]  Carsten Lund,et al.  Proof verification and hardness of approximation problems , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[58]  J Moult,et al.  An analysis of protein folding pathways. , 1991, Biochemistry.

[59]  P. Argos,et al.  Potential of genetic algorithms in protein folding and protein engineering simulations. , 1992, Protein engineering.

[60]  M. Karplus,et al.  Multiple conformational states of proteins: a molecular dynamics analysis of myoglobin. , 1987, Science.

[61]  F. Barahona.  On the computational complexity of Ising spin glass models , 1982 .

[62]  Frank Wagner,et al.  A packing problem with applications to lettering of maps , 1991, SCG '91.

[63]  H. Scheraga,et al.  Application of the diffusion equation method for global optimization to oligopeptides , 1992 .

[64]  M Karplus,et al.  Three-dimensional structure of proteins determined by molecular dynamics with interproton distance restraints: application to crambin. , 1986, Proceedings of the National Academy of Sciences of the United States of America.

[65]  M. Karplus,et al.  Multiple copy simultaneous search and construction of ligands in binding sites: application to inhibitors of HIV-1 aspartic proteinase. , 1993, Journal of medicinal chemistry.

[66]  Protein Folding and Protein Association , 1984 .

[67]  R. Zwanzig,et al.  Levinthal's paradox. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[68]  Roland L. Dunbrack,et al.  Backbone-dependent rotamer library for proteins. Application to side-chain prediction. , 1993, Journal of molecular biology.

[69]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[70]  C. Papadimitriou,et al.  The Efficiency of Algorithms. , 1978 .

[71]  Joe Marks,et al.  The Computational Complexity of Cartographic Label Placement , 1991 .

[72]  B. Robson,et al.  Expert system for protein engineering: its application in the study of choramphenicol acetyltransferase and avian pancreatic polypeptide , 1987 .

[73]  J. E. Brown,et al.  Helix-coil transition of the isolated amino terminus of ribonuclease. , 1971, Biochemistry.

[74]  G M Crippen,et al.  Minimization of polypeptide energy. X. A global search algorithm. , 1971, Archives of biochemistry and biophysics.

[75]  Nicos Christofides.  Worst-Case Analysis of a New Heuristic for the Travelling Salesman Problem , 1976, Operations Research Forum.

[76]  R. Jaenicke,et al.  Folding and association of proteins. , 1982, Biophysics of structure and mechanism.

[77]  P. S. Kim,et al.  A salt bridge stabilizes the helix formed by isolated C-peptide of RNase A. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[78]  R. Somorjai,et al.  Applicability of the method of smoothed functionals as a global minimizer for model polypeptides , 1992 .

[79]  Robert L. Baldwin,et al.  NMR evidence for an early framework intermediate on the folding pathway of ribonuclease A , 1988, Nature.

[80]  H. Scheraga,et al.  Minimization of polypeptide energy. 8. Application of the deflation technique to a dipeptide. , 1969, Proceedings of the National Academy of Sciences of the United States of America.

[81]  C. Levinthal.  Are there pathways for protein folding , 1968 .

[82]  G J Williams,et al.  The Protein Data Bank: a computer-based archival file for macromolecular structures. , 1978, Archives of biochemistry and biophysics.

[83]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[84]  S. Harrison,et al.  Is there a single pathway for the folding of a polypeptide chain? , 1985, Proceedings of the National Academy of Sciences of the United States of America.

[85]  C. Levinthal.  Molecular model-building by computer. , 1966, Scientific American.

[86]  Richard E. Ladner,et al.  On the Structure of Polynomial Time Reducibility , 1975, JACM.

[87]  Joseph F. Traub,et al.  Algorithms and Complexity: New Directions and Recent Results , 1976 .

[88]  J Skolnick,et al.  Dynamic Monte Carlo simulations of globular protein folding/unfolding pathways. II. Alpha-helical motifs. , 1990, Journal of molecular biology.

[89]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[90]  Harold A. Scheraga,et al.  Some approaches to the multiple‐minima problem in the calculation of polypeptide and protein structures , 1992 .

[91]  S. Subbiah,et al.  Prediction of protein side-chain conformation by packing optimization. , 1991, Journal of molecular biology.

[92]  H. Scheraga,et al.  Use of buildup and energy‐minimization procedures to compute low‐energy structures of the backbone of enkephalin , 1985, Biopolymers.

[93]  Harold A. Scheraga,et al.  The multiple-minima problem in the conformational analysis of polypeptides. III. An Electrostatically Driven Monte Carlo Method: Tests on enkephalin , 1989, Journal of protein chemistry.

[94]  J. Szulmajster.  Protein folding , 1988, Bioscience reports.

[95]  M. Karplus,et al.  CHARMM: A program for macromolecular energy, minimization, and dynamics calculations , 1983 .

[96]  S. Walter Englander,et al.  Structural characterization of folding intermediates in cytochrome c by H-exchange labelling and proton NMR , 1988, Nature.

[97]  Robert L. Baldwin,et al.  Tests of the helix dipole model for stabilization of α-helices , 1987, Nature.

[98]  P E Wright,et al.  Folding of immunogenic peptide fragments of proteins in water solution. I. Sequence requirements for the formation of a reverse turn. , 1988, Journal of molecular biology.

[99]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[100]  C. Anfinsen,et al.  The kinetics of formation of native ribonuclease during oxidation of the reduced polypeptide chain. , 1961, Proceedings of the National Academy of Sciences of the United States of America.

[101]  P. Kollman,et al.  An all atom force field for simulations of proteins and nucleic acids , 1986, Journal of computational chemistry.

[102]  M. Rabin.  Probabilistic algorithm for testing primality , 1980 .

[103]  P E Wright,et al.  Folding of immunogenic peptide fragments of proteins in water solution. II. The nascent helix. , 1988, Journal of molecular biology.

[104]  E. Elson.  A sequential model of nucleation-dependent protein folding: kinetic studies of ribonuclease A. Analysis of the steady-state approximation for the sequential model. , 1972, Journal of molecular biology.

[105]  Hector J. Levesque,et al.  Hard and Easy Distributions of SAT Problems , 1992, AAAI.

[106]  H. Scheraga,et al.  Minimization of polypeptide energy. XI. The method of gentlest ascent. , 1971, Archives of biochemistry and biophysics.

[107]  S. Sun,et al.  Reduced representation model of protein structure prediction: Statistical potential and genetic algorithms , 1993, Protein science : a publication of the Protein Society.

[108]  Leslie Greengard,et al.  On the evaluation of electrostatic interactions in molecular modeling , 1988 .

[109]  William H. Press,et al.  Numerical Recipes in FORTRAN - The Art of Scientific Computing, 2nd Edition , 1987 .

[110]  M. Karplus,et al.  Prediction of the folding of short polypeptide segments by uniform conformational sampling , 1987, Biopolymers.

[111]  A V Finkelstein,et al.  Search for the stable state of a short chain in a molecular field. , 1992, Protein engineering.

[112]  H A Scheraga,et al.  An approach to the multiple-minima problem in protein folding by relaxing dimensionality. Tests on enkephalin. , 1987, Journal of molecular biology.

[113]  N. Metropolis,et al.  Equation of State Calculations by Fast Computing Machines , 1953, Resonance.

[114]  D. Wetlaufer.  Nucleation, rapid folding, and globular intrachain regions in proteins. , 1973, Proceedings of the National Academy of Sciences of the United States of America.

[115]  F. Colonna,et al.  On searching neighbors in computer simulations of macromolecular systems , 1984 .