MARCELO HENRIQUES DE CARVALHO

Possui graduação em Licenciatura Plena em Matemática pela Universidade Federal de Mato Grosso do Sul (1984), mestrado em Matemática Aplicada pela Universidade de São Paulo (1988), doutorado em Ciência da Computação pela Universidade Estadual de Campinas (1996), e Pós-Doutorado pela University of Waterloo, Canadá (2004). É professor titular da Universidade Federal de Mato Grosso do Sul e realiza pesquisas na área de Ciência da Computação, com ênfase em Teoria dos Grafos e Algoritmos.

Informações coletadas do Lattes em 30/04/2022

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1992 - 1996

Universidade Estadual de Campinas
Título: Decomposição ótima em orelhas para grafos matching covered
Orientador: Cláudio Leonardo Lucchesi
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Grafo; emparelhamento perfeito; grafo coberto por emparelhamento.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Matemática Aplicada

1985 - 1988

Universidade de São Paulo
Título: Uma introdução a algoritmos paralelos e suas complexidades,Ano de Obtenção: 1988
Orientador: Routo Terada
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: algoritmo; algoritmo paralelo; complexidade.Grande área: Ciências Exatas e da TerraSetores de atividade: Outros.

Graduação em Licenciatura Plena em Matemática

1981 - 1984

Universidade Federal de Mato Grosso do Sul

Pós-doutorado

2002 - 2004

Pós-Doutorado. , University of Waterloo, U.WATERLOO, Canadá. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Razoavelmente, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria dos Grafos e Algoritmos.

Organização de eventos

CARVALHO, M. H. ; MIYAZAWA, Flávio K. . XIX Concurso de Teses e Dissertacoes da Sociedade Brasileira de Computacao. 2006. (Concurso).

Participação em bancas

Aluno: Paulo Eduardo Azevedo Silveira

Coelho, J. P. J.; COLLI, E.;CARVALHO, M. H.. Matemática e algoritmos das dobras. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Anderson Corrêa de Lima

CACERES, E. N.; FREITAS, E. S.;CARVALHO, M. H.; Mongelli, H.. Algoritmos Paralelos para Extensão Linear em Digrafos. 2006. Dissertação (Mestrado em Ciência da Computaçcão) - Departamento de Computação e Estatística.

Aluno: Alberto Alexandre de Assis Miranda

LUCCHESI, C. L.CARVALHO, M. H.; Lee, O.. Orientacoes Pfaffianas e o furtivo grafo de Heawood. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Shigueo Isotani

CARVALHO, M. H.; Coelho, J.P.; Fernandes, C.G.. Algoritmos para caminhos mínimos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Mario Leston Rey

CARVALHO, M. H.; Feofiloff, P.; Fernandes, C.G.. T-junções, T-cortes e funções conservativas. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Mario Leston Rey

Wakabayashi, Y.; Coelho, J. P. J.; Lee, O.;CARVALHO, M. H.; Lins, S. L. S.. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Danilo Artigas da Rocha

de Carvalho, Marcelo H.; Cerioli, M.R.. Partições convexas geodésicas e contornos em grafos. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Cândida Nunes da Silva

de Carvalho, Marcelo H.; Feofiloff, P.;LUCCHESI, C. L.; Lee, O.. Fluxos inteiros e colorações. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Gordana Manic

Wakabayashi, Y.; MIYAZAWA, Flávio K.;CARVALHO, M. H.; Coelho, J.P.; Faria, L. Empacotamento de subgrafos em grafos. 2006 - Universidade de São Paulo.

Aluno: Fabio Henrique Viduani Martinez

CARVALHO, M. H.; SOARES, José Augusto R.; FERREIRA, Carlos Eduardo; MIYAZAWA, Flávio K.; GUIMARÃES, Katia Silva. Aproximações para restrições do problema de Steiner em grafos. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Song, S. W.; DOURADO, M. C.;CARVALHO, M. H.. Professor Adjunto. 2011. Universidade Federal do Ceará.

Orientou

Delair Osvaldo Martinelli Júnior

Grafos PM-Compactos; Início: 2020; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; (Orientador);

Fábio Andreatta Santos

O Problema da Orientação Pfaffiana de Grafos; 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;

Delair Osvaldo Martineli Junior

O metodo de distribuicao de cargas; 2007; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Fundacao Para o Desenvolvimento da Ciencia e Tecnologia de Mato Grosso do S; Orientador: Marcelo Henriques de Carvalho;

