Results 1  10
of
24
Sequential Elimination Graphs
"... A graph is chordal if it does not contain any induced cycle of size greater than three. An alternative characterization of chordal graphs is via a perfect elimination ordering, which is an ordering of the vertices such that, for each vertex v, the neighbors of v that occur later than v in the order ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
(Show Context)
A graph is chordal if it does not contain any induced cycle of size greater than three. An alternative characterization of chordal graphs is via a perfect elimination ordering, which is an ordering of the vertices such that, for each vertex v, the neighbors of v that occur later than v in the ordering form a clique. Akcoglu et al [2] define an extension of chordal graphs whereby the neighbors of v that occur later than v in the elimination order have at most k independent vertices. We refer to such graphs as sequentially kindependent graphs. Clearly this extension of chordal graphs also extends the class of (k+1)clawfree graphs. We study properties of such families of graphs, and we show that several natural classes of graphs are sequentially kindependent for small k. In particular, any intersection graph of translates of a convex object in a two dimensional plane is a sequentially 3independent graph; furthermore, any planar graph is a sequentially 3independent graph. For any fixed constant k, we develop simple, polynomial time approximation algorithms for sequentially kindependent graphs with respect to several wellstudied NPcomplete problems based on this ksequentially independent ordering. Our generalized formulation unifies and extends several previously known results. We also consider other classes of sequential elimination graphs.
An Exact Characterization of Greedy Structures
 SIAM Journal on Discrete Mathematics
