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
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.