Complexity of planar signed graph homomorphisms to cycles

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00118538" target="_blank" >RIV/00216224:14330/20:00118538 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1016/j.dam.2020.03.029" target="_blank" >https://doi.org/10.1016/j.dam.2020.03.029</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.dam.2020.03.029" target="_blank" >10.1016/j.dam.2020.03.029</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Complexity of planar signed graph homomorphisms to cycles

Popis výsledku v původním jazyce

We study homomorphism problems of signed graphs from a computational point of view. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept when studying signed graphs is the operation of switching at a vertex, which is to change the sign of each incident edge. A homomorphism of a graph is a vertex-mapping that preserves the adjacencies; in the case of signed graphs, we also preserve the edge-signs. Special homomorphisms of signed graphs, called s-homomorphisms, have been studied. In an s-homomorphism, we allow, before the mapping, to perform any number of switchings on the source signed graph. The concept of s-homomorphisms has been extensively studied, and a full complexity classification (polynomial or NP-complete) for s-homomorphism to a fixed target signed graph has recently been obtained. Nevertheless, such a dichotomy is not known when we restrict the input graph to be planar, not even for non-signed graph homomorphisms. We show that deciding whether a (non-signed) planar graph admits a homomorphism to the square C-t(2) of a cycle with t &gt;= 6, or to the circular clique K-4t(/()2t(-1)) with t &gt;= 2, are NP-complete problems. We use these results to show that deciding whether a planar signed graph admits an s-homomorphism to an unbalanced even cycle is NP-complete. (A cycle is unbalanced if it has an odd number of negative edges). We deduce a complete complexity dichotomy for the planar s-homomorphism problem with any signed cycle as a target. We also study further restrictions involving the maximum degree and the girth of the input signed graph. We prove that planar s-homomorphism problems to signed cycles remain NP-complete even for inputs of maximum degree 3 (except for the case of unbalanced 4-cycles, for which we show this for maximum degree 4). We also show that for a given integer g, the problem for signed bipartite planar inputs of girth g is either trivial or NP-complete. (C) 2020 Published by Elsevier B.V.

Název v anglickém jazyce

Complexity of planar signed graph homomorphisms to cycles

Popis výsledku anglicky

We study homomorphism problems of signed graphs from a computational point of view. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept when studying signed graphs is the operation of switching at a vertex, which is to change the sign of each incident edge. A homomorphism of a graph is a vertex-mapping that preserves the adjacencies; in the case of signed graphs, we also preserve the edge-signs. Special homomorphisms of signed graphs, called s-homomorphisms, have been studied. In an s-homomorphism, we allow, before the mapping, to perform any number of switchings on the source signed graph. The concept of s-homomorphisms has been extensively studied, and a full complexity classification (polynomial or NP-complete) for s-homomorphism to a fixed target signed graph has recently been obtained. Nevertheless, such a dichotomy is not known when we restrict the input graph to be planar, not even for non-signed graph homomorphisms. We show that deciding whether a (non-signed) planar graph admits a homomorphism to the square C-t(2) of a cycle with t &gt;= 6, or to the circular clique K-4t(/()2t(-1)) with t &gt;= 2, are NP-complete problems. We use these results to show that deciding whether a planar signed graph admits an s-homomorphism to an unbalanced even cycle is NP-complete. (A cycle is unbalanced if it has an odd number of negative edges). We deduce a complete complexity dichotomy for the planar s-homomorphism problem with any signed cycle as a target. We also study further restrictions involving the maximum degree and the girth of the input signed graph. We prove that planar s-homomorphism problems to signed cycles remain NP-complete even for inputs of maximum degree 3 (except for the case of unbalanced 4-cycles, for which we show this for maximum degree 4). We also show that for a given integer g, the problem for signed bipartite planar inputs of girth g is either trivial or NP-complete. (C) 2020 Published by Elsevier B.V.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Discrete Applied Mathematics

ISSN

0166-218X

e-ISSN

1872-6771

Svazek periodika

284

Číslo periodika v rámci svazku

30 September 2020

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

13

Strana od-do

166-178

Kód UT WoS článku

000543418800016

EID výsledku v databázi Scopus

2-s2.0-85082831519