Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e somente se todos os vértices tiverem grau uniforme".
Meu Problema: Gostaria de saber se alguém estudou a partição de um gráfico em ciclos separados por nós. Ou seja, particione os vértices de um gráfico em e cada subgráfico induzido por é hamiltoniano.
É NP-difícil ou fácil?
Problema mais relacionado: A partição em triângulo é NP-completa. (Página 68 de "Computadores e intratabilidade")
Agradecemos desde já o seu conselho. ^^
cc.complexity-theory
graph-theory
co.combinatorics
Peng Zhang
fonte
fonte
Respostas:
Uma partição em ciclos separados por vértices é a mesma coisa que um subgráfico 2-regular, mais comumente conhecido como um fator 2. Pode ser encontrado (se existir) no tempo polinomial por um algoritmo baseado na correspondência.
Por exemplo, veja este link .ETA novembro de 2013: Parece a partir dos comentários abaixo que a redução da fonte vinculada acima está errada. No entanto, a declaração de que o problema pode ser reduzido a uma correspondência perfeita permanece correta. A redução correta está em WT Tutte (1954), "Uma prova curta do teorema dos fatores para gráficos finitos", Canadian J. Math. 6: 347–352 .
Substitua cada vértice pelo grau d por um gráfico bipartido completo G v = K d ,v d , e represente cada arestauvdo gráfico original por uma aresta de um vértice de G u a um vértice de G v (no lado da bipartição comdvértices) de maneira que cada vértice de G v desse lado da bipartição tem exatamente um desses incidentes de ponta.Gv= Kd,d- 2 vc v Gvocê Gv d Gv
Então, uma correspondência perfeita no gráfico modificado deve corresponder aos vértices lado da bipartição de G v com d - 2 dos vértices d do outro lado, deixando exatamente dois vértices livres que precisam ser correspondidos com seus vizinhos em outros subgráficos G u . Dessa maneira, as combinações perfeitas do gráfico modificado correspondem 1 a 1 com capas de ciclo do gráfico original.d- 2 Gv d- 2 d Gvocê
fonte