Re : Optimiser planning de réservations de chambres
Bonsoir,
ce message est censé indiquer un problème de mémoire insuffisante.
Je l'ai testé sur un PC avec 12Go de RAM et j'ai eu le même message vers les 6Go utilisés.
edit : il suffit de passer en glpk 64 bits pour ne plus avoir ce message.
en revanche, il remplit les 12Go à toute vitesse et, après, il doit swapper.
il vaut mieux le lancer la nuit...... Parce que le modèle SAT a 20 millions de lignes et 75000 colonnes.fin edit
Donc il doit y avoir un problème ailleurs.
Il existe, je crois, une possibilité de découper le problème en tranche mais je ne sais plus où j'ai vu ça....
En tout cas, j'ai mis l'instance sur Cplex et après 2s j'ai obtenu une solution. (pas mal pour un modèle de 90 000 lignes !)
Solution que j'ai trièe par chambre.
Il suffirait donc de 235 chambres pour loger ces 320 clients.
Je ne garantis pas qu'il s'agit de l'optimum mais c'est la seule solution que Cplex a trouvée.
cdlt