Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional Revisado por pares

BIBTEX RIS

Algorithms for terminal Steiner trees

2007; Elsevier BV; Volume: 389; Issue: 1-2 Linguagem: Inglês

10.1016/j.tcs.2007.08.001

1879-2294

Fábio V. Martinez, José Coelho de Pina, José Soares,

Formal Methods in Verification

The terminal Steiner tree problem (TST) consists of finding a minimum cost Steiner tree where each terminal is a leaf. We describe a factor 2ρ−ρ/(3ρ−2) approximation algorithm for the TST, where ρ is the approximation factor of a given algorithm for the Steiner tree problem. Considering the current best value of ρ, this improves a previous 3.10 factor to 2.52. For the TST restricted to instances where all edge costs are either 1 or 2, we improve the approximation factor from 1.60 to 1.42.