• Nenhum resultado encontrado

6.2 Diagrama de pontos de quebra

6.2.2 Entrela¸camento de arcos

Sejam P = (π, σ, Γ) um problema, ρ uma revers˜ao em π, α e β arcos em P e ρ(α, π) a revers˜ao induzida por α em π. Dizemos que ρ e α se entrela¸cam caso α possua orienta¸c˜oes distintas em π e πρ. Dizemos que β entrela¸ca α caso β possua orienta¸c˜oes distintas em π e πρ(α, π).

Seja α uma permuta¸c˜ao e A ⊂ E (α). A subtra¸c˜ao de A em α resulta na permuta¸c˜ao α\ A tal que α \ A | α, |E (α \ A)| = |E (α)| − |A| e se x ∈ A ent˜ao x /∈ E (α \ A).

Seja P = (π, σ, Γ) um problema, G um conjunto de genes de P e ΓG o conjunto dos complementos dos genes em G. A subtra¸c˜ao de G em P resulta no problema P \ G = (π \ (G ∪ ΓG), σ \ (G ∪ ΓG), Γ \ (G ∪ ΓG)).

Seja P = (π, σ, Γ) um problema e α e β arcos distintos de P . Dizemos que α e β se intercalam quando existe um anel θ de π tal que

(x y Γσx Γσy)| θ para x ∈ Supp(α) e y ∈ Supp(β).

Os Lemas 14, 15 e 16 a seguir analisam o efeito da subtra¸c˜ao sobre os arcos com suas orienta¸c˜oes e rela¸c˜oes de intercala¸c˜ao.

Lema 14. Seja P = (π, σ, Γ) um problema e G um conjunto de genes em P . Se α = (x Γσx ) ´e um arco de P e Supp(α)∪ {σx } ⊂ E (P \ G) ent˜ao α ´e arco de P \ G.

Demonstra¸c˜ao. De acordo com o enunciado podemos afirmar que {x , Γx , σx , Γσx } ⊂ E (P \ G). Observe que σ \ (G ∪ ΓG)x = σx , assim, Γ \ (G ∪ ΓG)σ \ (G ∪ ΓG)x = Γσx e, desta forma, α ´e arco tamb´em em P \ G.

Lema 15. Seja P = (π, σ, Γ) um problema e G um conjunto de genes em P . Se α = (x Γσx ) ´e um arco de P e Supp(α)∪ {σx } ⊂ E (P \ G) ent˜ao α ´e arco em P \ G e sua orienta¸c˜ao ´e a mesma em P e P \ G.

6.2. Diagrama de pontos de quebra 55

Demonstra¸c˜ao. O Lema 14 nos garante que α ´e arco em P\ G.

Pelo enunciado temos que Supp(α) ⊂ E (P \ G) e, de acordo com a defini¸c˜ao de subtra¸c˜ao, podemos afirmar que π\ (G ∪ ΓG) | π logo, se α | π ent˜ao α | π \ (G ∪ ΓG) e se α ∤ π ent˜ao α ∤ π\ (G ∪ ΓG).

Lema 16. Seja P = (π, σ, Γ) um problema e G um conjunto de genes em P . Se α = (x Γσx ) e β = (y Γσy) s˜ao arcos de P e Supp(α)∪ Supp(β) ∪ {σx , σy} ⊂ E (P \ G) ent˜ao α e β s˜ao arcos em P\ G, α e β se intercalam em P \ G caso se intercalem em P e α e β n˜ao se intercalam em P \ G caso n˜ao se intercalem em P.

Demonstra¸c˜ao. O Lema 14 nos garante que α e β s˜ao arcos em P\ G.

De acordo com a defini¸c˜ao de subtra¸c˜ao, π\ (G ∪ ΓG) | π. Desta forma os elementos x , Γσx , y e Γσy estar˜ao, num dos an´eis de P \ G, na mesma ordem que estavam num dos an´eis de P e, assim, α e β se intercalam em P\ G se, e somente se, se intercalam em P .

Nos Lemas 17 e 18 assim como na Conjectura 1 e Corol´ario 2 faremos uma an´alise da rela¸c˜ao entre os conceitos de entrela¸camento e intercala¸c˜ao. Ao final conclu´ımos que os conceitos s˜ao eq¨uivalentes.

Lema 17. Seja P = (π, σ, Γ) um problema e α e β arcos distintos deste problema. Se os arcos α e β se intercalam ent˜ao β entrela¸ca α.

Demonstra¸c˜ao. Inicialmente observemos a estrutura do anel. Note que, no anel, cada ele- mento fica acompanhado de seu complemento, os elementos de uma fita e outra alternam, os elementos da fita tomada como base, digamos π1, ficam na mesma ordem de π ou, algebricamente, tamb´em podemos dizer que π1|Γπ1. Os da outra fita, digamos π2, ficam na ordem inversa ou, algebricamente, tamb´em podemos dizer que π−1

2 | Γπ1.

Faremos agora uma an´alise de casos variando α e β de orienta¸c˜ao. S˜ao quatro casos no total. Para o estudo iremos utilizar o seguinte problema como referˆencia

P =  

π = (Γa Γx Γy Γf Γi )(i f y x a) σ = qualquer

Γ = (a Γa)(x Γx )(y Γy)(f Γf )(i Γi ) onde temos

θ(π) = (a Γa x Γx y Γy f Γf i Γi )

como um dos an´eis. Temos tamb´em que x ∈ Supp(α), y ∈ Supp(β), Γσx = f ou Γσx = Γf e Γσy = i ou Γσy = Γi . Note que os valores de Γσx e Γσy variam de acordo com a orienta¸c˜ao. Temos ainda que a = πx .

56 Cap´ıtulo 6. Uma solu¸c˜ao alg´ebrica para o problema da Distˆancia de Revers˜ao

