References

Aarts, E. and Lenstra, J. K (1997): Local Search in Combinatorial Optimization. Wiley, New York.

Abu-Sbeih, M. Z. (1990): On the number of spanning trees of Kn and Km,n' Discr. Math. 84, 205-207.

Aho, A. V., Hopcroft, J. E. and Ullman, J. D. (1974): The Design and Analysis of Computer Algorithms. Addison Wesley, Reading, Mass.

Aho, A. V., Hopcroft, J. E. and Ullman, J. D. (1983): Data Structures and Algo­rithms. Addison Wesley, Reading, Mass.

Ahuja, R. K, Goldberg, A. V., Orlin, J. B. and Tarjan, R. E. (1992): Finding minimum-cost flows by double scaling. Math. Progr. 53, 243-266.

Ahuja, R. K, Kodialam, M., Mishra, A. K and Orlin, J. B. (1992): Computa­tional testing of maximum flow algorithms. Sloan working paper, Sloan School of Management, MIT.

Ahuja, R. K, Magnanti, T. L. and Orlin, J. B. (1989): Network flows. In: Handbooks in Operations Research and Management Science, Vol 1: Optimization (Eds. G. L. Nemhauser, A. H. G. Rinnooy Kan and M. J. Todd). North Holland, Amster­dam, pp. 211-369.

Ahuja, R. K, Magnanti, T. L. and Orlin, J. B. (1991): Some recent advances in network flows. SIAM Review 33, 175-219.

Ahuja, R. K, Magnanti, T. L. and Orlin, J. B. (1993): Network Flows: Theory, Algorithms and Applications. Prentice Hall, Englewood Cliffs, N.J.

Ahuja, R. K, Mehlhorn, K, Orlin, J. B. and Tarjan, R. E. (1990): Faster algorithms for the shortest path problem. J. ACM 37, 213-223.

Ahuja, R. K and Orlin, J. B. (1989): A fast and simple algorithm for the maximum flow problem. Oper. Res. 37, 748-759.

Ahuja, R. K and Orlin, J. B. (1992): The scaling network simplex algorithm. Oper. Res. 40, Supp!. 1, pp. S 5 - S 13.

Ahuja, R. K and Orlin, J. B. (1995): A capacity scaling algorithm for the con­strained maximum flow problem. Networks 25, 89-98.

Ahuja, R. K, Orlin, J. B., Stein, C. and Tarjan, R. E. (1994): Improved algorithm for bipartite network flow. SIAM J. Computing 23, 906-933.

Ahuja, R. K, Orlin, J. B. and Tarjan, R. E. (1989): Improved time bounds for the maximum flow problem. SIAM J. Compo 18, 939-954.

Aigner, M. (1984): Graphentheorie. Eine Entwicklung aus dem 4-Farben-Problem. Teubner, Stuttgart.

Aigner, M. (1997): Combinatorial Theory. Springer, New York. Alon, N. (1990): Generating pseudo-random permutations and maximum flow al­

gorithms. Inform. Proc. Letters 35, 201-204. Alth6fer, I. (1988): On optimal realizations of finite metric spaces by graphs. Discr.

and Comput. Geom. 3, 103-122.

552 References

Anderson, I. (1990): Combinatorial Designs: Construction Methods. Ellis Horwood Ltd., Chichester.

Anderson, I. (1971): Perfect matchings of a graph. J. Comb. Th. 10, 183-186. Anderson, L. D. (1977): On edge-colorings of graphs. Math. Scand. 40,161-175. Anderson, S. S. and Harary, F. {1967}: Trees and unicyclic graphs. Math. Teacher

60, 345-348. Anstee, R P. (1985): An algorithmic proof of Tutte's f-factor theorem. J. Algor. 6,

112-131. Appel, K. and Haken, W. {1977a}: Every planar map is 4-colorable - 1: Discharging.

Illinois J. Math. 21, 429-490. Appel, K. and Haken, W. {1977b}: Every planar map is 4-colorable - 2: Reducibility.

Illinois J. Math. 21, 491-567. Applegate, D., Bixby, R, Chvatal, V. and Cook, W. (1995): Finding cuts in the

TSP (A preliminary report). DIMACS Technical Report 95-05, March 1995. Applegate, D. and Cook, W. (1993): Solving large-scale matching problems. In:

Network Flows and Matching (Eds. D. S. Johnson and C. C. McGeoch). Amer. Math. Soc., Providence, pp. 557-576.

Arkin, E. M. and Papadimitriou, C. H. (1986): On the complexity of circulations. J. Algor. 7, 134-145.

Arora, S., Lund, C., Motwani, R, Sudan, M. and Szegedy, M. (1992): Proof ver­ification and hardness of approximation problems. Proc. 33th IEEE Symp. on Foundations of Computer Science, pp. 14-23.

Arora, S. and Safra, S. (1992): Probabilistic checking of proofs: A new characteri­zation of NP. Proc. 33rd IEEE Symp. on Foundations of Computer Science, pp. 2-13.

Ausiello, G., Italiano, G. F., Marchetti Spaccamela, A. and Nanni, U. (1991): In­cremental algorithms for minimal length paths. J. Algor. 12, 615-638.

Avis, D. (1978): Two greedy heuristics for the weighted matching problem. Congr. Numer. 21, 65-76.

Avis, D. (1983): A survey of heuristics for the weighted matching problem. Networks 13, 475-493.

Babai, L., Fortnow, L., Levin, L. A., and Szegedy, M. (1991): Checking computa­tions in polylogarithmic time. Proc. 23rd ACM Symp. on Theory of Computing, pp. 21-31.

Babai, L., Fortnow, L. and Lund, C. (1991): Nondeterministic exponential time has two-prover interactive protocols. Comput. Complexity 1, 3-40.

Bii.bler, F. (1953): Uber eine spezielle Klasse Eulerscher Graphen. Comment. Math. Helv. 21, 81-100.

Bachem, A. and Kern, W. (1992): Linear Programming Duality. An Introduction to Oriented Matroids. Springer, Berlin.

Bachmann, F. (1989): Ebene Spiegelungsgeometrie. B.I. Wissenschaftsverlag, Mannheim-Wien-Ziirich.

Baker, R. D. and Wilson, R. M. (1977): Nearly Kirkman triple systems. Util. Math. 11, 289-296.

Balas, E. and Fischetti, M. (1993): A lifting procedure for the asymmetric traveling salesman polytope and a large new class of facets. Math. Progr. 58, 325-352.

Balas, E. and Xue, J. (1991): Minimum weighted coloring of triangulated graphs, with application to maximum weight vertex packing and clique finding in arbi­trary graphs. SIAM J. Compo 20, 209-221.

Balas, E. and Yu, C. S. (1986): Finding a maximum clique in an arbitrary graph. SIAM J. Compo 15, 1054-1068.

Balinsky, M. L. and Gonzales, J. (1991): Maximum matchings in bipartite graphs via strong spanning trees. Networks 21, 165-179.

References 553

Balinski, M. and Ratier, G.: On stable marriages and graphs, and strategy and polytopes. SIAM Review 39, 575-604.

Ball, M. O. (1985): Polynomial algorithms for matching problems with side con­straints. Research report CORR 85-21, University of Waterloo.

Ball, M. O. and Derigs, U. (1983): An analysis of alternate strategies for imple­menting matching algorithms. Networks 13, 517-549.

Ball, W. W. R. and Coxeter, H. S. M. (1947): Mathematical Recreations and Essays. Macmillan, New York.

Bandelt, H.-J. (1990): Recognition of tree matrices. SIAM J. Discr. Math. 3, 1-6. Bar-Han, J., Kortsarz, G. and Peleg, D. (1993): How to allocate network centers.

J. Algor. 15, 385-415. Barahona, F. (1990): On some applications of the chinese postman problem. In:

Paths, flows and VLSI-Layout (Eds. B. Korte, L. Lovcisz, H. J. Promel and A. Schrijver). Springer, Berlin, pp. 1-16.

Barahona, F. and Pulleyblank, W. R. (1987): Exact arborescences, matchings and cycles. Discr. Appl. Math. 16, 91-99.

Barahona, F. and Tardos, E. (1989): Note on Weintraub's minimum-cost circulation algorithm. SIAM J. Camp. 18, 579-583.

Baranyai, Z. (1975): On the factorization of the complete uniform hypergraph. Proc. Erdos-Koll. Keszthely 1973, North Holland, Amsterdam, pp. 91-108.

Barnes, T. M. and Savage, C. D. (1995): A recurrence for counting graphical par­titions. Electronic J. Comb. 2, # R 11.

Bauer, F. L. and Wossner, H. (1982): Algorithmic Language and Program Develop­ment. Springer, Berlin.

Bazaraa, M. S., Jarvis, J. J. and Sherali, H. D. (1990): Linear Programming and Network Flows (2nd edition). Wiley, New York.

Bazaraa, M. S., Sherali, H. D. and Shetty, C. M. (1993): Nonlinear Programming: Theory and Algorithms (2nd edition). Wiley, New York.

Bellman, R. E. (1958): On a routing problem. Quart. Appl. Math. 16, 87-90. Bentley, J. L. (1990): Experiments on traveling salesman heuristics. Proc. First

SIAM Symp. on Discr. Algorithms, pp. 91-99. Berman, P. and Ramaiyer, V. (1994): Improved approximations for the Steiner tree

problem. J. Algor. 17, 381-408. Berge, C. (1957): Two theorems in graph theory. Proc. Nat. Acad. Sc. USA 43,

842-844. Berge, C. (1958): Sur Ie couplage maximum d'un graphe. C.R. Acad. Sci. Paris

247, 258-259. Berge, C. (1973): Graphs and Hypergraphs. North Holland, Amsterdam. Berge, C. and Chvatal, V. (1984): Topics in Perfect Graphs. North Holland, Ams­

terdam. Berge, C. and Fournier, J. C. (1991): A short proof for a generalization of Vizing's

theorem. J. Graph Th. 15, 333-336. Berge, C. and Ghouila-Houri, A. (1962): Programmes, Jeux et Reseaux de Trans­

port. Dunod, Paris. Berman, P. and Ramaiyer, V. (1994): Improved approximations for the Steiner tree

problem. J. Algor. 17, 381-408. Bermond, J. C. (1978): Hamiltonian graphs. In: Selected topics in graph theory

(Eds. L. W. Beineke and R. J. Wilson). Academic Press, New York, pp. 127-167. Bermond, J. C., Ed. (1992): Interconnection Networks. North Holland, Amsterdam. Bertsekas, D. P. (1993): A simple and fast label correcting algorithm for shortest

paths. Networks 23,703-709. Beth, T. (1974): Algebraische Auflosungsalgorithmen fur einige unendliche Familien

von 3-Designs. Le Matematiche 29, 105-135.

554 References

Beth, T., Jungnickel, D. and Lenz, H. (1998): Design Theory (2nd ed.). Cambridge University Press, Cambridge.

Bien, F. (1989): Constructions of telephone networks by group representations. Notices AMS 36, 5-22.

Bienstock, D., Brickell, E. F. and Monma, C. N. (1990): On the structure of minimum-weight k-connected spanning networks. SIAM J. Discr. Math. 3, 320-329.

Biggs, N. L. (1993): Algebraic Graph Theory (2 nd edition). Cambridge University Press. Cambridge.

Biggs, N. L., Lloyd, E. K. and Wilson, R. J. (1976): Graph Theory 1736-1936. Oxford University Press, Oxford.

Birkhoff, G. (1946): Tres observaciones sobre el algebra lineal. Univ. Nac. Tucuman Rev. Ser. A 5, 147-15l.

Bj0rner, A., Las Vergnas, M., Sturmfels, B., White, N. and Ziegler, G. M. (1992): Oriented Matroids. Cambridge University Press, Cambridge.

Bj0rner, A. and Ziegler, G. M. (1992): Introduction to greedoids. In: Matroid ap­plications (Ed. N. White). Cambridge University Press, Cambridge, pp. 284-357.

Bland, R. G. and Shallcross, D. F. (1989): Large traveling salesman problems arising from experiments in x-ray crystallography: A preliminary report on computation. Oper. Res. Letters 8, 125-128.

Boesch, F. and Tindell, R. (1980): Robbins theorem for mixed multigraphs. Amer. Math. Monthly 87,716-719.

Boilobas, B. (1978): Extremal Graph Theory. Academic Press, New York. Bondy, J. A. and Chvatal, V. (1976): A method in graph theory. Discr. Math. 15,

111-135. Bondy, J. A. and Murty, U. S. R. (1976): Graph Theory with Applications. North

Hoiland, Amsterdam. Book, R. V. (1994): Relativizations of the P =? NP and other problems: develop­

ments in structural complexity theory. SIAM Review 36, 157-175. Booth, S. and Lueker, S. (1976): Testing for the consecutive ones property, interval

graphs, and graph planarity using PQ-tree algorithms. J. Comput. System Sc. 13, 335-379.

Borchardt, C. W. (1860): Uber eine der Interpolation entsprechende Darsteilung der Eliminationsresultante. J. Reine Angew. Math. 57, 111-12l.

Borgwardt, K. H. (1987): The Simplex Method. A Probabilistic Analysis. Springer, Berlin.

Boruvka, O. (1926a): 0 jistem problemu minimalnim. Acta Societ. Scient. Natur. Moravicae 3, 37-58.

Boruvka, O. (1926b): Prispevek k reseni otazky ekonomicke stavby elektrovodnich siti. Elektrotechnicky obzor 15, 153-154.

Bosak, J. (1990): Decompositions of Graphs. Kluwer Academic Publishers, Dor­drecht.

Boyd, E. A. and Faigle, U. (1990): An algorithmic characterization of antimatroids. Discr. Appl. Math. 28, 197-205.

Brooks, R. L. (1941): On colouring the nodes of a network. Proc. Cambridge Phil. Soc. 37, 194-197.

Brucker, P., Burkard, R. E. and Hurink, J. (1990): Cyclic schedules for r irregularly occuring events. J. Compo Appl. Math. 30, 173-189.

Bryant, V. and Brooksbank, P. (1992): Greedy algorithm compatibility and heavy­set structures. Europ. J. Comb. 13, 81-86.

Bunemann, P. (1974): A note on the metric properties of trees. J. Comb. Th. (B) 17,48-50.

References 555

Burkard, R. E. (1986): Optimal schedules for periodically recurring events. Discr. Appl. Math. 15, 167-180.

Burkard, R. E., Hahn, W. and Zimmermann, U. (1977): An algebraic approach to assignment problems. Math. Progr. 12, 318-327.

Busacker, R. G. and Gowen, P. J. (1961): A procedure for determining a family of minimum cost flow networks. ORO Techn. Report 15, John Hopkins University.

Camerini, P. M., Fratta, L. and Maffioli, F. (1979): A note on finding optimum branchings. Networks 9, 309-312.

Camerini, P. M., Maffioli, F., Martello, S. and Toth, P. (1986): Most and least uniform spanning trees. DiscT. Appl. Math. 15. 181-197.

Cameron, P. J. (1976): Parallelisms of Complete Designs, Cambridge University Press, Cambridge.

Cameron, P. J. and Van Lint, J. H. (1991): Designs, Graphs, Codes and their Links. Cambridge University Press, Cambridge.

Campbell, D. M. and Radford, D. (1991): Tree isomorphism algorithms: Speed versus clarity. Math. Magazine 64, 252-261.

Carpaneto, G., Fischetti, M. and Toth, P. (1989): New lower bounds for the sym­metric travelling salesman problem. Math. Progr. 45, 233-254.

Carre, P. A. (1971): An algebra for network routing problems. J. Inst. Math. Appl. 7, 273-294.

Carre, P. A. (1979): Graphs and NetwoTks. Oxford University Press, Oxford. Catlin, P. A. (1979): Hajos' graph coloring conjecture: variations and counterex­

amples. J. Comb. Th. (B) 26, 268-274. Cayley, A. (1889): A theorem on trees. Quart. J. Math. 23, 376-378. Chandrasekaran, R., Aneja, Y. P. and Nair, K. P. K. (1981): Minimal cost reliability

