# Hamiltonian problems for reducible flowgraphs

@article{Vernet1997HamiltonianPF, title={Hamiltonian problems for reducible flowgraphs}, author={Oswaldo Vernet and Lilian Markenzon}, journal={Proceedings 17th International Conference of the Chilean Computer Science Society}, year={1997}, pages={264-267} }

We discuss Hamiltonian problems for reducible flowgraphs. The main result is finding, in linear time, the unique Hamiltonian cycle, if it exists. In order to obtain this result, two other related problems are solved: finding the Hamiltonian path starting at the source vertex and finding the Hamiltonian cycle given the Hamiltonian path.

## 6 Citations

### Topological Sort Algorithm according to the Principle of a DAG’s Subgraphis still a DAG after Outputting a Start Node

- Computer Science
- 2015

The paper proves that a DAG’s subgraph is still a D AG or empty after deleting a start node, and proposes using key-value storage structure to represent aDAG, where each node as the key, the node’'s subsequent nodes as the values.

### State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences

- Computer ScienceSci. Comput. Program.
- 2013

### Problem dependent metaheuristic performance in Bayesian network structure learning

- Computer Science
- 2012

A new algorithm for producing BN benchmark structures is constructed and a selective hyperheuristic algorithm is built for unseen BN structure learning with search and score algorithms to understand the relationship between technique performance and structure features of the problems.

### Fitness landscape analysis of Bayesian network structure learning

- Computer Science2011 IEEE Congress of Evolutionary Computation (CEC)
- 2011

Fitness landscape analysis is used to explain empirically-observed performance differences between particular search-and-score algorithms on two well-studied benchmark problems, and the average landscape discovered by random walks around optimal points in the space of BN node orderings is investigated.

### Alerts Correlation and Causal Analysis for APT Based Cyber Attack Detection

- Computer ScienceIEEE Access
- 2020

An approach for real-time detection of APT based cyber-attacks based on causal analysis and correlating the generated alerts by security and non-security sensors is introduced and results show that the proposed approach can effectively rank hosts based on their infection likelihood with acceptable accuracy.

## References

SHOWING 1-10 OF 11 REFERENCES

### Flow graph reducibility

- Computer ScienceSIAM J. Comput.
- 1972

This work characterize the set of flow graphs that can be analyzed in this way in terms of two very simple transformation on graphs and gives a necessary and sufficient condition for analyzability and applies it to “goto-less programs,” showing that they all meet the criterion.

### On structured digraphs and program testing

- MathematicsIEEE Transactions on Computers
- 1981

To model interactions among code segments the notions of `required pairs' and `must pairs' are introduced and the corresponding constrained path cover problems are shown to be NP-complete even for acyclic structured digraphs.

### Algorithmic graph theory

- Computer Science
- 1989

Introduction to graph theory algorithmic techniques shortest paths trees and acyclic diagraphs depth first search connectivity and routing graph colouring covers, domination, independent sets,…

### An incremental algorithm for maintaining the dominator tree of a reducible flowgraph

- Computer SciencePOPL '94
- 1994

We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and deletion of edges. Such…

### On Path Cover Problems in Digraphs and Applications to Program Testing

- MathematicsIEEE Transactions on Software Engineering
- 1979

In this paper various path cover problems, arising in program testing, are discussed and it is shown that rmding a minimum path cover for a set of required pairs is NP-hard.

### Incremental data flow analysis via dominator and attribute update

- Computer SciencePOPL '88
- 1988

This work reduces a monotone data flow problem formulated for solution using Graham-Wegman elimination to the problem of constructing and decorating an attributed tree structurally isomorphic to the dominator tree of the program flow graph, and extends Reps' attributed tree update techniques to update attribute values in response to changes in this structure.

### On Two Problems in the Generation of Program Test Paths

- Computer ScienceIEEE Transactions on Software Engineering
- 1976

An efficient algorithm is given for the problem of building a path through a specified set of program statements which satisfies impossible-pairs restrictions on statement pairs, and it is shown that the second problem is NP-complete.

### Data structures and network algorithms

- Computer ScienceCBMS-NSF regional conference series in applied mathematics
- 1983

This paper presents a meta-trees tree model that automates the very labor-intensive and therefore time-heavy and therefore expensive process of manually selecting trees to grow in a graph.

### Computers and Intractability: A Guide to the Theory of NP-Completeness

- Computer Science
- 1978

The experiences, understandings, and beliefs that guide the professional practices of teacher educators are explored, and the book paints a picture of a profession that offers huge rewards, alongside challenges and frustrations.

### Characterizations of Reducible Flow Graphs

- EconomicsJACM
- 1974

The backward edges of a reducible flow graph are unique and it is shown that there is a “natural” single-entry loop associated with each backward edge of a reducing flow graph.