Denis Santos Silva

Decomposição em Orelhas de Grafos Cobertos por Emparelhamentos; 2005; 60 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;

Edna Ayako Hoshino

Algoritmos Lineares para Teste de Planaridade em Grafos; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;

Liana Dessandre Duenha

O Problema das Quatro Cores; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;

Phelipe Araujo Fabres

Braces minimais e suas propriedades; 2021; Tese (Doutorado em CIÊNCIA DA COMPUTAÇÃO) - Universidade Federal de Mato Grosso do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Henriques de Carvalho;

William Paraguassu Amorim

Novas Abordagens de Aprendizado Semisupervisionado por Conectividade Otima; 2016; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul,; Orientador: Marcelo Henriques de Carvalho;

Eduardo Oliveira de Souza

O problema do transporte aplicado a grafos; 2005; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;

Fábio Andreatta Santos

Uma implementacao eficiente do algoritmo de Edmonds; 2005; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;

Adriano Genovez Idalgo

Mapeamento fisico de DNA; 2004; 15 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;

Silvana Livramento

Fluxo em grafos; 2001; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Marcelo Henriques de Carvalho;

Edson Borin

Algoritmos para desenho de grafos; 2000; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;

Marcelo Abdalla dos Reis

O problema das quatro cores; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;

Joe Americo Colombo

Emparelhamento em grafos; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Henriques de Carvalho;

Foi orientado por

Cláudio Leonardo Lucchesi

Decomposição Ótima em Orelhas para Grafos Matching Covered; 1996; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cláudio Leonardo Lucchesi;