, 1993
"... We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the partial characterizations of Rado, Gale, and Edmonds (matroids), and of Korte and Lovasz (greedoids). We show that the gre ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
(Show Context)
We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the partial characterizations of Rado, Gale, and Edmonds (matroids), and of Korte and Lovasz (greedoids). We show that the greedy algorithm optimizes all linear objective functions if and only if the problem structure (phrased in terms of either accessible set systems or hereditary languages) is a matroid embedding. We also present an exact characterization of the objective functions optimized by the greedy algorithm on matroid embeddings. Finally, we present an exact characterization of the structures on which the greedy algorithm optimizes all bottleneck functions, structures which are less constrained than matroid embeddings. 1 Introduction Obtaining an exact characterization of the class of problems for which the greedy algorithm returns an optimal solution has been an open problem. Rado [9], Gale [3], a...
Randomized priority algorithms
 In Proceedings of the 1st Workshop on Approximation and Online Algorithms (WAOA
, 2003
"... Borodin, Nielsen and Rackoff [13] introduced the class of priority algorithms as a framework for modeling deterministic greedylike algorithms. In this paper we address the effect of randomization in greedylike algorithms. More specifically, we consider approximation ratios within the context of ra ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
(Show Context)
Borodin, Nielsen and Rackoff [13] introduced the class of priority algorithms as a framework for modeling deterministic greedylike algorithms. In this paper we address the effect of randomization in greedylike algorithms. More specifically, we consider approximation ratios within the context of randomized priority algorithms. As case studies, we prove inapproximation results for two wellstudied optimization problems, namely facility location and makespan scheduling.
A Relational Approach To Optimization Problems
, 1996
"... The main contribution of this thesis is a study of the dynamic programming and greedy strategies for solving combinatorial optimization problems. The study is carried out in the context of a calculus of relations, and generalises previous work by using a loop operator in the imperative programming s ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
The main contribution of this thesis is a study of the dynamic programming and greedy strategies for solving combinatorial optimization problems. The study is carried out in the context of a calculus of relations, and generalises previous work by using a loop operator in the imperative programming style for generating feasible solutions, rather than the fold and unfold operators of the functional programming style. The relationship between fold operators and loop operators is explored, and it is shown how to convert from the former to the latter. This fresh approach provides additional insights into the relationship between dynamic programming and greedy algorithms, and helps to unify previously distinct approaches to solving combinatorial optimization problems. Some of the solutions discovered are new and solve problems which had previously proved difficult. The material is illustrated with a selection of problems and solutions that is a mixture of old and new. Another contribution is the invention of a new calculus, called the graph calculus, which is a useful tool for reasoning in the relational calculus and other nonrelational calculi. The graph
Greed and Majorization
, 1997
"... We present a straightforward linear algebraic model of greed, based only on extensions of classical majorization and convexity theory. This gives an alternative to other models of greedysolvable problems such as matroids, greedoids, submodular functions, etc., and it is able to express established ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
We present a straightforward linear algebraic model of greed, based only on extensions of classical majorization and convexity theory. This gives an alternative to other models of greedysolvable problems such as matroids, greedoids, submodular functions, etc., and it is able to express established examples of greedysolvable optimization problems that they cannot. The linear algebraic approach is also much closer in spirit to established practice in operations research and numerical optimization. The essence of the approach is to model `exchanges' with certain linear transformations. Modeling solutions as vectors also, we then exploit the fact that these exchanges define an ordering on solutions. When the exchanges are doublystochastic matrices, this ordering is the majorization ordering developed by Hardy, Littlewood, and P'olya in their pioneering work on inequality theory. We generalize majorization to permit any matrix semigroup of exchanges, but find that several kinds of stocha...
Design and Analysis of Physical Design Algorithms
 IN PROC. INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN
, 2001
"... We will review a few key algorithmic and analysis concepts with application to physical design problems. We argue that design and detailed analysis of algorithms is of fundamental importance in developing better physical design tools and to cope with the complexity of presentday designs. ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
(Show Context)
We will review a few key algorithmic and analysis concepts with application to physical design problems. We argue that design and detailed analysis of algorithms is of fundamental importance in developing better physical design tools and to cope with the complexity of presentday designs.
The Greedy Algorithms Class: Formalization, Synthesis and Generalization
, 1995
"... On the first hand, this report studies the class of Greedy Algorithms in order to find an as systematic as possible strategy that could be applied to the specification of some problems to lead to a correct program solving that problem. On the other hand, the standard formalisms underlying the G ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
On the first hand, this report studies the class of Greedy Algorithms in order to find an as systematic as possible strategy that could be applied to the specification of some problems to lead to a correct program solving that problem. On the other hand, the standard formalisms underlying the Greedy Algorithms (matroid, greedoid and matroid embedding) which are dependent on the particular type set are generalized to a formalism independent of any data type based on an algebraic specification setting.
On Brylawski’s generalized duality
 Math. in Comp. Sci
"... Abstract. We introduce a notion of duality (due to Brylawski) that generalizes matroid duality to arbitrary rank functions. This generalized duality allows for generalized operations (deletion and contraction) and a generalized polynomial based on the matroid Tutte polynomial. This polynomial satis ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We introduce a notion of duality (due to Brylawski) that generalizes matroid duality to arbitrary rank functions. This generalized duality allows for generalized operations (deletion and contraction) and a generalized polynomial based on the matroid Tutte polynomial. This polynomial satisfies a deletioncontraction recursion. We explore this notion of duality for greedoids, antimatroids and demimatroids, proving that matroids correspond precisely to objects that are simultaneously greedoids and “dual ” greedoids. 1.
Some Mathematical Structures Underlying Efficient Planning
"... We explore antimatroids, also known as shelling structures, a construct used to formalize when greedy (local) algorithms are optimal, as well as their relation to the strong measure of progress P introduced in (Parmar 2002b). We begin with an example from the map coloring domain to spark the reade ..."
Abstract
 Add to MetaCart
We explore antimatroids, also known as shelling structures, a construct used to formalize when greedy (local) algorithms are optimal, as well as their relation to the strong measure of progress P introduced in (Parmar 2002b). We begin with an example from the map coloring domain to spark the reader's intuitions, and then move towards a more general application of shelling to the strong measure of progress. We also introduce some extensions of shelling to planning on a different level. Macrooperators are another kind of mathematical structure that help give efficient and easytounderstand plans, but we must be careful how we use them when defining strong measures of progress.