Para verificar se β entrela¸ca α iremos observar se β altera de orienta¸c˜ao quando apli- camos a revers˜ao induzida por α. A seguir apresentamos a an´alise em casos.

• α orientado: neste caso temos α = (x f ) e ρ(α, π) = ρ(x , f , π). Ao aplicar ρ(α, π) teremos

πρ(α, π) = (Γa y x Γf Γi )(i f Γx Γy a) e

θ(πρ(α, π)) = (a Γa Γy y Γx x f Γf i Γi )

– β orientado: neste caso temos β = (y i ). Observe que (y i ) ∤ πρ(α, π) e, assim, podemos afirmar que β entrela¸ca α.

– β n˜ao orientado: neste caso temos β = (y Γi ). Observe que (y Γi ) | πρ(α, π) e, assim, podemos afirmar que β entrela¸ca α.

• α n˜ao orientado: neste caso temos α = (x Γf ) e ρ(α, π) = ρ(Γa, Γf , π). Ao aplicar ρ(α, π) teremos

πρ(α, π) = (Γa f y x Γi )(i Γx Γy Γf a) e

θ(πρ(α, π)) = (a Γa Γf f Γy y Γx x i Γi )

– β orientado: neste caso temos β = (y i ). Observe que (y i ) ∤ πρ(α, π) e, assim, podemos afirma que β entrela¸ca α.

– β n˜ao orientado: neste caso temos β = (y Γi ). Observe que (y Γi ) | πρ(α, π) e, assim, podemos afirmar que β entrela¸ca α.

Ao concluir a an´alise destes casos chegamos a conclus˜ao de que β entrela¸ca α em qualquer das poss´ıveis combina¸c˜oes de orienta¸c˜ao para α e β em P . Observe que a subtra¸c˜ao do gene a e conseq¨uente substitui¸c˜ao de πx = a para πx = i n˜ao alteraria os resultados.

Observe tamb´em o que os Lemas 15 e 16 nos permitem. Digamos que tiv´essemos um problema com o seguinte π

6.2. Diagrama de pontos de quebra 57

onde A1, A2, A3 e A4 s˜ao blocos contendo zero ou mais elementos. Utilizando a subtra¸c˜ao podemos construir qualquer problema com pelo menos dois arcos e reduz´ı-lo ao problema base desta demonstra¸c˜ao. Finalmente, conclu´ımos que se α e β se intercalam ent˜ao β entrela¸ca α.

Conjectura 1. Seja P um problema e α e β arcos de P . Se α entrela¸ca β ent˜ao α e β se intercalam.

Lema 18. Seja P um problema e α e β arcos de P . Se α entrela¸ca β ent˜ao β entrela¸ca α.

Demonstra¸c˜ao. De acordo com a Conjectura 1 podemos dizer que, como α entrela¸ca β, α e β intercalam. Agora pelo Lema 17 podemos concluir que β entrela¸ca α.

O resultado demonstrado pelo Lema 18 nos leva agora a dizer que α e β se entrela¸cam ao inv´es de dizer que α entrela¸ca β. Os Lemas 17 e 18 e a Conjectura 1 nos levam ao seguinte corol´ario.

Corol´ario 2. Seja P um problema e α e β arcos distintos de P . Os arcos α e β se intercalam se, e somente se, se entrela¸cam.

Os Lemas 19 e 20 a seguir iniciam uma an´alise do efeito de uma revers˜ao induzida por um arco no que se refere aos entrela¸camentos.

Lema 19. Seja P = (π, σ, Γ) um problema e α e β arcos em P . Se α | π e α e β se entrela¸cam em π ent˜ao α e β n˜ao se entrela¸cam em πρ(α, π).

Demonstra¸c˜ao. Como α| π, pelo Lema 13 podemos afirmar que πρ(α, π)ρ(α, πρ(α, π)) = πρ(α, π).

Segue uma demonstra¸c˜ao em dois casos.

• Quando β | π: como α e β se entrela¸cam em π ent˜ao podemos afirmar que β ∤ πρ(α, π). Pela observa¸c˜ao acima podemos dizer que β ∤ πρ(α, π)ρ(α, πρ(α, π)) e assim α e β n˜ao se entrela¸cam em πρ(α, π).

• Quando β ∤ π: como α e β se entrela¸cam em π ent˜ao podemos afirmar que β | πρ(α, π). Pela observa¸c˜ao acima podemos dizer que β | πρ(α, π)ρ(α, πρ(α, π)) e assim α e β n˜ao se entrela¸cam em πρ(α, π).

Lema 20. Seja P = (π, σ, Γ) um problema e α e β arcos em P . Se α ∤ π e α e β se entrela¸cam em π ent˜ao α e β se entrela¸cam em πρ(α, π).

58 Cap´ıtulo 6. Uma solu¸c˜ao alg´ebrica para o problema da Distˆancia de Revers˜ao

Demonstra¸c˜ao. Como α ∤ π, pelo Lema 12 podemos afirmar que πρ(α, π)ρ(α, πρ(α, π)) = π. Segue uma demonstra¸c˜ao em dois casos:

• β | π: como α e β se entrela¸cam em π ent˜ao podemos afirmar que β ∤ πρ(α, π). Pela observa¸c˜ao acima podemos dizer que β | πρ(α, π)ρ(α, πρ(α, π)) e assim α e β se entrela¸cam em πρ(α, π).

• β ∤ π: como α e β se entrela¸cam em π ent˜ao podemos afirmar que β | πρ(α, π). Pela observa¸c˜ao acima podemos dizer que β ∤ πρ(α, π)ρ(α, πρ(α, π)) e assim α e β se entrela¸cam em πρ(α, π).

Documentos relacionados