Results 1  10
of
26
Directed Hypergraphs And Applications
, 1992
"... We deal with directed hypergraphs as a tool to model and solve some classes of problems arising in Operations Research and in Computer Science. Concepts such as connectivity, paths and cuts are defined. An extension of the main duality results to a special class of hypergraphs is presented. Algorith ..."
Abstract

Cited by 100 (5 self)
 Add to MetaCart
We deal with directed hypergraphs as a tool to model and solve some classes of problems arising in Operations Research and in Computer Science. Concepts such as connectivity, paths and cuts are defined. An extension of the main duality results to a special class of hypergraphs is presented. Algorithms to perform visits of hypergraphs and to find optimal paths are studied in detail. Some applications arising in propositional logic, AndOr graphs, relational data bases and transportation analysis are presented. January 1990 Revised, October 1992 ( * ) This research has been supported in part by the "Comitato Nazionale Scienza e Tecnologia dell'Informazione", National Research Council of Italy, under Grant n.89.00208.12, and in part by research grants from the National Research Council of Canada. 1 Dipartimento di Informatica, Università di Pisa, Italy 2 Département d'Informatique et de Recherche Opérationnelle, Université de Montréal, Canada 2 INTRODUCTION Hypergraphs, a generaliz...
Reconstructing a History of Recombinations From a Set of Sequences
 Discrete Appl. Math
, 1998
"... One of the classic problems in computational biology is the reconstruction of evolutionary history. A recent trend in the area is to increase the explanatory power of the models that are considered by incorporating higherorder evolutionary events that more accurately reflect the mechanisms of mutat ..."
Abstract

Cited by 39 (6 self)
 Add to MetaCart
One of the classic problems in computational biology is the reconstruction of evolutionary history. A recent trend in the area is to increase the explanatory power of the models that are considered by incorporating higherorder evolutionary events that more accurately reflect the mechanisms of mutation at the level of the chromosome. We take a step in this direction by considering the problem of reconstructing an evolutionary history for a set of genetic sequences that have evolved by recombination. Recombination is a nontreelike event that produces a child sequence by crossing two parent sequences. We present polynomialtime algorithms for reconstructing a parsimonious history of such events for several models of recombination when all sequences, including those of ancestors, are present in the input. We also show that these models appear to be near the limit of what can be solved in polynomial time, in that several natural generalizations are NPcomplete. Keywords Computational bio...
Optimal Traversal of Directed Hypergraphs
, 1992
"... A directed hypergraph is defined by a set of nodes and a set of hyperarcs, each connecting a set of source nodes to a single target node. Directed hypergraphs are used in several contexts to model different combinatorial structures, such as functional dependencies [Ull82], Horn clauses in proposi ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
A directed hypergraph is defined by a set of nodes and a set of hyperarcs, each connecting a set of source nodes to a single target node. Directed hypergraphs are used in several contexts to model different combinatorial structures, such as functional dependencies [Ull82], Horn clauses in propositional calculus [AI91], ANDOR graphs [Nil82], Petri nets [Pet62]. A hyperpath, similarly to the notion of path in directed graphs, consists of a connection among nodes using hyperarcs. Unlike paths in graphs, hyperpaths are suitable of different definitions of measure, corresponding to different concepts arising in various applications. In this paper we consider the problem of finding minimal hyperpaths according to several measures. We show that some of these problems are, not surprisingly, NPhard. However, if the measure function on hyperpaths matches certain conditions (which we define as valuebased measure functions) , the problem turns out to be solvable in polynomial time. We...
On The Computational Complexity of Inferring Evolutionary Trees
, 1993
"... The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this t ..."
Abstract

Cited by 19 (5 self)
 Add to MetaCart