Produções bibliográficas

  • KOTHARI, NISHAD ; Marcelo H. Carvalho ; LUCCHESI, C. L. ; LITTLE, C. H. C. . On essentially 4-edge-connected cubic bricks. ELECTRONIC JOURNAL OF COMBINATORICS , v. 27, p. 1-44, 2020.

  • de Carvalho, Marcelo H. ; KOTHARI, NISHAD ; WANG, XIUMEI ; LIN, YIXUN . Birkhoff--von Neumann Graphs that are PM-Compact. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 34, p. 1769-1790, 2020.

  • KOTHARI, NISHAD ; CARVALHO, MARCELO H. . Generating simple near-bipartite bricks. Journal of Graph Theory (Online) , v. 95, p. 594-637, 2020.

  • FABRES, PHELIPE A. ; KOTHARI, NISHAD ; CARVALHO, MARCELO H. . Minimal braces. JOURNAL OF GRAPH THEORY , v. 96, p. 490-509, 2020.

  • CARVALHO, MARCELO H. ; LUCCHESI, CLÁUDIO L. ; MURTY, U. S. R. . On tight cuts in matching covered graphs. JOURNAL OF COMBINATORICS , v. 9, p. 163-184, 2018.

  • LUCCHESI, CLÁUDIO L. ; de Carvalho, Marcelo H. ; KOTHARI, NISHAD ; MURTY, U. S. R. . On Two Unsolved Problems Concerning Matching Covered Graphs. SIAM JOURNAL ON DISCRETE MATHEMATICS , v. 32, p. 1478-1504, 2018.

  • Marcelo H. Carvalho ; LITTLE, C. H. C. . A characterization of minimal non-Seymour graphs. Discrete Mathematics , v. 339, p. 547-559, 2016.

  • AMORIM, WILLIAN P. ; FALCÃO, ALEXANDRE X. ; PAPA, JOÃO P. ; CARVALHO, MARCELO H. . Improving Semi-Supervised Learning through Optimum Connectivity. Pattern Recognition , v. 60, p. 75-85, 2016.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U. S. R. . Thin Edges in Braces. The Electronic Journal of Combinatorics , v. 22, p. 1-38, 2015.

  • WANG, XIUMEI ; SHANG, WEIPING ; LIN, YIXUN ; CARVALHO, MARCELO H. . A CHARACTERIZATION OF PM-COMPACT CLAW-FREE CUBIC GRAPHS. Discrete Mathematics, Algorithms and Applications , v. 06, p. 1450025, 2014.

  • CARVALHO, M. H. ; LITTLE, C. H. C. . Matching Covered Graphs with Three Removable Classes. The Electronic Journal of Combinatorics , v. 21, p. 13, 2014.

  • CARVALHO, MARCELO H. ; LITTLE, C. H. C. . The parity of a thicket. The Electronic Journal of Combinatorics , v. 21, p. 1-12, 2014.

  • Wang X. ; Lin Y. ; de Carvalho, Marcelo H. ; LUCCHESI, C. L. ; Sanjith G. ; LITTLE, C. H. C. . A characterization of PM-compact bipartite and near-bipartite graphs. Discrete Mathematics , v. 313, p. 772-783, 2013.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On the Number of Perfect Matchings in a Bipartite Graph. SIAM Journal on Discrete Mathematics (Print) , v. 27, p. 940-958, 2013.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . A generalization of Littles Theorem on Pfaffian orientations. Journal of Combinatorial Theory. Series B (Print) , v. 102, p. 1241-1266, 2012.

  • SILVEIRA, L. L. ; CARVALHO, M. H. . Ear decompositions of join covered graphs. Electronic Notes in Discrete Mathematics , v. 37, p. 171-176, 2011.

  • CARVALHO, M. H. ; LITTLE, C. H. C. . Circuit decompositions of join-covered graphs. Journal of Graph Theory (Print) , v. 62, p. 220-233, 2009.

  • CARVALHO, M. H. ; LITTLE, C. H. C. . Vector spaces and the Petersen graph. The Electronic Journal of Combinatorics , v. 15, p. R9, 2008.

  • CARVALHO, M. H. ; LITTLE, C. H. C. . Ear decompositions in combed graphs. The Electronic Journal of Combinatorics , v. 15, p. R19, 2008.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . How to build a brick. Discrete Mathematics , v. 306, p. 2383-2410, 2006.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On the number of dissimilar Pfaffian orientation of graphs. RAIRO. Informatique Théorique et Applications , Franca, v. 39, n.01, p. 93-114, 2005.

  • CARVALHO, M. H. ; CHERIYAN, Joseph . An O(V.E) algorithm for ear decompositions of matching covered graphs. ACM Transactions on Algorithms , v. 1, n.2, p. 324-337, 2005.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U. S. R. . Graphs with Independent Perfect Matchings. Journal of Graph Theory , Estados Unidos, v. 48, p. 19-50, 2005.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The perfect matching polytope and solid bricks. Journal of Combinatorial Theory. Series B , v. 92, p. 319-324, 2004.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Graphs with independent perfect matchings. Journal of Graph Theory , v. 48, p. 19-50, 2004.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On a Conjecture of Lovász Concerning Bricks I. The Characteristic of a Matching Covered Graph. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 94-136, 2002.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . On a Conjecture of Lovász Concerning Bricks II. Bricks of Finite Characteristic. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 137-180, 2002.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Optimal Ear Decompositions of Matching Covered Graphs and Bases for the Matching Lattice. Journal of Combinatorial Theory. Series B , Canadá, v. 85, n.1, p. 59-93, 2002.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . Ear decompositions of matching covered graphs. Combinatorica , Hungria, v. 2, n.19, p. 151-174, 1999.

  • CARVALHO, M. H. ; LUCCHESI, C. L. . Matching Covered Graphs And Odd Subdivisions Of K4 And C6 Complement. Journal of Combinatorial Theory. Series B , v. 66, n.2, p. 263-268, 1996.

  • LUCCHESI, C. L. ; CARVALHO, M. H. . Bases For The Matching Lattice Of Matching Covered Graphs. Resenhas do Instituto de Matemática e Estatística da Universidade de São Paulo , São Paulo, v. 2, n.2, p. 219-227, 1995.

  • CARVALHO, M. H. . Vetores e Geometria Analítica. 1. ed. Campo Grande: Editora UFMS, 2009. v. 1. 134p .

  • CARVALHO, M. H. ; FERREIRA, Carlos Eduardo ; Fernandes, C.G. ; MIYAZAWA, Flávio K. ; Coelho, J.P. ; GUIMARÃES, Katia Silva ; Cerioli, M.R. ; Feofiloff, P. ; Dahab, R. ; Wakabayashi, Y. . Uma Introdução Sucinta a Algoritmos de Aproximação. 1. ed. Rio de Janeiro: IMPA, 2001. v. 1. 157p .

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The matching lattice. In: B. Reed and C.L. Sales. (Org.). Recent Advances in Algorithms and Combinatorics. : Springer, 2003, v. 1, p. 1-14.

  • AMORIM, WILLIAN P. ; BORGES, FELIPE SILVEIRA BRITO ; PACHE, MARCIO C.B. ; CARVALHO, MARCELO H. ; PISTORI, HEMERSON . Optimum-Path Forest in the classification of defects in Bovine Leather. In: 2019 XV Workshop de Visão Computacional (WVC), 2019, São Bernardo do Campo. 2019 XV Workshop de Visão Computacional (WVC), 2019. v. 1. p. 49-53.

  • SAITO, P. ; AMORIM, W. P. ; FALCAO, A. X. ; REZENDE, P. J. ; SUZUKI, C. ; GOMES, J. ; CARVALHO, M. H. . Active Semi-Supervised Learning using Optimum-Path Forest. In: 22nd International Conference on Pattern Recognition (ICPR), 2014, Stockholm. Anals of the 22nd International Conference on Pattern Recognition (ICPR), 2014. v. 1. p. 3798-3803.

  • AMORIM, W. P. ; FALCÃO, ALEXANDRE X. ; CARVALHO, M. H. . Semi-Supervised Pattern Classification Using Optimum-Path Forest. In: Conference on Graphics, Patterns and Images (SIBGRAPI), 2014, Rio de janeiro. Proceedings of the 2014 Conference on Graphics, Patterns and Images, 2014.

  • AMORIM, W. P. ; Marcelo H. Carvalho ; ODAKURA, V. V. V. A. . Face Recognition using Optimum-path Forest Local Analysis. In: Brazilian Conference on Intelligent Systems, 2013, Fortaleza. Proceedings of the 2013 Brazilian Conference on Intelligent Systems, 2013. v. 1. p. 242-248.

  • AMORIM, W. P. ; CARVALHO, M. H. . Supervised Learning Using Local Analysis in an Optimal-Path Forest. In: CONFERENCE ON GRAPHICS, PATTERNS AND IMAGES, 2012, Ouro Preto. SIBGRAPI, 2012. p. 330-335.

  • Quinta L. N. B ; AMORIM, W. P. ; CARVALHO, M. H. ; Cereda M. P. ; Pistori H. . Floresta de Caminhos Ótimos na Classificação de Pólen. In: Workshop de Visão Computacional, 2012, Goiânia. Workshop de Visão Computacional, 2012.

  • CARVALHO, M. H. ; CHERIYAN, Joseph . An O(VE) algorithm for ear decomposition of matching covered graphs. In: ACM-SIAM Symposuim on Discrete Algorithms, 2005, Vancouver. Proceedings of the sixteenth annual symposium on discrete algorithms, 2005. p. 415-423.

  • CARVALHO, M. H. ; LUCCHESI, C. L. ; MURTY, U.S.R. . The matching lattice. In: Brazilian Summer School on Combinatorics and Algorithms, 2001, Fortaleza. Anais do I Brazilian Summer School on Combinatorics and Algorithms. Berlin: Springer Verlag, 2001. v. 1. p. 1-24.

  • CARVALHO, M. H. ; LUCCHESI, C. L. . Decomposição Ótima Em Orelhas Para Grafos Matching Covered. In: XVII Congresso da Sociedade Brasileuira de Computação, 1997, Brasilia - DF. Anais do XVII Congresso da Sociedade Brasileuira de Computação, 1997. v. 1. p. 451-462.

  • CARVALHO, M. H. ; LUCCHESI, C. L. . Edge Implication In Matching Covered Graphs. In: Workshop Internacional de Combinatória, 1996, Rio de Janeiro. Workshop Internacional de Combinatória, 1996. v. 1. p. 47-55.

  • SILVEIRA, L. L. ; CARVALHO, M. H. . Ear decompositions of join covered graphs. In: VI Latin American Algorithms, Graphs, and Optimization Symposium, 2011, Bariloche. Anais do LAGOS 2011, 2011. v. 1. p. 216-221.

