Christian Baudet Zanoni Dias (Orientador)

Slides:



Advertisements
Apresentações semelhantes
Algoritmos de Caminho Mínimo em Grafos
Advertisements

Árvores 2010/1 Teoria dos Grafos (INF 5037/INF2781)
Inteligência Artificial
Inteligência Artificial
Métodos Iterativos.
Celso C. Ribeiro Caroline T. Rocha
Rearranjo de Genomas: Uma Coletânea de Artigos
Rearranjamento de Genomas
Profa. Sandra de Amo Mestrado em Ciência da Computação 2013 – 2
Solved Exercises 1. Finding the Peak. Let A= a1,…,an be a sequence of n numbers with the following property: there is p in {1,…,n} for which (i) the.
Métodos para representação de estruturas hierárquicas
TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE SISTEMAS ESTRUTURAS DE DADOS AVANÇADAS Aula /08/2011 Professor Leomir J. Borba-
03/08/2011 Professor Leomir J. Borba- –
A Classe de Problemas NP
AED /04 1 Programa Conceitos de Programação Orientada por Objectos A linguagem Java –Classes e Objectos –Strings e Arrays –Membros de classe: variáveis.
Mineração de Padrões Arborescentes
Programação Linear Método Simplex
Teoria da Computação Profa. Sandra de Amo Mestrado em Ciência da Computação 2010 – 1.
Teoria da Computação Profa. Sandra de Amo Bacharelado em CC Mestrado em CC 2008 – 1.
MODELAGEM ESTOCÁSTICA DE SEQÜÊNCIAS DE DNA ATRAVÉS DE CADEIAS COM MEMÓRIA DE ALCANCE VARIÁVEL Denise Duarte 11 de junho de 2010.
Programação Dinâmica Dual (Modelo Newave)
Ivairton Monteiro Santos - UFF Carlos Alberto Martinhon - UFF
1 Complexidade de Algoritmos Complexidade de pior caso Complexidade de melhor caso de uso bem menos freqüente em algumas situações específicas Complexidade.
Algoritmos e Estruturas de Dados
Interseção de Semiplanos
Dárlinton B. Feres Carvalho
Medida do Tempo de Execução de um Programa
Busca Heurística - Informada
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Sistemas de Computação Desenvolvimento e Avaliação de Algoritmos.
Avaliação de Desempenho e Potência de Mecanismos de Comunicação
ORGANIZAÇÃO FUNCIONAL do GENOMA
05(c) 2007 Gustavo Motta1 Introdução ao -calculus Prof. Gustavo Motta Departamento de Informática/UFPB.
Professor: Rômulo Rodrigues
Programação Dinámica Análise de algoritmos UNISUL
Resolução de Sistemas Lineares Métodos Exatos Fatoração LU
Inteligência Artificial
Campus de Caraguatatuba
Grafos Msc. Cintia Carvalho Oliveira Doutoranda em Computação – UFU
T ÓPICOS DE I.A. Métodos de Busca Busca em Espaços de Estado Prof. Mário Dantas.
Algoritmos de ordenação
Informática Teórica Engenharia da Computação
Otimização por Colônia de Formigas (ACO)
Paradigma de Divisão e Conquista
Prof. Guilherme Amorim 14/11/2013
Professora: Ana Cristina G. e Silva Natal-RN
Resolução de problemas por meio de busca
Tópicos em otimização combinatória
Busca com informação e exploração
Aula T06 – BCC202 Análise de Algoritmos (Parte 4) Túlio Toffolo
Introdução e Busca Cega
O método dos gradientes conjugados
Algoritmos de Busca Local
Cálculo Numérico / Métodos Numéricos
IF803 - Introdução à Biologia Molecular Computacional Profa. Katia Guimarães 2007/2.
1 A COMPUTAÇÃO MODERNA Valdemar W. Setzer Depto. de Ciência da Computação da USP
Sobre uma abordagem do número de estabilidade de um grafo baseada em técnicas de optimização quadrática Carlos J. Luz Instituto Politécnico de Setúbal.
Co-orientador: Nome do Professor Co-Orientador, se houver
Busca Combinatorial e Métodos de Heurística
Sistemas de Recomendação – Filtragem Colaborativa
Distância Mínima de Edição Profa. Sandra de Amo Bacharelado em Ciência da Computação - UFU.
Como analisar um algoritmo
Problemas NP-completos e Programação Dinâmica
Algoritmos FPT para o Problema da k-Cobertura por Vértices
Intr. à Biologia Computacional ALINHAMENTOS ÓTIMOS GLOBAIS.
Ordenação por Transposições de Prefixo Vinicius José Fortuna Outubro de Ordenação por Transposições de Prefixo Projeto de Mestrado Vinicius José.
Computação Evolutiva Nome dado ao estudo de algoritmos cuja inspiração é o processo de evolução natural das espécies. Origem: trabalho de um pesquisador.
Alinhamento Global de Seqüências Katia Guimarães.
Taís Sineiro Herig Laboratório de Genômica e Expressão / UNICAMP
Busca Heurística Prof. Valmir Macário Filho. 2 Busca com informação e exploração Capítulo 4 – Russell & Norvig Seção 4.1 Estratégias de Busca Exaustiva.
Formalismo algébrico para o problema da ordenação por transposições
Transcrição da apresentação:

Christian Baudet Zanoni Dias (Orientador) Enumeração de Soluções de Distância de Rearranjo e Alinhamento de Sequências utilizando Eventos de Rearranjo Christian Baudet Zanoni Dias (Orientador) Instituto de Computação – Unicamp Campinas, 05 de Setembro de 2008

Roteiro Motivação Conceitos Descrição do Projeto Estágio no Exterior Cronograma de Atividades