The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this thesis, a framework is established that incorporates all such problems studied to date. Within this framework, the NPcompleteness results for decision problems are extended by applying theorems from [CT91, Gas86, GKR92, JVV86, KST89, Kre88, Sel91] to derive bounds on the computational complexity of several functions associated with each of these problems, namely ffl evaluation functions, which return the cost of the optimal tree(s), ffl solution functions, which return an optimal tree, ffl spanning functions, which return the number of optimal trees, ffl enumeration functions, which systematically enumerate all optimal trees, and ffl randomselection functions, which return a random...
SCHEDULING WITH AND/OR PRECEDENCE CONSTRAINTS
, 2004
"... In many scheduling applications it is required that the processing of some job be postponed until some other job, which can be chosen from a pregiven set of alternatives, has been completed. The traditional concept of precedence constraints fails to model such restrictions. Therefore, the concept h ..."
Abstract

Cited by 18 (1 self)
 Add to MetaCart
In many scheduling applications it is required that the processing of some job be postponed until some other job, which can be chosen from a pregiven set of alternatives, has been completed. The traditional concept of precedence constraints fails to model such restrictions. Therefore, the concept has been generalized to socalled and/or precedence constraints which can cope with this kind of requirement. In the context of traditional precedence constraints, feasibility, transitivity, and the computation of earliest start times for jobs are fundamental, wellstudied problems. The purpose of this paper is to provide efficient algorithms for these tasks for the more general model of and/or precedence constraints. We show that feasibility as well as many questions related to transitivity can be solved by applying essentially the same lineartime algorithm. In order to compute earliest start times we propose two polynomialtime algorithms to cope with different classes of time distances between jobs.
The complexity of Hcolouring of bounded degree graphs
 DISCRETE MATH
, 1998
"... We investigate the complexity of the hcolouring problem, and, more generally, of the Hcolouring problem, restricted to graphs of bounded degree. While the general problems are almost always NPcomplete, we present some surprising polynomial algorithms for several of these restricted colouring prob ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
We investigate the complexity of the hcolouring problem, and, more generally, of the Hcolouring problem, restricted to graphs of bounded degree. While the general problems are almost always NPcomplete, we present some surprising polynomial algorithms for several of these restricted colouring problems. We also give a number of NPcompleteness results, and pose some open problems. One of these may be viewed as the complement of an algorithmic version of the theorem of Brooks.
Redundancy in logic I: CNF propositional formulae
 Artificial Intelligence
"... A knowledge base is redundant if it contains parts that can be inferred from the rest of it. We study the problem of checking whether a CNF formula (a set of clauses) is redundant, that is, it contains clauses that can be derived from the other ones. Any CNF formula can be made irredundant by deleti ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
A knowledge base is redundant if it contains parts that can be inferred from the rest of it. We study the problem of checking whether a CNF formula (a set of clauses) is redundant, that is, it contains clauses that can be derived from the other ones. Any CNF formula can be made irredundant by deleting some of its clauses: what results is an irredundant equivalent subset (I.E.S.) We study the complexity of some related problems: verification, checking existence of a I.E.S. with a given size, checking necessary and possible presence of clauses in I.E.S.’s, and uniqueness. We also consider the problem of redundancy
Hypergraph Traversal Revisited: Cost Measures and Dynamic Algorithms
 Lecture Notes in Computer Science
, 1998
"... . Directed hypergraphs are used in several applications to model different combinatorial structures. A directed hypergraph is defined by a set of nodes and a set of hyperarcs, each connecting a set of source nodes to a single target node. A hyperpath, similarly to the notion of path in directed ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
. Directed hypergraphs are used in several applications to model different combinatorial structures. A directed hypergraph is defined by a set of nodes and a set of hyperarcs, each connecting a set of source nodes to a single target node. A hyperpath, similarly to the notion of path in directed graphs, consists of a connection among nodes using hyperarcs. Unlike paths in graphs, however, hyperpaths are suitable of many different definitions of measure, corresponding to different concepts arising in various applications. In this paper we consider the problem of finding optimal hyperpaths according to several measures. We also provide results that may shed some light on the intrinsic complexity of finding optimal hyperpaths. 1 Introduction A directed hypergraph is a generalization of the concept of directed graph. It was first introduced in [2] to represent functional dependencies in relational data base schemata. While directed graphs are normally used for representing onet...