ratio spanning tree. Ann. Discr. Math. 11, 53-60. Chandrasekaran, R. and Tamir, A. (1984): Polynomial testing of the query 'Is ab 2:

Cd, with application to finding a minimal cost reliability ratio spanning tree. DiscT. Appl. Math. 9, 117-123.

Chartrand, G. (1966): A graph-theoretic approach to communication problems. SIAM J. Appl. Math. 14, 778-78l.

Chartrand, G. and Harary, F. (1968): Graphs with described connectivities. In: Theory of graphs (Eds. P. Erdos and G. Katona). Academic Press, New York, pp. 61-63.

Chartrand, G. and White, A. T. (1970): Randomly transversable graphs. Elem. Math. 25, 101-107.

Cheng, C. K. and Hu, T. C. (1992): Maximum concurrent flows and minimum cuts. Algorithmica 8, 233-249.

Cheriton, D. and Tarjan, R. E. (1976): Finding minimum spanning trees. SIAM J. Compo 5, 724-742.

Cheriyan, J. and Hagerup, T. (1989): A randomized maximum flow algorithm. Proc. 30th IEEE ConI on Foundations of Computer Science, pp. 118-123.

Cheriyan, J. and Hagerup, T. (1995): A randomized maximum flow algorithm. SIAM J. Computing 24, 203-226.

Cheriyan, J., Hagerup, T. and Mehlhorn, K. (1996): A 0(n3)-time maximum flow algorithm. SIAM J. Computing 25, 1144-1170.

Cheriyan, J. and Maheshwari, S. N. (1989): Analysis of preflow push algorithms for maximum network flow. SIAM J. Compo 18, 1057-1086.

Cherkassky, B. V. and Goldberg, A. V. (1995): On implementing Push-Relabel method for the maximum flow problem. In: Integer programming and combina­torial optimization (Eds. E. Balas and J. Clausen). Springer, Berlin, pp. 157-171.

Cheung, T. Y. (1980): Computational comparison of eight methods for the maxi­mum network flow problem. ACM Trans. Math. Software 6, 1-16.

556 References

Christofides, N. (1975): Graph Theory: An Algorithmic Approach. Academic Press, New York.

Christofides, N. (1976): Worst-case analysis of a new heuristic for the travelling salesman problem. Report 388, Grad. School of Ind. Admin., Carnegie-Mellon University.

Chu, Y. J. and Liu, T. H. (1965): On the shortest arborescence of a directed graph. Sci. Sinica 14, 1396-1400.

Chung, F. R. K. (1986): Diameters of communication networks. Proc. Symp. Pure Appl. Math. 34, 1-18.

Chung, F. R. K., Garey, M. R. and Tarjan, R. E. (1985): Strongly connected ori­entations of mixed multigraphs. Networks 15, 477-484.

Chvatal, V. (1983): Linear Programming. Freeman, New York. Chvatal, V. (1985): Hamiltonian cycles. In: The travelling salesman problem (Eds.

E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan and D. B. Shmoys). Wiley, New York, pp. 403-429.

Chvatal, V. and Erdos, P. (1972): A note on Hamiltonian circuits. Discr. Math. 2, 111-113.

Chvatal, V. and Thomasson, C. (1978): Distances in orientations of graphs. J. Comb. Th. (B) 24, 61-75.

Colbourn, C. J. (1987): The Combinatorics of Network Reliability. Oxford Univer­sity Press, Oxford.

Colbourn, C. J., Day, R. P. J. and Nel, L. D. (1989): Unranking and ranking span­ning trees of a graph. J. Algor. 10, 271-286.

Cole, R. and Hopcroft, J. (1982): On edge coloring bipartite graphs. SIAM J. Compo 11, 540-546.

Conrad, A., Hindrichs, T., Morsy, H. and Wegener, I. (1992): Wie es einem Springer gelingt, Schachbretter von beliebiger GroBe zwischen belie big vorgegebenen Anfangs- und Endfeldern vollstandig abzureiten. Spektrum der Wiss., Februar 1992, pp. 10-14.

Conrad, A., Hindrichs, T., Morsy, H. and Wegener, I. (1994): Solution of the knight's Hamiltonian path problem on chessboards. Discr. Appl. Math. 50, 125-134.

Cook, S. A. (1971): The complexity of theorem proving procedures. Proc. 3rd ACM Symp. on the Theory of Computing, pp. 151-158.

Cook, W. and Hartmann, M. (1990): On the complexity of branch and cut methods for the traveling salesman problem. In: Polyhedral combinatorics (Eds. W. Cook and P. D. Seymour). American Mathematical Society, Providence, pp. 75-8l.

Corman, T. H., Leiserson, C. E. and Rivest, R. L. (1990): Introduction To Algo­rithms. MIT Press, Cambridge, Massachusetts.

Cornuejols, G. and Nemhauser, G. L. (1978): Tight bounds for Christofides' trav­eling salesman heuristic. Math. Progr. 14, 116-12l.

Coxeter, H. M. S. (1973): Regular Polytopes (3rd ed.) Dover, New York. Croes, G. A. (1958): A method for solving traveling-salesman problems. Oper. Res.

6, 791-812. Crowder, H. and Padberg, M. W. (1980): Solving large-scale symmetric travelling

salesman problems to optimality. Management Sc. 26, 495-509. Cunningham, W. H. (1986): Improved bounds for matroid partition and intersection

algorithms. SIAM J. Compo 15, 948-957. Cunningham, W. H. and Marsh, A. B. (1978): A primal algorithm for optimal

matching. Math. Progr. Stud. 8, 50-72. Cvetkovic, D. M., Doob, M., Gutman, I. and Torgasev, A. (1987): Recent Results

in the Theory of Graph Spectra. North Holland, New York. Cvetkovic, D. M., Doob, M. and Sachs, H. (1980): Spectra of Graphs. Academic

Press, New York.

References 557

Dantzig, G. B., Ford, L. R. and Fulkerson, D. R. (1956): A primal-dual algorithm for linear programs. In: Linear inequalities and related systems (Eds. H. W. Kuhn and A. W. Tucker). Princeton University Press, Princeton, pp. 171-181.

Dantzig, G. B., Fulkerson, D. R. and Johnson, S. M. (1954): Solution of a large-scale traveling-salesman problem. Oper. Res. 2, 393-410.

de Bruijn, N. G. (1946): A combinatorial problem. Indag. Math. 8, 461-467. de Bruijn, N. G. and van Aardenne-Ehrenfest, T. (1951): Circuits and trees III

oriented linear graphs. Simon Stevin 28, 203-217. de Werra, D. (1980): Geography, games and graphs. Discr. Appl. Math. 2, 327-337. de Werra, D. (1981): Scheduling in sports. Ann. Discr. Math. 11, 381-395. de Werra, D. (1982): Minimizing irregularities in sports schedules using graph the­

ory. Discr. Appl. Math. 4, 217-226. de Werra, D. (1988): Some models of graphs for scheduling sports competitions.

Discr. Appl. Math. 21, 47-65. de Werra, D., Jacot-Descombes, L. and Masson, P. (1990): A constrained sports

scheduling problem. Discr. Appl. Math. 26, 41-49. Deo, N., Prabhu, G. M. and Krishnamoorthy, M. S. (1982): Algorithms for gener­

ating fundamental cycles in a graph. ACM Trans. Math. Software 8, 26-42. Derigs, U. (1988): Programming in Networks and Graphs. Springer, Berlin. Derigs, U. and Heske, A. (1980): A computational study on some methods for

solving the cardinality matching problem. Angew. Inform. 22, 249-254. Derigs, U. and Meier, W. (1989): Implementing Goldberg's max-flow algorithm - A

computational investigation. ZOR 33, 383-403. Derigs, U. and Metz, A. (1991): Solving (large scale) matching problems combina­

torially. Math. Progr. 50, 113-121. Dijkstra, E. W. (1959): A note on two problems in connexion with graphs. Numer.

Math. 1, 269-271. Dilworth, R. P. (1950): A decomposition theorem for partially ordered sets. Annals

Math. 51, 161-166. Dinic, E. A. (1970): Algorithm for solution of a problem of maximum flow in net­

works with power estimation. Soviet Math. Dokl. 11, 1277-1280. Dirac, G. A. (1952): Some theorems on abstract graphs. Pmc. LMS (3) 2, 69-81. Dixon, B., Rauch, M. and Tarjan, R. E. (1992): Verification and sensitivity analysis

of minimum spanning trees in linear time. SIAM 1. Computing 21, 1184-1192. Domschke, W. (1989): Schedule synchronization for public transit networks. OR

Spektrum 11, 17-24. Dress, A. (1984): Trees, tight extensions of metric spaces, and the cohomological

dimension of certain groups: A note on combinatorial properties of metric spaces. Adv. Math. 53, 321-402.

Du, D.-Z. and Hwang, F. (1990a): An approach for proving lower bounds: Solu­tion of Gilbert-Pollak's conjecture on Steiner ratio. Pmc. 31st Annual Symp. on Foundations of Computer Science, Los Alamitos, Cal., IEEE Computer Society, pp. 76-85.

Du, D.-Z. and Hwang, F. (1990b): The Steiner ratio conjecture of Gilbert and Pollak is true. Proc. National Acad. of Sciences USA 87, 9464-9466.

Du, D.-Z. and Zhang, Y. (1992): On better heuristics for Steiner minimum trees. Math. Progr. 57, 193-202.

Dueck, G. (1993): New optimization heuristics: The great deluge algorithm and record-to-record travel. J. Comput. Physics 104, 86-92.

Dueck, G. and Scheuer, T. (1990): Threshold accepting: a general purpose optimiza­tion algorithm appearing superior to simulating annealing. J. Comput. Physics 90, 161-175.

558 References

Eco. U. (1983): The Name of the Rose. Harcourt Brace Jovanovich, Inc. and Martin Secker & Warburg Limited.

Edmonds, J. (1965a): Maximum matching and a polytope with 0, I-vertices. J. Res. Nat. Bur. Stand. B 69, 125-130.

Edmonds, J. (1965b): Paths, trees and flowers. Canad. J. Math. 17,449-467. Edmonds, J. (1967a): An introduction to matching. Lecture Notes, Univ. of Michi­

gan. Edmonds, J. (1967b): Optimum branchings. J. Res. Nat. Bur. Stand. B 71,233-240. Edmonds, J. (1970): Sub modular functions, matroids and certain polyhedra. In:

Combinatorial structures and their applications (Ed. K. Guy). Gordon & Breach, New York, pp. 69-87.

Edmonds, J. (1971): Matroids and the greedy algorithm. Math. Progr. 1, 127-136. Edmonds, J. (1973): Edge disjoint branchings. In: Combinatorial algorithms (Ed.

R. Rustin). Algorithmics Press, 91-96. Edmonds, J. (1979): Matroid intersection. Ann. Discr. Math. 4, 39-49. Edmonds, J. and Fulkerson, D. R. (1965): Transversals and matroid partition. J.

Res. Nat. Bur. Stand. B 69, 147-153. Edmonds, J. and Giles, R. (1977): A min-max relation for submodular functions

on graphs. Ann. Discr. Math. 1, 185-204. Edmonds, J. and Giles, R. (1984): Total dual integrality of linear systems. In:

Progress in combinatorial optimization (Ed. W. R. Pulleyblank). Academic Press Canada, 117-129.

Edmonds, J. and Johnson, E. L. (1973): Matching, Euler tours and the Chinese postman. Math. Progr. 5, 88-124.

Edmonds, J. and Karp, R. M. (1972): Theoretical improvements in algorithmic efficiency for network flow problems. J. ACM 19, 248-264.

Edmonds, J., Lovcisz, L. and Pulleyblank, W. R. (1982): Brick decompositions and the matching rank of graphs. Combinatorica 2, 247-274.

Egervary, E. (1931): Matrixok kombinatorius tulajdonsagair61. Mat. Fiz. Lapok 38, 16-28.

Egoritsjev, G. E. (1981): Solution of van der Waerden's permanent conjecture. Adv. Math. 42, 299-305.

Elias, P., Feinstein, A. and Shannon, C. E. (1956): Note on maximum flow through a network. IRE Trans. Inform. Th. IT-12, 117-119.

Engel, K. (1997): Spemer Theory. Cambridge University Press, Cambridge. Eppstein, D. (1994): Offline algorithms for dynamic minimum spanning tree prob­

lems. J. Algor. 17, 237-250. Erdos, P. and Szekeres, G. (1935): A combinatorial problem in geometry. Compos.

Math. 2, 463-470. Ervolina, T. R. and McCormick, S. T. (1993): Two strongly polynomial cut can­

celling algorithms for minimum cost network flow. Discr. Appl. Math. 46, 133-165.

Etzion, T. (1986): An algorithm for construction m-ary de Bruijn sequences. J. Algor. 7, 331-340.

Euler, L. (1736): Solutio problematis ad geometriam situs pertinentis. Comment. Acad. Sci. Imper. Petropol. 8, 128-140.

Even, S. (1973): Combinatorial Algorithms. Macmillan, New York. Even, S. (1977): Algorithm for determining whether the connectivity of a graph is

at least k. SIAM J. Camp. 6, 393-396. Even, S. (1979): Graph Algorithms. Computer Science Press, Rockville, Md. Even, S., Garey, M. R. and Tarjan, R. E. (1977): A note on connectivity and circuits

in directed graphs. Unpublished manuscript.

References 559

Even, S., Itai, A. and Shamir, A. (1976): On the complexity of timetable and multicommodity flow problems. SIAM J. Compo 5, 691-703.

Even, S. and Tarjan, R. E. (1975): Network flow and testing graph connectivity. SIAM J. Compo 4, 507-512.

Faigle, U. (1979): The greedy algorithm for partially ordered sets. Discr. Math. 28, 153-159.

Faigle, U. (1985): On ordered languages and the optimization of linear functions by greedy algorithms. J. ACM 32, 861-870.

Falikman, D. 1. (1981): Ein Beweis der van der Waerdenschen Vermutung tiber die Permanente einer doppelt-stochastischen Matrix (Russian). Mat. Zametki 29, 931-938.

Farahat, H. K. and Mirsky, L. (1960): Permutation endomorphisms and a refinement of a theorem of Birkhoff. Proc. Cambridge Phil. Soc. 56, 322-328.

Fiechter, C.-N. (1994): A parallel tabu search algorithm for large traveling salesman problems. Discr. Appl. Math. 51, 243-267.

Fiedler, M. and Sedlacek, J. (1958): 0 W-basich orientovanych grafu. Casopis Pest. Mat. 83, 214-225.

Fishburn, P. C. (1985): Interval Orders and Interval Graphs: A Study of Partially Ordered Sets. Wiley, New York.

Fisher, M. L. (1981): The Langrangian method for solving integer programming problems. Management Sc. 27, 1-18.

Fleischner, H. (1983): Eulerian graphs. In: Selected topics in graph theory 2 (Eds. Ed. L. W. Beineke and R. J. Wilson). Academic Press, New York, pp. 17-53.

Fleischner, H. (1990): Eulerian Graphs and Related Topics, Part 1, Vol. 1. North Holland, Amsterdam.

Fleischner, H. (1991): Eulerian Graphs and Related Topics, Part 1, Vol. 2. North Holland, Amsterdam.

Floyd, R. W. (1962): Algorithm 97, Shortest path. Comm. ACM 5,345. Ford, L. R. (1956): Network Flow Theory. Rand Corp., Santa Monica, Cal. Ford, L. R. and Fulkerson, D. R. (1956): Maximal flow through a network. Canad.

J. Math. 8, 399-404. Ford, L. R. and Fulkerson, D. R. (1957): A simple algorithm for finding maximal

network flows and an application to the Hitchcock problem. Canad. J. Math. 9, 210-218.

Ford, L. R. and Fulkerson, D. R. (1958a): Constructing maximal dynamic flows from static flows. OpeT'o Res. 6, 419-433.

