3d44c4b1a56d1541.tex
1: \begin{abstract}
2:   Vertex splitting is a graph operation that replaces a vertex $v$ with two nonadjacent new vertices and makes each neighbor of $v$ adjacent with one or both of the introduced vertices.
3:   Vertex splitting has been used in contexts from circuit design to statistical analysis.
4:   In this work, we explore the computational complexity of achieving a given graph property $\Pi$ by a limited number of vertex splits, formalized as the problem \pPVSlong~(\pPVS).
5:   We focus on hereditary graph properties and contribute four groups of results:
6:   First, we classify the classical complexity of \pPVS\ for graph properties characterized by forbidden subgraphs of size at most 3.
7:   Second, we provide a framework that allows to show \NP-completeness whenever one can construct a combination of a forbidden subgraph and prescribed vertex splits that satisfy certain conditions.
8:   Leveraging this framework we show \NP-completeness when $\Pi$ is characterized by forbidden subgraphs that are sufficiently well connected.
9:   In particular, we show that \pPVSa{$F$-Free} is \NP-complete for each biconnected graph $F$.
10:   Third, we study infinite families of forbidden subgraphs, obtaining \NP-hardness for \pPVSa{Bipartite} and \pPVSa{Perfect}.
11:   Finally, we touch upon the parameterized complexity of \pPVS\ with respect to the number of allowed splits, showing para-\NP-hardness for \textsc{$K_3$-Free-VS} and deriving an \XP-algorithm when each vertex is only allowed to be split at most once.
12: \end{abstract}
13: