Uma caracterização de grafos imersíveis
Carregando...
Data
2005-04-01
Autores
Cortez Morales, Walter Julio [UNESP]
Título da Revista
ISSN da Revista
Título de Volume
Editor
Sociedade Brasileira de Pesquisa Operacional
Resumo
Este trabalho é motivado pelo resultado de Berge, que é uma generalização do teorema de Tutte o qual expressamos na forma: Dado o grafo G de ordem |V(G)| eni(G) o número de arestas em um emparelhamento máximo, existe um conjunto X de vértices de G tal que |V(G)|+|X| - ômega(G\X) - 2n(G)=0, onde ômega(G\X) é o número de componentes de ordem ímpar de G\X. Tal expressão chamamos a equação de Tutte-Berge associada de G, e escrevemos simplesmente T(G; X)=0. Os grafos podem ser classificados a partir das soluções da equação de Tutte-Berge. Um grafo G é chamado imersível se, e somente se, T(G; X)=0 possui pelo menos um conjunto solução não vazio de vértices, e G é denominado não imersível se, e somente se, o conjunto vazio é a única solução de T(G; X)=0. O resultado principal deste artigo é a caracterização de grafos imersíveis pelos conjuntos antifatores completos, além disso, provamos que os grafos fatoráveis estão contidos na classe dos imersíveis.
This paper is motivated by the result of Berge who generalized Tutte's theorem which states that: Given a graph G with |V(G)| vertices and nu(G) the number of edges in a maximum matching, then there is a subset X Í V(G) such that |V(G)|+|X| - omega(G\X) - 2n( G)=0, where omega(G\X) denotes the number of odd components of G\X, such expression is called Tutte-Berge's equation associated to G, denoted by T(G;X)=0. These graphs are then studied from solutions of T(G;X)=0. A graph G is called immersible graph if and only if, its associated equation T(G;X)=0 has at least one non-emptyset for X, and it is non-immersible graph if and only if, the unique solution to T(G;X)=0 is the emptyset. The main result of this work is the characterization of immersible graphs via complete antifactor sets, moreover we prove that factorizable graphs are included in the class of immersible graphs.
This paper is motivated by the result of Berge who generalized Tutte's theorem which states that: Given a graph G with |V(G)| vertices and nu(G) the number of edges in a maximum matching, then there is a subset X Í V(G) such that |V(G)|+|X| - omega(G\X) - 2n( G)=0, where omega(G\X) denotes the number of odd components of G\X, such expression is called Tutte-Berge's equation associated to G, denoted by T(G;X)=0. These graphs are then studied from solutions of T(G;X)=0. A graph G is called immersible graph if and only if, its associated equation T(G;X)=0 has at least one non-emptyset for X, and it is non-immersible graph if and only if, the unique solution to T(G;X)=0 is the emptyset. The main result of this work is the characterization of immersible graphs via complete antifactor sets, moreover we prove that factorizable graphs are included in the class of immersible graphs.
Descrição
Palavras-chave
grafos, imersível, antifator completo, fatorável, equação de Tutte-Berge, graphs, immersible, complete antifactor, factorizable, Tutte-Berge's equation
Como citar
Pesquisa Operacional. Sociedade Brasileira de Pesquisa Operacional, v. 25, n. 1, p. 1-9, 2005.