Ford, L. R. and Fulkerson, D. R. (1958b): Network flow and systems of representa­tives. Canad J. Math. 10, 78-84.

Ford, L. R. and Fulkerson, D. R. (1958c): A suggested computation for maximum multi-commodity network flows. Management Se. 5, 97-10l.

Ford, L. R. and Fulkerson, D. R. (1962): Flows in Networks. Princeton University Press, Princeton, N. J.

Frank, A. and Tardos, E. (1988): Generalized polymatroids and submodular flows. Math. Progr. 42, 489-563.

Frederickson, G. N. (1985): Data structures for on-line updating of minimum span­ning trees, with applications. SIAM J. Camp. 14, 781-798.

Frederickson, G. N. (1987): Fast algorithms for shortest paths in planar graphs. SIAM J. Camp. 16, 1004-1022.

Fredman, M. L. and Tarjan, R. E. (1987): Fibonacci heaps and their uses on im­proved network optimization algorithms. J. ACM 34, 596··615.

Fredman, M. L. and Willard, D. E. (1994): Trans-dichotomous algorithms for min­imum spanning trees and shortest paths. J. Compo Syst. Sc. 48, 533-551.

560 References

Fremuth-Paeger, C. and Jungnickel, D. (1998a): Balanced network flows I. A uni­fying framework for design and analysis of matching algorithms. To appear in Networks.

Fremuth-Paeger, C. and Jungnickel, D. (1998b): Balanced network flows II. Simple augmentation algorithms. To appear in Networks.

Fremuth-Paeger, C. and Jungnickel, D. (1998c): Balanced network flows III. Strongly polynomial augmentation algorithms. To appear in Networks.

Fremuth-Paeger, C. and Jungnickel, D. (1998d): Balanced network flows IV. Duality and structure theory. Submitted to Networks.

Fremuth-Paeger, C. and Jungnickel, D. (1998e): Balanced network flows V. Cycle canceling algorithms. Submitted to Networks.

Frobenius, G. (1912): Uber Matrizen aus nicht negativen Elementen. Sitzungsber. Preuss. Akad. Wiss. 1912, 456-477.

Fujishige, S. (1986): An O(m3 log n) capacity-rounding algorithm for the minimum­cost circulation problem: A dual framework of Tardos' algorithm. Math. Progr. 35, 298-308.

Fujishige, S. (1991): Submodular Functions and Optimization. North Holland, Am­sterdam.

Fulkerson, D. R. (1956): Note on Dilworth's decomposition theorem for partially ordered sets. Proc. AMS 1, 701-702.

Fulkerson, D. R. (1959): Increasing the capacity of a network: The parametric budget problem. Management Sc. 5, 472-483.

Fulkerson, D. R. (1961): An out-of-kilter method for minimal cost flow problems. J. SIAM 9, 18-27.

Gabow, H. N. (1976): An efficient implementation of Edmonds' algorithm for max­imum matchings on graphs. J. ACM 23,221-234.

Gabow, H. N. (1990): Data structures for weighted matching and nearest common ancestors with linking. Proc. First Annual ACM-SIAM Symposium on Discrete Algorithms, Philadelphia, SIAM, pp. 434-443.

Gabow, H. N., Galil, Z., Spencer, T. and Tarjan, R. E. (1986): Efficient algorithms for finding minimum spanning trees in undirected and directed graphs. Combi­natorica 6, 109-122.

Gabow, H. N. and Kariv, O. (1982): Algorithms for edge coloring bipartite graphs and multigraphs. SIAM J. Camp. 11, 117-129.

Gabow, H. N. and Tarjan, R. E. (1988): Algorithms for two bottleneck optimization problems. J. Algor. 9, 411-417.

Gabow, H. N. and Tarjan, R. E. (1989): Faster scaling algorithms for network problems. SIAM J. Camp. 18, 1013-1036.

Gabow, H. N. and Tarjan, R. E. (1991): Faster scaling algorithms for general graph­matching problems. J. A CM 38, 815-853.

Gale, D. (1957): A theorem on flows in networks. Pacific J. Math. 1, 1073-1082. Gale, D. (1968): Optimal assignments in an ordered set: An application of matroid

theory. J. Comb. Th. 4, 176-180. Gale, D. and Shepley, L. S. (1962): College admissions and the stability of marriage.

Amer. Math. Monthly 69, 9-15. Galil, Z. (1980): Finding the vertex connectivity of graphs. SIAM J. Camp. 9,

197-199. Galil, Z. (1981): On the theoretical efficiency of various network flow algorithms.

Theor. Camp. Sc. 14, 103-111. Galil, Z., Micali, S. and Gabow, H. (1986): An O(EV log V) algorithm for finding

a maximal weighted matching in general graphs. SIAM J. Camp. 15, 120-130. Galil, Z. and Schieber, B. (1988): On funding most uniform spanning trees. Discr.

Appl. Math. 20, 173-175.

References 561

Galil, Z. and Tardos, E. (1988): An O(n2(m+n log n)log n) min-cost flow algorithm. J. ACM 35,374-386.

Gallai, T. (1964): Elementare Relationen bezuglich der Glieder und trennenden Punkte eines Graphen. Magyar Tud. Akad. Mat. Kutato Int. Kozl. 9, 235-236.

Gallai, T. (1967): Transitiv orientierbare Graphen. Acta Math. Acad. Sc. Hungar. 18, 25-66.

Gallai, T. and Milgram, A. N. (1960): Verallgemeinerung eines graphentheoretis­chen Satzes von Redei. Acta Sc. Math. 21, 181-186.

Gallo, G., Grigoriades, M. D. and Tarjan, R. E. (1989): A fast parametric maximum flow algorithm and applications. SIAM 1. Compo 18, 30-55.

Gallo, G. and Pallottino, S. (1988): Shortest path algorithms. Annals of Operations Research 13, 3-79.

Garey, M. R, Graham, R. L. and Johnson, D. S. (1977): The complexity of com­puting Steiner minimal trees. SIAM J. Appl. Math. 32, 835-859.

Garey, M. R and Johnson, D. S. (1976): The complexity of near-optimal graph coloring. J. ACM 23, 43-49.

Garey, M. R and Johnson, D. S. (1979): Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York.

Garey, M. R, Johnson, D. S. and Stockmeyer, L. J. (1976): Some simplified NP­complete graph problems. Theoret. Compo Sc. 1, 237-267.

Garey, M. R, Johnson, D. S. and Tarjan, R E. (1976): The planar Hamiltonian circuit problem is NP-complete. SIAM J. Compo 5, 704-714.

Ghinelli, D. and Jungnickel, D. (1990): The Steinberg module of a graph. Archiv Math. 55, 503-506.

Ghouila-Houri, A. (1962): Caracterisation des graphes non orientes dont on peut orienter les aretes de maniere it obtenir Ie graphe d'une relation d'ordre. C.R. Acad. Sc. Paris 254, 1370-1371.

Gilbert, E. N. and Pollak, H. O. (1968): Steiner minimal trees. SIAM J. Appl. Math. 16, 1-29.

Gilmore, P. C. and Hoffman, A. J. (1964): A characterization of comparability graphs and of interval graphs. Canad. J. Math. 16, 539-548.

Glover, F., Klingman, D. and Phillips, N. V. (1992): Network Models in Optimiza­tion and their Applications in Practice. Wiley, New York.

Godsil, C. D. (1993): Algebraic Combinatorics. Chapman and Hall, New York. Goecke, O. (1988): A greedy algorithm for hereditary set systems and a generaliza­

tion of the Rado-Edmonds characterization of matroids. Discr. Appl. Math. 20, 39-49.

Goldberg, A. V., Grigoriadis, M. D. and Tarjan, R. E. (1991): Use of dynamic trees in a network simplex algorithm for the maximum flow problem. Math. Progr. 50, 277-290.

Goldberg, A. V., Plotkin S. A. and Tardos, E. (1991): Combinatorial algorithms for the generalized circulation problem. Math. Oper. Res. 16, 351-381.

Goldberg, A. V., Tardos, E. and Tarjan, R. E. (1990): Network flow algorithms. In: Paths, flows and VLSI-layout (Eds. B. Korte, L. Lovasz, H. J. Promel and A. Schrijver). Springer, Berlin, pp. 101-164.

Goldberg, A. V. and Tarjan, R E. (1988): A new approach to the maximum flow problem. J. ACM 35,921-940.

Goldberg, A. V. and Tarjan, R E. (1989): Finding minimum-cost circulations by canceling negative cycles. 1. A CM 36, 873-886.

Goldberg, A. V. and Tarjan, R E. (1990): Solving minimum cost-flow problems by successive approximation. Math. of Oper. Res. 15, 430-466.

562 References

Goldfarb, D. and Grigoriadis, M. D. (1988): A computational comparison of the Dinic and network simplex methods for maximum flow. Ann. Oper. Res. 13, 83-123.

Goldfarb, D. and Hao, J. (1990): A primal simplex algorithm that solves the max­imum flow problem in at most nm pivots and O(n2m) time. Math. Progr. 47, 353-365.

Goldfarb, D. and Hao, J. (1991): On strongly polynomial variants of the network simplex algorithm for the maximum flow problem. Oper. Res. Letters 10, 383-387.

Golomb, S. W. (1967): Shift Register Sequences. Holden-Day, San Francisco. Golumbic, M. C. (1980): Algorithmic Graph Theory and Perfect Graphs. Academic

Press, New York. Gomory, R. E. and Hu, T. C. (1961): Multi-terminal network flows. J. SIAM 9,

551-570. Gomory, R. E. and Hu, T. C. (1962): An application of generalized linear program­

ming to network flows. J. SIAM 10, 260-283. Gomory, R. E. and Hu, T. C. (1964): Synthesis of a communication network. J.

SIAM 12, 348-369. Gondran, M. and Minoux, N. (1984): Graphs and Algorithms. Wiley, New York. Gonzaga, C. C. (1992): Path-following methods for linear programming. SIAM Re­

view 34, 167-224. Goulden,1. P. and Jackson, D. M. (1983): Combinatorial Enumeration. Wiley, New

York. Graham, R. L. and Hell. P. (1985): On the history of the minimum spanning tree

problem. Ann. History of Compo 7, 43-57. Greene, R. C. and Kleitman, D. J. (1978): Proof techniques in the theory of finite

sets. In: Studies in combinatorics (Ed. G. C. Rota). 22-79. MAA. Griggs, J. R. (1988): Saturated chains of subsets and a random walk. J. Comb. Th.

(A) 47,262-283. Griggs, T. and Rosa, A. (1996): A tour of European soccer schedules, or testing the

popularity of GK2n . Bull. ICA 18, 65-68. Grigoriadis, M. D. and Kalantari, B. (1988): A new class of heuristic algorithms for

weighted perfect matching. J. ACM 35, 769-776. Grotschel, M. (1980): On the symmetric travelling salesman problem: Solution of a

120-city problem. Math. Progr. Studies 12, 61-77. Grotschel, M. (1984): Developments in combinatorial optimization. In Perspectives

in mathematics: Anniversary of Oberwolfach 1984 (Eds. W. Jager, J. Moser and R. Remmert). Birkhauser, Basel, pp. 249-294.

Grotschel, M. (1985): Operations Research I. Vorlesungsskript, Universitat Augs­burg.

Grotschel, M. and Holland, G. (1985): Solving matching problems with linear pro­gramming. Math. Progr. 33, 243-259.

Grotschel, M. and Holland, O. (1991): Solution of large-scale symmetric travelling salesman problems. Math. Progr. 51, 141-202.

Grotschel, M. Junger, M. and Reinelt, G. (1991): Optimal control of plotting and drilling machines: a case study. ZOR 35, 61-84.

Grotschel, M., Lovasz, L. and Schrijver, A. (1984): Polynomial algorithms for per­fect graphs. Ann. Discr. Math. 21, 325-356.

Grotschel. M., Lovasz, L. and Schrijver, A. (1993): Geometric Algorithms and Com­binatorial Optimization (2nd edition). Springer, Berlin.

Guckert, M. (1996): AnschlufJoptimierung in offentlichen Verkehrsnetzen -Graphentheoretische Grundlagen, objektorientierte M odellierung und Implemen­tierung. Ph. D. Thesis, Universitat Marburg.

References 563

Guldan, F. (1980): Maximization of distances of regular polygones on a circle. Appl. Math. 25, 182-195.

Gusfield, D. (1987): Three fast algorithms for four problems in stable marriage. SIAM J. Compo 16, 111-128.

Gusfield, D. (1988): The structure of the stable roommate problem: Efficient repre­sentation and enumeration of all stable assignments. SIAM J. Compo 17, 742-769.

Gusfield, D. (1990): Very simple methods for all pairs network flow analysis. SIAM J. Compo 19, 143-155.

Gusfield, D. and Irving, R. W. (1989): The Stable Marriage P:roblem. Structure and Algorithms. The MIT Press, Cambridge, Mass.

Gusfield, D., Martel, C. and Fernandez-Baca, D. (1987): Fast algorithms for bipar­tite network flow. SIAM J. Compo 16, 237-25l.

Gusfield, D. and Naor, D. (1991): Efficient algorithms for generalized cut-trees. Networks 21, 505-520.

Hadley, G. (1961): Linear Algebra. Addison-Wesley, Reading, Mass. Hadlock, F. O. (1975): Finding a maximum cut of a planar graph in polynomial

time. SIAM J. Compo 4, 221-225. Hadwiger, H. (1943): Uber eine Klassifikation der Streckenkomplexe. Viertelj. Schr.

Naturforsch. Ges. Zurich 88, 133-142. Hajos, G. (1961): Uber eine Konstruktion nicht n-fiirbbarer Graphen. Wiss. Z.

Martin-Luther- Univ. Halle- Wittenberg, Math.-Nat. Reihe 10, 116-117. Hakimi, S. L. and Yau, S. S. (1964): Distance matrix of a graph and its realizability.

Quart. Appl. Math. 22, 305-317. Hall, M. J. (1956): An algorithm for distinct representatives. Amer. Math. Monthly

63, 716-717. Hall, M. J. (1986): Combinatorial Theory (2 nd edition). Wiley, New York. Hall, P. (1935): On representatives of subsets. J. LMS 10, 26-30. Halmos, P. R. and Vaughan, H. E. (1950): The marriage problem. Amer. J. Math.

72, 214-215. Hamacher, H. W. and Ruhe, G. (1994): On spanning tree problems with multiple

objectives. Ann. Oper. Res. 52, 209-230. Harary, F. (1962): The maximum connectivity of a graph. Froc. Nat. Acad. Sci.

USA 48, 1142-1146. Harary, F. (1969): Graph Theory. Addison Wesley, Reading, Mass. Harary, F. and Tutte, W. T. (1965): A dual form of Kuratowski's theorem. Ganad.

Math. Bull. 8, 17-20 and 173. Hassin, R. and Johnson, D. B. (1985): An O(n log2 n) algorithm for maximum flow

in undirected planar networks. SIAM J. Compo 14, 612-624. Hausmann, D. and Korte, B. (1981): Algorithmic versus axiomatic definitions of

matroids. Math. Progr. Studies 14, 98-11l. Held, M. and Karp, R. (1970): The travelling salesman problem and minimum

spanning trees. Oper. Res. 18, 1138-1162. Held, M. and Karp, R. (1971): The travelling salesman problem and minimum

spanning trees II. Math. Progr. 1, 6-25. Held, M., Wolfe, P. and Crowder, H. P. (1974): Validation of subgradient optimiza­

tion. Math. Progr. 6, 62-88. Helman, P., Mont, B. M. E. and Shapiro, H. D. (1993): An exact characterization

of greedy structures. SIAM J. Discr. Math. 6, 274-283. Hierholzer, C. (1873): Uber die Moglichkeit, einen Linienzug ohne Wiederholung

und ohne Unterbrechung zu umfahren. Math. Ann. 6, 30-32. Hilton, A. J. W. and Jackson, B. (1987): A note concerning the chromatic index of

multigraphs. J. Graph Th. 11, 267-272.

564 References

