• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
Efficient indexing of peptides for database search using Tide

Acquaye F. L., Kertesz-Farkas A., Stafford Noble W.

Journal of Proteome Research. 2023. Vol. 22. No. 2. P. 577-584.

Article
Mint: MDL-based approach for Mining INTeresting Numerical Pattern Sets

Makhalova T., Kuznetsov S., Napoli A.

Data Mining and Knowledge Discovery. 2022. P. 108-145.

Book chapter
Modeling Generalization in Domain Taxonomies Using a Maximum Likelihood Criterion

Zhirayr Hayrapetyan, Nascimento S., Trevor F. et al.

In bk.: Information Systems and Technologies: WorldCIST 2022, Volume 2. Iss. 469. Springer, 2022. P. 141-147.

Book chapter
Ontology-Controlled Automated Cumulative Scaffolding for Personalized Adaptive Learning

Dudyrev F., Neznanov A., Anisimova K.

In bk.: Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners’ and Doctoral Consortium -23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part II. Springer, 2022. P. 436-439.

Book chapter
Triclustering in Big Data Setting

Egurnov D., Точилкин Д. С., Ignatov D. I.

In bk.: Complex Data Analytics with Formal Concept Analysis. Springer, 2022. P. 239-258.

Article
Triclusters of Close Values for the Analysis of 3D Data

Egurnov D., Ignatov D. I.

Automation and Remote Control. 2022. Vol. 83. No. 6. P. 894-902.

Article
Deep Convolutional Neural Networks Help Scoring Tandem Mass Spectrometry Data in Database-Searching Approaches

Kudriavtseva P., Kashkinov M., Kertész-Farkas A.

Journal of Proteome Research. 2021. Vol. 20. No. 10. P. 4708-4717.

Article
Language models for some extensions of the Lambek calculus

Kanovich M., Kuznetsov S., Scedrov A.

Information and Computation. 2022. Vol. 287.

Discrete Optimization

2020/2021
Academic Year
ENG
Instruction in English
5
ECTS credits
Type:
Elective course
When:
2 year, 1 semester

Instructor

Beaudou, Laurent

Beaudou, Laurent

Course Syllabus

Abstract

This course aims to present methods commonly used when it comes to optimize a function on some discrete space. After a brief introduction, we shall approach the Linear Programming as a all-around tool to model a wide set of problems. We also focus on Dynamic Programming as a technique for designing efficient algorithms. Integer Programming revolves around specific techniques when Linear Program require integrality of variables. Finally we'll consider some usual heuristics when nothing works.
Learning Objectives

Learning Objectives

  • To give students basic and advanced knowledge on methods used for solving discrete (combinatorial) optimization problems. The course provides both a theoretical understanding and a practical approach of these methods.
Expected Learning Outcomes

Expected Learning Outcomes

  • Understanding of the purpose.
  • Ability to model problem and interpret results.
  • Ability to design adequate algorithms.
  • Full understanding of algorithms and implications.
  • Ability to model hard problems.
  • Ability to approach problems out of reach by previous methods.
  • Understanding the algorithms and its implications.
Course Contents

Course Contents

  • Introduction to discrete optimization
    Examples of problems, computational complexity, naive algorithms.
  • Linear Programming
    Theoretical approach, choosing appropriate model, what can be learned from LP.
  • Dynamic Programming
    Rules of dynamic programming, examples.
  • Milestone problem: max-flow/min-cut
    Thorough study of max flow in graphs. Variations (flow of minimum cost). Unexpected use of this problem.
  • Integer and Mixed Integer Programming
    Linear relaxation, Lagrangian relaxation, Branch-and-Bound.
  • Heuristics
    Local search, genetic algorithms, etc. Examples for famous problems.
  • Milestone problem: Maximum matching
    Blossom algorithm (J. Edmonds). Application.
Assessment Elements

Assessment Elements

  • non-blocking Project
    A small project with a paper writing assignment and oral presentation.
  • non-blocking Exam
  • non-blocking Project
    A small project with a paper writing assignment and oral presentation.
  • non-blocking Exam
Interim Assessment

Interim Assessment

  • Interim assessment (1 semester)
    0.6 * Exam + 0.4 * Project
Bibliography

Bibliography

Recommended Core Bibliography

  • Diestel R. Graph Theory. – Springer, 2017. – 428 pp.

Recommended Additional Bibliography

  • Cormen, T. H. (2009). Introduction to Algorithms (Vol. 3rd ed). Cambridge, Mass: The MIT Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=343613