Motivação Importância da pesquisa genômica Rearranjo de genomas Mecanismos de evolução

Rearranjo de Genomas Eventos de rearranjos Transformam o genoma das espécies Grande influência na evolução Espécies próximas Diferenças na ordem dos genes Reversões Transposições Translocações

Reversões Inversão na direção de um trecho do cromossomo:

Reversões Permutações não orientadas Permutações orientadas Problema NP-Completo (Caprara, 1999) Berman, Hannehalli e Karpinski, 2002 Algoritmo de aproximação com fator 1.375 Permutações orientadas Tempo polinomial O(n4) – Hannenhalli e Pevzner, 1995 O(n2) – Bergeron, 2001 Apenas cálculo de d() O(n) – Bader, Moret e Yan, 2001

Transposições Troca de posições entre dois blocos consecutivos no cromossomo:

Transposições Ordenação por transposições Bafna e Pevzner, 1995 Problema em aberto Bafna e Pevzner, 1995 Primeiro algortimo de aproximação O(n2) e fator 1.5 Christie, 1996 Block-interchange – Algoritmo O(n2) Elias e Hartman, 2005 Algoritmo de aproximação com fator 1.375

Translocações Trocas entre prefixos/sufixos de dois cromossomos diferentes:

Translocações Permutações não orientadas Permutações orientadas Problema em aberto Kececioglu e Ravi, 1995 Algoritmo de aproximação com fator 2 Permutações orientadas O(n3) – Hannehalli, 1996 O(n2) – Wang et al., 2005 Apenas cálculo de distância de translocação O(n) – Li et al., 2002

Enumeração de Soluções de Distância de Reversão Braga et al. The Solution Space of Sorting by Reversals (2007) Exploring the Solution Space of Sorting by Reversals, with Experiments and an Application to Evolution (2008) Enumeração de todas as soluções Utilização do conceito de traces

Traces Relação de equivalência Classes de equivalências Se ρ e θ são reversões e não se sobrepõem, então ρθ e são θρ equivalentes Classes de equivalências Relação acima é aplicada às soluções do problema de distância de reversão Traces têm a propriedade de “compactar” o enorme conjunto de soluções Resultados mais representativos

Traces – Forma Normal Decomposição: s = u1|...|um Todo par de elementos da sub-palavra ui comutam entre si Para todo elemento ρ de uma sub-palavra ui (i > 1), existe ao menos um elemento θ da palavra ui-1 tal que ρ e θ não comutam Toda palavra ui é uma palavra crescente não vazia com relação à ordem lexográfica induzida por A Teorema – Cartier e Foata, 1969 Todo trace possui uma única forma normal

Enumeração de Soluções de Distância de Reversão Siepel, 2003 Optimal i-sequence : s= ρ1 ρ2... ρi d( ρ1 ρ2... ρi) = d() – i Obtém todas optimal 1-sequences em tempo O(n3) Algoritmo iterativo Calcular todas i-sequences a partir de todas as (i-1)-sequences Braga et al. 2007 Calcular todos i-traces a partir de todos os (i-1)-traces

Enumeração de Soluções de Distância de Reversão Braga et al. 2007 e 2008 Algoritmo que enumera todos os traces das soluções do problema de distância de reversão Algoritmo exponencial Altas complexidades de tempo e de espaço Limitado a permutações pequenas (n < 20) Adição de restrições biológicas para reduzir o espaço de soluções

Alinhamento de Sequências com Reversões Vellozo et. al Alignment with Non-overlapping Inversions in O(n3)-Time (2006) Alinhamento de sequências Inversões que não se sobrepõem Complexidade de tempo O(n3) Complexidade de espaço O(n2)

Alinhamento de Sequências com Reversões Grafo de edição

Alinhamento de Sequências com Reversões Grafo de edição estendido

Alinhamento de Sequências com Reversões

Alinhamento de Sequências com Reversões Matriz B Cada célula (i,j) mantém o peso do caminho ótimo de (0,0) até (i,j) Diversas matrizes e vetores auxiliares

Alinhamento de Sequências com Reversões Vellozo et. al, 2006 Algoritmo utiliza espaço quadrático Não utiliza pontuação afim Peso de reversão constante

Projeto Enumeração de Soluções Aplicar o algoritmo ao gênero Wolbachia Reduzir consumo de memória Combinar conceitos: Traces + Transposição Algoritmo de aproximação de fator 1.375 para o problema de distância de transposição

Projeto Alinhamento com eventos de rearranjo Estender algoritmo para utilização de pontuação afim Função que penalize as reversões conforme os seus tamanhos Transposição Algoritmo que realize alinhamento utilizando eventos de transposição

Estágio no exterior Estágio em Lyon – França Professora Marie-France Sagot Grupo BAMBOO-BAOBAB Visita em Fevereiro/2007 Braga e Vellozo trabalham no laboratório Intercâmbio com pessoas familiarizadas com os problemas que serão abordados no projeto

Cronograma Disciplinas Revisão Bibliográfica Visita ao grupo BAOBAB Preparação para o Exame de Qualificação Específico

Cronograma Aplicar algoritmo de enumeração de soluções de distância de reversão ao gênero Wolbachia Incorporação de pontuação afim ao algoritmo de alinhamento de sequências com reversões

Cronograma Estágio no Exterior Redução de consumo de memória do algoritmo de enumeração Redução de consumo de memória do algoritmo de alinhamento Adição de função de peso para as reversões ao algoritmo de alinhamento

Cronograma Algoritmo de alinhamento de sequências usando transposições Algoritmo de enumeração de soluções de distância de transposição Conclusão da escrita da tese Defesa Entrega da versão final