Hitchcock, F. L. (1941): The distribution of a product from several sources to numerous localities. J. Math. Phys. 20, 224-230.

Ho, J.-M., Lee, D. T., Chang, C.-H. and Wong, C. K. (1991): Minimum diameter spanning trees and related problems. SIAM J. Computing 20, 987-997.

Hochbaum, D. S., Nishizeki, T. and Shmoys, D. B. (1986): A better than 'best possible' algorithm to edge color multigraphs. J. Algor. 7, 79-104.

Hoffman, A. J. (1960): Some recent applications of the theory of linear inequali­ties to extremal combinatorial analysis. In: Combinatorial analysis (Eds. R. E. Bellman and M. Hall). AMS, Providence, pp. 113-127.

Hoffman, A. J. (1974): A generalization of max flow-min cut. Math. Progr. 6, 352-359.

Hoffman, A. J. (1979): The role of unimodularity in applying linear inequalities to combinatorial theorems. Ann. Discr. Math. 4, 73-84.

Hoffman, A. J. and Kruskal, J. B. (1956): Integral boundary points of convex poly­hedra. In: Linear inequalities and related systems (Eds. H. W. Kuhn and A. W. Tucker). Princeton University Press, Princeton, N. J., pp. 233-246.

Hoffman, A. J. and Kuhn, H. W. (1956): On systems of distinct representatives. Ann. Math. Studies 38, 199-206.

Hoffman, A. J. and Markowitz, H. M. (1963): A note on shortest path, assignment and transportation problems. Naval Research Logistics Quarterly 10, 375-379.

Holyer, 1. J. (1981): The NP-completeness of edge-coloring. SIAM J. Compo 10, 718-720. 5

Hopcroft, J. and Karp, R. M. (1973): An n 2 algorithm for maximum matching in bipartite graphs. SIAM J. Compo 2, 225-23l.

Hopcroft, J. and Tarjan, R. E. (1973): Dividing a graph into triconnected compo­nents. SIAM J. Compo 2, 135-158.

Hopcroft, J. and Ullman, J. D. (1979): Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading, Mass.

Horton, J. D. (1987): A polynomial time algorithm to find the shortest cycle basis of a graph. SIAM J. Compo 16, 358-366.

Hu, T. C. (1961): The maximum capacity route problem. Oper. Res. 9, 898-900. Hu, T. C. (1974): Optimum communication spanning trees. SIAM J. Computing 3,

188-195. Huang, C., Mendelsohn, E. and Rosa, A. (1982): On partially resolvable t-partitions.

Ann. Discr. Math. 12, 160-183. Hung, M. S. and Divoky, J. J. (1988): A computational study of efficient shortest

path algorithms. Computers and Operations Research 15, 567-576. Huppert, B. (1967): Endliche Gruppen 1. Springer, Berlin-Heidelberg. Hwang, F. K., Richards, D. S. and Winter, P. (1992): The Steiner Tree Problem.

North Holland, Amsterdam. Imai, H. (1983): On the practical efficiency of various maximum flow algorithms.

J. Oper. Res. Soc. of Japan 26, 61-82. Imrich, W., Simoes-Pereira, J. M. S. and Zamfirescu, C. M. (1984): On optimal

embeddings of metrics in graphs. J. Comb. Th. (B) 36, 1-15. Irving, R. W. (1985): An efficient algorithm for the 'stable roommates' problem. J.

Algor. 6, 577-595. Irving, R. W. and Leather, P. (1986): The complexity of counting stable marriages.

SIAM J. Compo 15, 655-667. Irving, R. W., Leather, P. and Gusfield, D. (1987): An efficient algorithm for the

'optimal' stable marriage. J. ACM 34, 532-543. Itai, A., Perl, Y. and Shiloach, Y. (1982): The complexity of finding maximum

disjoint paths with length constraints. Networks 12, 277-286.

References 565

Itai, A. and Rodeh, M. (1978): Finding a minimum circuit in a graph. SIAM J. Compo 7, 413-423.

Itai, A., Rodeh, M. and Tanimota, S. L. (1978): Some matching problems in bipar­tite graphs. J. ACM 25, 517-525.

Itai, A. and Shiloach, Y. (1979): Maximum flow in planar networks. SIAM J. Compo 8, 135-150.

Jarnik, V. (1930): 0 jistem probh~mu minimaJnim. Acta Societ. Scient. Natur. Moravicae 6, 57-63.

Jarrah, A. I. Z., Yu, G., Krishnamurthy, N. and Rakshit, A. (1993): A decision support framework for airline flight cancellations and delays. Transportation Sc. 27, 266-280.

Jenkyns, T. A. (1976): The efficacy of the 'greedy' algorithm. Proc. 7th Southeastern Conf. Combinatorics, Graph Theory and Computing, pp. 341-350.

Jensen, T. R. and Toft, B. (1995): Graph Coloring Problems. Wiley, New York. Jensen, K. and Wirth, N. (1985): PASCAL User Manual and Report (3Td edition).

Springer, New York. Johnson, D. B. (1975): Priority queues with update and minimum spanning trees.

Inf. Proc. Letters 4, 53-57. Johnson, D. S. (1986): The NP-completeness column: An ongoing guide. J. Algor.

7, 289-305. Johnson, D. S., Lenstra, J. K. and Rinnooy Kan, A. H. G. (1978): The complexity

of the network design problem. Networks 8, 279-285. Johnson, D. S. and McGeoch, C. C., Eds. (1993): Network Flows and Matching.

American Mathematical Society, Providence. Johnson, D. S. and Venkatesan, S. M. (1982): Using divide and conquer to find flows

3 in directed planar networks in O(n?: log n) time. Proc. 20th Allerton Conf. on Communication, Control and Computing., Urbana, Univ. of Illinois, pp. 898-905.

Jungnickel, D. (1979a): A construction of group divisible designs. J. Stat. Planning Inf. 3, 273-278.

Jungnickel, D. (1979b): Die Methode der Hilfsmatrizen. In: Contributions to geom­etry (Eds. J. T6lke and J. M. Wills). Birkhiiuser, Basel, pp. 388-394.

Jungnickel, D. (1986): Transversaltheorie: Ein Uberblick. Bayreuther Math. Schriften 21, 122-155.

Jungnickel, D. (1993): Finite Fields. B.I. Wissenschaftsverlag, Mannheim. Jungnickel, D. and Leclerc, M. (1988): A class of lattices. An Comb. 26, 243-248. Jungnickel, D. and Leclerc, M. (1989): The 2-matching lattice of a graph. J. Comb.

Th. (B) 46, 246-248. Jungnickel, D. and Lenz, H. (1987): Minimal linear spaces. J. Comb. Th. (A) 44,

229-240. Kahn, A. B. (1962): Topological sorting of large networks. Comm. ACM 5,558-562. Kalaba, R. (1960): On some communication network problems. In: Combinatorial

analysis (Eds. R. E. Bellman and M. Hall). AMS, Providence, pp. 261-280. Karger, D. R. (1997): Using random sampling to find maximum flows in uncapaci­

tated undirected graphs. Preprint, MIT Laboratory for Computer Science. Karmarkar, N. (1984): A new polynomial-time algorithm for linear programming.

Combinatorica 4, 373-396. Karp, R. M. (1972): Reducibility among combinatorial problems. In: Complexity of

computer computations (Eds. R. E. Miller and J. W. Thatcher). Plenum Press, New York, pp. 85-103.

Karp, R. M. (1978): A characterization of the minimum cycle mean in a digraph. Discr. Math. 23, 309-311.

Karzanov, A. V. (1974): Determining the maximal flow in a network with the method of preflows. Soviet Math. Dokl. 15, 434-437.

566 References

Kasteleyn, P. W. (1967): Graph theory and crystal physics. In: Graph theory and theoretical physics (Ed. F. Harary). Academic Press, New York, pp. 43-110.

Kay, D. C. and Chartrand, G. (1965): A characterization of certain ptolemaic graphs. Canad. J. Math. 17, 342-346.

Khachiyan, 1. G. (1979): A polynomial algorithm in linear programming. Soviet Math. Dokl. 20, 191-194.

King, V., Rao, S. and Tarjan, R. (1994): A faster deterministic maximum flow algorithm. J. Algorithms 17, 447-474.

Kirchhoff, G. (1847): Uber die Auflosungen der Gleichungen, auf die man bei der Untersuchung der Verteilung galvanischer Strome gefiihrt wird. Ann. Phys. Chem. 72, 497-508.

Kirkman, T. P. (1847): On a problem in combinatorics. Cambridge and Dublin Math. J. 2, 191-204.

Kirkman, T. P. (1850): Query VI. Lady's and gentleman's diary 147, 48. Klein, M. (1967): A primal method for minimal cost flows, with applications to the

assignment and transportation problems. Management Sc. 14, 205-220. Kleitman, D. J. and West, D. B. (1991): Spanning trees with many leaves. SIAM

J. Discr. Math. 4, 99-106. Klingman, D. and Philipps, N. V. (1986): Network algorithms and applications.

Discr. Appl. Math. 13, 107-292. Knuth, D. E. (1967): Oriented subtrees of an arc digraph. J. Comb. Th. 3, 309-314. Knuth, D. E. (1981): A permanent inequality. Amer. Math. Monthly 88,731-740. Kocay, W. and Stone, D. (1993): Balanced network flows. Bull. ICA 7,17-32. Kocay, W. and Stone, D. (1995): An algorithm for balanced flows. J. Comb. Math.

Comb. Compo 19, 3-31. Konig, D. (1916): Uber Graphen und ihre Anwendungen auf Determinantentheorie

und Mengenlehre. Math. Ann. 77, 453-465. Konig, D. (1931): Graphen und Matrizen (Hungarian with a summary in German).

Mat. Fiz. Lapok 38, 116-119. Korte, B. and Hausmann, D. (1978): An analysis of the greedy heuristic for inde­

pendence systems. Ann. Discr. Math. 2,65-74. Korte, B. and Lovasz, L. (1981): Mathematical structures underlying greedy al­

gorithms. In: Fundamentals of computation theory (Ed. F. Gecseg). Springer, Berlin, pp. 205-209.

Korte, B. and Lovasz, L. (1984): Greedoids and linear objective functions. SIAM J. Algebr. Discr. Math. 5, 229-238.

Korte, B., Lovasz, L., Promel, H. J. and Schrijver, A. (1990): Paths, Flows and VLSI-Layout. Springer, Berlin.

Korte, B., Lovasz, 1. and Schrader, R. (1991): Greedoids. Springer, Berlin. Korte, B., Promel, H. J. and Steger. A. (1990): Steiner trees in VLSI-Layout. In:

Paths, flows and VLSI-layout (Eds. B. Korte, 1. Lovasz, H. J. Promel and A. Schrijver). Springer, Berlin, pp. 185-214.

Korte, N. and Mohring, R. H. (1989): An incremental linear-time algorithm for recognizing interval graphs. SIAM J. Compo 18, 68-81.

Krishnamoorthy, M. S. (1975): An NP-hard problem in bipartite graphs. SIGACT News 7:1, 26. .

Kruskal, J. B. (1956): On the shortest spanning subtree of a graph and the travelling salesman problem. Pmc. AMS 7, 48-50.

Kuhn, H. W. (1955): The hungarian method for the assignment problem. Naval Res. Logistic Quart. 2, 83-97.

Kuhn, H. W. (1956): Variants of the hungarian method for the assignment problem. Naval Res. Logistic Quart. 3, 253-258.

References 567

Kuich, W. and Salomaa, A. (19S6): Semirings, Automata, Languages. Springer, Berlin.

Kuratowski, K (1930): Sur Ie probleme des courbes gauches en topologie. Fund. Math. 15, 271-2S3.

Kwan, M.-K (1962): Graphic programming using odd and even points. Chines. Math. 1, 273-277.

Lamken, E. (19S7): A note on partitioned balanced tournament designs. Ars Comb. 24, 5-16.

Lamken, E. and Vanstone, S. A. (19S7): The existence of partitioned balanced tournament designs. Ann. Discr. Math. 34, 339-352.

Lamken, E. and Vanstone, S. A. (19S9): Balanced tournament designs and related topics. Discr. Math. 77, 159-176.

Las Vergnas. M. (1972): Problemes de couplages et problemes hamiltoniens en theorie des graphes. Dissertation, Universite de Paris VI.

Lawler, E. L. (1975): Matroid intersection algorithms. Math. Progr. 9, 31-56. Lawler, E. L. (1976): Combinatorial Optimization: Networks and Matriods. Holt,

Rinehart and Winston, New York. Lawler, E. L., Lenstra, J. K, Rinnooy Kan, A. H. G. and Shmoys, D. B., Eds.

(19S5): The Travelling Salesman Problem: A Guided Tour of Combinatorial Op­timization. Wiley, New York.

Lawler, E. L., Lenstra, J. K, Rinnooy Kan, A. H. G. and Shmoys, D. B. (1993): Sequencing and scheduling: Algorithms and complexity. In: Logistics of produc­tion and inventory (Eds. S. C. Graves, A. H. G. Rinnooy Kan and P. H. Zipkin). Elsevier, Amsterdam, pp. 445-522.

Leclerc, M. (19S6): Polynomial time algorithms for exact matching problems. M. Math. thesis, University of Waterloo, Dept. of Combinatorics and Optimization.

Leclerc, M. (19S7): Algorithmen fur kombinatorische Optimierungsprobleme mit Partitionsbeschriinkungen. Dissertation, Universitat Kaln.

Leclerc, M. and Rend!. F. (19S9): Constrained spanning trees and the travelling salesman problem. Europ. J. Oper. Res. 39, 96-102.

Lehman, A. (1964): A solution of the Shannon switching game. SIAM J. Appl. Math. 12, 6S7-725.

Lengauer, T. (1990): Combinatorial Algorithms for Integrated Circuit Layout. Wiley, New York.

Lenstra, J. K and Rinnooy Kan, A. H. G. (1975): Some simple applications of the travelling salesman problem. Oper. Res. Quart. 26, 717-733.

Lesk, M., Plummer, M. D. and Pulleyblank, W. R. (19S4): Equi-matchable graphs. In: Graph theory and combinatorics (Ed. B. Bollobas). Academic Press, New York, pp. 239-254.

Lesniak, L. and Oellermann, O. R. (19S6): An Eulerian exposition. J. Graph Th. 10, 277-297

Lewandowski, J. L., Liu, C. 1. and Liu, J. W. S. (19S6): An algorithmic proof of a generalization of the Birkhoff-Von Neumann theorem. J. Algor. 7, 323-330.

Lewis, H. R. and Papadimitriou, C. H. (19S1): Elements of the Theory of Compu­tation. Prentice Hall, Englewood Cliffs, N. J.

Lin, S. (1965): Computer solutions of the travelling salesman problem. Bell Systems Techn. J. 44, 2245-2269.

Lin, S. and Kernighan, B. W. (1973): An effective heuristic algorithm for the trav­elling salesman problem. Oper. Res. 31, 49S-516.

Linial, N., Lovasz, L. and Widgerson, A. (19SS): Rubber bands, convex embeddings and graph connectivity. Combinatorica 8, 91-102.

Little, J. D. C., Murty, K G., Sweeney, D. W. and Karel, C. (1963): An algorithm for the travelling salesman problem. Oper. Res. 11, 972-9S9.

568 References

Lomonosov, M. V. (1985): Combinatorial approaches to multiflow problems. Discr. Appl. Math. 11, 1-93.

Lovasz, L. (1970a): Problem 11. In: Combinatorial structures and their applications (Eds. R. Guy, H. Hanani, N. Sauer and J. Schonheim). Gordon and Breach, New York, pp. 497.

Lovasz, L. (1970b): Subgraphs with prescribed valencies. J. Comb. Th. 8, 391-416. Lovasz, L. (1972): Normal hypergraphs and the perfect graph conjecture. Discr.

Math. 2, 253-267. Lovasz, L. (1976): On two minimax theorems in graph theory. J. Comb. Th. (B)

