• No results found

Notes on polyhedra associated with hop-constrained paths

N/A
N/A
Protected

Academic year: 2022

Share "Notes on polyhedra associated with hop-constrained paths"

Copied!
7
0
0

Laster.... (Se fulltekst nå)

Fulltekst

(1)

UNIVERSITY OF OSLO Department of Informatics

Notes on polyhedra associated with

hop-constrained paths

Geir Dahl

Report 256,

ISBN 82-73-68-179-3

December 1997

(2)
(3)

hop-constrained paths

Geir Dahl

December 1997

Abstract

We study the dominant of the convex hull ofst-paths with at mostk edges in a graph. A complete linear description is obtained fork3and a class of facet dening inequalities fork4is given.

Keywords: hop-constrainedpaths,polyhedra.

1 The

k

-path polyhedron

In connection with routing in communication networks it may be important to have communication paths with few edges in order to avoid unacceptable delay. A basic problem here is to nd a shortestst-path with at mostkedges, wherek is a specied hop-parameter and where edge weights are nonnegative.

This problem, the k-hop shortest path problem, may be solved eciently by dynamic programming using for example a truncated version of the Bellmann- Ford algorithm (see Lawler [4]). The purpose of this note is to make some polyhedral investigations related to this problem.

For constrained shortest path problems (algorithms and applications) we refer to Ahuja et al. [1] and [4]. Exact extended formulations of the problem are studied in Gouveia [3]. In Coullard et al. [2] a closely related problem is studied from a polyhedral point of view (considering directed graphs and walks with exactlyk arcs).

Let G = (V, E) be an undirected graph, k a positive integer and s and t two distinct nodes in G. An st-path (i.e., a path inG between s and t with nonrepeating nodes) havingat mostkedges is called ak-path, andΣk(G)is the set of subsetsFofEfor which the subgraph(V, F)contains ak-path. Consider thek-path polyhedron

Mk(G) =conv{χF :F Σk(G)}+ IRE+. (1)

University of Oslo, Dept. of Informatics, P.O.Box 1080, Blindern, 0316 Oslo, Norway.

(Email:[email protected])

1

(4)

This is the dominant of the convex hull of incidence vectors ofk-paths. Through- out we assume thatGcontains at least one k-path. Moreover, paths are viewed as edge sets.

Recall that an st-cut is an edge set C of the formC = δ(W) = {[i, j]

E: iW, j6∈W}where W is a node set containingsbut nott. Consider a partitionV0, . . . , Vk+1 ofV where the sets are nonempty and pairwise disjoint and s V0, t Vk+1. Dene T = T(V0, . . . , Vk+1) as the set of edges [u, v]

whereuVi andvVj for somei < j+ 1. We callT ak-path-cut. Note that eachst-pathP inGwith PT =must contain at leastk+ 1edges, namely one edge in each of the sets[Vi, Vi+1]for i= 0, . . . , k.

Lemma 1.1

LetF E. ThenF Σk(G)if and only ifF intersects every cut and everyk-path-cut.

Proof.

IfF Σk(G), thenF clearly intersects everyst-cut and, as remarked above, it must also intersect everyk-path-cut. To prove the converse, assume that F 6∈ Σk(G). If (V, F) does not contain an st-path there must exist an

st-cutC with FC=and we are done. Otherwise, there is an st-path but all such paths have at least k+ 1edges. For i= 0, . . . , k letVi consist of the nodes with distanceifroms(distance means minimum number of edges in a path joiningsand the node in question). Let Vk+1=V \ ∪ki=0Vi and observe thatt Vk+1. By construction there is no edge inF joining a node inVi and a node inVj where j > i+ 1, i.e., F T(V0, . . . , Vk+1) = and the proof is complete.

A consequence is that a valid integer linear programming formulation of the shortestk-path problem with nonnegative weightscij for[i, j]E is: minimize

P

[i,j]Ecijxij subject to (i) x(C) := P[i,j]Cxij 1 for each st-cut C, (ii)

x(T)1for each k-path-cut T, and (iii)xij ∈ {0,1}(or xij 0and integer).

We call each inequality in (i) resp. (ii) a cut inequality resp. a k-path-cut inequality.

Example.

Consider the complete graph on 5 nodes v0, . . . , v4 with s =

v0, t = v4 and k = 3. Then the valid inequality x(T) 1 where T = E\

{[v0, v1],[v1, v2],[v2, v3],[v3, v4]}is a3-path-cut inequality corresponding to the choice Vi = {vi} for i = 0, . . . ,4. In fact, a complete linear description of the3-path polyhedron for this graph consists of nonnegativity constraints, cut inequalities and3-path-cut inequalities.

2 Completeness for

k 3

Up to scaling there is a unique minimallinear system of inequalities with solution set Mk(G). This follows from the fulldimensionality of the polyhedron (recall that Gis assumed to have a k-path). Each inequality in this system which is not a nonnegativity constraint has the formPeEaexeαwhereαandaefor eacheE are integral andae0andα1. These properties hold for all G andk. We next determine a complete linear description ofMk(G)for arbitrary

(5)

Gbut withk3. Fork= 1one easily proves thatM1(G)is the solution set of

xst1,xe0for eacheE\ {st}.

Dene a2-staras a subset ofE of the formT(S1, S2) ={[s, t]} ∪ {[s, v] :v

S1} ∪ {[t, v] :vS2}whereS1S2=V \ {s, t}andS1S2=. In particular, the starsδ(s) (all edges incident to s) andδ(t) are2-stars. Moreover T E is a2-star if and only ifT is either a star or a 2-path-cut T(V0, . . . , V3) with

V0 ={s}and V3 ={t}. It follows that for each2-starT the2-star inequality

x(T)1is valid forM2(G).

Proposition 2.1

For any graphGa complete linear description ofM2(G)con- sists of the nonnegativity constraints and the 2-star inequalities x(T) 1 for each2-star T.

Proof.

Each 2-path is either the single edge [s, t] or of the form [s, v],[v, t]

for some v V \ {s, t}. Let E1 be the union of these edge sets, and dene the corresponding subgraph G1 = (V, E1). It is easy to see that a complete linear system for M2(G) consists of the inequalities xe 0 for each e E\

E1 together with the inequalities in a complete linear description of M2(G1). Note that inG1 all st-paths are 2-paths and it is well known that a complete linear description of the dominant of the convex hull ofst-paths (in any graph) consists of nonnegativity constraints and cut constraints. But we observe that cut constraints in G1 coincide with 2-star inequalities in G, and the proof is complete.

This result may also be obtained after some calculation using projection techniques (as Fourier-Motzkin elimination). If U and W are node sets we denote the set of edges with one end node inU and the other inW by[U, W]. A pointx¯is called arootof an inequalityaTxαifaTx¯=α.

Proposition 2.2

For any graphGa complete linear description ofM3(G)con- sists of the nonnegativity constraints, the cut inequalities and the 3-path-cut inequalities.

Proof.

For notational simplicity we assume that Gis a complete graph. Let

aTxαbe a facet dening inequality forM3(G)which is not a nonnegativity constraint. As remarked above, we may assume that ae 0 and α 1 are integral. Let M be the induced facet. Dene V1 = {v V : asv = 0},

V2={vV :atv= 0}andV3 ={vV :asv >0, atv>0}. Then these three sets are a partition ofV\{s, t}(for ifvV1V2thenα= 0). Moreover,ast=α as validity ofaTx α implies ast α and if this inequality were strict each point inMwould satisfyxst= 0(contradicting thatM3(G)is fulldimensional andMa facet). Similarly,we obtainae=αfor eache[V1, t][s, V2][V1, V2]. LetW =V1∪ {s}. If there is no edgee[V1, V3]with ae= 0 we see that each root ofaTxαsatisesx(δ(W)) = 1and sinceMis a facet we conclude thataTxαis a positive multiple ofx(δ(W))1. Alternatively, there exists ane[V1, V3], saye= [u, v]withuV1,vV3 and ae= 0.

We claim that asv =avt = αand avw = 0 for allw V1V2. From the

3-path [s, u],[u, v],[v, t]we see that avt α and equality holds for the same 3

(6)

reason as given in the rst paragraph of the proof. LetwV1\ {u}. The edge

