Enseignement
INF 580 : Programmation mathématique
2018
- TD 0
- TD 1 Diet problem
- TD2 Production planning problem Model Implementation
- TD 3 Inheritance problem Model Implementation Denset subgraph problem data Model Implementation
- TD 4 MaxSat Data
- Projet Guidelines for projects
- TD 5 Distance Geometry Problem, 2
- TD 6 Session cancelled because of inclement weather
- TD 7 Random projections, compressed sensing
- TD 8 Kissing number problem
- Teaching Material Liberti's slides (draft version)
Transportation Problem Implementation
Mixed production problem implementation
Carelland problem Model Implementation
Dyeing problem Model Implementation
Graph partitioning problem data Model Implementation
Graph partitioning problem 2 Model Implementation
MaxSat - Implementation (skeleton) MaxSat - Implementation maxsat.run
Distance Geometry Problem
GnuPLot for Win
DGP, dgpsystem.mod DGP, dgp-preamble.mod DGP, dgp-postprocess.run DGP, dgp.run DGP, data.zip rlz2.plt rlz3.plt
Alternative models 2nd model 3rd model
Multistart .run Setup parameters Multistart .run
Yalmip, a few commands
Yalmip, getting started, a very simple example, Code Yalmip, preliminary exercice (1), Code Yalmip, preliminary exercice (2), Code
SDP, exe. 1, solution SDP, exe. 2, solution
Yalmip, SDP with yalmip (1), Code Yalmip, SDP with yalmip (2) Model
makedat.run
ciao_bella.dat hello.dat
Exercise 1 (skeleton) Inverse Matrix Exercise 2 (skeleton) Exercise 3 (skeleton) Exercise 4 (skeleton)
Exercise 1 - code Exercise 2 - code Exercise 3 - code Exercise 4 - code Transform binary vectors to strings Achlioptas' paper Teaching Material, Liberti's slides (draft version)
knpcheck.run
knp-3_2.dat
knp-6_2.dat
Exercise 1: knp.mod
Exercise 1: knp.run
Exercise 2: knpfeas18.mod
Exercise 2: knpfeas18.run
Exercise 3: SDP_KBLM07.m
Exercise 4: KNP_with_SDP_2D.m
delsartelp.m
delsartebnd.m
gegenbauer.m
pfenderbnd.m
pfenderlp.m