A graph is contractible to a graph if there is a set , such that is isomorphic to . Here, is the graph obtained from by contracting all the edges in . For a family of graphs , the - problem takes as input a graph on vertices, and the objective is to output the largest integer , such that is contractible to a graph , where . When is the family of paths, then the corresponding - problem is called . The problem admits a simple algorithm running in time . In spite of the deceptive simplicity of the problem, beating the bound for seems quite challenging. In this paper, we design an exact exponential time algorithm for that runs in time . We also define a problem called \textsc{$3$-Disjoint Connected Subgraphs}, and design an algorithm for it that runs in time . The above algorithm is used as a sub-routine in our algorithm for {\sc Path Contraction}

生成讲解博客的中文版本

生成AI智能校验的中文版本