05.08.2013 Views

New Approaches to in silico Design of Epitope-Based Vaccines

New Approaches to in silico Design of Epitope-Based Vaccines

New Approaches to in silico Design of Epitope-Based Vaccines

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.1. COMBINATORIAL OPTIMIZATION 19<br />

where c ∈ Rn , A ∈ Rm,n and b ∈ Rm . Typically, the optimization variables are b<strong>in</strong>ary,<br />

i.e., xi ∈ {0, 1}. While the exact solution <strong>to</strong> convex optimization problems and thus LPs<br />

can be found efficiently, ILPs are NP-complete. An example for an ILP is given <strong>in</strong> the<br />

follow<strong>in</strong>g:<br />

maximize x1 + x2<br />

subject <strong>to</strong> 2.5x1 + x2 ≤ 10,<br />

−0.5x1 + x2 ≤ 2,<br />

x1 ≤ 3.5,<br />

x1, x2 ∈ Z + 0 .<br />

(3.4)<br />

It corresponds <strong>to</strong> the LP <strong>in</strong> (3.2) with <strong>in</strong>tegrality constra<strong>in</strong>ts on all optimization variables.<br />

The geometric <strong>in</strong>terpretation <strong>of</strong> this problem is shown <strong>in</strong> Figure 3.1B.<br />

3.1.3 Methods<br />

A well-known problem <strong>in</strong> comb<strong>in</strong>a<strong>to</strong>rial optimization is the Travell<strong>in</strong>g Salesman Problem<br />

(TSP) [49]: Start<strong>in</strong>g from and return<strong>in</strong>g <strong>to</strong> his home <strong>to</strong>wn, a travell<strong>in</strong>g salesman has <strong>to</strong><br />

visit a given set <strong>of</strong> cities. The task is <strong>to</strong> f<strong>in</strong>d a shortest possible <strong>to</strong>ur that visits each<br />

city exactly once. While there are only 12 feasible solutions for five cities, the number <strong>of</strong><br />

solutions grows rapidly <strong>to</strong> 181,440 for 10 cities and <strong>to</strong> 6 × 10 16 for 20 cities. Assum<strong>in</strong>g<br />

that a computer requires 0.5 µs <strong>to</strong> evaluate one <strong>to</strong>ur, an exhaustive search for 20 cities<br />

would take 964 years. This comb<strong>in</strong>a<strong>to</strong>rial explosion, which is typical for comb<strong>in</strong>a<strong>to</strong>rial<br />

optimization problems, calls for efficient optimization methods.<br />

Optimization methods can be divided <strong>in</strong><strong>to</strong> two classes: heuristic methods and exact<br />

methods. The former f<strong>in</strong>d one or more good but not necessarily optimal solutions <strong>in</strong><br />

reasonable time. If an optimal solution exists, the latter guarantee <strong>to</strong> f<strong>in</strong>d it at the cost <strong>of</strong><br />

potentially longer run times.<br />

In the follow<strong>in</strong>g, we will briefly <strong>in</strong>troduce a small selection <strong>of</strong> algorithms for solv<strong>in</strong>g<br />

ILPs: branch-and-bound algorithms [50], cutt<strong>in</strong>g plane algorithms [51], and branch-and-cut<br />

algorithms [52]. <strong>Approaches</strong> <strong>to</strong> optimally solv<strong>in</strong>g an ILP are generally based on solv<strong>in</strong>g the<br />

LP relaxation, i.e., the ILP without <strong>in</strong>tegrality constra<strong>in</strong>ts. This can be done efficiently.<br />

The correspond<strong>in</strong>g objective value is called dual bound <strong>of</strong> the ILP. If the dual bound is<br />

<strong>in</strong>tegral, it corresponds <strong>to</strong> the solution <strong>of</strong> the ILP. Otherwise, further steps are required <strong>to</strong><br />

solve the ILP.<br />

Branch-and-bound algorithms. If the solution x ′ <strong>of</strong> the LP relaxation is not <strong>in</strong>tegral,<br />

branch-and-bound algorithms split the optimization problem <strong>in</strong><strong>to</strong> two subproblems. This<br />

step is called branch<strong>in</strong>g. Different branch<strong>in</strong>g strategies have been proposed. Often, an<br />

optimization variable that is not <strong>in</strong>tegral <strong>in</strong> the current solution is used: if x ′ 1 = 1.8, then<br />

the constra<strong>in</strong>t x1 ≤ 1 is added <strong>to</strong> one subproblem and the constra<strong>in</strong>t x1 ≥ 2 <strong>to</strong> the other.<br />

In a bound<strong>in</strong>g step upper and lower bounds <strong>of</strong> the current subproblem are determ<strong>in</strong>ed.<br />

Every subproblem will cont<strong>in</strong>uously be solved and subdivided result<strong>in</strong>g <strong>in</strong> a search tree<br />

until either the global optimal solution is found or the bound<strong>in</strong>g step reveals that the<br />

current branch can be pruned s<strong>in</strong>ce it does not conta<strong>in</strong> the optimal solution.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!