# An efficient method for finding a minimal feedback arc set in directed graphs

@article{Park1992AnEM, title={An efficient method for finding a minimal feedback arc set in directed graphs}, author={S. Park and Sheldon B. Akers}, journal={[Proceedings] 1992 IEEE International Symposium on Circuits and Systems}, year={1992}, volume={4}, pages={1863-1866 vol.4} }

Finding a minimum cardinality set of arcs that breaks all cycles in a directed graph is important in the study of large-scale systems with feedback. This problem is viewed as finding an ordering for the vertices in a graph such that the set of arcs from higher to lower numbered vertices becomes minimum. After partitioning the graph into strongly and bi-connected components, depth-first search traversing is performed on each component. Reordering is done so that only backward arcs become…

## 3 Citations

### An Exact Method for the Minimum Feedback Arc Set Problem

- MathematicsACM J. Exp. Algorithmics
- 2021

An exact method is proposed for sparse graphs that enumerates simple cycles in a lazy fashion and iteratively extends an incomplete cycle matrix and the practical limits of the new method are evaluated on a test set containing computationally challenging sparse graphs, relevant for industrial applications.

### Quasi-source heuristic for the production line formation of a manufacturing system

- Computer Science1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)
- 1996

In this work, the production line formation problem (PLF-problem) is stated as a classical feedback arc set problem with additional order constraints. The constraint consistency checking, which in…

### Timing analysis of embedded real-time systems

- Computer Science
- 1999

This work addresses the problem of timing constraint derivation and validation for reactive and real-time embedded systems and makes the codesign methodology timing-driven in that it makes it possible to maintain a handle on the system''s timing correctness from very early stages in the system’s design flow.

## References

SHOWING 1-9 OF 9 REFERENCES

### Minimum Feedback Arc Sets for a Directed Graph

- Mathematics, Computer Science
- 1963

This paper establishes a relationship between these feedback arcs and order; in particular, such a minimum set of arcs is shown to be determined by a sequential ordering of the nodes which minimizes the number of arcs.

### A Linear Time Algorithm for Finding Minimum Cutsets in Reducible Graphs

- Computer Science, MathematicsSIAM J. Comput.
- 1979

It is shown that in reducible graphs (and thus in almost all the “practical” flowcharts of programs), minimum cutsets can be found in linear time and that the linear algorithm can check its own applicability to a given graph, thus eliminating the need of prechecking whether it is reducible or not.

### Depth-First Search and Linear Graph Algorithms

- MathematicsSIAM J. Comput.
- 1972

The value of depth-first search or “backtracking” as a technique for solving problems is illustrated by two examples. An improved version of an algorithm for finding the strongly connected components…

### Finding a Minimum Feedback Arc Set in Reducible Flow Graphs

- Computer Science, MathematicsJ. Algorithms
- 1988

### Approximation alogorithms for the maximum acyclic subgraph problem

- MathematicsSODA '90
- 1990

It is found that all graphs without two-cycles contain large acyclic subgraphs, a fact which was not previously known.

### The Design and Analysis of Computer Algorithms

- Computer Science
- 1974

This text introduces the basic data structures and programming techniques often used in efficient algorithms, and covers use of lists, push-down stacks, queues, trees, and graphs.

### BALLAST: a methodology for partial scan design

- Mathematics[1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers
- 1989

In the proposed partial scan methodology, the scan path is constructed so that the rest of the circuit belongs to a class of circuits called balanced sequential structures. Test patterns for this…

### Combinational profiles of sequential benchmark circuits

- Computer ScienceIEEE International Symposium on Circuits and Systems,
- 1989

A set of 31 digital sequential circuits described at the gate level is presented. These circuits extend the size and complexity of the ISCAS'85 set of combinational circuits and can serve as…