For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. We give a meta-classification for $\mathcal{H}$-subgraph-free graphs: assuming a problem meets some three conditions, then it is ``efficiently solvable'' if $\mathcal{H}$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. The conditions are that the problem should be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness is preserved under edge subdivision. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). Along the way, we uncover and resolve several open questions from the literature, while adding many new ones.

翻译：对于任何限定的 $mathcal{H} = $H_ 1,\ldots, H_p<unk> $ 图表,如果图表不包含任何$H_ 1,\ldots, H_p$, 作为子图, 则图形为$mathcal{H} = 限定的 $mathcal{H} = $H_ 1,\ldots, H_p<unk> $ 图表为无负数, 图表为$mathcalcal{H} = = $H_ 1, 1, h_p} 图表为无负数, 图表为 $mathcalcalcal, $missionalable', $mgreability subility sublifild. 我们通过在多时时的可辨识的可辨识度和分数种文献的分解, 来说明我们元分类的广泛适用性“ ” 。</s>