13.12.2012 Views

Theoretical and Experimental DNA Computation (Natural ...

Theoretical and Experimental DNA Computation (Natural ...

Theoretical and Experimental DNA Computation (Natural ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

k=red<br />

For each edge {j,k}<br />

In parallel<br />

remove from<br />

T<br />

T<br />

copy<br />

T T<br />

r<br />

g<br />

remove from T<br />

r<br />

j=green, j=blue<br />

3.2 Filtering Models 53<br />

For j=1 to n do<br />

T<br />

b<br />

remove from T<br />

g<br />

remove from T<br />

b<br />

j=red, j=blue j=red, j=green<br />

For each edge {j,k} For each edge {j,k}<br />

In parallel<br />

In parallel<br />

remove from remove from<br />

T<br />

g<br />

k=green T<br />

b<br />

k=blue<br />

union<br />

select<br />

Fig. 3.1. 3-coloring algorithm flowchart<br />

Solution:<br />

• Input: The input set U is the set Pn of all permutations of the integers<br />

from 1 to n as output from Problem: Permutations. An integer i at<br />

position pk in such a permutation is interpreted as follows: the string represents<br />

a c<strong>and</strong>idate solution to the problem in which vertex i is visited at<br />

step k.<br />

• Algorithm:<br />

for 2 ≤ i ≤ n−1 <strong>and</strong>j, k such that (j, k) /∈ E<br />

in parallel do remove (U, {jpik})<br />

select(U)<br />

• Complexity: Constant parallel time given Pn.

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

Saved successfully!

Ooh no, something went wrong!