Computational complexity of algorithmic problems in bioinformatics
Overview
- RESEARCH DIRECTION
- Manuel Lafond, Professeur - Department of Computer Science
- ADMINISTRATIVE UNIT(S)
-
Faculté des sciences
Département d'informatique
- LEVEL(S)
-
2e cycle
3e cycle - LOCATION(S)
- Université de Sherbrooke, campus principal
Project Description
This project lies at the intersection of theoretical computer science, algorithm design, and graph theory, with potential applications in computational biology. In bioinformatics, and more specifically in biological evolution, many practical tools already exist for the analysis of evolutionary trees and networks. However, a rigorous theoretical understanding remains essential in order to determine what can — or cannot — be computed efficiently in this domain. Evolutionary networks are used to model complex biological phenomena such as hybridization, horizontal gene transfer, and tumor evolution. Several fundamental problems related to these networks remain open from the perspective of algorithmic complexity. For example, for certain distance metrics between evolutionary networks, it is still unknown whether polynomial-time algorithms exist or whether the problems are NP-hard. The main objective of the project is to study the algorithmic complexity of problems related to the comparison of evolutionary networks under various metrics and combinatorial models. The project may include: • analyzing the complexity of distance or similarity problems between evolutionary networks; • designing NP-hardness proofs or polynomial-time algorithms; • studying approximation algorithms for NP-hard problems; • studying parameterized complexity approaches (fixed-parameter tractability); • developing new theoretical tools in algorithms and graph theory applied to evolutionary networks. Desired qualifications • Strong interest in fundamental research; • Good knowledge of algorithms; • Strong mathematical maturity, particularly in discrete mathematics; • Ability for abstract thinking and interest in theoretical proofs. Assets • Knowledge of computational complexity; • Knowledge of graph theory. • No knowledge of biology is required. The project is well suited for students interested in the theoretical foundations of computer science and their applications to modern problems in computational biology. .
Discipline(s) by sector
Sciences naturelles et génie
Génie informatique et génie logiciel, Informatique, Mathématiques appliquées
Funding offered
Yes
The last update was on 15 May 2026. The University reserves the right to modify its projects without notice.
