Skip to main content

Applying Constraint Programming to Rigid Body Protein Docking

  • Conference paper
Principles and Practice of Constraint Programming - CP 2005 (CP 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3709))

Abstract

In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between complex solids. We use BiGGER [1] (Bimolecular complex Generation with Global Evaluation and Ranking) to illustrate the method as applied to modelling protein interactions, an important effort in current bioinformatics. BiGGER prunes the search space by maintaining bounds consistency on interval constraints that model the requirement for the shapes to be in contact but not overlapping, and by using a branch and bound approach to search the models with the best fit. This CP approach gives BiGGER some efficiency advantages over popular protein docking methods that use Fourier transforms to match protein structures. We also present an efficient algorithm to actively impose a broad range of constraints or combinations of constraints on distances between points of the two structures to dock, which allows the use of experimental data to increase the effectiveness and speed of modelling protein interactions and which cannot be done as efficiently in Fourier transform methods. This shows that constraint programming provides a different approach to protein docking (and fitting of shapes in general) that increases the scope of application while improving efficiency.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Palma, P.N., Krippahl, L., Wampler, J.E., Moura, J.J.G.: BiGGER: A new (soft) docking algorithm for predicting protein interactions. Proteins: Structure, Function, and Genetics 39, 372–384 (2000)

    Article  Google Scholar 

  2. Katchalski-Katzir, E., Shariv, I., Eisenstein, M., Friesem, A.A., Aflalo, C., Vakser, I.A.: Molecular surface recognition: determination of geometric fit between proteins and their ligands by correlation techniques. Proc. Natl. Acad. Sci. USA 89(6), 2195–2199 (1992)

    Article  Google Scholar 

  3. Janin, J.: Welcome to CAPRI: A Critical Assessment of PRedicted Interactions. Proteins: Structure, Function, and Genetics 47(3), 257 pages (2002)

    Article  Google Scholar 

  4. Krippahl, L., Moura, J.J., Palma, P.N.: Modeling protein complexes with BiGGER. Proteins: Structure, Function, and Genetics 52(1), 19–23 (2003)

    Article  Google Scholar 

  5. Dominguez, C., Boelens, R., Bonvin, A.M.: HADDOCK: a protein-protein docking approach based on biochemical or biophysical information. J. Am. Chem. Soc. 125(7), 1731–1737 (2003)

    Article  Google Scholar 

  6. Moont, G., Gabb, H.A., Sternberg, M.J.E.: Use of Pair Potentials Across Protein Interfaces in Screening Predicted Docked Complexes. Proteins: Structure, Function, and Genetics 35(3), 364–373 (1999)

    Article  Google Scholar 

  7. Pettigrew, G.W., Goodhew, C.F., Cooper, A., Nutley, M., Jumel, K., Harding, S.E.: The electron transfer complexes of cytochrome c peroxidase from Paracoccus denitrificans. Biochemistry 42(7), 2046–2055 (2003)

    Article  MATH  Google Scholar 

  8. Pettigrew, G.W., Prazeres, S., Costa, C., Palma, N., Krippahl, L., Moura, I., Moura, J.J.: The structure of an electron transfer complex containing a cytochrome c and a peroxidase. J. Biol. Chem. 274(16), 11383–11389 (1999)

    Article  Google Scholar 

  9. Pettigrew, G.W., Pauleta, S.R., Goodhew, C.F., Cooper, A., Nutley, M., Jumel, K., Harding, S.E., Costa, C., Krippahl, L., Moura, I., Moura, J.: Electron Transfer Complexes of Cytochrome c Peroxidase from Paracoccus denitrificans Containing More than One Cytochrome. Biochemistry 42, 11968–11981 (2003)

    Article  Google Scholar 

  10. Morelli, X., Dolla, A., Czjzek, M., Palma, P.N., Blasco, F., Krippahl, L., Moura, J.J., Guerlesquin, F.: Heteronuclear NMR and soft docking: an experimental approach for a structural model of the cytochrome c553-ferredoxin complex. Biochemistry 39, 2530–2537 (2000)

    Article  Google Scholar 

  11. Morelli, X., Palma, P.N., Guerlesquin, F., Rigby, A.C.: A novel approach for assessing macromolecular complexes combining soft-docking calculations with NMR data. Protein Sci. 10, 2131–2137 (2001)

    Article  Google Scholar 

  12. Chen, R., Weng, Z.: Docking Unbound Proteins Using Shape Complementarity, Desolvation, and Electrostatics. Proteins 47, 281–294 (2002)

    Article  Google Scholar 

  13. Ten Eyck, L.F., Mandell, J., Roberts, V.A., Pique, M.E.: Surveying Molecular Interactions With DOT. In: Proceedings of the 1995 ACM/IEEE Supercomputing Conference, San Diego (1995)

    Google Scholar 

  14. Vakser, A., Aflalo, C.: Hydrophobic docking: A proposed enhancement to molecular recognition techniques. Proteins 20, 320–329 (1994)

    Article  Google Scholar 

  15. Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints 7, 317–331 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  16. Impagliazzo, A.: Transient protein interactions: the case of pseudoazurin and nitrite reductase. Doctoral Thesis, Leiden University (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krippahl, L., Barahona, P. (2005). Applying Constraint Programming to Rigid Body Protein Docking. In: van Beek, P. (eds) Principles and Practice of Constraint Programming - CP 2005. CP 2005. Lecture Notes in Computer Science, vol 3709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11564751_29

Download citation

  • DOI: https://doi.org/10.1007/11564751_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29238-8

  • Online ISBN: 978-3-540-32050-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics