This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
, the members of which they call (W, P)-matroids. The definition involves a certain minimality condition in
terms of Bruhat order on W1'. For the symmetric group W= E and P = {(i, i + 1): 1 < i < n - 1, i k}, the (W, P)-matroids are precisely the ordinary matroids of rank k given by their bases (as sets). The characterization of matroids obtained this way is equivalent to that of Gale (1968): for every
ordering of the ground set there is a point-wise minimal basis. For P = {(i, i + 1) : k + 1 5 i < n - 1 } the (W, P)-matroids are the Gaussian greedoids
of rank k given by their basic words. Taking W to be the symmetry group of a cube and for a certain choice of P, the (W, P)-matroids coincide with the symmetric matroids of Bouchet (1987). (For those who undertake to read the papers of Gel'fand and Serganova, let us point out that part (b) of Theorem
2 in (1987a) and the definition of Bruhat order given there are incorrectly stated.) Many details about (W, P)-matroids can also be found in Zelevinsky & Serganova (1989).
Exercises The following propositions, theorems, and lemmas which were stated without
proof or with incomplete proof in the text, make suitable exercises: 8.2.3, 8.2.7, 8.2.8, 8.4.1-8.4.5, 8.5.6, 8.6.1-8.6.3, 8.7.8, 8.7.9, 8.8.2, 8.8.4, and 8.9.6.
Introduction to Greedoids 8.1.
349
Show that a set system (E, J) is a greedoid if and only if it satisfies the two axioms:
(G1") 0 e y and for all X, Ye F such that Y c X there is an x e X - Y such that X - x E.F. (B) For any subset A c E all maximal feasible subsets of A have the same 8.2.
cardinality. (Korte & Lovasz, 1986a) Let
c 2E, and consider the following axiom.
(G2") If A 9E, x, y, z e E- A such that Au x, Au y, Au x u z e F, and
AuxuyoF, then AuyuzeF. Show that the axioms (G1) and (G2") together define greedoids. 8.3.
Prove the following sharpening of the strong exchange property (L2') of Proposition 8.2.5 for interval greedoids (E, .): let a, $E.,a=x1x2 ... among allstrings (i1, i2,..., ik) such that f3x;,x;Z ... x;, e £, the lexicographically first one satisfies i1 < i2 <
8.4.
8.5.
... < 'k(Korte & Lovasz, 1984a) Let E be finite and 9 s 2E a system of non-empty sets such that IAI = IBI and I A - BI = 1 imply A n B E Y, for all A, B eY. (a) Show that (E, 2E - Y) is a greedoid (called a paving greedoid). (b) Show that (E, 2E - Y) in general lacks the transposition property.
(Crapo, 1984; Korte & Lovasz, 1985c) Let (E, F) be a greedoid and sl = { u
' : F' c F}. Show that
(a) (E, .rat) is an antimatroid,
(b) .F s .4 c 9, if (E, f) is an interval greedoid, 8.6.
(c) both inclusions in part (ii) can be strict. Let IF = (V, E, r) be a finite, connected undirected graph with root r e V. Let (E, .fib) be the branching greedoid on F, and (V- r, 9s) the vertex search greedoid.
(a) The join irreducibles (elements covering exactly one element) in the poset (.yb, s:) are the paths in F starting at r. Hence, the join irreducibles form an order ideal in (b) The join irreducibles in (. , c) are the induced paths (i.e. without chords) in F, starting at r. (c) The meet irreducibles (elements covered by exactly one element) in (Fb, c) correspond to the bridges in F.
(d) The meet irreducibles in (. , 9) of corank at least 2 correspond to cut 8.7.
vertices in I ; those of corank 1 correspond to non-cut-vertices. (Korte & Lovasz, 1983) Show that the rank closure operator or of a greedoid G is monotone only if G is a matroid.
8.8.
(Schmidt, 1985a, b)
(a) Prove that directed and undirected branching greedoids satisfy a(X) r) (Y) S a(X u Y), for X, Ye F. (b) Show also that a(X u Y) c a(X) u e(Y) holds for directed branching greedoids, 8.9.
but not in general for undirected branching greedoids. (Schmidt, 1985a, b) The closure operator for greedoids, which is given by a(A) = u{X S E: r(A u X) = r(A)},
has some shortcomings (cf. section 8.4.B). As an alternative, the kernel closure operator A: 2E-+2E, defined by
Anders Bjorner and Gunter M. Ziegler
350
2(A) ='. { X e JIT: r(A u X) = r(A)},
has been proposed. Define the kernel of a subset A s E by ker(A) = u{X
X -A).
(a) Give a graph-theoretic description of a(A), 2(A), and ker(A) for a set A in a branching greedoid. Exemplify with a branching greedoid that A s.1(A) may fail.
(b) Show that the operators a, 2, ker: 2E-+2E satisfy the relations:
.1a=kera=2, aA=a ker = a. (c) Deduce that 22 = A (i.e. A is idempotent),
2a2=2,
ala=a. (d) There is a canonical bijection between a-closed sets and 2-closed sets, and r(2(A)) = r(a(A)) = r(A), for all A c E.
(e) In an interval greedoid $(2(A)) = r(A),
for all A c E.
(f) The kernel closure operator 2 is monotone if and only if (E, .F) is an interval greedoid. (g) For a-closed sets A, B eWe, A 5 B implies 2(A) c 2(B). The converse holds for interval greedoids, but fails in general.
8.10. (Korte & Lovasz, 1983) Show that the monotone closure operator µ of full greedoid (E, .F) satisfies µ(A) = A, for all A c E. 8.11. (Korte & Lovasz, 1989b) Let (E, #) and (E, .d) be respectively a matroid and an antimatroid on the same ground set E, with closure operators a.,,, and ad. Define a language (E, 2') by
2'={x1x2 ... xkeE*: x, ad(aa({x 1, ...,xi_1})) for all 1
then (E, .' r),4) = (E, .ill n s l*) = (E, _& A Q/*) for the antimatroid d* _ :.F' g; .,lf n .4 1.
(d) Show that if (E, .,#) is any matroid, and (E, sad) is a poset greedoid, then (E, .' A sad) is a Faigle geometry. (e) Show that every directed branching greedoid arises as a meet. (f) Show that every polymatroid greedoid arises as a meet. 8.12. (Korte & Lovasz, 1983) For a greedoid (E, F ), let A1, ..., A c E. A feasible system of representatives for {A 1, ..., A.1 in (E, F) is a set X e F for which there is a bijection ¢:X-+{A 1, ..., with xe4(x) for all xeX. Suppose that (E, F) is an interval greedoid and A 1, ..., A. are rank feasible.
Introduction to Greedoids
351
Show that {A1. ..., A"} has a feasible system of representatives if and only if r(Ai, u ... u Ajk) >_ k,
for all 1
(a) Prove that (E, f) is an antimatroid. (b) Prove that the class of such antimatroids is hereditary (i.e. closed under taking minors). 8.14. (Bjorner, Korte & Lovasz, 1985) Say that a greedoid (E, F) is weakly k-connected if r(E - A) = r(E) for all A S E with IAA < k. (a) Show that an undirected branching greedoid (or graphic matroid) is weakly k-connected if and only if the underlying graph is k-edge-connected.
(b) Show that the number of bases in a weakly k-connected greedoid of rank k+r 1 r is at least r 8.15. (Korte & Lovasz, 1989b) Let (E, F) be a greedoid and A a closure feasible
-
subset of E. Show that (E, F') is a full greedoid, but not in general an antimatroid, for
.F'=Fu{BcE: a(B)2A}. As a special case, conclude that every greedoid is a truncation of a full greedoid.
8.16. Let (E, f) be a greedoid of rank r. Show that (E, .`F) is the r-truncation
of an antimatroid if and only if for all X, Ye F , IX u YJ < r implies X u Ye F. In this case, construct the smallest and the largest antimatroid on E whose r-truncation is (E, F). 8.17. (Bjorner, Korte & Lovasz, 1985) Let (E, .fl be an interval greedoid. Show that (a) (E, F) is a matroid if and only if {x} e F for all x e U .F; (b) if A e F , then the free sets over A are the independent sets of a matroid. 8.18. (Korte & Lovasz,1986a) Show that an accessible set system with the transposition property (TP) of section 8.3.G is a greedoid.
8.19. (Korte & Lovasz, 1983; Goecke, 1986) Prove that a greedoid (E, F) has the interval property if and only if .FIX, =,FIX 2 for all subsets A 9 E and all bases X1 and X2 of A. 8.20. One might have hoped for the following weak form of greedoid duality: if -4 s 2E is the set of bases of a greedoid then {E - B: BE 9} is the set of bases of some other greedoid, not necessarily unique. Show that this is false. 8.21. Let r: 2E-.,2E be a closure operator on a finite set E. Show that i satisfies the anti-exchange condition if and only if every closed set other than 7(0) has at least one extreme point. 8.22. (Korte & Lovasz, 1984b) Let E be a finite set, and for each x e E let H(x) E- 2'- x be some set system. Define a left hereditary language 2'H = {x1x2 ...xk e ES : for all 15 i<- k and all A e H(xi), A$ {xi+ 1, ..., xk }}.
(a) Show that (E, 2H) is an antimatroid. (b) Show that every antimatroid arises in this way. (c) Suppose that (E, 2K) is an alternative precedence language determined by some system K. For each K(x) describe H(x) so that 2"H = YK
352
Anders Bjorner and Giinter M. Ziegler
8.23. For a full antimatroid (E, . ), let A consist of those subsets of E that are free and convex. Show that (a) A is a simplicial complex, (b) Y(-1) f = 0, where f is the number of sets in A of cardinality i, (c) A is contractible (in the topological sense). (d) Let h be the maximum cardinality of a set in A. Show that h is the Helly number of (E, F ), meaning that h is the least integer such that, for any family of convex sets, if each subfamily of size h has non-empty intersection then the whole family has non-empty intersection. (Part (b) is an unpublished theorem of J. Lawrence; see Edelman & Jamison (1985). The proof of Theorem 7.4 in Bjorner, Korte & Lovasz (1985) can be adapted to prove the contractibility of A. Part (d) is due to A. Hoffman and R. Jamison; see Edelman & Jamison (1985).)
8.24. (a) Show that the greedoid polynomial of the branching greedoid of a rooted connected graph is independent of the root. (b) Show that the analogous statement for the branching greedoid of a strongly connected digraph is false. 8.25. (Bjorner, 1985) Show that the poset representations of a greedoid form a lattice when they are ordered by (P1, A1) <--_ (P21 A2) if and only if there is a rank-preserving
poset map f: P1 P2 satisfying
for x, yeP1 and
x Show that every such map is necessarily surjective. Identify the universal representation (poset of flats) in terms of this lattice.
8.26. (Korte & Lovasz, 1983) According to Theorems 8.8.4 and 8.8.7, the poset of closed sets (We, <) of an interval greedoid is a semimodular lattice. Show that its meet operation is given by
AAB=a(AnB), A, Bele8. 8.27. Construct an infinite sequence of branching greedoids Gi, i = 1, 2, ..., such that G. is not a minor of G; for all i 0j. 8.28. Define a graph over the set M of bases of a greedoid G by letting (B1, B2) be an edge when 1B, - B21=1, B1, B2 e.4. (This graph contains the basis graph as a subgraph.) Prove the bounds
r - IAnBI <_d(A, B)<_r-r(AnB), for the graph distance d(A, B) between two bases A and B, where r = rank G. In particular, the diameter of the graph is at most r. 8.29. Define the basic word graph of a greedoid (E, 2') as follows. The vertices are the basic words, and two basic words are adjacent if the corresponding maximal chains in the poset (.F, s) differ in exactly one element (equivalently, if one arises from the other by exchanging two consecutive letters or by exchanging the last letter). (a) (Korte & Lovasz, 1985d) Show that the basic word graph is connected if (E, 2') is 2-connected.
(b) If (E, 2') is an antimatroid of rank r, show that the basic word graph is connected and has diameter at most
(r). This bound is best-possible.
8.30. (Korte & Lovasz,1984b) Show that convex pruning greedoids have the following
Introduction to Greedoids
353
property, not shared by general antimatroids: if (A u x, x) and (A u y, y) are rooted circuits, then there exists a unique subset A' s A such that (A' U x u y, y) is a rooted circuit.
8.31. For an antimatroid (E, .fl, let c be the minimum and C the maximum size of a circuit.
(a) (Bjorner, Korte & Lovasz, 1985) Show that (E, F) is k-connected if and only if C >_ k + 1.
(b) (Bjorner & Lovasz, 1987) Show that C -1 is the Caratheodory number of (E, F), i.e. the least integer such that if x lies in the convex hull of A c E, then there is some subset A' c A of size at most C -1 such that x lies in the convex hull of A'. 8.32. (Korte & Lovasz, 1984c) Let (E, F) be a greedoid. Given a linear objective function, the worst-out greedy algorithm starts with the complete ground set E and at each step eliminates the worst possible element so that the remaining set is still spanning (contains a basis). Show that every linear objective function can be optimized over (E, F) by the worst-out greedy algorithm if and only if the hereditary closure (E, . "(.F)) is a matroid.
8.33. (a) For an interval greedoid, show that every a-compatible linear objective function is compatible in the sense of Definition 8.5.1.
(b) Give an example of a non-interval greedoid and a linear function that is J?-compatible but not compatible. 8.34. (Serganova, Bagotskaya, Levit & Losev, 1988) Let F c 2E be an accessible set system. Show that the following are equivalent. (a) (E, F) is a Gaussian greedoid. (b) For any linear objective function the greedy algorithm constructs a sequence of sets Ai e.F, i = 1, ..., r, such that A; is optimal in the class = {X eF : IXI = i} for all i = 1, ..., r = max {IXI : X e F). (c)
For/ X, YCF, IXI = I YI + 1, there is an x e X - Y such that Yu x e F
and X - x e JF. (d) For X, Ye e F, IXI > I YI, there is a subset A c X - Y, JAI = IXI - I YI, such
that YuAeF and X-AeF. Furthermore, show that the condition IXI = I YI + 1 in (c) cannot be relaxed to IXI > I YI.
(The equivalence of (a), (b), and (c) is proved in the cited source. The same authors have subsequently proved (personal communication) the equivalence of (c) and (d), two versions of what they call the `fork axiom'. The equivalence of (a) and (b) was also observed by Brylawski (1991).) 8.35. Does there exist a non-Gaussian greedoid (E, F) for which the hereditary closure of the feasible i-sets, is a matroid, for i = 0, 1, ..., r = rank (,F)? The remaining three exercises concern non-simple greedoids (section 8.9.C). 8.36. (Bjorner, 1985, extending Korte and Lovasz, 1984a)
(a) Show that the greedy algorithm will optimize any compatible objective function w: 2'-> R over a polygreedoid (E, 2'). (b) Show that the greedy algorithm will optimize any generalized bottleneck function (defined in the proof of Theorem 8.5.2) over a greedoid, whether
354
Anders Bjorner and Gunter M. Ziegler
simple or not. 8.37. (Bjorner, 1985; extending Korte & Lovasz, 1984a) For multisets A, B: E--+N define inclusion A c B by A(e) < B(e) for all e e E, and cardinality JAI = LQEE A(e).
Identify elements eeE with their characteristic functions Xe: E-+{0, 1}. For a finite non-empty multiset system 31F S NE, E finite, consider the following axioms.
(P1) For all A e.F, A :AQ , there exists B c A such that IBI =JAI -I and B e .y .
(P2) If A, B e F and JAI > IBS, then there exists an element eeE such that A(e) > B(e) and B + e e F. Prove the following. (a) If (E, 2') is a polygreedoid, then the support 9 satisfies axioms (P1) and (P2). (b) If (E, F) is a multiset system satisfying (P1) and (P2) then the language
{x, xz ... x,, e E*: x... xi e .F for 1 < i< k} is a polygreedoid.
(c) These operations are mutually inverse: 2'(9) = 2' and =F. 8.38. A finite language 2 c E*, not necessarily simple, is called an A-language if it is hereditary (axiom (L1)) and satisfies the following axiom. (L2"') If a, ax, ocf e 2' and the letter x does not occur in Ji, then axfl, af3x e 2' and axfy e 2' if and only if afxy e 2', for all y e E*. Prove the following (cf section 8.9.C). (a) Every A-language is a strong greedoid. (b) Every graph chip firing language is an A-language. (c) A simple A-language is the same thing as an antimatroid.
References Bagotskaya, N. V., Levit, V. E. & Losev, I. S. (1988). On a generalization of matroids that preserves the applicability of the method of dynamic programming (in Russian), in Sistemy Peredachi i Obrabotki Informatsii, Chast 2, pp. 33-66, Institut Problem Peredachi Informatsii, Academy of Sciences, Moscow. Bagotskaya, N. V., Levit, V. E. & Losev, I. S. (1990a). Fibroids, Automatics and Telemechanics (translation of Russian journal Automatika i Telemechanika) (to appear). Bagotskaya, N. V., Levit, V. E. & Losev, I. S. (1990b). Branching greedy algorithm and its combinatorial structure, preprint. Birkhoff, G. (1967). Lattice Theory, Amer. Math. Soc. Colloq. Publ. XXV, 3rd edition. American Mathematical Society, Providence, Rhode Island. Bjorner, A. (1984). Orderings of Coxeter groups, in C. Greene (ed.), Proceedings of the A.M.S.N.S.F. Conference on Combinatorics and Algebra (Boulder, 1983), Contemporary Mathematics 34, pp. 175-95. American Mathematical Society, Providence, Rhode Island. Bjorner, A. (1985). On matroids, groups and exchange languages, in L. Lovasz & A. Recski (eds), Matroid Theory and its Applications (Szeged, 1982), Colloq. Math. Soc. Janos Bolyai 40, pp. 25-60. North Holland, Amsterdam and Budapest. Bjorner, A. & Lovasz, L. (1987). Pseudomodular lattices and continuous matroids, Acta Sci. Math. Szeged 51, 295-308. Bjorner, A., Edelman, P. & Ziegler, G. M. (1990). Hyperplane arrangements with a lattice of regions, Discrete and Comp. Geom. 5, 263-88. Bjorner, A., Korte, B. & Lovasz, L. (1985). Homotopy properties of greedoids, Adv. Appl. Math. 6, 447-94. Bjorner, A., Lovasz, L. & Shor, P. W. (1988). Chip-firing games on graphs, Europ. J. Comb. (to
Introduction to Greedoids
355
appear). Bland, R. G. & Dietrich, B. L. (1987). A unified interpretation of several combinatorial dualities, preprint, Cornell University. Bland, R. G. & Dietrich, B. L. (1988). An abstract duality, Discrete Math. 70, 203-8. Bollobas, B. (1978). Extremal Graph Theory, Academic Press, New York and London. Bouchet, A. (1987). Greedy algorithm and symmetric matroids, Math. Progr. 38, 147-59. Boyd, E. A. (1987a). Optimization problems on greedoids, Ph.D. Thesis, M.I.T. Boyd, E. A. (1987b). An algorithmic characterization of antimatroids, preprint, Rice University. Brylawski, T. H. (1991). Greedy families for linear objective functions, Studies Appl. Math. 84, 221-9. Brylawski, T. H. & Dieter, E. (1988). Exchange systems, Discrete Math. 69, 123-51. Chang, G. J. (1986). MPP-greedoids, Preprint 86436-OR, Institut fur Operations Research, Bonn. Chaudhary, S. & Gordon, G. (1991). Tutte polynomials for trees, J. Graph Theory (to appear). Colbourn, C. J. (1987). The Combinatorics of Network Reliability, Oxford University Press. Crapo, H. (1984). Selectors. A theory of formal languages, semimodular lattices, branchings and shelling processes, Adv. Math. 54, 233-77. Crapo, H. & Rota, G.-C. (1970). Combinatorial Geometries, M.I.T. Press, Cambridge, Mass. Dietrich, B. L. (1986). A unifying interpretation of several combinatorial dualities, Ph.D. Thesis, Cornell University. Dietrich, B. L. (1987). A circuit set characterization of antimatroids, J. Comb. Theory Ser. B 43, 314-21. Dietrich, B. L. (1989). Matroids and antimatroids - A survey, Discrete Math. 78, 223-37. Ding, L: Y. & Yue, M: Y. (1987). On a generalization of the Hall-Rado theorem to greedoids, Asia-Pacific J. Oper. Res. 4, 28-38. Dress, A. W. M. & Wenzel, W. (1990). Valuated matroids - a new look at the greedy algorithm, Appl. Math. Letters 3, 33-5. Duffus, D. & Rival, I. (1978). Crowns in dismantlable partially ordered sets, in Combinatorics (Keszthely, 1976), Colloq. Math. Soc. Janos Bolyai 18, Vol. I, pp. 271-92. North-Holland, Amsterdam. Dunstan, F. D. J., Ingleton, A. W. & Welsh, D. J. A. (1972). Supermatroids, in Combinatorics, Proceedings of the Conference on Combinatorial Mathematics (Oxford 1972), pp. 72-122. The Institute of Mathematics and Its Applications, Southend-on-Sea, U.K. Edelman, P. (1980). Meet-distributive lattices and the anti-exchange closure. Algebra Universalis 10, 290-9. Edelman, P. (1982). The lattice of convex sets of an oriented matroid. J. Comb. Theory Ser. B 33, 239-44. Edelman, P. (1986). Abstract convexity and meet-distributive lattices, Contemporary Math. 57, 127-50. Edelman, P. & Jamison, R. (1985). The theory of convex geometries, Geom. Dedicata 19, 247-70. Edelman, P. & Saks, M. (1986). Combinatorial representation and convex dimension of convex geometries, Order 5, 23-32. Edmonds, J. (1971). Matroids and the greedy algorithm, Math. Progr. 1, 127-36. Eriksson, K. (1989). No polynomial bound for the chip firing game on directed graphs, Proc. Amer. Math. Soc. (to appear). Faigle, U. (1979). The greedy algorithm for partially ordered sets, Discrete Math. 28, 153-9. Faigle, U. (1980). Geometries on partially ordered sets, J. Comb. Theory Ser. B 28, 26-51. Faigle, U. (1985). On ordered languages and the optimization of linear functions by greedy algorithms, J. Assoc. Comp. Mach. 32, 861-70. Faigle, U. (1987). Exchange properties of combinatorial closure spaces, Discrete Appl. Math. 15,240-60. Faigle, U., Goecke, O. & Schrader, R. (1986). Church-Rosser decomposition in combinatorial structures, Preprint 86426-OR, Institut fur Operations Research, Bonn. Gale, D. (1968). Optimal assignments in an ordered set: an application of matroid theory,
356
Anders Bjorner and Giinter M. Ziegler
J. Comb. Theory 4, 176-80. Gel'fand, I. M. & Serganova, V. V. (1987a). On the general definition of a matroid and a greedoid, Soviet Mathematics Doklady 35, 6-10. Gel'fand, I. M. & Serganova, V. V. (1987b). Combinatorial geometries and torus strata on homogeneous compact manifolds, Russian Math. Surveys 42, 133-68. Goecke, O. (1986). Eliminationsprozesse in der kombinatorischen Optimierung - ein Beitrag zur Greedoidtheorie, Dissertation, Universitat Bonn. Goecke, O. (1988). A greedy algorithm for hereditary set systems and a generalization of the Rado-Edmonds characterization of matroids, Discrete Appl. Math. 20, 39-49. Goecke, 0., Korte, B. & Lovasz, L. (1989). Examples and algorithmic properties of greedoids, in B. Simione (ed.), Combinatorial Optimization, Lecture Notes in Mathematics 1403, pp. 113-61. Springer-Verlag, New York. Goecke, O. & Schrader, R. (1990). Minor characterization of undirected branching greedoids - a short proof, Discrete Math. 82, 93-9. Goetschel, R. H. Jr. (1986). Linear objective functions on certain classes of greedoids, Discrete Appl. Math. 14, 11-16. Gordon, G. (1990). A Tutte polynomial for partially ordered sets, preprint, Lafayette College. Gordon, G. & McMahon, E. (1989). A greedoid polynomial which distinguishes rooted arborescences, Proc. Amer. Math. Soc. 107, 287-98. Gordon, G. & Traldi, L. (1989). Polynomials for directed graphs, preprint, Lafayette College. Graham, R. L. & Hell, P. (1985). On the history of the minimum spanning tree problem, Ann. History of Computing 7, 43-57. Hu, T. C. & Lenard, M. L. (1976). Optimality of a heuristic algorithm for a class of knapsack problems, Oper. Res. 24, 193-6. Iwamura, K. (1988a). Contraction greedoids and a Rado-Hall type theorem, Preprint 88502-OR, Institut fur Operations Research, Bonn. Iwamura, K. (1988b). Primal-dual algorithms for the lexicographically optimal base of a submodular polyhedron and its relation to a poset greedoid, Preprint 88507-OR, Institut fur Operations Research, Bonn. Iwamura, K. & Goecke, O. (1985). An application of greedoids to matroid theory, preprint, Josai University, Sakado, Saitama, Japan. Jamison, R. E. (1982). A perspective on abstract convexity: Classifying alignments by varieties, in D. C. Kay and M. Breem (eds), Convexity and Related Combinatorial Geometry, pp. 113-50. Dekker, New York. Korte, B. & Lovasz, L. (1981). Mathematical structures underlying greedy algorithms, in Fundamentals of Computation Theory (Szeged, 1981), Lecture Notes in Computer Science 117, pp. 205-9. Springer-Verlag, New York. Korte, B. & Lovasz, L. (1983). Structural properties of greedoids, Combinatorica 3, 359-74. Korte, B. & Lovasz, L. (1984a). Greedoids, a structural framework for the greedy algorithm, in W. R. Pulleyblank (ed.), Progress in Combinatorial Optimization, Proceedings of the Silver Jubilee Conference on Combinatorics (Waterloo, 1982), pp. 221-43. Academic Press, London,
New York, and San Francisco. Korte, B. & Lovasz, L. (1984b). Shelling structures, convexity and a happy end, in B. Bollobas (ed.), Graph Theory and Combinatorics, Proceedings of the Cambridge Combinatorial Conference in Honour of Paul Erdos (1983), pp. 219-32. Academic Press, New York and London. Korte, B. & Lovasz, L. (1984c). Greedoids and linear objective functions, SIAM J. Algebraic and Discrete Math. 5, 229-38. Korte, B. & Lovasz, L. (1985a). Posets, matroids and greedoids, in L. Lovasz & A. Recski (eds), Matroid Theory and its Applications (Szeged, 1982), Colloq. Math. Soc. Janos Bolyai 40, pp. 239-65. North Holland, Amsterdam and Budapest. Korte, B. & Lovasz, L. (1985b). Polymatroid greedoids, J. Comb. Theory Ser. B 38, 41-72. Korte, B. & Lovasz, L. (1985c). A note on selectors and greedoids, Europ. J. Comb. 6, 59-67. Korte, B. & Lovasz, L. (1985d). Basis graphs of greedoids and two-connectivity, Math. Progr.
Introduction to Greedoids
357
Study 24, 158-65. Korte, B. & Lovasz, L. (1985e). Relations between subclasses of greedoids, Z. Oper. Res. Ser. A 29, 249-67. Korte, B. & Lovasz, L. (1986a). Non-interval greedoids and the transposition property, Discrete Math. 59, 297-314. Korte, B. & Lovasz, L. (1986b). Homomorphisms and Ramsey properties of antimatroids, Discrete Appl. Math. 15, 283-90. Korte, B. & Lovasz, L. (1986c). On submodularity in greedoids and a counterexample, Sezione di Matematica Applicata, Dipartimento di Matematica, University di Pisa 127, 1-13. Korte, B. & Lovasz, L. (1989a). The intersection of matroids and antimatroids, Discrete Math. 73, 143-57. Korte, B. & Lovasz, L. (1989b). Polyhedral results for antimatroids, in Combinatorial Mathematics: Proceedings of the Third International Conference (1985), Annals of the New York Academy of Sciences 555, pp. 283-95. Korte, B., Lovasz, L. & Schrader, R. (1991). Greedoid Theory, Algorithms and Combinatorics 4, Springer-Verlag (to appear). Kung, J. P. S. (1983). A characterization of orthogonal duality in matroid theory, Geom. Dedicata 15, 69-72. Magazine, M., Nemhauser, G. L. & Trotter, L. E. (1975). When the greedy solution solves a class of knapsack problems, Oper. Res. 23, 207-17. Maurer, S. B. (1973). Matroid basis graphs I, II, J. Comb. Theory Ser. B 14, 216-40; 15, 121-45. Schmidt, W. (1985a). Strukturelle Aspekte in der kombinatorischen Optimierung: Greedoide auf Graphen, Dissertation, Universitat Bonn. Schmidt, W. (1985b). Greedoids and searches in directed graphs, Discrete Math. (to appear). Schmidt, W. (1985c). A min-max theorem for greedoids, Preprint 85396-OR, Institut fur Operations Research, Bonn. Schmidt, W. (1988). A characterization of undirected branching greedoids, J. Comb. Theory Ser. B 45, 160-84. Schrader, R. (1986). Structural theory of discrete greedy procedures, Habilitationsschrift, Universitat Bonn. Serganova, V. V., Bagotskaya, N. V., Levit, V. E. & Losev, I. S. (1988). Greedoids and the greedy algorithm (in Russian), in Sistemy Peredachi i Obrabotki Informatsii, Chast 2, pp. 49-52. Institut Problem Peredachi Informatsii, Academy of Sciences, Moscow. Tardos, G. (1988). Polynomial bound for a chip firing game on graphs, SIAM J. Discrete Math. 1, 397-8. Tarjan, R. E. (1983). Data structures and network algorithms, C.B.M.S-N.S.F. Regional Conference Series in Applied Mathematics 44, Society for Industrial and Applied Mathematics, Philadelphia. Welsh, D. J. A. (1976). Matroid Theory, Academic Press, London. White, N. (ed.) (1986). Theory of Matroids, Cambridge University Press. White, N. (ed.) (1987). Combinatorial Geometries, Cambridge University Press. Zelevinsky, A. V. & Serganova, V. V. (1989). Combinatorial optimization on Weyl groups, greedy algorithms and generalized matroids (in Russian), preprint, Nauchnyi Soviet po Kompleksnoi Probleme `Kibernetika', Academy of Sciences, Moscow. Ziegler, G. M. (1988). Branchings in rooted graphs and the diameter of greedoids, Combinatorica 8, 214-37.
Index
accessible kernel, 292 activity, 188 external, 188, 234, 268, 271, 313 internal, 188, 234, 257, 268 affine matroid, 165, 192 A-language, 354 Alexander duality, 278 algebra anticommutative, 265 exterior, 265 free Lie, 270 lattice-graded, 264-5 monoid-graded, 264 Orlik-Solomon, 265, 266, 270, 280, 281 Whitney homology, 259, 262, 266, 270, 280 algorithm breadth-first search, 311 depth-first search, 311, 345 Dijkstra's shortest path, 285, 311, 345 greedy, 284, 308, 309, 312, 345, 353 Kruskal's, 284, 311, 345 Prim's, 284, 313, 345 worst-out greedy, 353 a-sequence, 54 alternative precedence language, 322, 347, 351 alternative precedence system, 322, 323 antichain, 298 antimatroid, 291-2, 293-5, 301, 319, 322, 324, 332, 335, 344, 346, 347
arborescence, 295 argument complexity, 315, 346 atom, 109, 248 axiom anti-exchange, 320 exchange, 286, 288, 291, 293, 304, 318, 319, 323, 339 fork, 353 strong exchange, 349
basic word graph, 352 basis f-, 82 number of, 130, 187
of algebra, 266 of free group, 254, 257 of greedoid, 287 basis design, 69 basis-matroid (B-matroid), 80, 85 beta invariant, see invariant, beta Betti number, 253 bicircular matroid, 93, 96
bicycle, 91, 103
binary matroid, 204 block k-, 168
minimal k-, 168 normal, 175 of a partition, 107 supersolvable, 173 tangential k-, 168, 170, 172, 175, 207 tangential 1-, 168-70, 171 tangential 2-, 168-9, 176 block design, see design bond basic, 233 smallest, 182 spanning, 175 bottleneck function, generalized, 310, 345, 353 boundary, 253 Bruhat order, weak, 341
Caratheodory number, 353 Cauchy's theorem, 23 chain, 248 maximal, 250, 275 unrefinable, 249 chip firing game, 340-3, 348 chip firing language, 341, 354 choice function, 76 chromatic number, 165, 204 circuit, 325 basic, 233 broken, 189, 210, 233, 238, 266, see also
complex, broken circuit f--, 82
generalized, 143
359
Index
generic, 38 geometric, 38
rooted, 326-7 smallest, 182 circuit design, 69 circuit elimination, 40, 41 closure greedoid, 303 hereditary, 292 interval, 321 kernel, 345, 349 monotone, 304, 350 rank, 303, 349 transitive, 321 closure feasible, 305 closure operator, 82, 84, 114, 303, 319 code binary, 162, 185 dimension of, 181 distance of, 182 dual, 181 Hamming, 209 length of, 181 linear, 181 codeword, 182 coloop, 288 coloring proper 1-, 136 proper vertex, 136 two-variable, 156 vertex, 136 complementation, 317 complex acyclic, 253 broken circuit, 189, 238, 240, 241, 259, 268, 273, 274 Cohen-Macaulay, 267, 268 dual, 278, 318 matroid, 232, 234, 243, 255-9, 268, 271 non-spanning subset, 278, 280 order, 248, 259-60, 275 pure, 228, 232, 267 reduced broken circuit, 238-9, 256, 272 reduced rooted, 278 rooted, 273, 281 shellable, 229, 231, 252, 254, 267, 268, 269, 275, 318 simplicial, 227 spherical, 255 strongly connected, 271 components, number of, 133 compression, 10 concatenation, 288 cone, 228 conic-rigidity matroid, 27 connected, 145, 307 k-, 307-8, 335, 338, 345 k-edge-, 351 3-, 199 weakly k-, 351
connection, generalized parallel, 205 continuation, 307 contraction, 55, 82, 305 convex geometry, 320, 322, 344, 346 convex hull, 286, 294, 319, 322, 346 convex set, 294, 322 corank, 125 cotree, 202 cover, 109, 248 critical exponent, 163, 176 critical form, 36, 41 critical problem, 162 crossing, 161 cubic-rigidity matroid, 47 cycle, 253
elementary, 260, 261, 279 fundamental, 255, 257, 279
deletion-contraction, 126 dependence of bars, 9 design balanced incomplete block design (BIRD), 56 base, 69 circuit, 69 matroid, 69 perfect matroid, 54, 192 symmetric, 63 Dijkstra's algorithm, see algorithm, Dijkstra's
shortest path direct sum, 86, 306 distinguish, 162 distinguished edge, 150 distinguished element, 150 Dowling geometry, 172, 185 duality, 317-9, 346 Alexander, 278 geometric, 138, 159, 204 dynamic programming, 346 edge labeling, 248, 250, 269, 275, 290, 329 Edmond's covering theorem, 178 embedding, 192 equicardinal matroid, 68
Euler characteristic, 228, 238, 241 exchange property, see axiom, exchange exponent, 64 critical, 163, 176 extension, series-parallel, 199 extreme point, 320, 351
f-bases, 82 f-circuit, 82 f-independent set, 82 f-vector, 230-1
face enumerator, 228, 240 face number, 228, 240, 241, 245 faces, 228 facet, 228
factor matroid, 96 Faigle geometry, 297-8, 301, 344
360
Fano matroid, 169 feasible set, 287 feasible system of representatives, 350 fibroid, 346 finitary matroid, 74 finite character, 74 5-flow conjecture, 142 flat, 328 cyclic, 180 modular, 173, 205 number of rank 1, 133 flow
H-, 138 k-, 141
nowhere-zero, 138 2-variable, 159 flow polynomial, 139 Four Colour theorem, 138, 162, 206, 210 frame infinitesimally rigid, 48 isostatic, 48 k-, 47 2-, 7 framework bar, 1 bar and body, 48 body and hinge, 49 in 3-space, 16-23 infinitesimally rigid, 3, 8, 11, 16, 48 isostatic, 6, 7, 16-19, 44, 45, 48 non-rigid, 4 rigid, 1 simple, 50 statically rigid, 10, 11, 16 free set, 307, 325, 351 fundamental recursion, 126 gammoid, 133, 179 Gaussian coefficient, 192 girth, 243 graph basis, 337, 348, 352 bipartite, 42, 44 bond, 179 conic-independent, 24, 41, 46 conic-rigid, 26, 37, 46 facet, 269
generic plane geometric, 24 homeomorphic, 93 medial, 160, 204 of isostatic framework, 6, 36, 37, 43 orientation of, 138 Peterson, 142, 169 planar, 11 plane geometric, 24 regular, 100 Turan, 195, 211 vertex 3-connected, 11 wheel, 103, 177, 200 whirl, 176-7
Index
graphic matroid, 91 graphical statics, 40 greedoid, 271, 286, 289, 301 alternative precedence structure, 343 anti-exchange, 343 blossom, 345 branching, 295-6, 330, 338, 344, 349 convex pruning, 294, 301, 323, 326, 352 directed branching, 295, 297, 301, 336, 350 dismantling, 298, 301, 344 ear decomposition, 345 edge pruning, 294 full, 292 Gaussian, 301, 318, 344, 345, 346, 348, 353
Gaussian elimination, 300 hereditary, 286 hereditary class of, 336 hereditary closure of, 312 infinite, 343 interval, 271, 290-2, 300, 301, 331, 332, 333, 335, 336
interval closure, 326 line search, 295 local poset, 296, 301, 335, 336, 337, 344 medieval marriage, 300, 301, 344 non-simple, 339, 340, 348 `ordered' version, 288-90 paving, 349 perfect elimination, 345 poly-, 339, 341, 348, 353, 354 polymatroid, 297, 301, 336, 344, 350 poset, 294, 297, 301, 323, 325, 326, 335 retract, 298-9, 301, 344 series-parallel, 345 simple, 339 simplicial vertex pruning, 294 strong, 339, 342, 354 transposition, 299-300, 301, 344 undirected branching, 287, 295, 297, 301, 336, 337
`unordered' version, 286-8 upper interval, 343 vertex pruning, 294, 326 vertex search, 294, 301, 323, 349 greedoid closure, 303 greedoid language, 288, 289 greedoid optimization, 309 greedoid polynomial, 313, 316-17, 318, 352 greedy algorithm, see algorithm, greedy group chain, 209 Coxeter, 341, 348 symmetric, 341 group invariant, 129, 197 growth rate, 178
h-vector, 230-1,242,244,247,267,268,274,275 Hadwiger's conjecture, 162, 206 Hall triple system, 65 Hamming ball, punctured, 184
Index
Helly number, 352 Henneberg sequence, 43, 44 homogeneous, 264 homology, 252-3, 256, 269, 275 of partition lattices, 270 order, 270 homology group, 253 homotopy theorem, 267 hyperplane, modular, 176 hyperplane arrangement, 189, 210 central, 190 hyperplane-separable subset, 191, 211
ideal (of a poset), 294 ideal rank function, 298 idempotent, 81, 303 incidence structure, 32 independence numbers, 243, 268 independence space, 74 circuit axioms for, 75 strong circuit axioms for, 75 independent sets, number of, 130 independent transversal, 77 infinite matroid, 280 intersection theory, 192-6 interval property, 290 without lower bounds, 293 without upper bounds, 291 invariant beta, 128, 132, 191, 192, 199, 241 generalized T-G, 124 geometric T-G, 199 group, 129, 197 isomorphism, 123 knot, 188 of a greedoid, 316-17
T-G (=Tutte-Grothendieck), 124 T-G group, 129 Tutte, 130 isthmuses, number of, 133 Johnson association scheme, 58 join lattice, 107 of simplicial complexes, 256, 272
knot invariant, 188 Kruskal's algorithm, see algorithm, Kruskal's Laman's theorem, 40 language, 288 exchange, 288 geodesic, 342 greedoid, 288, 289 hereditary, 288 pure, 289 lattice atom-ordered, 248, 265, 272 complemented, 109 complete, 107
361
congruence, 118 distributive, 276, 294, 323, 324, 335 four-generated, 107, 110, 115 free, 116 geometric, 109, 114, 190, 248, 265
graded, 323 join-distributive, 323-4, 330, 347 modular, 117 partition, 106, 107, 110, 112, 276, 277 relatively complemented, 119 semimodular,109,113,277,324,332,333,335 simple, 109 subdirectly irreducible, 115 subgroup, 113, 116 subspace, 269, 276 supersolvable, 272, 275 three-generated, 115 lattice embedding, 106, 108, 112, 113 lattice join, 107 legal move, 340 length, 288 lexicographic order, 233 link, 21, 45 load
equilibrium, 10 resolved, 10
loop, 64, 288 number of, 133
M-space, planar, 69 MacWilliams duality formula, 184, 194 manifold simplicial 4-, 45 simplicial 4-pseudo-, 45 strongly connected, 45 matrix cardinality-corank, 157, 184, 193, 211 conic-rigidity, 24-7 cubic-rigidity, 47 generating, 181 intersection, 192 rigidity, 2, 3, 7, 11, 16, 48 matroidal family of digraphs, 101 of graphs, 91, 92 Maxwell's theorem, 13, 14, 24 meet, 107 meet-semilattice, 332 minor, 305, 347 excluded, 335-7, 347 minor-closed, 305, 347 Mobius function, 57, 131-2, 147, 160, 190, 191, 240, 251, 259, 275
Mobius invariant, 242, 245 monochromatic edge, 156 monotone, 302 motion infinitesimal, 2, 3, 7, 39, 47-8, 49 trivial, 3, 48 Moufang loop, commutative, 54, 64
Index
362
nbc-basis, 233, 239, 252, 259, 261 reduced, 239 neat base-family, 272, 279
objective function, 309 compatible, 309, 353 linear, 311, 312, 345, 353 R-compatible, 312 stable, 309 1-truncation, 54 operator, 82 optimization, greedoid, 309 order embedding, 108 order filter, 321 ordered matroid, 232 ordered sum, 306 orientation (of a graph), 138 acyclic, 146, 211 totally acyclic, 159, 202 oriented matroid, 267, 346
Orlik-Solomon algebra, see algebra, Orlik-Solomon orthogonality function, 79 parallel redrawing, 36, 41, 50 trivial, 36 parallel redrawing matroid, 39 parallel redrawing polymatroid, 50 partial alphabet, 296 partition, 107 compact, 109 Eulerian, 161 partition lattice, see lattice, partition pathic matroid, 96 percolation, 149 picture elementary plane, 29 plane, 32, 37 simple, 35, 50 sharp, 35, 50 picture matroid, 31, see also scene analysis
matroid
pointed matroid, 135, 150 polychromate, 195, 215 polyhedron basis, 348 oriented, 43 projection of, 12 spatial, 12-15 3-connected abstract spherical, 11, 14 toroidal, 44 polymatroid, 50, 296, 298, 301, 339 polynomial cardinality-corank, 136, 158, 194 characteristic, 131,136,166,240,267,268,272 chromatic, 136, 146, 160, 268 coboundary, 157, 193 codeweight, 182 corank-nullity, 125 dual coboundary, 159
flow, 139
greedoid, see greedoid polynomial Hilbert-Poincare, 266 intersection, 192 pointed Tutte, 135, 150 rank generating, 124 shelling, see shelling polynomial Tutte, 127,133,197,236, 237, 268, 314-16, 346 poset, 321
labeled, 327 of closed sets, 331, 347, 352 of flats, 328-9, 331, 347 semimodular, 332 universal, 329 poset property, 334 poset representation, 327, 329, 347, 352 pre-independence space, 74 Prim's algorithm, see algorithm, Prim's projection of a polyhedron, 12 pure condition, 37, 39, 41 q-lift, 172
quasigroup, 64 quotient, 172, 207 GF(q)-vector, 208 Rado's selection principle, 76 random submatroid, 128, 150 rank, 78 basis, 304 of Abelian group, 253 of greedoid, 287, 289, 302 rank feasible, 304 rank-selected subposet, 252, 270, 275 region, 190 regular matroid, 205 reliability, 346 network, 149 of matroids, 150 restriction, 55, 75, 82, 305 induced by shelling, 229, 251, 254 retention probability, 150, 203 retract, 298, 299 monotone, 298 rigidity matroid, generic, 5, 17 root, 325 S-closure, 144 scene sharp, 34 spatial, 29, 32 trivial, 30 scene analysis matroid, 39, 41
see also picture matroid score, 148 score vector, 148, 155 screw center, 49
search algorithm, see algorithm, breadth-first search and depth-first search selector, 343, 347
Index
self-stress, see stress semi-lattice, geometric, 278 semimodular function, 7, 40, 41, 42
series-parallel extension, 199 network, 153-4, 170 set system, 286 accessible, 287 shellable complex, see complex, shellable shelling, 228, 233, 239, 250, 254 lexicographic, 268, 269 shelling polynomial, 230, 236, 240, 318 shelling structure, 343 shuffle, 263, 306 simplices, 228 simplicial complex, see complex, simplicial simplicial matroid, 267 simplification, 238 sink, 147 6-flow theorem, 142 size function, 178 slimmed matroid, 344 slimming, 293, 296 source, 147 spanning set, 313-15 number of, 130
special position, 36-9 Sperner lemma, 267 Sperner property, 56 spline, 24-9, 41 spline matroid, 24-5, 29, 39 splitter, 206 Stanley-Reisner ring, 268 star, 21 Steiner system, 55, 60 Stirling number, 192, 194 stress, self-, 9, 11-15, 24, 39 subcardinal, 302 subdegree, 315 sublattice, 112 order, 112 {0, 1}, 117 submodular, 302 subscheme, 61 subword, 291 supersolvable matroid, 173 support, 144, 288, 340 symmetric matroid, 348
tension, 10
363
tensor product, 203 ternary matroid, 177 3-sum, 202, 206 tie down factor, 37 Tits building, 269 trace, 325 transposition property, 299, 351 transversal, independent, 77 transversal matroid, 31, 96, 133, 179, 208 presentation of, 180 principal, 179 tree, minimal spanning, 311 triffid, 55, 60, 64, 65 trimmed matroid, 344 truncation, 40, 306, 351 complete principal, 173 Dilworth, 7 Turin's theorem, 195 Tutte-Grothendieck invariant, 346 Tutte's 5-flow conjecture, 142 Tutte's 4-flow conjecture, 143 Tutte's tangential 2-block conjecture, 169 twisted matroid, 293, 299, 301, 344 2-partitionable matroid, 279 2-sum, 205
uniform matroid (on upper intervals), 69, 192, 212
unimodality, 268, 274 union, matroid, 40 unit increase, 302 vertex, contact, 143 vertex split, 19, 21, 41, 45 voltage-graphic matroid, 96 weight, 182 wheel, 103, 177, 200
whirl, 176-7 Whitney homology, see algebra, Whitney homology Whitney number of the first kind, 57, 189, 193, 212, 241, 245, 262, 268, 273 of the second kind, 57, 192, 212, 274 word, 288 basic, 289, 309 feasible, 289 simple, 288, 339 (W, P)-matroid, 348