Projetos de pesquisa

  • 2015 - Atual

    Técnicas computacionais para rastreamento de focos de Tuberculose Bovina, Descrição: Este projeto visa desenvolver uma plataforma de rastreamento de Tuberculose Bovina na América do Sul, provendo informações atualizadas acerca da evolução da doença.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / Willian Paraguassu Amorim - Integrante / Nalvo Franco de Almeida Junior - Integrante / Guilherme Pimentel Telles - Integrante / Maria Emilia T. Walter - Integrante / João Carlos Setúbal - Integrante / Flábio Ribeiro de Araújo - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.

  • 2013 - 2015

    Novas técnicas de aprendizagem supervisionada aplicadas à Agropecuária e à Biotecnologia, Descrição: O problema de reconhecimento de padrões pode ser definido como a classificação de dados baseado no conhecimento adquirido ou na extração de informações estatísticas de padrões (representações), e tem como objetivo procurar por regras de decisão que possam maximizar a separação entre classes. A técnica mais promissora aplicada ao reconhecimento e classificação de padrões consiste em modelar o problema como um grafo completo, definido em seu espaço de atributos, com pesos positivos em seus arcos. A proposta consiste em aprimorar esta técnica e propor outras mais eficientes, com o uso da teoria de grafos e da bioinformática, visando soluções eficientes para problemas em aprendizagem supervisionada e reconhecimento de padrões, com aplicações diretas em agropecuária e biotecnologia, como por exemplo, na classificação de couro bovino e classificação de leveduras no processo de geração do etanol.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / U.S.R. Murty - Integrante / Willian Paraguassu Amorim - Integrante / Nalvo Franco de Almeida Junior - Integrante / Guilherme Pimentel Telles - Integrante / Maria Emilia T. Walter - Integrante., Financiador(es): Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro.

  • 2013 - Atual

    Emparelhamento em Grafos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos, e pode ser descrito da seguinte forma: grafos cobertos por emparelhamentos são grafos em que toda aresta pertence a um emparelhamento perfeito. Muitos problemas da teoria dos grafos, como por exemplo o famoso problema das quatro cores, podem ser expressos em termos de grafos cobertos por emparelhamentos. O objetivo geral deste projeto de pesquisa consiste em explorar propriedades estruturais dos grafos cobertos por emparelhamentos, bem como suas principais aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador / U.S.R. Murty - Integrante / Nalvo Franco de Almeida Junior - Integrante / Cláudio Leonardo Lucchesi - Integrante.

  • 2008 - 2012

    Uma Proposta para Consolidação e Expansão do Programa de Pós-Graduação em Ciência da Computação do DCT-UFMS, Descrição: A UFMS é a IES proponente, a USP é a IES associada principal e a Unicamp é a IES associada co-principal. Cada umas dessas IES possui uma única equipe participante neste projeto. A equipe da UFMS é formada por professores e alunos do Programa de Pós-Graduação em Computação da UFMS; a equipe da USP é formada por professores do Programa de Pós-Graduação em Ciência da Computação do Instituto de Matemática e Estatística da USP, do Programa de Pós-Graduação em Ciências da Computação e Matemática Computacional do Instituto de Ciências Matemáticas e da Computação da USP, em São Carlos (SP), e do Programa de Pós-Graduação em Engenharia Elétrica da Escola Politécnica da USP; e a equipe da Unicamp é formada por professores do Programa de Pós-Graduação em Computação do Instituto de Computação. da Unicamp.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2008 - 2010

    Continuidade na Consolidação das Linhas de Pesquisa do Mestrado em Ciência da Computação do DCT?UFMS, Descrição: O Programa de Mestrado em Ciência da Computação (PMCC) do Departamento de Computação e Estatística (DCT) da Universidade Federal de Mato Grosso do Sul (UFMS), com objetivo de promover o fortalecimento de seus grupos de pesquisa e, assim, consolidar seu programa de pós-graduação, é o proponente deste projeto de pesquisa. O PMCC do DCT?UFMS é um programa ?não consolidado?, que obteve nota 4 na última avaliação da CAPES e, por isso, satisfaz um dos requisitos para proposição deste projeto. O Programa de Pós-graduação em Computação do Departamento de Informática (DI) da Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) é o programa de pós-graduação ?consolidado? que se apresenta como parceiro nesta proposta. Outros programas ainda ?não consolidados?, mas participantes do projeto como colaboradores, estão listados abaixo: ? Programa de Pós-graduação em Ciência da Computação do Instituto de Matemática e Estatística (IME) da Universidade de São Paulo (USP); ? Programa de Pós-graduação em Ciências de Computação e Matemática Computacional do Instituto de Ciências Matemáticas e de Computação (ICMC) da Universidade de São Paulo (USP); ? Programa de Pós-graduação em Computação do Instituto de Computação (IC) da Universidade Estadual de Campinas (UNICAMP); ? Programa de Pós-graduação em Computação do Instituto de Computação da Universidade Federal Fluminense (UFF); ? Programa de Mestrado em Informática do Departamento de Computação (CIC) da Universidade de Brasília (UnB);. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Marcelo Henriques de Carvalho - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2007 - 2009

    Grafos Conservativos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos, e pode ser descrito da seguinte forma: uma função peso w : E {-1,1} definida sobre as arestas de um grafo G=(V,E) é chamada conservativa se a soma dos pesos das arestas ao longo de qualquer circuito de G é não-negativa. Por exemplo, um emparelhamento em um grafo define uma função conservativa se atribuirmos peso -1 para as arestas do emparelhamento e peso 1 para as demais arestas. Dizemos que um par (G,w) é um grafo conservativo se a função w definida sobre as arestas do grafo G é conservativa. O conceito de grafo conservativo generaliza vários conceitos da teoria dos grafos, como por exemplo o de emparelhamento. Há teoremas que generalizam diversos resultados sobre emparelhamento em grafos, como os bem conhecidos teoremas de Tutte e de Berge. Na verdade, o conceito de grafo conservativo fornece uma ?linguagem? geral que nos possi-bilita tratar diversos problemas em grafos de forma única [15]. Este é o grande fator que nos motiva a trabalhar neste tema. As pesquisas neste tópico são bem recentes, e se concen-tram basicamente nos trabalhos de A. Sebo e K. Padayachee. O trabalho proposto neste projeto de pesquisa consiste em explorar propriedades estruturais dos grafos conservativos e dos grafos cobertos por junções, bem como suas principais aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / Charles H. C. Little - Integrante / Fábio Andreatta Santos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

  • 2005 - 2007

    Orientações Pfaffian de Grafos e Aplicações, Descrição: O assunto tratado neste projeto de pesquisa insere-se na subárea da teoria da computação denominada teoria dos grafos. O problema que é objeto de pesquisa deste projeto pode ser descrito da seguinte forma: Dado um grafo simples G e um emparelhamento perfeito M de G, queremos orientar as arestas de G de tal forma que todos os circuitos M-alternados tenham paridade ímpar, ou seja, ao percorrermos um tal circuito em algum sentido encontramos um número ímpar de arestas orientadas nesse sentido. Nem todo grafo admite uma orientação com esta propriedade, por exemplo, K_{3,3} e o grafo de Petersen não admitem uma tal orientação. O problema da orientação Pfaffian consiste em decidir se um dado grafo admite uma orientação que satisfaz a propriedade acima. Este problema está relacionado com alguns problemas fundamentais em teoria dos grafos, como o problema da contagem de emparelhamentos perfeitos e o de decidir se um grafo orientado possui circuito orientado com um número par de arestas. Até o momento, o problema da orientação Pfaffian foi resolvido apenas para algumas classes de grafos: Grafos planares, grafos bipartidos, grafos quase-bipartidos e grafos sólidos. Neste projeto, pretendemos explorar e determinar novas condições necessárias e suficientes para que um grafo admita uma orientação Pfaffian visando resolver o problema para classes mais gerais de grafos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Marcelo Henriques de Carvalho - Coordenador / C. L. Lucchesi - Integrante / U.S.R. Murty - Integrante / Charles H. C. Little - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Apoio e Desenvolvimento do Ensino, Ciência e Tecnologia do MS - Auxílio financeiro / Universidade Federal de Mato Grosso do Sul - Cooperação., Número de produções C, T & A: 3

Prêmios

1997

Concurso de teses de doutorado (1. colocado), Sociedade Brasileira de Computação (SBC).

Histórico profissional

Endereço profissional

  • Universidade Federal de Mato Grosso do Sul, Faculdade de Computação. , FACOM - UFMS, Av. Costa e Silva/SN, Cidade Universitária, 79070-900 - Campo Grande, MS - Brasil - Caixa-postal: 549, Telefone: (67) 33457459, Fax: (67) 33457518, URL da Homepage:

Experiência profissional

1987 - Atual

Universidade Federal de Mato Grosso do Sul

Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Coordenador do curso de Doutorado em Ciência da Computação da UFMS, em associação com a UFG, desde agosto de 2009 até a presente data.

Atividades

  • 03/1987

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e estrutura de dados II