Escargot92 a écrit:Alors j'ai pas compris ce que tu cherche au juste. La présentation d'un exemple n'en fait pas une généralisation.
"Inutiles" reste super flou.
De plus tu présente même pas le type de matrice utilisé (aléatoire, ...)
sisi, ma matrice est bien définie.
Les contraintes inutiles sont les contraintes dont l'hyperplan associé ne définie pas le polyèdre des solutions du système :
Si je note
l'ensemble des solutions de
, alors si, pour une contrainte
on a :
, avec
, alors
peut-être supprimer du système.
C'est assez simple à comprendre pourtant. Si tu as
et
alors la contrainte
peut être supprimer.