Skip to main content

Skip to main content


next previous up


Next 3.3- PhyloDAGs
Previous 3.1- Hardness of approximation of phylograph
Up 3- Phylographs and phyloDAGs

3.2- Greedy algorithm for phylograph

   

There is a natural greedy algorithm for the Minimum Phylograph problem. In a phylograph, every character's induced subgraph consists of a single connected component, so the greedy algorithm ``grows'' a solution by iteratively adding an edge that maximally reduces the number of connected components.

The same notation needed to define the algorithm more precisely can be used in the proof of its quality. Given species  tex2html_wrap_inline1720 and characters  tex2html_wrap_inline1722 , and a set of edges tex2html_wrap_inline1724 define the ``cost'' of E to be

displaymath1718

where tex2html_wrap_inline1728 denotes the number of connected components in the subgraph of tex2html_wrap_inline1730 induced by the on-set of c. Thus tex2html_wrap_inline1734 , and if E is a phylograph, tex2html_wrap_inline1738 .

For any edge set E and any edge e, let tex2html_wrap_inline1744 be the amount by which e decreases the cost f. The greedy algorithm begins with each species an isolated vertex, and iteratively adds the edge which maximally decreases the cost, until the cost is 0. In pseudocode:

 ¯¯¯Let i:=0 and    
tex2html_wrap_inline1754  

While tex2html_wrap_inline1756 do

begin

Let i:= i+1

Let e be an edge maximizing tex2html_wrap_inline1762

Let tex2html_wrap_inline1764

end

Return the set tex2html_wrap_inline1766

  theorem358

proof361

This complements the result of Theorem 17: Minimum Phylograph is apparently hard to approximate to better than a factor of tex2html_wrap_inline1830 , but easy to approximate to a factor tex2html_wrap_inline1832 . It would be of some interest to derive better bounds on the constant c, tex2html_wrap_inline1836 , for which tex2html_wrap_inline1838 -approximability is possible.


next previous up

Next 3.3- PhyloDAGs
Previous 3.1- Hardness of approximation of phylograph
Up 3- Phylographs and phyloDAGs


Back To Index