DOCSLIB.ORG

Proceedings of the Conference

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Proceedings of the Conference 10th Cologne-Twente Workshop on Graphs and Combinatorial Optimization CTW 2011 Villa Mondragone, Frascati, June 14-16, 2011 Proceedings of the Conference Ludovica Adacher, Marta Flamini, Gianmaria Leo, Gaia Nicosia, Andrea Pacifici, Veronica Piccialli (Eds.) 10th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW 2011) Villa Mondragone, Frascati, June 14-16, 2011 The Cologne-Twente Workshop (CTW) on Graphs and Combinatorial Optimiza- tion started off as a series of workshops on theory and applications of discrete algo- rithms, graphs and combinatorial structures in the wide sense, organized by either Koln¨ University or Twente University. The first nine editions of CTW have been held in Cologne (2001, 2005, and 2010); Enschede (2003 and 2007); Menaggio (2004); Lambrecht (2006); Gargnano (2008) and Paris (2009). The 10th edition of the workshop will be hosted by Universita` di Roma “Tor Vergata”, in Villa Mondragone, an historical villa located in Frascati (Rome), Italy, from June 14 to 16, 2011. As in previous editions, a special issue of Discrete Applied Mathematics (DAM) will be devoted to CTW 2011, containing full-length versions of selected presen- tations given at the workshop and possibly other contributions related to the work- shop topics. CTW 2011 will honor the memory of Prof. Bruno Simeone (Universita` degli Studi di Roma “La Sapienza”) who recently passed away. We are grateful to Bruno’s friends and colleagues who are commemorating his fundamental contributions in the field of combinatorial optimization and graph theory of the last four decades. We wish to thank the members of the Program Committee: U. Faigle (Universitat¨ zu Koln),¨ J. Hurink (Universiteit Twente), L. Liberti (Ecole´ Polytechnique), F. Maffioli (Politecnico di Milano), G. Righini (Universita` degli Studi di Milano), R. Schrader (Universitat¨ zu Koln),¨ R. Schultz (Universitat¨ Duisburg-Essen), for setting up such an attractive program. Special thanks also go to some volunteering referees. LUDOVICA ADACHER, MARTA FLAMINI, GIANMARIA LEO, GAIA NICOSIA, ANDREA PACIFICI, VERONICA PICCIALLI Universita` di Roma “Tor Vergata” e “Roma Tre”, Roma, Italy, June 6, 2011 Organization The CTW 2011 conference is co-organized by the Universita` di Roma “Tor Ver- gata” and Universita` “Roma Tre”. The conference is hosted by Villa Mondragone in Frascati, thanks to a sponsorship of Universita` di Roma “Tor Vergata”. We are also grateful to Microsoft for their partial support the workshop. Scientific Committee Ulrich Faigle (U. Cologne), • Johann L. Hurink (U. Twente), • Leo Liberti (Ecole´ Polytechnique, Paris) • Francesco Maffioli (Politecnico, Milano), • Gaia Nicosia (U. Roma Tre), • Andrea Pacifici (U. Roma Tor Vergata), • Giovanni Righini (U. Milano), • Rainer Schrader (U. Cologne), • Rudiger Schultz (U. Duisburg-Essen) • Organizing Committee Ludovica Adacher (U. Roma Tre), • Marta Flamini (U. Uninettuno), • Gianmaria Leo (U. Roma Tor Vergata), • Gaia Nicosia (U. Roma Tre), • Andrea Pacifici (U. Roma Tor Vergata), • Veronica Piccialli (U. Roma Tor Vergata) • Table of contents Memorial Session Talks Becker R. Research work with Bruno Simeone 1 Crama Y. Control and voting power in complex shareholding networks 4 Hansen P. Bruno Simeone’s Work in Clustering 8 Golumbic M. Graph sandwich problems 10 Boros E. Incompatibility graphs and data mining 11 Serafini P. Separating negative and positive points with the minimum number of boxes 12 Contributed Abstracts Abrardo A, M. Belleschi and P. Detti Resources and transmission formats allocation in OFDMA networks 19 Adacher L. and M. Flamini Modeling and solving aircrafts scheduling problem in ground control 23 Addis B., G. Carello and F. Malucelli Network design with SRG based protection 27 Agnetis A., P. Detti, M. Pranzo and P. Martineau Scheduling problems with unreliable jobs and machines 32 Alba M., F. Clautiaux, M. Dell’Amico and M. Iori Models and Algorithms for the Bin Packing Problem with Fragile Objects 36 Albano A. and A. Do Lago New upper bound for the number of maximal bicliques of a bipartite graph 40 Albrecht K. and U. Faigle Binary Betting Strategies with Optimal Logarithmic Growth 44 Amaldi E., S. Coniglio and L. Taccari Formulations and heuristics for the k-Piecewise Affine Model Fitting problem 48 Amaldi E., C. Iuliano and R. Rizzi On cycle bases with limited edge overlap 52 Arbib C., G. Felici and M. Servilio Sorting Common Operations to Minimize Tardy Jobs 56 Argiroffo G. and A. Wagler Generalized row family inequalities for the set covering polyhedron 60 Bauer J. One Minimum-Cost Network Flow Problem to Identify a Graph’s Connected Components 64 Bermudo S. and H. Fernau Computing the differential of a graph 68 B´ına W. Enumeration of Labeled Split Graphs and Counts of Important Superclasses 72 Boehme T. and J. Schreyer Local Computation of Vertex Colorings 76 Bonomo F., G. Oriolo and C. Snels A primal algorithm for the minimum weight clique cover problem on a class of claw-free perfect graphs 80 Bonomo F. and J. L. Szwarcfiter Characterization of classical graph classes by weighted clique graphs 84 Bruglieri M., P. Cappanera and M. Nonato The gateway location problem for hazardous material transportation 88 Calamoneri T. and B. Sinaimeri Labeling of Oriented Planar Graphs 93 Cano R. G., G. Kunigami, C.C. De Souza and P. J. De Rezende Effective drawing of proportional symbol maps using GRASP 97 Carli M. and F. Pascucci Sensor Network Localization Using Compressed Extended Kalman Filter 101 Cello M., G. Gnecco, M. Marchese and M. Sanguineti A Generalized Stochastic Knapsack Problem with Application in Call Admission Control 105 Cerioli M.R., H. Nobrega and P. Viana A partial characterization by forbidden subgraphs of edge path graphs 109 Ceselli A., G. Righini and E. Tresoldi Combined Location and Routing Problems in Drug Distribution 113 Coniglio S. The impact of the norm on the k-Hyperplane Clustering problem: relaxations, restrictions, approximation factors, and exact formulations 118 Cordone R. and G. Lulli A Lagrangian Relaxation Approach for Gene Regulatory Networks 122 Costa A., P. Hansen and L. Liberti Bound constraints for Point Packing in a Square 126 Couturier J. F. and D. Kratsch Bicolored independent sets and bicliques 130 Cullenbine C. , K. Wood and A. Newman New Results for the Directed Network Diversion Problem 134 De Santis M., S. Lucidi and F. Rinaldi A New Feasibility Pump-Like Heuristic for Mixed Integer Problems 138 De Santis M., S. Lucidi and F. Rinaldi Continuous Reformulations for Zero-one Programming Problems 142 Dell’Olmo P., R. Cerulli and F. Carrabs The maximum labeled clique problem 146 Factorovich P., I. Mendez-D´ ´ıaz and P. Zabala The Pickup and Delivery Problem with Incompatibility Constraints 150 Faigle U. and A. Schoenhuth Representations of Power Series over Word Algebras 154 Gamst M. and N. Kjeldsen N. The Boat and Barge Problem 158 Gaudilliere A., A. Iovanella, B. Scoppola, E. Scoppola and M. Viale A Probabilistic Cellular Automata algorithm for the clique problem 162 Golovach P., M. Kaminski and D. Thilikos Odd cyclic surface separators in planar graphs 165 Hossain S. Computing Derivatives via Compression : An Exact Scheme 168 Kern W. and X. Qiu Improved Taxation Rate for Bin Packing Games 173 Kochol M. Decomposition of Tutte Polynomial 177 Kosuch S. Approximability of the Two-Stage Knapsack problem with discretely distributed weights 180 Laurent M. and A. Varvitsiotis Computing the Grothendieck constant of some graph classes 184 Liberti L., B. Masson, C. Lavor and A. Mucherino Branch-and-Prune trees with bounded width 189 Lozovanu D. and S. Pickl Discounted Markov Decision Processes and Algorithms for Solving Stochastic Control Problem on Networks 194 Mendez-D´ ´ıaz I., J. J. Miranda Bront, P. Toth and P. Zabala Infeasible path formulations for the time-dependent TSP with time windows 198 Milanic M. A hereditary view on efficient domination 203 Monaci M. and U. Pferschy On the Robust Knapsack Problem 207 Mucherino A., I. Wohlers, G. Klau and R. Andonov Sparsifying Distance Matrices for Protein-Protein Structure Alignments 211 Narayanan N. Minimally 2-connected graphs and colouring problems 215 Nicoloso S. and U. Pietropaoli Bipartite finite Toeplitz graphs 219 Nobili P. and A. Sassano A reduction algorithm for the weighted stable set problem in claw-free graphs 223 Petrosyan P. and R. Kamalian Edge-chromatic sums of regular and bipartite graphs 227 Puerto J., F. Ricca and A. Scozzari Range minimization problems in path-facility location on trees 231 Roda F., P. Hansen and L. Liberti The price of equity in the Hazmat 235 Saputro S.W., R. Simanjuntak , S. Uttunggadewa, H. Assiyatun, E. Tri Baskoro, A.N.M Salman On graph of order-n with the metric dimension n 3 239 − Scheidweiler R. and E. Triesch Matchings in balanced hypergraphs 244 Sevastyanov S. and B. Lin Efficient enumeration of optimal and approximate solutions of a scheduling problem 248 Skupien´ Z. Majorization and the minimum number of dominating sets 252 Stephan R. Reducing the minimum T-cut problem to polynomial size linear programming 255 Torres L. and A. Wagler The dynamics of deterministic systems from a hypergraph theoretical point of view 259 Touati-Moungla N. and D. Brockhoff An Evolutionary Algorithm for the Multiobjective Risk-Equity Constrained Routing Problem 263 Van Zuylen A., F. Schalekamp and D. P. Williamson Popular Ranking 267 Vanhove S. and V. Fack Locally optimal dissimilar paths in road networks 271 Yasar Diner O. and D. Dyer Searching Circulant Graphs 275 Detailed Conference Program 279 Index of authors 289 Memorial Session Talks Research Work with Bruno Simeone Ronald I. Becker AIMS (African Institute for Mathematical Sciences),6-8 Melrose Road, Muizenberg 7945, South Africa Department of Mathematics and Applied Mathematics University of Cape Town, Rondebosch 7701, South Africa [email protected] Key words: Graph Partitioning, Continuous Partitioning, Tree Partitioning, Grid Graph partitioning, Optimization, Graph Colouring, Gerrymandering 1 Introductory Remarks I collaborated with Bruno Simeone and his research group for a period of more than 20 years.
Load more

Recommended publications
  • Indian Journal of Science ANALYSIS International Journal for Science ISSN 2319 – 7730 EISSN 2319 – 7749
    Indian Journal of Science ANALYSIS International Journal for Science ISSN 2319 – 7730 EISSN 2319 – 7749 Graph colouring problem applied in genetic algorithm Malathi R Assistant Professor, Dept of Mathematics, Scsvmv University, Enathur, Kanchipuram, Tamil Nadu 631561, India, Email Id: [email protected] Publication History Received: 06 January 2015 Accepted: 05 February 2015 Published: 18 February 2015 Citation Malathi R. Graph colouring problem applied in genetic algorithm. Indian Journal of Science, 2015, 13(38), 37-41 ABSTRACT In this paper we present a hybrid technique that applies a genetic algorithm followed by wisdom of artificial crowds that approach to solve the graph-coloring problem. The genetic algorithm described here, utilizes more than one parent selection and mutation methods depending u p on the state of fitness of its best solution. This results in shifting the solution to the global optimum, more quickly than using a single parent selection or mutation method. The algorithm is tested against the standard DIMACS benchmark tests while, limiting the number of usable colors to the chromatic numbers. The proposed algorithm succeeded to solve the sample data set and even outperformed a recent approach in terms of the minimum number of colors needed to color some of the graphs. The Graph Coloring Problem (GCP) is also known as complete problem. Graph coloring also includes vertex coloring and edge coloring. However, mostly the term graph coloring refers to vertex coloring rather than edge coloring. Given a number of vertices, which form a connected graph, the objective is that to color each vertex so that if two vertices are connected in the graph (i.e.
    [Show full text]
  • Matchings in Balanced Hypergraphs
    Matchings in balanced hypergraphs Von der Fakultat¨ fur¨ Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertation vorgelegt von Diplom-Mathematiker Robert Berthold Scheidweiler aus Duren-Birkesdorf.¨ Berichter: Universitatsprofessor¨ Dr. Eberhard Triesch Universitatsprofessor¨ Dr. Arie M.C.A. Koster Tag der mundlichen¨ Prufung:¨ 19. April 2011 Diese Dissertation ist auf den Internetseiten der Hochschulbibliothek online verfugbar.¨ Danksagung In den letzten funf¨ Jahren habe ich am Lehrstuhl II fur¨ Mathematik der RWTH Aachen Uni- versity die vorliegende Dissertation verfasst. Einigen gebuhrt¨ fur¨ ihre Unterstutzung¨ und Hilfe wahrend¨ dieser Zeit besonderer Dank. Zuallererst mochte¨ ich mich bei dem Betreuer meiner Dissertation und meinem Chef, Eberhard Triesch, bedanken. Durch ihn habe ich das Thema dieser Arbeit erhalten, das mir sehr ans Herz gewachsen ist. Er hat mir bei meinen Forschungen immer mit Rat und Tat zur Seite gestanden und mich auch bei langer¨ andauern- den Durststrecken niemals unter Druck gesetzt. Seine positive Unterstutzung¨ und geduldige Hilfe haben mich motiviert, diese Arbeit zu vollenden. Weiterhin mochte¨ ich mich bei Arie Koster, meinem Zweitgutachter, bedanken. Mehrfach hat er im Verlauf meiner Promotion Anregungen gegeben, die dann in die Dissertation eingeflossen sind. Vor der endgultigen¨ Ab- gabe hat er durch seine Verbesserungsvorschlage,¨ fur¨ die ich sehr dankbar bin, zur jetzigen Form der Arbeit beigetragen. Danken mochte¨ ich außerdem Bert Randerath, der mir half, einige Startschwierigkeiten zu uberwinden,¨ als ich begann, die balancierten Hypergraphen zu erforschen. Hartmut Fuhr¨ hat sehr viel Zeit darauf verwendet, mir die harmonische Analysis naher¨ zu bringen. Seine Bemuhungen¨ haben meine Promotion weiter voran gebracht.
    [Show full text]
  • COLORING and DEGENERACY for DETERMINING VERY LARGE and SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Bachelor of Science, Chittag
    COLORING AND DEGENERACY FOR DETERMINING VERY LARGE AND SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Bachelor of Science, Chittagong University of Engineering & Technology, 2013 A Thesis Submitted to the School of Graduate Studies of the University of Lethbridge in Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE Department of Mathematics and Computer Science University of Lethbridge LETHBRIDGE, ALBERTA, CANADA c Ashraful Huq Suny, 2016 COLORING AND DEGENERACY FOR DETERMINING VERY LARGE AND SPARSE DERIVATIVE MATRICES ASHRAFUL HUQ SUNY Date of Defence: December 19, 2016 Dr. Shahadat Hossain Supervisor Professor Ph.D. Dr. Daya Gaur Committee Member Professor Ph.D. Dr. Robert Benkoczi Committee Member Associate Professor Ph.D. Dr. Howard Cheng Chair, Thesis Examination Com- Associate Professor Ph.D. mittee Dedication To My Parents. iii Abstract Estimation of large sparse Jacobian matrix is a prerequisite for many scientific and engi- neering problems. It is known that determining the nonzero entries of a sparse matrix can be modeled as a graph coloring problem. To find out the optimal partitioning, we have proposed a new algorithm that combines existing exact and heuristic algorithms. We have introduced degeneracy and maximum k-core for sparse matrices to solve the problem in stages. Our combined approach produce better results in terms of partitioning than DSJM and for some test instances, we report optimal partitioning for the first time. iv Acknowledgments I would like to express my deep acknowledgment and profound sense of gratitude to my supervisor Dr. Shahadat Hossain, for his continuous guidance, support, cooperation, and persistent encouragement throughout the journey of my MSc program.
    [Show full text]
  • The Harmonious Coloring Problem Is NP-Complete for Interval and Permutation Graphsଁ Katerina Asdre, Kyriaki Ioannidou, Stavros D
    Discrete Applied Mathematics 155 (2007) 2377–2382 www.elsevier.com/locate/dam Note The harmonious coloring problem is NP-complete for interval and permutation graphsଁ Katerina Asdre, Kyriaki Ioannidou, Stavros D. Nikolopoulos Department of Computer Science, University of Ioannina, P.O. Box 1186, GR-45110 Ioannina, Greece Received 4 November 2006; received in revised form 25 May 2007; accepted 6 July 2007 Available online 14 September 2007 Abstract In this paper, we prove that the harmonious coloring problem is NP-complete for connected interval and permutation graphs. Given a simple graph G, a harmonious coloring of G is a proper vertex coloring such that each pair of colors appears together on at most one edge. The harmonious chromatic number is the least integer k for which G admits a harmonious coloring with k colors. Extending previous work on the NP-completeness of the harmonious coloring problem when restricted to the class of disconnected graphs which are simultaneously cographs and interval graphs, we prove that the problem is also NP-complete for connected interval and permutation graphs. © 2007 Elsevier B.V. All rights reserved. Keywords: Harmonious coloring; Harmonious chromatic number; Achromatic number; Interval graphs; Permutation graphs; NP-completeness 1. Introduction Many NP-complete problems on arbitrary graphs admit polynomial time algorithms when restricted to the classes of interval graphs and cographs; NP-complete problems for these two classes of graphs that become solvable in polynomial time can be found in [1,3,7,12,15,16]. However, the pair-complete coloring problem, which is NP-hard on arbitrary graphs [17], remains NP-complete when restricted to graphs that are simultaneously interval and cographs [4].Apair- complete coloring of a simple graph G is a proper vertex coloring such that each pair of colors appears together on at least one edge, while the achromatic number (G) is the largest integer k for which G admits a pair-complete coloring with k colors.
    [Show full text]
  • 3-Coloring Gnp3 in Polynomial Expected Time
    Mathematisch-Naturwissenschaftliche Fakultat¨ II Institut fur¨ Informatik Lehrstuhl fur¨ Algorithmen und Komplexit¨at Coloring sparse random k-colorable graphs in polynomial expected time Diplomarbeit eingereicht von: Julia B¨ottcher Gutachter: Dr. Amin Coja-Oghlan Dr. Mihyun Kang Berlin, den 5. Januar 2005 Erkl¨arung Hiermit erkl¨are ich, die vorliegende Arbeit selbstst¨andig verfasst und keine anderen als die angegebenen Hilfsmittel verwendet zu haben. Ich bin damit einverstanden, dass die vorliegen- de Arbeit in der Zentralbibliothek Naturwissenschaften der Humboldt-Universit¨at zu Berlin ¨offentlich ausgelegt wird. Berlin, den 5. Januar 2005 Julia B¨ottcher Zusammenfassung Nach wie vor stellt das Graphenf¨arbungsproblem eine der anspruchsvollsten algorithmischen Aufgaben innerhalb der Graphentheorie dar. So blieb bisher nicht nur die Suche nach effizienten Methoden, die dieses Problem exakt l¨osen, erfolglos. Gem¨aß eines Resultates von Feige und Kilian [22] ist auch die Existenz von signifikant besseren Approximationsalgorithmen als dem Trivialen, der jedem Knoten eine eigene Farbe zuordnet, sehr unwahrscheinlich. Diese Tatsache motiviert die Suche nach Algorithmen, die das Problem entweder nicht in allen sondern nur den meisten F¨allen entscheiden, dafur¨ aber von polynomieller Laufzeitkomplexit¨at sind, oder aber stets eine korrekte L¨osung ausgeben, eine polynomielle Laufzeit jedoch nur im Durchschnitt garantieren. Ein Algorithmus der ersterem Paradigma folgt, wurde von Alon und Kahale [2] fur¨ die fol- gende Klasse zuf¨alliger k-f¨arbbarer Graphen entwickelt: Konstruiere einen Graphen mit Gn,p,k einer Knotenmenge V der Kardinalit¨at n durch Partitionierung von V in k Mengen gleicher Gr¨oße und anschließendes Hinzufugen¨ der m¨oglichen Kanten zwischen diesen Mengen mit Wahrscheinlichkeit jeweils p.
    [Show full text]
  • Oriented Hypergraphs I: Introduction and Balance Arxiv:1210.0943V1
    Oriented Hypergraphs I: Introduction and Balance Lucas J. Rusnak∗ Department of Mathematics Texas State University San Marcos, Texas, U.S.A. [email protected] Submitted: Sept 30, 2012; Accepted: MMM DD, YYYY; Published: XX Mathematics Subject Classifications: 05C22, 05C65, 05C75 Abstract An oriented hypergraph is an oriented incidence structure that extends the con- cept of a signed graph. We introduce hypergraphic structures and techniques central to the extension of the circuit classification of signed graphs to oriented hypergraphs. Oriented hypergraphs are further decomposed into three families { balanced, bal- anceable, and unbalanceable { and we obtain a complete classification of the bal- anced circuits of oriented hypergraphs. Keywords: Oriented hypergraph; balanced hypergraph; balanced matrix; signed hypergraph 1 Introduction Oriented hypergraphs have recently appeared in [6] as an extension of the signed graphic incidence, adjacency, and Laplacian matrices to examine walk counting. This paper fur- ther expands the theory of oriented hypergraphs by examining the extension of the cycle arXiv:1210.0943v1 [math.CO] 2 Oct 2012 space of a graph to oriented hypergraphs, and we obtain a classification of the balanced minimally dependent columns of the incidence matrix of an oriented hypergraph. It is known that the cycle space of a graph characterizes the dependencies of the graphic matroid and the minimal dependencies, or circuits, are the edge sets of the simple cycles of the graph. Oriented hypergraphs have a natural division into three categories: balanced, balanceable, and unbalanceable. The family of balanced oriented hypergraphs contain graphs, so a characterization of the balanced circuits of oriented hypergraphs can be regarded as an extension of the following theorem: ∗A special thanks to Thomas Zaslavsky and Gerard Cornu´ejolsfor their feedback.
    [Show full text]
  • Graph Theory Graph Theory (II)
    J.A. Bondy U.S.R. Murty Graph Theory (II) ABC J.A. Bondy, PhD U.S.R. Murty, PhD Universite´ Claude-Bernard Lyon 1 Mathematics Faculty Domaine de Gerland University of Waterloo 50 Avenue Tony Garnier 200 University Avenue West 69366 Lyon Cedex 07 Waterloo, Ontario, Canada France N2L 3G1 Editorial Board S. Axler K.A. Ribet Mathematics Department Mathematics Department San Francisco State University University of California, Berkeley San Francisco, CA 94132 Berkeley, CA 94720-3840 USA USA Graduate Texts in Mathematics series ISSN: 0072-5285 ISBN: 978-1-84628-969-9 e-ISBN: 978-1-84628-970-5 DOI: 10.1007/978-1-84628-970-5 Library of Congress Control Number: 2007940370 Mathematics Subject Classification (2000): 05C; 68R10 °c J.A. Bondy & U.S.R. Murty 2008 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or trans- mitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered name, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.
    [Show full text]
  • High-Performance Parallel Graph Coloring with Strong Guarantees on Work, Depth, and Quality
    High-Performance Parallel Graph Coloring with Strong Guarantees on Work, Depth, and Quality Maciej Besta1, Armon Carigiet1, Zur Vonarburg-Shmaria1, Kacper Janda2, Lukas Gianinazzi1, Torsten Hoefler1 1Department of Computer Science, ETH Zurich 2Faculty of Computer Science, Electronics and Telecommunications, AGH-UST Abstract—We develop the first parallel graph coloring heuris- to their degrees, random (R) [26] which chooses vertices tics with strong theoretical guarantees on work and depth and uniformly at random, incidence-degree (ID) [1] which picks coloring quality. The key idea is to design a relaxation of the vertices with the largest number of uncolored neighbors first, vertex degeneracy order, a well-known graph theory concept, and to color vertices in the order dictated by this relaxation. This saturation-degree (SD) [27], where a vertex whose neighbors introduces a tunable amount of parallelism into the degeneracy use the largest number of distinct colors is chosen first, and ordering that is otherwise hard to parallelize. This simple idea smallest-degree-last (SL) [28] that removes lowest degree enables significant benefits in several key aspects of graph color- vertices, recursively colors the resulting graph, and then colors ing. For example, one of our algorithms ensures polylogarithmic the removed vertices. All these ordering heuristics, combined depth and a bound on the number of used colors that is superior to all other parallelizable schemes, while maintaining work- with Greedy, have the inherent problem of no parallelism. efficiency. In addition to provable guarantees, the developed Jones and Plassmann combined this line of work with earlier algorithms have competitive run-times for several real-world parallel schemes for deriving maximum independent sets [29], graphs, while almost always providing superior coloring quality.
    [Show full text]
  • The Second Malta Conference in Graph Theory and Combinatorics 2017
    The Second Malta Conference in Graph Theory and Combinatorics 2017 2MCGTC-2017 in honour of the 75th birthday of Professor Stanley Fiorini 26{30 June 2017 ii Welcome Address Mer~ba! We are honoured that you chose to join us for The Second Malta Confer- ence in Graph Theory and Combinatorics. This conference is commemorating the 75th birthday of Professor Stanley Fiorini, who introduced graph theory and combinatorics at the University of Malta. Many of you may be asking when the previous Malta Conference was held? The First Malta Conference on Graphs and Combinatorics was held during the period 28 May { 2 June, 1990, at the Suncrest Hotel, also in Qawra, St Paul's Bay. It differed from a number of similar conferences held in the central Mediterranean region at that time in that it consisted of three types of lectures. L´aszl´oLov´aszand Carsten Thomassen delivered two instructional courses of five one-hour lectures each; the former was A survey of independent sets in graphs and the latter was on Embeddings of graphs. There were also four invited speakers, namely L.W. Beineke, N.L. Biggs, R. Graham and D.J.A. Welsh, each of whom gave a one-hour lecture. The third type of talks were the 20-minute contributed talks running in two parallel sessions and given by 39 speakers. Volume 124 (1994) of the journal Discrete Mathematics was a special edition dedicated to this conference; it was edited by Stanley Fiorini and Josef Lauri, and it consisted of 22 selected papers. Twenty-seven years later we are gathered here for the second such conference organ- ised in the Island of Malta.
    [Show full text]
  • A Characterization of Oriented Hypergraphic Balance Via Signed Weak Walks
    Linear Algebra and its Applications 485 (2015) 442–453 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa A characterization of oriented hypergraphic balance via signed weak walks Vinciane Chen a, Angeline Rao a, Lucas J. Rusnak b,∗, Alex Yang a a Texas State Mathworks, Texas State University, San Marcos, TX 78666, USA b Department of Mathematics, Texas State University, San Marcos, TX 78666, USA a r t i c l e i n f o a b s t r a c t Article history: An oriented hypergraph is a hypergraph where each vertex- Received 23 August 2014 edge incidence is given a label of +1 or −1, and each adjacency Accepted 1 August 2015 is signed the negative of the product of the incidences. An ori- Available online xxxx ented hypergraph is balanced if the product of the adjacencies Submitted by R. Brualdi in each circle is positive. MSC: We provide a combinatorial interpretation for entries of kth 05C50 power of the oriented hypergraphic Laplacian via the number 05C65 of signed weak walks of length k. Using closed weak walks we 05C22 prove a new characterization of balance for oriented hyper- graphs and matrices that generalizes Harary’s Theorem for Keywords: signed graphs. Oriented hypergraph © 2015 Published by Elsevier Inc. Laplacian matrix Balanced hypergraphs 1. Introduction An oriented hypergraph is a signed incidence structure where each vertex-edge inci- dence is given a label of +1 or −1, and each adjacency is signed the negative of their incidence product. A signed graph is an oriented hypergraph where each edge is con- * Corresponding author.
    [Show full text]
  • The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs
    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany ISABEL BECKENBACH,MEIKE HATZEL,SEBASTIAN WIEDERRECHT The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs ZIB Report 18-61 (December 2018) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs Isabel Beckenbach (Zuse Institute Berlin) [email protected] Meike Hatzel (TU Berlin) [email protected] Sebastian Wiederrecht (TU Berlin) [email protected] The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lovász and Plummer developed a decomposition theory for graphs with perfect matchings and their corresponding polytopes known as the tight cut decomposition which breaks down every graph into a number of indecomposable graphs, so called bricks. For many properties that are of interest on graphs with perfect matchings, including the description of the perfect matching polytope, it suffices to consider these bricks. A key result by Lovász on the tight cut decomposition is that the list of bricks obtained is the same independent of the choice of tight cuts made during the tight cut decomposition procedure. This implies that finding a tight cut decomposition is polynomial time equivalent to finding a single tight cut. We generalise the notions of a tight cut, a tight cut contraction and a tight cut decomposition to hypergraphs.
    [Show full text]
  • Jgrapht--A Java Library for Graph Data Structures and Algorithms
    JGraphT - A Java library for graph data structures and algorithms Dimitrios Michail1, Joris Kinable2,3, Barak Naveh4, and John V Sichi5 1Dept. of Informatics and Telematics Harokopio University of Athens, Greece [email protected] 2Dept. of Industrial Engineering and Innovation Sciences Eindhoven University of Technology, The Netherlands [email protected] 3Robotics Institute Carnegie Mellon University, Pittsburgh, USA 4barak [email protected] 5The JGraphT project [email protected] Abstract Mathematical software and graph-theoretical algorithmic packages to efficiently model, analyze and query graphs are crucial in an era where large-scale spatial, societal and economic network data are abundantly available. One such package is JGraphT, a pro- gramming library which contains very efficient and generic graph data-structures along with a large collection of state-of-the-art algorithms. The library is written in Java with stability, interoperability and performance in mind. A distinctive feature of this library is its ability to model vertices and edges as arbitrary objects, thereby permitting natural representations of many common networks including transportation, social and biologi- cal networks. Besides classic graph algorithms such as shortest-paths and spanning-tree algorithms, the library contains numerous advanced algorithms: graph and subgraph iso- morphism; matching and flow problems; approximation algorithms for NP-hard problems arXiv:1904.08355v2 [cs.DS] 3 Feb 2020 such as independent set and TSP; and several more exotic algorithms such as Berge graph detection. Due to its versatility and generic design, JGraphT is currently used in large- scale commercial products, as well as non-commercial and academic research projects. In this work we describe in detail the design and underlying structure of the library, and discuss its most important features and algorithms.
    [Show full text]