a new integer programming model for hp problem

12
A new integer programming model for HP problem N. Yanev 1 , P. Milanov 2; 3 , I. Trenchev 2 1 Faculty of Mathematics and Informatics, University of Sofia, Bulgaria. 2 South-West University “Neot Rilski", Blagoevgrad, Bulgaria. 3 Institute of Mathematics and Informatics, Bulgarian Academy of Sciences. [email protected], peter [email protected], [email protected]

Upload: wonther

Post on 29-May-2015

459 views

Category:

Education


0 download

TRANSCRIPT

Page 1: A new integer programming model for hp problem

A new integer programming model for HP problem

N. Yanev 1, P. Milanov 2; 3, I. Trenchev 2

1 Faculty of Mathematics and Informatics, University of Sofia, Bulgaria.

2 South-West University “Neot Rilski", Blagoevgrad, Bulgaria.

3 Institute of Mathematics and Informatics, Bulgarian Academy of Sciences.

[email protected], peter [email protected], [email protected]

Page 2: A new integer programming model for hp problem

1 2 3 4 5 6 7 8 9 10 11 12

Our goal is to put red and blue balls on the grid as:

- every two neighbours balls in the sequence must be adjacent in the grid;- in each cell can be placed only one ball.

Problem formulation

Page 3: A new integer programming model for hp problem

A self-avoiding walk is a path from one point to another which never intersects itself.

Such paths are usually considered to occur on lattices, so that steps are only allowed in

a discrete number of directions and of certain lengths.

Problem formulation

Page 4: A new integer programming model for hp problem

Goal: problem maximizes the number of blue, blue pairs of contacts

Page 5: A new integer programming model for hp problem
Page 6: A new integer programming model for hp problem

Amino acids sequence:SLDRSSCFTGSLDSIRAQSGLGCNSFRY

HP folding sequence : PHPPPPPHPPPHPPHPHPPPHPPPPHPP

In this research, we study the hydrophobic-hydrophilic (HP) model on two-dimensional (2D) square lattice, which is one of the most extensively studied lattice models. The HP model was first introduced by Dill (1985).

From Protein folding to HP model

Page 7: A new integer programming model for hp problem

Figure 3: Optimal fold of a protein of length36

Figure 2: A fold constructed by the Hart-Istrail algorithm

Optimal vs heuristics

Page 8: A new integer programming model for hp problem

1 2 3 4

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

1

2

3

4

5

6

7

8

H H PP H P

xx

x

Conversion to Graph problem

Page 9: A new integer programming model for hp problem

Mathematical problem is to find a path in the graph from first column to the last with maximum green arcs

Page 10: A new integer programming model for hp problem

We used a 3D cubic lattice with dimension 6 .

The primary sequence of these two proteins is:

SLDRSSCFTGSLDSIRAQSGLGCNSFRY – orexin peptide;

FSGPPGLQGRLQRLLQASGNHAAGILTM – hypotensive hormone.

Figure 4. Graphical presentation for HP folding of 1ANP

Computational runs

Page 11: A new integer programming model for hp problem

Future trends:

• Improving of the model;

• Adaptation of CPLEX for special branch and bound for HP folding;

• Solving larger problems.

Page 12: A new integer programming model for hp problem

Thank you for attention.