{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article10031","name":"Communication Complexity of Pairs of Graph Families with Applications","abstract":"Given a graph G and a pair (\\mathcal{F}_1,\\mathcal{F}_2) of graph families, the function {\\sf GDISJ}_{G,{\\cal F}_1,{\\cal F}_2} takes as input, two induced subgraphs G_1 and G_2 of G, such that G_1 \\in \\mathcal{F}_1 and G_2 \\in \\mathcal{F}_2 and returns 1 if V(G_1)\\cap V(G_2)=\\emptyset and 0 otherwise. We study the communication complexity of this problem in the two-party model. In particular, we look at pairs of hereditary graph families. We show that the communication complexity of this function, when the two graph families are hereditary, is sublinear if and only if there are finitely many graphs in the intersection of these two families. Then, using concepts from parameterized complexity, we \r\nobtain nuanced upper bounds on the communication complexity of GDISJ_G,\\cal F_1,\\cal F_2. A concept related to communication protocols is that of a (\\mathcal{F}_1,\\mathcal{F}_2)-separating family of a graph G. A collection \\mathcal{F} of subsets of V(G) is \r\ncalled a (\\mathcal{F}_1,\\mathcal{F}_2)-separating family} for G, if for any two vertex disjoint induced subgraphs G_1\\in \\mathcal{F}_1,G_2\\in \\mathcal{F}_2, there is a set F \\in \\mathcal{F} with V(G_1) \\subseteq F and V(G_2) \\cap F = \\emptyset. \r\nGiven a graph G on n vertices, for any pair (\\mathcal{F}_1,\\mathcal{F}_2) of hereditary graph families with sublinear communication complexity for GDISJ_G,\\cal F_1,\\cal F_2, we give an enumeration algorithm that finds a subexponential sized (\\mathcal{F}_1,\\mathcal{F}_2)-separating \r\nfamily. In fact, we give an enumeration algorithm that finds a 2^{o(k)}n^{\\Oh(1)} sized (\\mathcal{F}_1,\\mathcal{F}_2)-separating family; where k denotes the size of a minimum sized set S of vertices such that V(G)\\setminus S has a bipartition (V_1,V_2) with G[V_1] \\in {\\cal F}_1 and G[V_2]\\in {\\cal F}_2. We exhibit a wide range of applications for these separating families, to obtain combinatorial bounds, enumeration algorithms as well as exact and FPT algorithms for several problems.","keywords":["Communication Complexity","Separating Family","FPT algorithms"],"author":[{"@type":"Person","name":"Kolay, Sudeshna","givenName":"Sudeshna","familyName":"Kolay"},{"@type":"Person","name":"Panolan, Fahad","givenName":"Fahad","familyName":"Panolan"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh"}],"position":13,"pageStart":"13:1","pageEnd":"13:13","dateCreated":"2017-12-01","datePublished":"2017-12-01","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Kolay, Sudeshna","givenName":"Sudeshna","familyName":"Kolay"},{"@type":"Person","name":"Panolan, Fahad","givenName":"Fahad","familyName":"Panolan"},{"@type":"Person","name":"Saurabh, Saket","givenName":"Saket","familyName":"Saurabh"}],"copyrightYear":"2017","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.MFCS.2017.13","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1016\/j.dam.2013.09.015","http:\/\/dx.doi.org\/10.1016\/j.ejc.2014.02.003","http:\/\/dx.doi.org\/10.1007\/978-3-319-21275-3","http:\/\/dx.doi.org\/10.1016\/j.ipl.2013.01.001","http:\/\/dx.doi.org\/10.1145\/301250.301373","http:\/\/dx.doi.org\/10.1109\/FOCS.2015.69","http:\/\/eccc.hpi-web.de\/report\/2015\/169","http:\/\/dx.doi.org\/10.1109\/FOCS.2015.70","http:\/\/dx.doi.org\/10.1007\/s00224-003-1158-7","http:\/\/dx.doi.org\/10.1007\/s00493-012-2746-4","http:\/\/dx.doi.org\/10.1016\/0012-365X(92)00057-X","http:\/\/dx.doi.org\/10.1016\/j.dam.2014.10.029","http:\/\/dx.doi.org\/10.1016\/0022-0000(91)90024-Y","http:\/\/dx.doi.org\/10.1145\/800135.804414"],"isPartOf":{"@type":"PublicationVolume","@id":"#volume6286","volumeNumber":83,"name":"42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)","dateCreated":"2017-12-01","datePublished":"2017-12-01","editor":[{"@type":"Person","name":"Larsen, Kim G.","givenName":"Kim G.","familyName":"Larsen"},{"@type":"Person","name":"Bodlaender, Hans L.","givenName":"Hans L.","familyName":"Bodlaender"},{"@type":"Person","name":"Raskin, Jean-Francois","givenName":"Jean-Francois","familyName":"Raskin"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article10031","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6286"}}}