An optimal algorithm for cycle breaking in directed graphs

Autor: Zvi Kohavi, Tatiana Orenstein, Irith Pomeranz
Rok vydání: 1995
Předmět:
Zdroj: Journal of Electronic Testing. 7:71-81
ISSN: 1573-0727
0923-8174
DOI: 10.1007/bf00993315
Popis: This paper describes an exact algorithm for the identification of a minimal feedback vertex set in digital circuits. The proposed algorithm makes use of graph reduction and efficient graph partitioning methods based on local properties of digital circuits. It has been implemented and applied to ISCAS-89 benchmark circuits. Previously, non-optimum solutions were found. In other cases, the optimality of the solution could not be established for all circuits. By using the proposed algorithm we obtained the optimum results for all the circuits in a relatively short CPU time.
Databáze: OpenAIRE