Investigação de problemas difíceis do ponto de vista algorítmico e estrutural

• Processo: 15/11937-9
• Linha de fomento: Auxílio à Pesquisa - Temático
• Vigência: 01 de março de 2017 - 28 de fevereiro de 2022
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Flávio Keidi Miyazawa
• Beneficiário: Flávio Keidi Miyazawa
• Instituição-sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Pesquisadores principais: Eduardo Candido Xavier ; Orlando Lee ; Yoshiko Wakabayashi ; Zanoni Dias
• Pesq. associados: Fábio Luiz Usberti ; Lehilton Lelis Chaves Pedrosa ; Luis Augusto Angelotti Meira ; Rafael Crivellari Saliba Schouery ; Ulisses Martins Dias
• Bolsa(s) vinculada(s): 18/25950-5 - Um algoritmo para o problema de roteirização de veículos elétricos, BP.MS; 18/04679-1 - Menores conformes e orientações Pfaffianas, BP.PD; 17/26114-3 - Problemas de rotulação em grafos, BP.PD; + mais bolsas vinculadas 18/00910-0 - Algoritmos para problemas Min-Max de alocação de p-Terminais e variantes, BP.IC; 17/23623-4 - Problemas de partição em grafos e dígrafos, BP.PD; 17/21297-2 - Problemas de disposição de propagandas, BP.MS; 17/23343-1 - Algoritmos exatos e heurísticas para o compartilhamento de veículos, BP.MS; 17/11831-1 - Algoritmos e modelos para problemas de corte e empacotamento, BP.DD; 17/05223-9 - Análise teórica de problemas de transporte sob a perspectiva da Teoria dos Jogos, BP.MS - menos bolsas vinculadas
• Assunto(s): Biologia computacional Otimização combinatória Teoria dos grafos Teoria dos jogos Algoritmos

Resumo

O tema central deste projeto é a investigação de diversos problemas sobre objetos de natureza discreta, tendo como foco o estudo de algoritmos e de questões estruturais e teóricas sobre esses objetos. Daremos ênfase ao tratamento de "problemas difíceis"(formalmente conhecidos como problemas NP-difíceis), mas não nos restringiremos a esta classe de problemas. Consideraremos também problemas pertencentes a outras classes de complexidade, bem como problemas onde a dificuldade de se resolvê-los eficientemente está na falta de informação ou mesmo na descentralização das decisões de diferentes usuários, em contextos onde a decisão de um usuário afeta a decisão dos demais. Os estudos de natureza algorítmica que serão contemplados incluem projetos de algoritmos eficientes e práticos (quando possível, com garantia de desempenho), desenvolvimento de novas técnicas, e classificação de diversos problemas com relação à sua pertinência a diferentes classes de complexidade computacional. As questões estruturais sobre os objetos combinatórios que investigaremos incluem sua caracterização, propriedades, condições para sua existência, quantificação e construção dos mesmos. Os tópicos e técnicas que investigaremos estão inter-relacionados e são aplicáveis a diversas áreas como biologia computacional, otimização discreta, teoria dos grafos, logística e economia. Esperamos que a execução deste projeto tenha como fruto a obtenção de resultados relevantes, que contribuam para o avanço do estado da arte da área de conhecimento em que se inserem. Também esperamos que este projeto contribua para a formação e qualificação de novos pesquisadores. Ao fim do projeto, também esperamos um aumento da pesquisa em áreas ainda pouco estudadas no Brasil, mas para as quais há intensa atividade nos principais centros de pesquisa no exterior. (AU)

Publicações científicas

(18)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

BENEDITO, MARCELO P. L.; PEDROSA, LEHILTON L. C. Approximation algorithms for Median Hub Location Problems. JOURNAL OF COMBINATORIAL OPTIMIZATION, v. 38, n. 2, p. 375-401, AUG 2019. Citações Web of Science: 0.

BOTLER, FABIO; SAMBINELLI, MAYCON; COELHO, RAFAEL S.; LEE, ORLANDO. Gallai's path decomposition conjecture for graphs with treewidth at most 3. JOURNAL OF GRAPH THEORY, AUG 2019. Citações Web of Science: 0.

LINTZMAYER, CARLA NEGRI; MIYAZAWA, FLAVIO KEIDI; XAVIER, EDUARDO CANDIDO. Online circle and sphere packing. THEORETICAL COMPUTER SCIENCE, v. 776, p. 75-94, JUL 12 2019. Citações Web of Science: 0.