21, 96-103. Lovasz, L. (1979): Graph theory and integer programming. Ann. Discr. Math. 4,

141-158. Lovasz, L. (1985): Some algorithmic problems on lattices. In: Theory of algorithms

(Eds. L. Lovasz and E. Smeredi). North Holland, Amsterdam, pp. 323-337. Lovasz, L. (1987): The matching structure and the matching lattice. J. Comb. Th.

(B) 43, 187-222. Lovasz, L. and Plummer, M. D. (1986): Matching Theory. North Holland, Amster­

dam. Lucas, E. (1882): Recreations Mathematiques. Paris. Liineburg, H. (1982): Programmbeispiele aus Algebra, Zahlentheorie und Kombi­

natorik. Preprint, Universitiit Kaiserslautern. Liineburg, H. (1989): Tools and Fundamental Constructions of Combinatorial Math­

ematics. Bibliographisches Institut, Mannheim. Ma, S. L. (1994): A survey of partial difference sets. Designs, Codes and Cryptog­

raphy 4, 221-26l. Maculan, N. (1987): The Steiner problem in graphs. Ann. Discr. Math. 31, 185-212. MacWilliams, F. J. and Sloane, N. J. A. (1977): The Theory of Error-Correcting

Codes. North Holland, Amsterdam. Mader, W. (1979): Connectivity and edge-connectivity in finite graphs. In: Surveys

in combinatorics (Ed. B. Bollobas). Cambridge University Press, Cambridge, pp. 66-95.

Magnanti, T. L. and Wong, R. T. (1984): Network design and transportation plan­ning: models and algorithms. Transportation Sci. 18, 1-55.

Malhotra, V. M., Kumar, M. P. and Mahaswari, S. N. (1978): An O(1V1 3 ) algorithm for finding maximum flows in networks. Inform. Proc. Letters. 7, 277-278.

Mansour, Y, and Schieber, B. (1989): Finding the edge connectivity of directed graphs. J. Algor. 10, 76-85.

Marcus, M. and Minc, H. (1965): Diagonal products in doubly stochastic matrices. Quart. J. Math. (2) 16, 32-34.

Marcus, M. and Ree, R. (1959): Diagonals of doubly stochastic matrices. Quart. J. Math. (2) 10, 296-302.

Martin, A. (1992): Packen von Steinerbaumen: Polyedrische Studien und Anwen­dung. Dissertation, Technische Universitiit Berlin.

Matsui, T. (1995): The minimum spanning tree problem on a planar graph. Discr. Appl. Math. 58, 91-94.

Matula, D. W. (1987): Determining edge connectivity in O(mn). Proc. 28th Symp. on Foundations of Computer Science, 249-25l.

Mehlhorn, K. (1984): Data Structures and Algorithms. Springer, Berlin. Mehlhorn, K. and Schmidt, B. H. (1986): On BF-orderable graphs. Discr. Appl.

Math. 15, 315-327. Mendelsohn, E. and Rosa, A. (1985): One-factorizations of the complete graph - a

survey. J. Graph Th. 9, 43-65.

References 569

Mendelsohn, N. S. and Dulmage, A. L. (1958): Some generalizations of the problem of distinct representatives. Canad. J. Math. 10, 230-241.

Meng, D. H. C. (1974): Matchings and Coverings for Graphs. Ph. D. thesis, Michi­gan State University, East Lansing, Mich.

Menger, K. (1927): Zur allgemeinen Kurventheorie. Fund. Math. 10, 96-115.

Micali, S. and Vazirani, V. V. (1980): An O( JIVITETI) algorithm for finding max­imum matchings in general graphs. Proc. 21st IEEE Symp. on Foundations of Computer Science, pp.17-27.

Michalewicz, Z. (1992): Genetic Algorithms + Data Structures = Evolution Pro­grams. Springer, Berlin.

Miller, G. A. (1910): On a method due to Galois. Quart. J. Pure Appl. Math. 41, 382-384.

Minc, H. (1978): Permanents. Addison-Wesley, Reading, Mass. Minc, H. (1988): Nonnegative Matrices. Wiley, New York. Minty, G. J. (1960): Monotone networks. Proc. Royal Soc. London (AJ 257, 194-

212. Minty, G. J. (1966): On the axiomatic foundations of the theories of directed linear

graphs, electrical networks and network programming. J. Math. Mech. 15, 485-520.

Mirkin, B. G. and Rodin, N. S. (1984): Genes and Graphs. Springer, New York. Mirsky, L. (1969a): Hall's criterion as a 'self-refining' result. Monatsh. Math. 73,

139-146. Mirsky, L. (1969b): Transversal theory and the study of abstract independence. J.

Math. Anal. Appl. 25, 209-217. Mirsky, L. (1971a): A dual of Dilworth's decomposition theorem. Amer. Math.

Monthly 78, 876-877. Mirsky, L. (1971b): Transversal Theory. Academic Press, New York. Mirsky, L. and Perfect. H. (1967): Applications of the notion of independence to

problems of combinatorial analysis. J. Comb. Th. 2, 327-357. Mohar, B. and Poljak, S. (1993): Eigenvalues in Combinatorial Optimization. In:

Combinatorial and graph-theoretic problems in linear algebra (Eds. R. Brualdi, S. Friedland and V. Klee). Springer, New York, pp. 107-151.

Monien, B. (1983): The complexity of determining a shortest cycle of even length. Computing 31, 355-369.

Moore, E. F. (1959): The shortest path through a maze. Proc. Int. Symp. on Theory of Switching Part II, Cambridge, Mass., Harvard University Press, pp. 285-292.

Miihlenbein, H., Gorges-Schleuter, M. and Kramer, O. (1988): Evolution algorithms in combinatorial optimization. Parallel Computing 7, 65-8)5.

Muirhead, A. F. (1903): Some methods applicable to identities and inequalities of symmetric algebraic functions of n letters. Proc. Edinburg Math. Soc. 21, 144-157.

Miiller-Merbach, H. (1966): Die Anwendung des Gozinto-Graphs zur Berechnung des Roh- und Zwischenproduktbedarfs in chemischen Betrieben. Ablauf- und Pla­nungsforschung 7, 189-198.

Miiller-Merbach, H. (1969): Die Inversion von Gozinto-Matrizen mit einem graphen­orientierten Verfahren. Elektron. Datenverarb. 11, 310-314.

Miiller-Merbach, H. (1973): Operations Research, 3rd edition. Franz Vahlen, Miinchen.

Naddef, D. (1990): Handles and teeth in the symmetric travelling salesman poly­tope. In: Polyhedral combinatorics (Eds. W. Cook and P. D. Seymour). American Mathematical Society, Providence, pp. 61-74.

Nemhauser, G. L. and Wolsey, L. A. (1988): Integer and Combinatorial Optimiza­tion. Wiley, New York.

570 References

Nijenhuis, A. and Wilf, H. S. (1978): Combinatorial Algorithms (2 nd edition). Aca­demic Press, New York.

Nishizeki, T. and Chiba, N. (1988): Planar Graphs: Theory and Algorithms. North Holland, Amsterdam.

Nobert, Y. and J.- C. Picard (1996): An optimal algorithm for the mixed Chinese Postman Problem. Networks 21, 95-108.

Oellermann, O. R. (1996): Connectivity and edge-connectivity in graphs: a survey. Congr. Numer. 116, 231-252.

Or, 1. (1976): Traveling salesman-type combinatorial problems and their relation to the logistics of regional blood banking. Ph. D., Northwestern University, Evanston, Ill.

Ore, O. (1951): A problem regarding the tracing of graphs. Elem. Math. 6, 49-53. Ore, O. (1955): Graphs and matching theorems. Duke Math. J. 22, 625-639. Ore, O. (1960): Note on hamiltonian circuits. Amer. Math. Monthly 67, 55. Ore, O. (1961): Arc coverings of graphs. Ann. Mat. PUra Appl. 55, 315-322. Orlin, J. B. (1993): A faster strongly polynomial minimum cost flow algorithm.

Oper. Res. 41, 338-350. Orlin, J. B. and Ahuja, R. K. (1992): New scaling algorithms for the assignment

and minimum cycle mean problems. Math. Progr. 54, 41-56. Orlin, J. B., Plotkin, S. A. and Tardos, E. (1993): Polynomial dual network simplex

algorithms. Math. Progr. 60, 255-276. Oxley, J. G. (1992): Matroid Theory. Oxford University Press, Oxford. Padberg, M. and Sung, T.-y' (1991): An analytical comparison of different formu­

lations of the travelling salesman problem. Math. Progr. 52, 315-357. Padberg, M. W. and Hong, S. (1980): On the symmetric travelling salesman prob­

lem: A computational study. Math. Progr. Studies 12, 78-107. Padberg, M. W. and Rao, M. R. (1974): The travelling salesman problem and a

class of polyhedra of diameter two. Math. Progr. 7, 32-45. Padberg, M. W. and Rinaldi, G. (1987): Optimization of a 532-city symmetric

travelling salesman problem. Oper. Res. Letters 6, 1-7. Padberg, M. W. and Rinaldi, G. (1991): A branch-and-cut algorithm for the reso­

lution of large-scale travelling salesman problems. SIAM Rev. 33, 60-100. Papadimitriou, C. H. (1976): On the complexity of edge traversing. J. ACM 23,

544-554. Papadimitriou, C. H. (1978): The adjacency relation on the traveling salesman

polytope is NP-complete. Math. Progr. 14, 312-324. Papadimitriou, C. H. (1992): The complexity of the Lin-Kernighan heuristic for the

traveling salesman problem. SIAM J. Compo 21, 450-465. Papadimitriou, C. H. and Steiglitz, K. (1977): On the complexity of local search

for the travelling salesman problem. SIAM J. Compo 6, 76-83. Papadimitriou, C. H. and Steiglitz,K. (1978): Some examples of difficult travelling

salesman problems. Oper. Res. 26, 434-443. Papadimitriou, C. H. and Steiglitz, K. (1982): Combinatorial Optimization: Algo­

rithms and Complexity. Prentice Hall, Englewood Cliffs, N. J. Papadimitriou, C. H. and Yannakakis, M. (1982): The complexity of restricted

spanning tree problems. J. ACM 29, 285-309. Papadimitriou, C. H. and Yannakakis, M. (1993): The traveling salesman problem

with distances 1 and 2. Math. of Oper. Res. 18, 1-11. Pape, U. and Conradt, D. (1980): Maximales Matching in Graphen. In: Aus­

gewahlte Operations Research Software in FORTRAN (Ed. H. Spath). Olden­bourg, Miinchen, pp. 103-114.

Peltesohn, R. (1936): Das Turnierproblem fur Spiele zu je dreien. Dissertation, U ni versi tiit Berlin.

References 571

Petersen, J. (1891): Die Theorie der reguliiren Graphen. Acta Math. 15, 193-220. Petersen, J. (1898): Sur Ie theoreme de Tait. L'Intermed. de Mathe-mat. 5, 225-227. Peterson, P. A. and Loui, M. C. (1988): The general maximum matching algorithm

of Micali and Vazirani. Algorithmica 3, 511-533. Plummer, M. D. (1994): Extending matchings in graphs: a survey. Discr. Math.

127, 277-292. Plummer, M. D. (1996): Extending matchings in graphs: an update. Congr. Numer.

116, 3-32. Prim, R C. (1957): Shortest connection networks and some generalizations. Bell

Systems Techn. J. 36, 1389-1401. Prisner, E. (1996): Line graphs and generalizations - a survey. Congr. Numer. 116,

193-229. Provan, J. S. (1986): The complexity of reliability computations in planar and

acyclic graphs. SIAM J. Compo 15,694-702. Prlifer, H. (1918): Neuer Beweis eines Satzes liber Permutationen. Arch. Math. und

Physik (3) 27,142-144. PuIIeyblank, W. R (1983): Polyhedral combinatorics. In: Mathematical Program­

ming: The state of the art (Eds. A. Bachem, M. Grotschel and B. Korte). Springer, Berlin, pp. 312-345.

Pym, J. S. and Perfect, H. (1970): Submodular functions and independence struc­tures. J. Math. Anal. Appl. 30, 1-31.

Qi, L. (1988): Directed submodularity, ditroids and directed submodular flows. Math. Progr. 42, 579-599.

Rado, R. (1942): A theorem on independence relations. Quart. J. Math. 13, 83-89. Rado, R (1957): Note on independence functions. Proc. LMS 7, 300-320. Radzik, T. and Goldberg, A. V. (1991): Tight bounds on the number of minimum

mean cycle cancellations and related results. Proc. 2nd ACM - SIAM Symp. on Discrete Algorithms, pp. 110-119.

Ralston, A. (1981): A new memoryless algorithm for de Bruijn sequences. J. Algor. 2, 50-62.

Ramachandra Rao, A. (1968): An extremal problem in graph theory. Israel J. Math. 6, 261-266.

Ray-Chaudhuri, D. K. and Wilson, R M. (1971): Solution of Kirkman's school girl problem. Proc. Symp. Pure Appl. Math., Providence, RI., AMS, pp. 187-203.

Recski, A. (1989): Matroid Theory and zts Applications. Springer, Berlin. Redei, L. (1934): Ein kombinatorischer Satz. Acta Litt. Szeged 7, 39-43. Rees, R. (1987): Uniformly resolvable pairwise balanced designs with block sizes

two and three. J. Comb. Th. (A) 45,207-225. Reinelt, G. (1994): The traveling salesman. Springer, Berlin. Reingold, E. M. and Tarjan, R E. (1981): On a greedy heuristic for complete

matching. SIAM J. Computing 10, 676-681. Renyi, A. (1959): Some remarks on the theory of trees. PuM. Math. Inst. Hungar.

Acad. Sc. 4, 73-85. Rieder, J. (1991): The lattices of matroid bases and exact matroid bases. Archiv.

Math. 56, 616-623. Robbins, H. (1939): A theorem on graphs with an application to a problem of traffic

control. Amer. Math. Monthly 46, 281-283. Roberts, F. S. and Xu, Y. (1988): On the optimal strongly connected orientations

of city street graphs I: Large grids. SIAM J. Discr. Math. 1, 199-222. Robertson, N., Sanders, D. P., Seymour, P. and Thomas, R (1997): The four-colour

theorem. 1. Comb. Th. (B) 70, 2-44. Robertson, N., Seymour, P. and Thomas, R (1993): Hadwiger's conjecture for K 6 -

free graphs. Combinatorica 13, 279-361.

572 References

Rosenkrantz, D. J., Stearns, E. A. and Lewis, P. M. (1977): An analysis of several heuristics for the traveling salesman problem. SIAM J. Compo 6, 563-581.

Rosenthal, A. (1977): Computing the reliability of complex networks. SIAM J. Appl. Math. 32, 384-393.

Rueppel, R. (1986): Analysis and Design of Stream Ciphers. Springer, New York. Ryser, H. J. (1957): Combinatorial properties of matrices of zeros and ones. Canad.

J. Math. 9, 371-377. Sahni, S. and Gonzales, T. (1976): P-complete approximation problems. J. ACM

23, 555-565. Schnorr, C. P. (1978): An algorithm for transitive closure with linear expected time.

SIAM J. Compo 7, 127-133. Schnorr, C. P. (1979): Bottlenecks and edge connectivity in unsymmetrical net­

works. SIAM J. Compo 8, 265-274. Schreuder, J. A. M. (1980): Constructing timetables for sport competitions. Math.

Progr. Studies 13, 58-67. Schreuder, J. A. M. (1992): Combinatorial aspects of construction of competition

Dutch professional football leagues. Discr. Appl. Math. 35, 301-312. Schrijver, A. (1983a): Min-max results in combinatorial optimization. In: Mathe­

matical Programming: The state of the art (Eds. A. Bachem, M. Grotschel and B. Korte). Springer, Berlin, pp. 439-500.

Schrijver, A. (1983b): Short proofs on the matching polyhedron. J. Comb. Th. (B) 34, 104-108.

