Uma caracterização de grafos imersíveis

Detalhes bibliográficos
Autor(a) principal: Cortez Morales, Walter Julio [UNESP]
Data de Publicação: 2005
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1590/S0101-74382005000100001
http://hdl.handle.net/11449/21811
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.
id UNSP_ec0bfd0eebdfd5844add6aaf0761ed70
oai_identifier_str oai:repositorio.unesp.br:11449/21811
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Uma caracterização de grafos imersíveisgrafosimersívelantifator completofatorávelequação de Tutte-Bergegraphsimmersiblecomplete antifactorfactorizableTutte-Berge's equationEste 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.Universidade Estadual Paulista IBILCE Depto. de Ciências de Computação e EstatísticaUniversidade Estadual Paulista IBILCE Depto. de Ciências de Computação e EstatísticaSociedade Brasileira de Pesquisa OperacionalUniversidade Estadual Paulista (Unesp)Cortez Morales, Walter Julio [UNESP]2014-05-20T14:01:48Z2014-05-20T14:01:48Z2005-04-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article1-9application/pdfhttp://dx.doi.org/10.1590/S0101-74382005000100001Pesquisa Operacional. Sociedade Brasileira de Pesquisa Operacional, v. 25, n. 1, p. 1-9, 2005.0101-7438http://hdl.handle.net/11449/2181110.1590/S0101-74382005000100001S0101-74382005000100001S0101-74382005000100001.pdfSciELOreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporPesquisa Operacional0,365info:eu-repo/semantics/openAccess2023-11-17T06:09:44Zoai:repositorio.unesp.br:11449/21811Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462023-11-17T06:09:44Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Uma caracterização de grafos imersíveis
title Uma caracterização de grafos imersíveis
spellingShingle Uma caracterização de grafos imersíveis
Cortez Morales, Walter Julio [UNESP]
grafos
imersível
antifator completo
fatorável
equação de Tutte-Berge
graphs
immersible
complete antifactor
factorizable
Tutte-Berge's equation
title_short Uma caracterização de grafos imersíveis
title_full Uma caracterização de grafos imersíveis
title_fullStr Uma caracterização de grafos imersíveis
title_full_unstemmed Uma caracterização de grafos imersíveis
title_sort Uma caracterização de grafos imersíveis
author Cortez Morales, Walter Julio [UNESP]
author_facet Cortez Morales, Walter Julio [UNESP]
author_role author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Cortez Morales, Walter Julio [UNESP]
dc.subject.por.fl_str_mv grafos
imersível
antifator completo
fatorável
equação de Tutte-Berge
graphs
immersible
complete antifactor
factorizable
Tutte-Berge's equation
topic grafos
imersível
antifator completo
fatorável
equação de Tutte-Berge
graphs
immersible
complete antifactor
factorizable
Tutte-Berge's equation
description 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.
publishDate 2005
dc.date.none.fl_str_mv 2005-04-01
2014-05-20T14:01:48Z
2014-05-20T14:01:48Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1590/S0101-74382005000100001
Pesquisa Operacional. Sociedade Brasileira de Pesquisa Operacional, v. 25, n. 1, p. 1-9, 2005.
0101-7438
http://hdl.handle.net/11449/21811
10.1590/S0101-74382005000100001
S0101-74382005000100001
S0101-74382005000100001.pdf
url http://dx.doi.org/10.1590/S0101-74382005000100001
http://hdl.handle.net/11449/21811
identifier_str_mv Pesquisa Operacional. Sociedade Brasileira de Pesquisa Operacional, v. 25, n. 1, p. 1-9, 2005.
0101-7438
10.1590/S0101-74382005000100001
S0101-74382005000100001
S0101-74382005000100001.pdf
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv Pesquisa Operacional
0,365
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 1-9
application/pdf
dc.publisher.none.fl_str_mv Sociedade Brasileira de Pesquisa Operacional
publisher.none.fl_str_mv Sociedade Brasileira de Pesquisa Operacional
dc.source.none.fl_str_mv SciELO
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1803649735807991808