
arXiv: 1908.03870
Let $G=(V,E)$ be a vertex-colored graph, where $C$ is the set of colors used to color $V$. The ${\rm G{\small RAPH}~M{\small OTIF}}$ (or $\rm GM$) problem takes as input $G$, a multiset $M$ of colors built from $C$, and asks whether there is a subset $S\subseteq V$ such that (i) $G[S]$ is connected and (ii) the multiset of colors obtained from $S$ equals $M$. The ${\rm C{\small OLORFUL}~G{\small RAPH}~M{\small OTIF}}$ (or ${\rm CGM}$) problem is the special case of $\rm GM$ in which $M$ is a set, and the ${\rm L{\small IST-COLORED}~G{\small RAPH}~M{\small OTIF}}$ (or $\rm LGM$) problem is the extension of $\rm GM$ in which each vertex $v$ of $V$ may choose its color from a list $\mathcal L(v)\subseteq C$ of colors. We study the three problems $\rm GM$, $\rm CGM$, and $\rm LGM$, parameterized by the dual parameter $\ell:=|V|-|M|$. For general graphs, we show that, assuming the strong exponential time hypothesis, $\rm CGM$ has no $(2-\epsilon)^\ell\cdot |V|^{\mathcal O(1)}$-time algorithm, which implies that a previous algorithm, running in $\mathcal O(2^\ell\cdot |E|)$ time is optimal [Betzler et al., IEEE/ACM TCBB 2011]. We also prove that $\rm LGM$ is W[1]-hard with respect to $\ell$ even if we restrict ourselves to lists of at most two colors. Finally, we show that if the input graph is a tree, then $\rm GM$ can be solved in $\mathcal O(3^\ell\cdot |V|)$ time but admits no polynomial-size problem kernel, while $\rm CGM$ can be solved in $\mathcal O(\sqrt{2}^{\ell} + |V|)$ time and admits a polynomial-size problem kernel.
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], lowerbounds, colorful graph motif problem, Computational Complexity (cs.CC), 004, subgraph problem, Computer Science - Computational Complexity, Coloring of graphs and hypergraphs, kernelization, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), NP-hard problem, Combinatorics (math.CO), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], fixed-parameter algorithm, ddc: ddc:004
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], FOS: Computer and information sciences, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], lowerbounds, colorful graph motif problem, Computational Complexity (cs.CC), 004, subgraph problem, Computer Science - Computational Complexity, Coloring of graphs and hypergraphs, kernelization, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), NP-hard problem, Combinatorics (math.CO), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], fixed-parameter algorithm, ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