Schrijver, A. (1984): Total dual integrality from directed graphs, crossing families, and sub- and supermodular functions. In: Progress in combinatorial optimization. (Ed. W. R. Pulleyblank). Academic Press Canada, 315-361.

Schrijver, A. (1986): Theory of Integer and Linear Programming. Wiley, New York. Schwenk, A. J. (1991): Which rectangular chessboards have a knight's tour? Math.

Magazine 64, 325-332. Schwenk, A. J. and Wilson, R. (1978): On the eigenvalues of a graph. In: Selected

Topics in Graph Theory (Eds. L. Beineke and R. Wilson). Academic Press, Lon­don, pp. 307-336.

Seymour, P. (1979): Sums of circuits. In: Graph Theory and related topics. (Eds. J. A. Bondy and U. S. R. Murty). Academic Press, New York, pp. 341-355.

Shannon, C. E. (1949): A theorem on colouring lines of a network. J. Math. Phys. 28, 148-151.

Shapiro, J. F. (1979): A survey of Langrangian techniques for discrete optimization. Ann. Discr. Math. 5, 113-138.

Shimbel, A. (1955): Structure in communication nets. Proc. Symp. Information Networks, New York, Polytechnic Institute of Brooklyn, pp. 199-203.

Shmoys, D. B. and Williamson, D. P. (1990): Analyzing the Held-Karp-TSP bound: A monotonicity property with application. Inform. Proc. Letters 35, 281-285.

Shor, N. Z. (1985): Minimization Methods for non-differentiable Functions. Springer, Berlin.

Sierksma, G. and Hoogeveen, H. (1991): Seven criteria for integer sequences being graphic. J. Graph Th. 15, 223-231.

Sikl6ssy, L. and Tulp, E. (1989): Trains, an active time-table searcher. ECAI '89, 170-175.

Simoes-Pereira, J. M. S. (1988): An optimality criterion for graph embeddings of metrics. SIAM J. Discr. Math. 1, 223-229.

Sleator, D. D. (1980): An O(mn log n) algorithm for maximum network flow. Ph. D. thesis, Stanford University.

Sleator, D. D. and Tarjan, R. E. (1983): A data structure for dynamic trees. J. Comput. System Sci. 26, 362-391.

References 573

Sperner, E. (1928): Ein Satz iiber Untermengen einer endlichen Menge. Math. Z. 27, 544-548.

Spinrad, J. (1985): On comparability and permutation graphs. SIAM J. Compo 14, 658-670.

Stern, G. and Lenz, H. (1980): Steiner triple systems with given subspaces: Another proof of the Doyen-Wilson theorem. Bolletiono U. M. I. (5) 17, 109-114.

Stoer, J. and Bulirsch, R. (1993): Introduction to Numerical Analysis (2nd edition). Springer, New York.

Stong, R. A. (1985): On I-factorizability of Cayley graphs. J. Comb. Th. (B) 39, 298-307.

Sumner, D. P. (1979): Randomly matchable graphs. J. Graph Th. 3, 183-186. Suzuki, M. (1982): Group Theory 1. Springer, Berlin-Heidelberg-New York. Syslo, M. M., Deo, N. and Kowalik, J. S. (1983): Discrete Optimization Algorithms.

Prentice Hall, Englewood Cliffs, N.J. Taha, H. A. (1992): Operations Research (5 th edition). Macmillan Publishing Co.,

New York. Takiics, L. (1990a): On Cayley's formula for counting forests. J.Comb.Th. (A) 53,

321-323. Takacs, L. (1990b): On the number of distinct forests. SIAM J. Discr. Math. 3,

574-581. Takaoka, T. (1992): A new upper bound on the complexity of the all pairs shortest

path problem. Inf. Process. Lett. 43, 195-199. Tardos, E. (1985): A strongly polynomial minimum cost circulation algorithm.

Combinatorica 5, 247-255. Tardos, E. (1986): A strongly polynomial algorithm to solve combinatorial linear

programs. Oper. Res. 34, 250-256. Tarjan, R. E. (1972): Depth first search and linear graph algorithms. SIAM J.

Compo 1, 146-160. Tarjan, R. E. (1977): Finding optimum branchings. Networks 7, 25-35. Tarjan, R. E. (1983): Data Structures and Network Algorithms. SIAM, Philadelphia. Tarjan, R. E. (1984): A simple version of Karzanov's blocking flow algorithm. Oper.

Res. Letters 2, 265-268. Tarry, G. (1895): Le probleme des labyrinthes. Nouv. Ann. de Math. 14, 187. Tassiulas, L. (1997): Worst case length of nearest neighbor tours for the euclidean

traveling salesman problem. SIAM J. Discr. Math. 10, 171-179. Terlaky, T. (1996): Interior Point Methods of Mathematical Programming. Kluwer,

Dordrecht. Thomassen, C. (1981): Kuratowski's theorem. J. Graph Th. 5, 225-241. Toft, B. (1996): A survey of Hadwiger's conjecture. Congr. Numer. 115, 249-283. Trietsch, D. and Hwang, F. (1990): An improved algorithm for Steiner trees. SIAM

J. Appl. Math. 50, 244-264. Turing, A. M. (1936): On computable numbers, with an application to the Entschei­

dungsproblem. Proc. LMS (2) 42, 230-265. Turner, .1. S. (1988): Almost all k-colorable graphs are easy to color. J. Algor. 9,

63-82. Tutte, W. T. (1947): The factorization of linear graphs. J. LMS 22, 107-111. Tutte, W. T. (1948): The dissection of equilateral triangles into equilateral triangles.

Proc. Cambridge Phil. Soc. 44, 203-217. Tutte, W. T. (1952): The factors of graphs. Canad. J. Math. 4, 314-328. Tutte, W. T. (1954) A short proof of the factor theorem for finite graphs. Canad.

J. Math. 6, 347-352. Tutte, W. T. (1984): Graph Theory. Cambridge University Press, Cambridge.

574 References

Vaidya, P. M. (1989): Geometry helps in matching. SIAM J. Comput. 19, 1201-1225.

Valiant, L. G. (1979a): The complexity of computing the permanent. Theor. Compo Sc. 8, 189-201.

Valiant, L. G. (1979b): The complexity of enumeration and reliability problems. SIAM J. Compo 8, 410-421.

van der Waerden, B. L. (1926): Aufgabe 45. Jahresber. DMV, 117. van der Waerden, B. L. (1927): Ein Satz iiber Klasseneinteilungen von endlichen

Mengen. Abh. Math. Sem. Hamburg 5, 185-188. van der Waerden, B. L. (1937): Moderne Algebra (2 nd edition). Springer, Berlin. van Lint, J. H. (1974): Combinatorial Theory Seminar Eindhoven University of

Technology. Springer, Berlin. van Lint, J. H. and Wilson, R. M. (1992): A Course in Combinatorics. Cambridge

University Press, Cambridge. Vazirani, V. V. (1994): A theory of alternating paths and blossoms for proving

1 correctness of the O(V2 E) general graph matching algorithm. Combinatorica 14, 71-109.

Vizing, V. G. (1964): Uber eine Abschiitzung der chromatischen Klasse eines p­Graphen (Russian). Diskret. Analiz. 3, 25-30.

Volgenant, T. and Jonker, R. (1982): A branch and bound algorithm for the sym­metric travelling salesman problem based on the I-tree relaxation. Europ. J. Oper. Res. 9, 83-89.

VoB, S. (1992): Steiner's problem in graphs: heuristic methods. Discr. Appl. Math. 40, 45-72.

Wagner, K. (1936): Bemerkungen zum Vierfarbenproblem. Jahresber. DMV 46, 26-32.

Wagner, K. (1937): Uber eine Eigenschaft der ebenen Komplexe. Math. Ann. 114, 170-190.

Wagner, K. (1960): Bemerkungen zu Hadwigers Vermutung. Math. Ann. 141, 433-451.

Wallis, W. D. (1992): One-factorizations of the complete graph. In: Contemporary design theory: A collection of surveys (Eds. J. H. Dinitz and D. R. Stinson). Wiley, New York, pp. 593-639.

Wallis, W. D. (1997): One-Factorizations. Kluwer Academic Publishers, Dordrecht. Warshall, S. (1962): A theorem on Boolean matrices. J. ACM 9, 11-12. Weintraub, A. (1974): A primal algorithm to solve network flow problems with

convex costs. Management Sc. 21, 87-97. Welsh, D. J. A. (1968): Kruskal's theorem for matroids. Proc. Cambridge Phil. Soc.

64, 3-4. Welsh, D. J. A. (1976): Matroid Theory. Academic Press, New York. White, N., Ed. (1986): Theory of Matroids. Cambridge University Press, Cam­

bridge. White, N., Ed. (1987): Combinatorial Geometries. Cambridge University Press,

Cambridge. White, N., Ed. (1992): Matroid Applications. Cambridge University Press, Cam­

bridge. Whitney, H. (1932a): Congruent graphs and the connectivity of graphs. Amer. J.

Math. 54, 150-168. Whitney, H. (1932b): Non-separable and planar graphs. Trans. AMS 54,339-362. Whitney, H. (1933): Planar graphs. Fund. Math. 21, 73-84. Whitney, H. (1935): On the abstract properties of linear dependence. Amer. J.

Math. 57, 509-533.

References 575

Wilson, L. B. (1972): An analysis of the stable marriage assignment problem. BIT 12, 569-575.

Wilson, R. J. (1986): An Eulerian trail through Konigsberg. J. Graph Th. 10, 265-275.

Wilson, R. J. (1989): A brief history of Hamiltonian graphs. Ann. Discr. Math. 41, 487-496.

Winkler, P. (1988): The complexity of metric realization. SIAM J. Discr. Math. 1, 552-559

Wirth, N. (1976): Algorithms + Data Structures = Programs. Prentice Hall, Engle­wood Cliffs, N.J.

Yannakakis, M. (1978): Node- and edge-deletion NP-complete problems. Proc. 10th ACM Symp. on Theory of Computing, New York, ACM, pp. 253-264.

Yannakakis, M. and Gavril, F. (1978): Edge dominating sets in graphs. Unpublished manuscript.

Yao, A. C. (1975): An O(IEllog log WI) algorithm for finding minimum spanning trees. Inform. Pmc. Letters 4, 21-23.

Yap, H. P. (1986): Some Topics in Graph Theory. Cambridge University Press, Cambridge.

Young, N. E., Tarjan, R. E. and Orlin, J. B. (1991): Faster parametric shortest path and minimum-balance algorithms. Networks 21, 205-221.

Yuster, R. and Zwick, U. (1997): Finding even cycles even faster. SIAM J. Discr. Math. 10, 209-222.

Zadeh, N. (1972): Theoretical efficiency of the Edmonds-Karp algorithm for com­puting maximal flows. J. ACM 19, 248-264.

Zadeh, N. (1973a): A bad network problem for the simplex method and other minimum cost flow algorithms. Math. Progr. 5, 255-266.

Zadeh, N. (1973b): More pathological examples for network flow problems. Math. Pmgr. 5, 217-224.

Zimmermann, U. (1981): Linear and Combinatorial Optimization in Ordered Alge­braic Structures. North Holland, Amsterdam.

Zuckerman, D. (1996): On un approximable versions of NP-complete problems. SIAM J. Computing 25, 1293-1304.

Index

3-SAT, 53, 468 4CC,239

accessibility axiom, 150 accessible, 27 accessible set system, 150 active vertex, 194, 290 acyclic digraph, 50, 74, 78, 227, 346 acyclic graph, 7 adjacency list, 40 adjacency matrix, 41 adjacent, 2, 460 admissible cell, 223 admissible edge, 294 admissible graph, 294 admissible operations, 291 admissible PUSH, 194, 291 admissible RELABEL, 194, 291 admissible vector, 401 Algebraic Assignment Problem, 399 algorithm, 35, 36, 44-49

E-approximative, 435-441 dual Greedy, 146 efficient, 48 farthest insertion, 442

- FIFO preflow push, 199 - good, 48 - Greedy, 130 - highest label preflow push, 201 - Hungarian, 391-400 - insertion, 441 - labelling, 159, 268 - local search, 444 - minimum mean cycle-canceling, 298 - MKM, 182-184 - nearest insertion, 443 - Network Simplex, 187 - polynomial, 48 - primal-dual, 404 - strongly polynomial, 272 - tree, 437

- weakly polynomial, 272 Algorithm of - Bellman and Ford, 83 - Boruvka, 113 - Busacker and Gowen, 273-276,

326-330 - Christofides, 438 - Dijkstra, 79-83 - Dinic, 178, 189 - Edmonds, 380 - Edmonds and Karp, 161--171, 298 - Floyd and Warshall, 87-92 - Ford and Fulkerson, 159, 268 - Goldberg and Tarjan, 192-204,

285-297 - Gusfield, 309 - Hierholzer, 37, 42-43 - Klein, 269-271, 297-302 - Kruskal, 111 - Malhotra, Kumar and Mahaswari,

182-184 Minty, 268 Moore, see BFS

- Pape and Conradt, 366 - Prim, 109 - Tarjan, 343 alphabet, 43 alternating path, 359 alternating tree, 364 ancestor, 336 and, 45 antichain, 228 anti parallel, 26 approximation scheme, 440 E-approximative algorithm, 435-441 arbitrarily traceable, 38 arborescence, 27 - spanning, 73, 123-127, 336 arc, 26 arc disjoint paths, 209, 464

578 Index

arc separator, 209 articulation point, 338 assignment (of values to variables), 45 Assignment Problem, 226, 255 assignment relaxation, 426, 460 associated digraph, 26 Asymmetric Travelling Salesman

Problem, 453 Asymmetric TSP, 425 ATSP,425 AUGMENT, 177, 383, 394 augmenting path, 157, 359 Augmenting Path Theorem, 157, 361 automorphism, 25 automorphism group, 25, 248 - regular, 248 auxiliary network, 171 - layered, 174 AUXNET,176

back edge, 336, 345 backward edge - in a directed path, 27 - in a flow network, 157 base, 371 basis, 133, 150 Basis Completion Theorem, 134 BELLFORD, 84 Bellman's equations, 72, 93 BFS,67-72 biconnected component, see block BIPART,71 bipartite graph, 70, 105, 191, 213, 225,

235, 240, 370, 387, 389-400 - complete, 2 - regular, 214 - symmetric, 387 BIPMATCH, 370 block, 338-344 block-cutpoint graph, 340 BLOCK01FLOW, 189 BLOCKCUT,343 BLOCKFLOW, 178 blocking flow, 173-186, 189 BLOCKMKM, 182 BLOSSOM, 382 blossom, 365-379 bond space, 266 BORUVKA,113 Bottleneck Assignment Problem, 226,

400 Bottleneck Problem, 116, 153 branch and bound, 453-460

branching, 27 breadth first search, see BFS break,29 bridge, 22, 27, 264

cancelled cycle, 299 canonical, 32 capacitated network, 155 capacity - in a digraph, 253 - in a flow network, 155 - of a cut, 156, 261 - of a path, 116 - residual, 193, 279 capacity constraints, 253 capacity increase, 326-330 Caterer Problem, 256 Cayley graph, 248 cell - admissible, 223 cell (of a matrix), 223 center, 91 certificate, 54 chain, 228 k-change neighbourhood, 444 Chinese Postman Problem, 408-412,

462 chord, 241 Christofides Algorithm, 438 chromatic index, 245, 463 chromatic number, 239, 463 circuit, 135 circulation, 253, 278 - c-optimal, 280 - c-tight, 282 - elementary, 264, 267 - feasible, 253, 278 - legal, 253 - minimum cost, 254 - optimal, 254, 278 Circulation Theorem, 262 clause, 53 clique, 59, 463 clique partition number, 240, 465 closed set, 134 closed trail,. 5 closed walk, 5 closure, 16 - hereditary, 152 - transitive, 89 closure congruence axiom, 152 Co-NP,54 cobasis, 137

cocircuit, 137, 267 cocycle, 107 - directed, 267 co cycle space, 266 COLOUR, 242 colouring, 239 - edge, 245 common system of representatives, 221 common transversal, 222 COMP,481 comparability graph, 239 comparable, 239 complementary graph, 5 complementary slackness conditions,