SAMBINELLI, MAYCON; LINTZMAYER, CARLA NEGRI; DA SILVA, CANDIDA NUNES; LEE, ORLANDO. Berge's Conjecture and Aharoni-Hartman-Hoffman's Conjecture for Locally In-Semicomplete Digraphs. GRAPHS AND COMBINATORICS, v. 35, n. 4, p. 921-931, JUL 2019. Citações Web of Science: 0.

QUEIROZ, THIAGO A.; BRACHT, EVANDRO C.; MIYAZAWA, FLAVIO K.; BITTENCOURT, MARCO L. An extension of Queiroz and Miyazawa's method for vertical stability in two-dimensional packing problems to deal with horizontal stability. ENGINEERING OPTIMIZATION, v. 51, n. 6, p. 1049-1070, JUN 3 2019. Citações Web of Science: 0.

FERNANDES, CRISTINA G.; FERREIRA, CARLOS E.; MIYAZAWA, FLAVIO K.; WAKABAYASHI, YOSHIKO. Prices of Anarchy of Selfish 2D Bin Packing Games. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, v. 30, n. 3, p. 355-374, APR 2019. Citações Web of Science: 0.

SANTOS MIRANDA, GUILHERME HENRIQUE; LINTZMAYER, CARLA NEGRI; DIAS, ZANONI. Sorting Permutations by lambda-Operations. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, v. 25, n. 2, p. 98-121, 2019. Citações Web of Science: 0.

FERNANDES, CRISTINA G.; SCHOUERY, RAFAEL C. S. Approximation Algorithms for the Max-Buying Problem with Limited Supply. ALGORITHMICA, v. 80, n. 11, p. 2973-2992, NOV 2018. Citações Web of Science: 0.

YUCRA QUISPE, KENT E.; LINTZMAYER, CARLA N.; XAVIER, EDUARDO C. An exact algorithm for the Blocks Relocation Problem with new lower bounds. Computers & Operations Research, v. 99, p. 206-217, NOV 2018. Citações Web of Science: 3.

POVOA, MARCELO G.; XAVIER, EDUARDO C. Approximation algorithms and heuristics for task scheduling in data-intensive distributed systems. International Transactions in Operational Research, v. 25, n. 5, p. 1417-1441, SEP 2018. Citações Web of Science: 0.

WAINER, JACQUES; XAVIER, EDUARDO C. A Controlled Experiment on Python vs C for an Introductory Programming Course: Student's Outcomes. ACM TRANSACTIONS ON COMPUTING EDUCATION, v. 18, n. 3 SEP 2018. Citações Web of Science: 0.

OLIVEIRA, ANDRE R.; FERTIN, GUILLAUME; DIAS, ULISSES; DIAS, ZANONI. Sorting signed circular permutations by super short operations. Algorithms for Molecular Biology, v. 13, JUL 26 2018. Citações Web of Science: 0.

PEDROSA, LEHILTON L. C.; SCHOUERY, RAFAEL C. S. Approximation algorithms for the bus evacuation problem. JOURNAL OF COMBINATORIAL OPTIMIZATION, v. 36, n. 1, p. 131-141, JUL 2018. Citações Web of Science: 0.

TICONA-ZEGARRA, EDSON; SCHOUERY, RAFAEL C. S.; VILLAS, LEANDRO A.; MIYAZAWA, FLAVIO K. Improved continuous enhancement routing solution for energy-aware data aggregation in wireless sensor networks. International Journal of Distributed Sensor Networks, v. 14, n. 5 MAY 11 2018. Citações Web of Science: 1.

LINTZMAYER, CARLA NEGRI; FERTIN, GUILLAUME; DIAS, ZANONI. Sorting permutations and binary strings by length-weighted rearrangements. THEORETICAL COMPUTER SCIENCE, v. 715, p. 35-59, MAR 8 2018. Citações Web of Science: 0.

C.H. SAMORA; F.L. USBERTI; C. LYRA. Relaxação Lagrangeana Aplicada ao Problema de Cobertura por Hubs. TEMA (São Carlos), v. 19, n. 3, p. -, Dez. 2018.

LINTZMAYER, CARLA NEGRI; FERTIN, GUILLAUME; DIAS, ZANONI. Sorting permutations by prefix and suffix rearrangements. JOURNAL OF BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, v. 15, n. 1 FEB 2017. Citações Web of Science: 3.

OLIVEIRA, ANDRE RODRIGUES; DIAS, ULISSES; DIAS, ZANONI. On the Sorting by Reversals and Transpositions Problem. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, v. 23, n. 9, p. 868-906, 2017. Citações Web of Science: 1.