grafos:matching_alternatingpaths

Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

Link para esta página de comparações

grafos:matching_alternatingpaths [2023/02/23 10:17] – [Emaparelhamento em grafos bipartidos] pivagrafos:matching_alternatingpaths [2023/03/10 12:12] (atual) – edição externa 127.0.0.1
Linha 1: Linha 1:
-==== Emparelhamentos, Empacotamento e Cobertura ====+==== Emparelhamentos ====
  
 Suponha que nos seja dado um grafo, e que seja solicitado encontrar nele tantas arestas independentes quanto possível. Como devemos fazer isso? Seremos capazes de emparelhar todos os seus vértices dessa maneira? Se não, como podemos ter certeza de que isso é realmente impossível? Surpreendentemente, esse problema básico não está apenas no cerne de inúmeras aplicações, mas também dá origem a algumas teorias de grafos bastante interessantes: **Emparelhamento**, **Empacotamento** e **Cobertura**. Suponha que nos seja dado um grafo, e que seja solicitado encontrar nele tantas arestas independentes quanto possível. Como devemos fazer isso? Seremos capazes de emparelhar todos os seus vértices dessa maneira? Se não, como podemos ter certeza de que isso é realmente impossível? Surpreendentemente, esse problema básico não está apenas no cerne de inúmeras aplicações, mas também dá origem a algumas teorias de grafos bastante interessantes: **Emparelhamento**, **Empacotamento** e **Cobertura**.
Linha 6: Linha 6:
  
  
-==== Emaparelhamento em grafos bipartidos ====+==== Emparelhamento em grafos bipartidos ====
  
 Para esta seção, fixemos $G=(V,E)$ como sendo um grafo bipartido com as partições $\{A,B\}$.E denotemos os vértices da partição $A$ como $a,a', \dots$, bem como os vértices de $B$ como $b,b',\dots$. E comecemos a seção com a definição de **Emparelhamento**. Para esta seção, fixemos $G=(V,E)$ como sendo um grafo bipartido com as partições $\{A,B\}$.E denotemos os vértices da partição $A$ como $a,a', \dots$, bem como os vértices de $B$ como $b,b',\dots$. E comecemos a seção com a definição de **Emparelhamento**.
Linha 13: Linha 13:
 <WRAP round box 100%> <WRAP round box 100%>
 === Definição: Emparelhamento === === Definição: Emparelhamento ===
-//Um conjunto $M$ de **arestas independentes** em um grafo $G$ é chamado de **emparelhamento**, correspondência. Os vértices de tais arestas são chamados de emparelhados. $M$ é um emparelhamento de $U \subseteq V$ se todo vértice em $U$ é incidente com uma aresta em $M$. Os vértices em $U$ são então chamados de emparelhados (por $M$); vértices não incidentes com uma aresta de $M$ são desemparelhados. +//Um conjunto $M$ de **arestas independentes** em um grafo $G$ é chamado de **emparelhamento**, correspondência. Os vértices de tais arestas são chamados de emparelhados. $M$ é um emparelhamento de $U \subseteq V$ se todo vértice em $U$ é incidente com uma aresta em $M$. Os vértices em $U$ são então chamados de emparelhados (por $M$); vértices não incidentes com uma aresta de $M$ são desemparelhados.//
-//+
 </WRAP> </WRAP>
  
Linha 22: Linha 21:
 Um caminho alternante $P$ que termina em um vértice desemparelhado de $B$ é chamado de **caminho ampliador**, porque podemos usá-lo para transformar $M$ em um emparelhamento maior: a diferença simétrica de $M$ com $E(P)$ é novamente um emparelhamento (considere as arestas em um determinado vértice), e o conjunto de vértices emparelhados é aumentado em dois, as extremidades de $P$. Observe na figura a seguir, o aumento do emparelhamento $M$  pelo caminho alternante $P$: Um caminho alternante $P$ que termina em um vértice desemparelhado de $B$ é chamado de **caminho ampliador**, porque podemos usá-lo para transformar $M$ em um emparelhamento maior: a diferença simétrica de $M$ com $E(P)$ é novamente um emparelhamento (considere as arestas em um determinado vértice), e o conjunto de vértices emparelhados é aumentado em dois, as extremidades de $P$. Observe na figura a seguir, o aumento do emparelhamento $M$  pelo caminho alternante $P$:
  
-{{ :grafos:camaltern.png?400 |}}+{{ :grafos:part.png?450 |}}
  
 Caminhos alternantes desempenham um papel importante na busca prática de grandes emparelhamentos. De fato, se começarmos com qualquer emparelhamento e continuarmos aplicando caminhos ampliadores até que não seja mais possível tal melhoria, o emparelhamento obtido será sempre ótimo, um emparelhamento com o maior número possível de arestas. O problema algorítmico de encontrar tais emparelhamentos, portanto, reduz-se ao de encontrar o caminho de aumento, que é um problema algorítmico interessante e acessível. Caminhos alternantes desempenham um papel importante na busca prática de grandes emparelhamentos. De fato, se começarmos com qualquer emparelhamento e continuarmos aplicando caminhos ampliadores até que não seja mais possível tal melhoria, o emparelhamento obtido será sempre ótimo, um emparelhamento com o maior número possível de arestas. O problema algorítmico de encontrar tais emparelhamentos, portanto, reduz-se ao de encontrar o caminho de aumento, que é um problema algorítmico interessante e acessível.
  
----- 
  
 +<WRAP round tip box 100%>
 +=== Veja também: ===
 +  * [[.konigtheorem | Teorema de Emparelhamento de König]]
 +</WRAP>
 +
 +----
 <WRAP round info> <WRAP round info>
 === Referências === === Referências ===
  • grafos/matching_alternatingpaths.1677158244.txt.gz
  • Última modificação: 2023/02/23 10:17
  • por piva