280 complete bipartite graph, 2 complete digraph, 26 complete graph, 2 complete matching, 214 complete orientation, 26 complete time-sharing, 322 complexity, 47 component - biconnected, see block - connected, 6, 68, 249, 335 - odd, 355 - strong, 347-351 condensation, 351 Conjecture -- of Berge, 241 - of Hadwiger, 244 - of Hajas, 245 - of Lovasz, 252 - of van der Waerden, 225 - Four Colour, 239 - Steiner Ratio, 118 - Strong Perfect Graph, 242 conjunctive normal form, 53 connected - m-fold edge, 351 connected component, 6, 68, 249, 335 - strong, 347-351 connected digraph, 27 - strongly, 27, 347-351 connected graph, 6, 68 - 2-connected, 338-344 - k-connected, 212, 331-334 connected vertices, 6 connectivity, 212, 331-334 Connector Problem, 99 CONTRACT, 382 contractible, 24 contraction, 24, 371

- elementary, 24 convex function, 276 convex hull, 225 Cook's Theorem, 55 cost

Index 579

- for capacity increase, 326-330 - of a circulation, 253 - of a flow, 255 - of a matching, 390 - of a pseudoflow, 278 - reduced, 279 cost curve, 276 cost function - for capacity increase, 326-330 - for circulations, 253 cotree, 138 cover (a matching covers a set), 221,

387 CPP, see Chinese Postman Problem,

409,462 critical edge, 162 critical path, 76 critical path method, 75 critical subfamily, 218 critical task, 76 cross edge, 345 crossing cuts, 312 current edge, 198, 295 current vertex, 295 cut - in a digraph, 261 - in a flow network, 156 - in a graph, 107 - minimal, 156 cut point, 338 cut tree, 322-326 cuts - crossing, 312 - non-crossing, 312 CUTTREE, 323 cycle, 5 - cancelled, 299 - directed, 27 - Eulerian, 13 - Hamiltonian, 15, 55 - - directed, 56 - of minimum cycle mean, 282-285,

298-302 - of negative length, 92-93, 270, 279,

281 - shortest, 72 cycle mean - minimum, 282

580 Index

cycle space, 265 cyclic graph, 250 cyclomatic number, 264

dag, see acyclic digraph de Bruijn sequence, 43 deBruijn sequence, 126 decision problem, 53 Decomposition Theorem, 224 deficiency, 218 deficiency version - of the I-Factor Theorem, 357 - of the Marriage Theorem, 218 degree, 4 degree matrix, 104 degree sequence, 12 DELETEMIN,82 demand, 234 dense, 48 dependent set, 133 depth first search, see DFS descendant, 336 determinism, 36 DFS, 334-337, 348 DFSM,348 DHC, see Directed Hamiltonian Cycle

Problem DHP, see Directed Hamiltonian Path

Problem diagonal, 223-226 - non-zero, 223 - positive, 223 diameter, 91, 463 digraph, 26-29, 50-52, 101-105,

123-127, 155,227-231,253,345-351 - acyclic, 50-52, 74, 78, 227, 346 - associated, 26 - complete, 26 - condensation, 351 - connected, 27 - layered, 174 - pseudo-symmetric, 27 - strongly connected, 27, 347-351 - transitive, 89 - transitive reduction, 90 DIJKSTRA,79 DIJKSTRAPQ,82 Dilworth number, 228 dioid, 94 directed cocycle, 267 directed cycle, 27 directed Euler tour, 27 directed graph, see digraph

directed Hamiltonian cycle, 56 Directed Hamiltonian Cycle Problem,

56 directed Hamiltonian path, 144, 145 Directed Hamiltonian Path Problem,

145 directed multigraph, 26 directed path, 27 directed trail, 27, 28 directed tree, see arborescence Discrete Metric Realization, 464 dissection, 227 distance, 7, 63-70 distance matrix, 66, 87 dominant requirement tree, 316 dominating network, 320 doubly stochastic matrix, 224 dual Greedy Algorithm, 146 dual linear program, 403 Dual Linear Programming Problem,

403 dual matroid, 137-138, 146 DUALGREEDY, 147 Duality Theorem, 403 dynamic flow, 304

easy problem, 48, 53 edge, 2, 26 - c-fixed, 288 - admissible, 294 - anti parallel, 26 - back, 336, 345 - backward, 27 - connected, 351 - critical, 162 - cross, 345 - current, 198, 295 - forward, 26, 345 - list, 39 - most vital, 161 - originating, 202 - parallel, 13 - residual, 193, 279 - saturated, 157 - set, 2 - tree, 336, 345 - void, 157 m-fold edge connected, 351 edge chromatic number, 245 edge colouring, 245 edge connectivity, 351 effectiveness, 36 efficiency, 36

efficient, 48 elementary circulation, 264, 267 elementary contraction, 24 elementary flow, 161 end vertex, 2, 5, 26 EPM,421 equality subgraph, 392 equi-matchable, 355 equivalent flow tree, 307 Euclidean Steiner Problem, 117 EULER, 43, 46 Euler tour, 13, 42-43 - directed, 27 Euler's Formula, 22 Eulerian cycle, 13 Eulerian graph, 13, 42-43 Eulerian multigraph, 13 - spanning, 436 Eulerian trail, 13 evaluation problem, 53 even path, 418 even vertex, 364 exact neighbourhood, 448 Exact Perfect Matching, 421 excentricity, 91 exchange axiom, 133, 134 - strong, 151 exposed vertex, 357 extensibility axiom, 152

face, 22 factor, 4 - 1-,4 - 2-, 215 - ~-, 215 - 1-,388 - k-,4 - triangle, 215 I-Factor Theorem, 356 - deficiency version, 357 I-factor, 388 factorization, 4 - 1-, 4 - 2-, 215 - oriented, 29-32 FAREFINE, 296 FARIN,442 Farthest Insertion Algorithm, 442 feasibility condition, 155 feasible circulation, 253, 278 feasible flow, 234 feasible network, 307 feasible node weighting, 391

Index 581

feasible set, 150 FIFO Preflow Push Algorithm, 199 FIFOFLOW, 199 finiteness of description, 36 first improvement, 445 t:-fixed, 288 float, 76 flow, 155 - -1-, 188 - blocking, 173-186, 189 - dynamic, 304 - elementary, 161 - feasible, 234 - maximal, 156 - multicommodity, 304, 322 - optimal, 255, 273, 303 flow conservation condition, 155 flow excess, 193 flow function, 305 flow network, 155 - layered, 174-186, 189 flow potential, 181 flow with gain or loss, 304 FLOWTREE, 309 FLOYD,87 for ... do, 45 FORDFULK, 159 forest, 8, 102 - minimal spanning, 106 forward edge - in a DFS, 345 - in a directed path, 26 - in a flow network, 157, 211 Four Colour Conjecture, 239 free matroid, 131

generalized dihedral group, 251 generating set, 134, 137 geometric graph, 21 Geometric Steiner Tree Problem, 117 girth, 22 GOLDBERG, 194 good algorithm, 48 Gozinto graph, 98 graph, 2 - 2-connected, 338-344 - m-fold edge connected, 351 - acyclic, 7 - admissible, 294 - arbitrarily traceable, 38 - bipartite, 70, 105, 191, 213, 225, 235,

240, 370, 387, 389-400 - - symmetric, 387

582 Index

- block-cutpoint, 340 Cayley, 248

- comparability, 239 - complementary, 5 -- complete K n , 2 - complete bipartite Km,n, 2 - connected, 6, 68 - contractible, 24

contraction, 371 - cyclic, 250

dense, 48 - directed, see digraph

edge connected, 351 - equality, 392 - equi-matchable, 355 - Eulerian, 13, 42-43 - geometric, 21 - Gozinto, 98 - Hamiltonian, 16 - homeomorphic, 24 - interval, 240 - isomorphic, 21 - k-connected, 212, 331-334 - line, 14 - mixed, 28 - orientable, 27 - perfect, 241 - Petersen, 24 - planar, 22-25 - plane, 22 - randomly matchable, 362

regular, 4 regular bipartite, 214

- residual, 193, 279 - separable, 338 - sparse, 48 - strongly regular, 5, 41 - symmetric, 192 -- triangular Tn, 5 - triangulated, 241 - underlying, 26 - unicyclic, 100 - uniform, 316 Graph Partitioning, 464 graphic matroid, 131 greedoid, 151 GREEDY, 130, 150 Greedy Algorithm, 130 - dual of the Greedy Algorithm, 146

Hadwiger's Conjecture, 244 Hajas' Conjecture, 245 Hamiltonian cycle, 15, 55

- directed, 56 Hamiltonian Cycle Problem, 464 Hamiltonian graph, 16 Hamiltonian path, 56, 145 - directed, 144, 145 Hamiltonian Path Problem, 56, 465 hard problem, 48 Harem Theorem, 222 Hasse diagram, 90 HC, see Hamiltonian cycle head, 26 head-partition matroid, 131 heap, 82 hereditary closure, 152 heuristics, 441-443 Highest Label Preflow Push Algorithm,

201 Hitchcock Problem, 303 HLFLOW, 201 home-away-pattern, 29 homeomorphic, 24 HP, see Hamiltonian Path Problem hull - convex, 225 HUNGARIAN, 393 Hungarian Algorithm, 391-400 hyperplane, 134

if ... then . .. else, 44 ILP, see Integer Linear Programming

Problem incidence list, 40 incidence map, 13 incidence matrix, 101 incident, 2, 26 increasing the capacities, 326-330 indegree, 27 indegree matrix, 124 independence number, 227 independence system, 130 independent set - in a matroid, 130 - of vertices, 59, 227, 465 independent set of cells, 223 induced subgraph, 3, 465 inf-section, 116 INMATCH,363 inner vertex, 364 insertion algorithm, 441 instance, 36 integer linear program, 401 Integer Linear Programming Problem,

401

Integer Programming, 465 Integral Flow Theorem, 158 intermediate node, 235, 303 intersection - of matroids, 143-145 interval graph, 240 intractable problem, 48 isolated vertex, 6 isomorphic, 21 isotonic, 133 iteration, 45

k-connected, 212, 331-334 KAPPA,333 Kirkman's School Girl Problem, 216 KLEIN, 269 Knapsack Problem, 65 Knight's Problem, 18 Konigsberger Briickenproblem, 1 KRUSKAL, 111, 112

labelling - valid, 193 labelling algorithm, 159, 268 Lagrange relaxation, 435 Laplacian matrix, 104 lattice, 407 layered auxiliary network, 174 layered digraph, 174 layered flow network, 174-186, 189 leaf, 8, 10 league schedules, 31-33 legal circulation, 253 LEGCIRC, 260 Lemma - Painting, 266 Lemma of - Konig, 224 - Minty, 266 - Sperner, 230 length, 5, 63 level, 69 line (of a matrix), 223 line graph, 14 linear program, 400 - -I, 401 - dual, 403 - integer, 401 Linear Programming Problem, see LP linear span, 407 list of edges, 39 literal, 53 local search algorithm, 444

Index 583

long trajectory, 203 Longest Cycle Problem, 465 Longest Path Problem, 465 loop, 13, 45 low point, 340 lower rank, 139 LP,400 - dual, 403 LP relaxation, 430 LPD, see Dual Linear Programming

Problem

m-fold edge connected, 351 MIT, 428 Marriage Theorem, 217 - deficiency version, 218 MATCH, 502 Matching, 466 matching, 131, 213 - complete, 214 - covering a set, 221, 387 - maximal, 213 - maximal weighted, 389 - of maximal cardinality, 213 - optimal, 390 - perfect, 214, 355 - product-optimal, 400 - stable, 421 - symmetric, 387 - which cannot be extended, 213 matching matroid, 387 matching polytope, 407 mate, 363 matric matroid, 133 matrix - -1-, 224, 226, 237 - adjacency, 41 - degree, 104 - distance, 66, 87 - doubly stochastic, 224 - incidence, 101 - indegree, 124 - Laplacian, 104 - permutation, 224 - quasi-inverse, 96 - reduced, 454 - totally unimodular, 103 Matrix Tree Theorem, 103 matroid, 130 - dual, 137-138, 146 - free, 131 - graphic, 131 - head-partition, 131

584 Index

~ matching, 387 ~ matric, 133 ~~ partition, 220 ~ representable, 133 - restriction, 387 ~ tail~partition, 131

transversal, 219 uniform, 131

- vectorial, 133 matroid embedding axiom, 152 Matroid Intersection Problem, 145, 466 Max Cut Problem, 466 Max~Flow Min-Cut Theorem, 158 Max-Flow Problem, 254 MAXOIFLOW, 525 MAXFLOW, 177 maximal flow, 156 maximal matching, 213 maximal spanning tree, 115~ 117 maximal weighted matching, 389 MAXLEGFLOW, 512 MAXMATCH, 381 maze, 337 mean weight (of a cycle), 282 MEANCYCLE, 285, 516 MERGE, 111 metric space, 65 Metric Travelling Salesman Problem,

425 Min Cut, 466 minimal cut, 156 minimal network, 307 minimal point, 182 minimal potential, 182 minimal spanning forest, 106 minimal spanning tree, 106~115, 428,

437,467 minimal Steiner tree, 118, 441 Minimum k-Connected Subgraph, 467 minimum cost circulation, 254 Minimum Cost Flow Problem, 255 minimum cycle mean, 282~285, 298 minimum mean cycle-canceling

algorithm, 298 Minimum Spanning Tree Problem, 467 MINTREE, 108 MINTY, 268 Minty's Painting Lemma, 266 MIP, see Matroid Intersection Problem mixed graph, 28 mixed multigraph, 28 MKM-Algorithm, 182~ 184 MMCC, 298

monotonous subsequence, 229 most vital edge, 161 MST relaxation, 427 multi-terminal network flow, 322 multicommodity flow, 304, 322 multigraph, 13 ~ directed, 26 ~ Eulerian, 13 ~ mixed, 28 ~ orientable, 27 ~ spanning Eulerian, 436 ~ strongly connected, 28 ~ underlying, 26

Nearest Insertion Algorithm, 443 NEGACYCLE, 92 neighbour, 2 neighbourhood, 444 ~ k-change, 444 ~ exact, 448 network, 63 ~ -1-, 188 ~ auxiliary, 171 ~ capacitated, 155 ~ dominating, 320 ~ feasible, 307 ~ flow, 155 ~ layered, 174~186, 189 ~ layered auxiliary, 174 ~ minimal, 307 ~ symmetrical, 305 ~ synthesis, 305~330 Network Flow, 467 Network Reliability, 467 Network Simplex Algorithm, 187 node ~ intermediate, 235, 303 ~ pseudo, 371 non-crossing cuts, 312 non-extendable matching, 213 non-saturating PUSH, 292 non-zero diagonal, 223 nonsaturating PUSH, 197 NP,54 NP-complete problem, 49, 55 NP-hard problem, 56

objective function, 400 odd component, 355 odd path, 418 odd vertex, 364 2-0PT,446 OPTCIRC, 286

OPTFLOW, 274 E-optimal, 280 k-optimal, 444 optimal circulation, 254, 278 optimal flow, 255, 273, 303 optimal matching, 390 optimal pseudoflow, 278 optimal realization, 66 optimal tour, 20, 423 optimization problem, 53 optimum communication spanning tree,

123 optimum requirement tree, 123, 324 OPTMATCH, 390, 536 of,45 ordered abelian group, 399 orientable, 27 orientation, 26 - complete, 26 - transitive, 239 oriented I-factorization, 29-32 originating edge, 202 out-of-kilter-Algorithm, 272 outdegree, 27 outer vertex, 364

P, 54 Painting Lemma, 266 parallel class, 231 parallel edges, 13 parallelism, 231 Parametric Budget Problem, 327 partial difference set, 252 partial SDR, 218 partial transversal, 218 partially ordered set, 50, 228-231 partition matroid, 220 path, 5 - alternating, 359 - arc disjoint, 209 - augmenting, 157, 359 - critical, 76 - directed, 27 - Eulerian, 13 - even, 418