[v, w] must lie in some root and since asv >0and awt=α, the only possible choice is the3-path[s, w],[w, v],[v, t]. From this we conclude thatavw = 0for allwV1. Let W =V1∪ {s, v}. If each root ofaTxαsatisesx(δ(W)) = 1 we are done (as above), so we may assume that there is anF Σ3(G) with more than one edge inδ(W)and withPeFae=α. It is easy to see that the only possibility is thatF contains a3-path [s, w],[w, v],[v, t]for some wV2. This implies thatavw = 0. From this we obtain, as above, that asv =αand also thatavv0 = 0for allv0 V2. This proves the claim.

Finally we prove thatV3 ={v} (wherev was dened above). Assume not, and let w V3\ {v}. Consider the edge e= [v, w]. Since asv =asw =avt =

awt=αthere is no root containinge; a contradiction. ThusV3={v}and the inequalityaTxαis a positive multiple of a3-path-cut inequality.

Thus, fork3and for all graphsGnonnegativity constraints, cut inequal- ities andk-path-cut inequalities are sucient to describe Mk(G), and we note that all these inequalities are rank inequalities. This is not true fork4and general graphs as seen next.

Letn3and dene Gn to be the graph with nodesv0, . . . , vn, w1, . . . , wn

and edges[vi1, wi],[wi, vi]and[vi1, vi]fori= 1, . . . , n. Consider thetriangle-

path inequality n

X

i=1

xvivi+1n1. (2)

This inequality is valid for Mn+1(Gn) (so here k = n+ 1) and it is easy to verify that it denes a facet ofMn+1(Gn). LetGbe a graph obtained fromGn by adding some edges. Then (2) may be lifted (using standard techniques, see Nemhauser and Wolsey [5]) to obtain a facet forMn+1(G). Such a facet has right hand siden1and coecients lying in the set {0,1, . . . , n1}. As an example, if n = 4 and edges are added so G is a complete graph, then such a lifted inequality has coecients 0, 1, 2 and 3. Thus, for k 4, the facial structure of the polyhedronMk(G)may be rather complex.

Acknowledgment.

The author wishes to thank Luis Gouveia for interest- ing discussions in connection with this work.

References

[1] R. K. Ahuja and T. L. Magnanti and J. B. Orlin. Network ows: theory, algorithms, and applications. Prentice-Hall, Englewood Clis, New Jersey, 1993.

[2] C. R. Coullard and B. A. Gamble and J. Liu. The k-walk polyhedron. In Advances in optimization and approximation, Nonconvex Optim. Appl. , Vol. 1, Du, Ding-Zhu et al. (eds), p. 929. Kluwer Academic Publishers, 1994,

(7)

[3] L. Gouveia. Using variable redenition for computing minimum spanning and Steiner trees with hop constraints. Faculdade de Ciéncias da Univer- sidade de Lisboa, Centro de investigação operacional, Lisboa, Portugal.

Report 2, 1996.

[4] E. L. Lawler. Combinatorial optimization: networks and matroids. Holt, Rinehart and Winston, 1976.

[5] G. Nemhauser and L. A. Wolsey. Integer and combinatorial optimization. Wiley, 1988.

5

Referanser

RELATERTE DOKUMENTER

– The UTISØR programme issued an announcement of additional funding for internationalisation and dissemina- tion activities under the projects, and the programme board

Given an embedded graph G on P , as well as k pairs of vertices (called terminals), a solution to this problem is a set of paths that connect their respective pairs of terminals,

up-tables. These data paths are effected as narrow fixed-point vectors for design simplicity. Narrow data paths do not impair the quality of the generated images

Once the most important path is found, the multiple scattering contributions are only computed along the most probable paths and the rest of the paths are dealt with implic- itly

It executes the graphics programs associated with a determined state of the visual score and generates the dynamic shapes associated with motion paths.. Rendering is done using

In this section, we give a short overview of modern GPUs, a review of the transitive closure and the all-pairs shortest- path algorithms, and describe a memory layout of the graph

Given that the the caustic paths due to smooth dielectric and conductors are dominant (in the case of the tank all transport is caustic), we use a stochastic progressive [HJ09,

However, this measure alone won’t properly determine areas of interest, as it is to be expected that zones with a lot of vertices each with high walkability would be considered