Edge-decomposition into Two Triangular Forests is NP-complete

Beniamin Bibrowski, Tomáš Masařík

Let $\mathcal{F}$ be a graph class that is closed under topological minors and 1-sums, has decidable membership, contains a triangle, and is not the class of all graphs. Recently, L…