Hamiltonian, 56, 145 - odd, 418 - reliable, 467 - shortest, 64 - vertex disjoint, 209 path algebra, 94 PATHNR,525 penalty, 431

penalty function, 431 perfect graph, 241

Index 585

Perfect Graph Theorem, 241 perfect matching, 214, 355 perfect matching polytope, 407 permanent (of a matrix), 225 Permanent Evaluation, 467 permutation matrix, 224 Petersen graph, 24 phase, 175, 362; 394 planar graph, 22-25 plane graph, 22 Platonic solids, 22 point - cut, 338 - minimal, 182 - Steiner, 117 Polyhedral Combinatorics, 462 polyhedron formula, 22 polynomial algorithm, 48 polynomial problem, 53 polytope, 402 poset, see partially ordered set positive diagonal, 223 post-optimization, 444 POTENTIAL, 282, 515 potential, 198, 266, 279 - minimal, 182 potential difference, 266 preflow, 193 price function, 279 PRIM, 109 Primal-Dual Algorithm, 404 priority, 82 priority queue, 82 Problem - Algebraic Assignment, 399 - Assignment, 226, 255 - Asymmetric Travelling Salesman,

425, 453 - Bottleneck, 116, 153 - Bottleneck Assignment, 226, 400 - Caterer, 256 - Chinese Postman, 408, 462 - Connector, 99 - Directed Hamiltonian Cycle, 56 - Directed Hamiltonian Path, 145 - Euclidean Steiner, 117 - Exact Perfect Matching, 421 - Hitchcock, 303 - Integer Linear Programming, 401 - Konigsberger Briickenproblem, 1 - Kirkman's School Girls, 216

586 Index

- Knight's, 18 - Linear Programming, 400 - Matroid Intersection, 145, 466 - Max Cut, 466 - Max-Flow, 254 - Metric Travelling Salesman, 425 - Minimum Cost Flow, 255 - Parametric Budget, 327 - Restricted Hamiltonian Cycle, 449 - Restricted Perfect Matching, 421 - Shortest Path, 256 - Stable Marriage, 421 - Steiner Network, 118 - Supply and Demand, 234-237 - Transportation, 303 - Transshipment, 303 - Travelling Salesman, 19, 423 - TSP Suboptimality, 452 - Zero-One Linear Programming, 401 problem - decision, 53 - easy, 48, 53 - evaluation, 53 - hard, 48 - intractable, 48 - NP-complete, 49, 55 - NP-hard, 56 - optimization, 53 - polynomial, 53 problem class, 36 product-optimal matching, 400 program, 35 project evaluation and review

technique, 75 project schedule, 75-78 Priifer code, 10 pseudo node, 371 pseudo-symmetric, 27 pseudoflow, 278 - c-optimal, 280 - c-tight, 282 - optimal, 278 pseudograph, 13 PULL,183 PUSH, 182, 194, 291 - admissible, 194, 291 - non-saturating, 197, 292 - saturating, 197, 292 - special, 202

quasi-inverse, 96 queue, 67

ramification, 44

randomly matchable graph, 362 RANK,78 rank - in a digraph, 78 - in a matroid, 133 -- lower, 139 -- upper, 139 rank quotient, 139 rate of growth, 47 reduced cost, 279 reduced matrix, 454 reduction - transitive, 90 REFINE, 285-297 regular automorphism group, 248 regular bipartite graph, 214 regular graph, 4 RELABEL, 194, 291 - admissible, 194, 291 relaxation, 426 - I-tree, 428-429 - assignment, 426, 460 - Lagrange, 435 - LP,430 - MST, 427 reliable path, 467 repeat ... until, 45 representable, 133 RESIDUAL, 279, 515 residual capacity, 193, 279 residual edge, 193, 279 residual graph, 193, 279 resolution, 4 Restricted Hamiltonian Cycle, 449 Restricted Perfect Matching, 421 restriction of a matroid, 387 return arc, 254 RHC, see Restricted Hamiltonian Cycle root, 27 RPM, 421

SAT, 53, see Satisfiability Satisfiability, 468 saturated edge, 157 saturated vertex, 357 saturating PUSH, 197, 292 scatter number, 223 sceleton, 461 schedule - league, 31-33 - project, 75-78 - tournament, 29-33 - train, 84-87

SDR,217 - partial, 218 separable graph, 338 separator - arc, 209 - vertex, 209, 211 set - closed, 134 - dependent, 133 - feasible, 150 - generating, 134, 137 - independent, 59, 130, 227, 465 - of edges, 2 - partial difference, 252 - partially ordered, 50, 228-231 - stable, 59, 227 set system, 150 - accessible, 150 short trajectory, 203 Shortest Cycle Problem, 72, 468 shortest path, 64 Shortest Path Problem, 256, 468 shortest path tree, see SP-tree sink, 155 slack, 76 source, 155 SP-tree, 73, 93 space complexity, 47 span, 134 - linear, 407 span operator, 134 spanning arborescence, 73, 123-127,

336 spanning Eulerian multigraph, 436 spanning forest - minimal, 106 spanning subgraph, 3 Spanning Tree, 468 spanning tree, 70, 103, 448, 468 - maximal, 115-117 - minimal, 106-115, 428, 437 spanning tree with restrictions, 121-123 sparse, 48 special PUSH operation, 202 Sperner's Lemma, 230 SPTREE,486 SRG, see strongly regular graph Stable Marriage Problem, 421 stable matching, 421 stable roommates problem, 422 stable set, 59, 227 stack, 342 star, 12

start vertex, 5, 26 steepest descent, 445 STEINER, 119

Index 587

Steiner Network Problem, 118, 468 Steiner point, 117 Steiner points, 118 Steiner Ratio Conjecture, 118 Steiner tree, 117-120, 469 - minimal, 118, 441 stem, 377 step (in an algorithm), 47 strong component, 347-351 Strong Duality Theorem, 403 strong exchange axiom, 151 strong extensibility axiom, 153 Strong Perfect Graph Conjecture, 242 STRONGCOMP, 348 strongly connected, 27, 28, 347-351 strongly polynomial, 272 strongly regular graph, 5, 41 subdivision, 23 subfamily - critical, 218 subgradient, 435 sub gradient optimization, 431 subgraph, 3 - equality, 392 - induced, 3 - spanning, 3 submodular, 133 suboptimal, 452 subtour elimination constraints, 430 supply, 234 Supply and Demand Problem, 234-237 Supply-Demand-Theorem, 235 support, 161 symmetric bipartite graph, 387 symmetric graph, 192 symmetric matching, 387 symmetrical network, 305 synthesis of networks, 305-330 system of distinct representatives, see

SDR system of representatives, 217 - common, 221

tail, 26 tail-partition matroid, 131 term rank, 223 termination, 36 Theorem - I-Factor, 356 - Augmenting Path, 157, 361

588 Index

- Basis Completion, 134 - Circulation, 262 - Decomposition, 224 - Harem, 222 - Integral Flow, 158 - Marriage, 217 - Matrix Tree, 103 - Max-Flow Min-Cut, 158 - Perfect Graph, 241 - Strong Duality, 403 - Supply-Demand, 235 - Total Dual Integrality, 404 Theorem of - Baranyai, 231 - Birkhoff, 225 - Brooks, 243 - Cauchy and Binet, 104 - Cook, 55 - Dilworth, 228 - Euler, 14 - Ford and Fulkerson, 157-158 - Gale and Ryser, 236 - Gallai and Milgram, 229 - Konig and Egervary, 214 - Kuratowski, 24 - Menger, 209-212 - Phillip Hall, 214 - Redei, 229 - Robbins, 27 - Stern and Lenz, 250 - Tutte,355 - Vizing, 245 - Whitney, 331 TIGHT, 285, 517 c-tight, 282 time complexity, 47 time cycle, 84 topological sorting, 50 TOPSORT,51 Total Dual Integrality Theorem, 404 totally dual integral, 404 totally unimodular, 103 tour, 20, 423 - k-optimal, 444 - Euler, 13 - optimal, 20, 423 - suboptimal, 452 tournament, 229 - schedules, 29-33 TRACE, 42, 46 trail, 5, 26 - closed, 5 - directed, 27, 28

- Eulerian, 13 train schedule, 84-87 trajectory, 202 - long, 203 - short, 203 transitive closure, 89 transitive digraph, 89 transitive orientation, 239 transitive reduction, 90 Transportation Problem, 303 transshipment node, 235 Transshipment Problem, 303 transversal, 217 - common, 222 - partial, 218 transversal index, 218 transversal matroid, 219 Travelling Salesman Problem, 19, 469,

see TSP tree, 8, 27, 99 - 1-, 428

alternating, 364 cut, 322-326 directed, see arborescence dominant requirement, 316 equivalent flow, 307 maximal spanning, 115-11 7 minimal spanning, 106-115, 428, 437, 467

- shortest path, 73 - SP-, 73, 93 - spanning, 70, 103, 448, 468 - - with restrictions, 121-123 - Steiner, 117-120, 469 - - minimal, 118, 441 - uniform, 316 I-tree relaxation, 428-429 Tree Algorithm, 437 tree edge, 336, 345 tree graph, 115 triangle factor, 215 triangle inequality, 66 triangular graph, 5 triangulated, 241 TSP, see Travelling Salesman Problem,

469 - asymmetric, 425 - metric, 425 LlTSP,425 TSP Sub optimality, 452

underlying graph, 26 underlying multigraph, 26

unicyclic graph, 100 uniform graph, 316 uniform matroid, 131 uniform tree, 316 upper rank, 139

valid labelling, 193 value (of a flow), 156 van der Waerden's Conjecture, 225 VC,57 vectorial matroid, 133 vertex, 2, 26 - accessible, 27 - active, 194, 290 - current, 295 - end, 2, 5, 26 - even, 364 - exposed, 357 - inner, 364 - isolated, 6 - odd, 364 - of a polytope, 402 - outer, 364 - saturated, 357 - start, 5, 26 Vertex Cover, 469 vertex cover, 56 vertex disjoint paths, 209, 464 vertex separator, 209, 211 vertex set, 2, 26 void edge, 157

walk,5 - closed, 5 weakly polynomial, 272 weight, 19, 106, 130 while . .. do, 45 width (of a matrix)' 223 word,43

zero-one linear program, 401 Zero-One Linear Programming

Problem, 401 zero-one matrix, 224, 226, 237 zero-one-flow, 188 zero-one-network, 188 ZOLP, see Zero-One Linear Program­

ming Problem

Index 589

H.-C. Hege. K. Polthier

VideoMath Festival at ICM '98 1998. Video. 70 min DM60,-ISBN 3-;40-9'634-8

A collection of juried mathematical videos presented at the ICM '98 in Berlin. The videos are winners of a worldwide competition. in which the international jury evaluated their mathematical relevance, technical quality. and artistic imagination. Themes include problems in topology and geometry and their recent solu­tions. visualizations of classical ideas of Archimedes, Eratosthenes, Pythagoras, and Fibonacci, topics in high school mathematics. and applications of modern numerical methods to real world simulations.

Also available: H.-C. Hege, K. Polthier VideoMath-Festival at ICM '98 1998. Video. 70 min. DM60.-ISBN 3-540-92633-X

Please order from Springer-Verlag Berlin Fax: + 49/30/827 87- 301 e-mail: orders@springer.de or through your bookseller

Springer-Verlag, P. O. Box 1401 OL, D-14302 Berlin, Germany.

H.-C. Hege. K. Polthier (Eds.)

Visualization and Mathematics Experiments, Simulations and Envi­ronments 1997. XIX. 386 pp. 187 figs .• 43 in color Hardcover DM 138.-ISBN 3'540-61169-6

Applications of visualization in mathe­matical research and the use of mathe­matical methods in visualization have been topic of an international work­shop in Berlin in June 1995. Selected contributions treat topics of particular interest in current research. Experts are reporting on their latest work, giving an overview on this fascinating new area.

Ef!OtI tnd Of1Ul.SlOnJ nCerlM.. Pricu "ub~ct to change WltbOUI notiCC'. lrt EU (OUl'I,IH th~ lonl VAT isefi'eclivr_

••••••••••

, Springer

Gha.

Algorithms and Computation in Mathematics

WoI_ V. v,!(OII(tios

(omputational Methods in (ommutatiVl! Algebra and Algebraic Geometry

Volume 2

W. V. Vasconcelos

Computational Methods in Commutative Algebra and Algebraic Geometry 199B. Xl. 394 pp. lJ figs. Hardcover DM lIB,­ISBN 3-540-60520-7

Deals with methods and techniques to tackle problems that can be repre­sented by data structures which are essentially matrices with polynomial entries, mediated by the disciplines of commutative algebra and algebraic geometry. The volume relates discov­eries by a growing, interdisciplinary group of researchers in the past decade, high\jghtening the use of advanced techniques to bring down the cost of computation. Includes concrete algorithms written in MACAULAY.

Volume 1

M. Bronstein

Symbolic Integration I Transcendental Functions 1997. XIII, 299 pp. 3 figs. Hardcover DM 78,-ISBN 3-540-60511-5

This book is bound to become the standard reference for symbolic inte­gration. The author is the leading expert on this topic and his book is the first one to treat it comprehen­sively and in detail including new results. Many algorithms are given in pseudocode and, hence, can be implemented. Also serves as a textbook to be used for lecture courses on symbolic integration.

• ••••••••• Please order from Springer-Verlag Berlin Fax: + 49/30 I B 2787· 301 e-mail: orders@springer.de or through your bookseller

Erron a.nd omiUjoN ~1(Cf'ted. Prw:n IUbJtCllO c:hlln!t W'llhoUI noticr. In EU COUl'llrll!:1 the IOQ) VAT Is tffe:ellYe.

Springer-Verlag, P. O. Box 14 02 01, D-14302 Berlin, Germany.

Springer

Gha.

Algorithms and (omputation in Mathematics

Arj<h Cohon 113M (uypon Il !>It1k (Ed<)

Some Tapas of (omputer Algebra

Volume 4 A.M. Cohen, H. Cuypers, H. Sterk (Eds.)

Some Tapas of Computer Algebra 1998. Approx. 350 pp. Hardcover DM 79.­ISBN 3-540-63480-0

A variety of topics in computer alge­bra at an accessible (upper undergrad­uate/graduate) level with a view towards recent developments_ For those wanting to acquaint themselves somewhat further with the material, the book also contains seven 'projects', which could serve as practical sessions related to one or more chapters. The contributions focus on topics

__ Algebraic Aspo<ts of Cryptog .. phy

Volume 3 N_ Koblitz

Algebraic Aspects of Cryptography 1998- IX. 206 pp_ 7 fig._ Hardcover DM 98.­ISB 3-540-63446-0

A comprehensive and systematic account on the Caratheodory and Kobayashi distances. hyperbolic complex spaces and holomorphic mappings with geometric methods. A very complete list of references should be useful for prospective researchers in this area.

Er~on and omWIOM Itltrp'ed. Pnen $I,Ibj«t to chanlC Without nobcC' In £u c:ounlrin lblt local VA.T u trrKhVt

like Grabner bases, real algebraic geometry, Lie algebras, factorisation of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, and polyhedral geometry. A must-read for everybody interested in computer algebra. • •••••••••

Please order from Springer-Verlag Berlin Fax: + 49/30/8 27 87- 301 f-mail: orders@springer.de or through your bookseller

Springer-Verlag, P. O. Box 14 02 01, D-14302 Berlin, Germany.

t Springer

Gha.

Springer and the

environment At Springer we firmly believe that an

international science publisher has a

special obligation to the environment,

and our corporate policies consistently

reflect this conviction.

We also expect our business partners -

paper mills, printers, packaging

manufacturers, etc. - to commit

themselves to using materials and

production processes that do not harm

the environment. The paper in this

book is made from low- or no-chlorine

pulp and is acid free, in conformance

with international standards for paper

permanency.

Springer