Results 1  10
of
205
Scaling algorithms for the shortest paths problem
 In SODA ’93: Proceedings of the fourth annual ACMSIAM Symposium on Discrete algorithms
, 1993
"... Abstract. We describe a new method for designing scaling algorithms for the singlesource shortest paths problem and use this method to obtain an O (Vcfftn log N) algorithm for the problem. (Here n and m are the number of nodes and arcs in the input network and N is essentially the absolute value of ..."
Abstract

Cited by 56 (5 self)
 Add to MetaCart
Abstract. We describe a new method for designing scaling algorithms for the singlesource shortest paths problem and use this method to obtain an O (Vcfftn log N) algorithm for the problem. (Here n and m are the number of nodes and arcs in the input network and N is essentially the absolute value of the most negative arc length; arc lengths are assumed to be integral.) This improves previous bounds for the problem. The method extends to related problems. Key words, shortest paths problem, graph theory, networks, scaling AMS subject classifications. 68Q20, 68Q25, 68R10, 05C70 1. Introduction. In
Monotonicity testing over general poset domains (Extended Abstract)
 STOC'02
, 2002
"... The field of property testing studies algorithms that distinguish, using a small number of queries, between inputs which satisfy a given property, and those that are ‘far’ from satisfying the property. Testing properties that are defined in terms of monotonicity has been extensively investigated, pr ..."
Abstract

Cited by 48 (22 self)
 Add to MetaCart
The field of property testing studies algorithms that distinguish, using a small number of queries, between inputs which satisfy a given property, and those that are ‘far’ from satisfying the property. Testing properties that are defined in terms of monotonicity has been extensively investigated, primarily in the context of the monotonicity of a sequence of integers, or the monotonicity of a function over the £dimensional hypercube ¤¥¦§§ § ¦¨©�. These works resulted in monotonicity testers whose query complexity is at most polylogarithmic in the size of the domain. We show that in its most general setting, testing that Boolean functions are close to monotone is equivalent, with respect to the number of required queries, to several other testing problems in logic and graph theory. These problems include: testing that a Boolean assignment of variables is close to an assignment that satisfies a specific �CNF formula, testing that a set of vertices is close to one that is a vertex cover of a specific graph, and testing that a set of vertices is close to a clique. We then investigate the query complexity of monotonicity testing of both Boolean and integer functions over general partial orders. We give algorithms and lower bounds for the general problem, as well as for some interesting special cases. In proving a general lower bound, we construct graphs with combinatorial properties that may be of independent interest.
Scheduling with Timed Automata
, 2003
"... This document is based on the PhD thesis of the first author, defended at INPG Grenoble, November 2002 ..."
Abstract

Cited by 39 (3 self)
 Add to MetaCart
This document is based on the PhD thesis of the first author, defended at INPG Grenoble, November 2002
Problems and results in combinatorial analysis
 COMBINATORICS (PROC. SYMP. PURE MATH
, 1971
"... This review of some solved and unsolved problems in combinatorial analysis will be highly subjective. i will only discuss problems which I either worked on or at least thought about. The disadvantages of such an approach are obvious, but the disadvantages are perhaps counterbalanced by the fact that ..."
Abstract

Cited by 36 (0 self)
 Add to MetaCart
This review of some solved and unsolved problems in combinatorial analysis will be highly subjective. i will only discuss problems which I either worked on or at least thought about. The disadvantages of such an approach are obvious, but the disadvantages are perhaps counterbalanced by the fact that I certainly know more about these problems than about others (which perhaps are more important). i will mainly discuss finite combinatorial problems. I cannot claim completeness in any way but will try to refer to the literature in some cases; even so many things will be omitted. ISO will denote the cardinal number of S; c, cl, c2,... will denote absolute constants not necessarily the same at each occurrence. I. I will start with some problems dealing with subsets of a set. Let IS I =n. A well known theorem of Sperner [57] states that if A i a S, 15 i 5 m, is such that no A, contains any other, then max m=(aA). The theorem of Sperner has many applications in number theory; as far as I know these were first noticed by Behrend [2] and myself [8]. I asked 30 years ago several further extremal problems about subsets which also have number theoretic consequences. Let At a S, 15 i 5mi, assume that there are no three distinct A's so that Ai V A! = A,. I conjectured that
A simple algorithm for finding maximal network flows and an application to the Hitchcock problem
 CANADIAN JOURNAL OF MATHEMATICS
, 1957
"... ..."
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers
 In PACT `94: International Conference on Parallel Architectures and Compilation Techniques
, 1994
"... We present Resource Spackling, a framework for integrating register allocation and instruction scheduling that is based on a Measure and Reduce paradigm. The technique first measures the resource requirements of a program and then uses these measurements to distribute code for better resource alloca ..."
Abstract

Cited by 32 (7 self)
 Add to MetaCart
We present Resource Spackling, a framework for integrating register allocation and instruction scheduling that is based on a Measure and Reduce paradigm. The technique first measures the resource requirements of a program and then uses these measurements to distribute code for better resource allocation. The technique is general in that it is applicable to both local and global scheduling and the allocation of different types of resources. A program's resource requirements for both register and functional unit resources are first measured using a unified representation. These measurements are used to find areas where resources are either underutilized or overutilized, called resource holes and excessive sets, respectively. Conditions are determined for increasing resource utilization in the resource holes. A local scheduler that moves sets of instructions into resource holes to reduce the excessive sets for all resources is presented. We develop a global scheduling algorithm that mo...
On Linear Layouts of Graphs
, 2004
"... In a total order of the vertices of a graph, two edges with no endpoint in common can be crossing, nested, or disjoint. A kstack (resp... ..."
Abstract

Cited by 31 (19 self)
 Add to MetaCart
In a total order of the vertices of a graph, two edges with no endpoint in common can be crossing, nested, or disjoint. A kstack (resp...
Some Geometric Applications of Dilworth’s Theorem
, 1993
"... A geometric graph is a graph drawn in the plane such that its edges are closed line segments and no 3 vertices are collinear. We settle an old question of Avital, Hanani, Erdos, Kupitz and Perles by showing that every geometric graph with n vertices and m> k4n edges cent ains k+ 1 pairwise disjoint ..."
Abstract

Cited by 27 (11 self)
 Add to MetaCart
A geometric graph is a graph drawn in the plane such that its edges are closed line segments and no 3 vertices are collinear. We settle an old question of Avital, Hanani, Erdos, Kupitz and Perles by showing that every geometric graph with n vertices and m> k4n edges cent ains k+ 1 pairwise disjoint edges. We also prove that, given a set of points V and a set of axisparallel rectangles in the plane, then either there are k + 1 rectangles such that no point of V belongs to more than one of them, or we can find an at most 2. 105 ks element subset of V meeting all rectangles. This improves a result of Ding, Seymour and Winkler. Both proofs are based on Dilworth’s theorem on