Simplifier système d'inéquations

Discutez d'informatique ici !
Cliffe
Membre Rationnel
Messages: 967
Enregistré le: 12 Juin 2012, 15:25

simplifier système d'inéquations

par Cliffe » 13 Oct 2014, 14:29

Bonjour,

J'ai un système d'inéquation à 3 variables (réelles) et contraites :
[CENTER]
[/CENTER]

je souhaite supprimer les contraintes inutiles.

exemple :

[CENTER] [/CENTER]

Les coefficients et sont réels.
C'est pour un programme informatique, donc je cherche un algo le plus rapide possible.

Merci.



Escargot92
Membre Naturel
Messages: 11
Enregistré le: 12 Mai 2014, 13:25

par Escargot92 » 14 Oct 2014, 11:52

Effectivement tu as m-3 contraintes inutile.Si j'ai bien compris tu veux enlever les contraintes inutile?

Dans ce cas la pourquoi tu ne compare chaque ligne avec une matrice 3x3 qui contiendra les meilleurs résultats.
Cela prend m*3 opérations.
N'oubli pas que ta matrice doit nécessairement être inversible.

Cliffe
Membre Rationnel
Messages: 967
Enregistré le: 12 Juin 2012, 15:25

par Cliffe » 14 Oct 2014, 12:42

Escargot92 a écrit:Effectivement tu as m-3 contraintes inutile.


Ah bon ? Et pourquoi ?
Il n'y a pas forcément une uniquement solution, c'est bien un système d'inéquations.

Escargot92 a écrit:Dans ce cas la pourquoi tu ne compare chaque ligne avec une matrice 3x3 qui contiendra les meilleurs résultats.


Les meilleurs résultats de quoi ?

Escargot92 a écrit:N'oubli pas que ta matrice doit nécessairement être inversible.


Je ne cherche pas à résoudre le système.

Escargot92
Membre Naturel
Messages: 11
Enregistré le: 12 Mai 2014, 13:25

par Escargot92 » 14 Oct 2014, 13:06

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.
je souhaite supprimer les contraintes inutiles.

"Inutiles" reste super flou.
De plus tu présente même pas le type de matrice utilisé (aléatoire, ...)

Cliffe
Membre Rationnel
Messages: 967
Enregistré le: 12 Juin 2012, 15:25

par Cliffe » 14 Oct 2014, 13:56

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.

 

Retourner vers ϟ Informatique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 8 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite