Matroids Matheplanet Forum Index
Moderiert von matroid
Mathematik » Numerik & Optimierung » Drei lineare Ungleichungsrestriktion umschreiben
Druckversion
Druckversion
Antworten
Antworten
Autor
Universität/Hochschule Drei lineare Ungleichungsrestriktion umschreiben
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2019-11-25


Hallo,

als erstes, falls das Thema hier nicht passen sollte verschiebe ich es ganz schnell :)

Zu meinem Problem:

fed-Code einblenden

Mein Ansatz war wie folgt:

a + b >= c
a + b <= c

jedoch hat es so nicht geklappt.

Ich versuche schon eine ganze Weile es hinzubekommen jedoch komme ich leider nicht drauf.
Wäre für jede Hilfe/Tipp sehr Dankbar.

Beste Grüße
Shakei



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2809
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2019-11-25


Hallo,

wenn $a,b,c\in\{0,1\}$ sind und $a\cdot b=c$ gilt, so erfüllen es die folgenden Tripel
\[(0,0,0),\,(1,0,0),\,(0,1,0),\,(1,1,1)\] Betrachte also deren konvexe Hülle (das ist ein Simplex oder auch Tetraeder) und beschreibe die Ebenen, in der sich jede Facette befindet. Eigentlich hat es vier Facetten. Komisch. Dürft ihr $a,b,c\geq 0$ voraussetzen?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.2, vom Themenstarter, eingetragen 2019-11-25


Hallo,

vielen Dank für den Tip!

Wie wäre es damit:

fed-Code einblenden
Bin ich hiermit auf dem richtigen Weg?

Beste Grüße
Shakei



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2809
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.3, eingetragen 2019-11-25


Leider bist du gar nicht auf meine Frage eingegangen, ob ihr voraussetzen dürft, dass alle Koordinaten positiv sind. Wenn nicht, wird es kaum möglich sein, ein beschränktes dreidimensionales Polytop mit nur drei Ungleichungen zu beschreiben.

2019-11-25 15:52 - Shakei in Beitrag No. 2 schreibt:
fed-Code einblenden
Bin ich hiermit auf dem richtigen Weg?

Rechne mal bitte alle Ebenen aus auf denen sich drei der vier Punkte befinden.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.4, vom Themenstarter, eingetragen 2019-11-25


Die Frage habe ich garnicht bemerkt 'UPS'.
Ja, das dürfen wir.

Meinst du sowas hier:

fed-Code einblenden

Beste Grüße
Shakei



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.5, vom Themenstarter, eingetragen 2019-11-25


2019-11-25 16:25 - ochen in Beitrag No. 3 schreibt:

Rechne mal bitte alle Ebenen aus auf denen sich drei der vier Punkte befinden.

Ich glaube jetzt habe ich es verstanden.
Habe sowas hier raus:

fed-Code einblenden



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.6, vom Themenstarter, eingetragen 2019-11-27


Ich habe nochmals nachgezeichnet und es ist mir ein Fehler unterlaufen..

Also ich habe die x,y-Menge, x,z-Menge und die y,z-Menge gezeichnet und jeweils die Restriktionen aufgeschrieben. Dabei kam ich auf folgende Ungleichungsrestriktionen:

fed-Code einblenden

Jedoch steht in der Aufgabenstellung von drei Ungleichungsrestriktionen daher bin ich mir nicht sicher..



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2809
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.7, eingetragen 2019-11-27


Hallo,

berechne doch bitte die Ebenen auf denen sich jeweils drei der vier Punkte
\[(0,0,0),\,(1,0,0),\,(0,1,0),\,(1,1,1)\] befinden.

Auf welcher Ebene sind beispielsweise die Punkte $(1,0,0),\,(0,1,0),\,(1,1,1)$ zu finden?

Hier beschreibe ich mal das allgemeine Vorgehen:
Wenn du die Punkte $v_1,v_2,v_3\in \mathbb{R}^3$ gegeben hast, so ist $n=(v_2-v_1)\times (v_3-v_1)$ ein Normalenvektor auf die Ebene durch diese Punkte. Es bildet also $\{v\in \mathbb{R}^3\mid\langle n,v\rangle = \langle n,v_1\rangle\}$ eine Ebene.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.8, vom Themenstarter, eingetragen 2019-11-27


Ah Danke sehr.

Also ich habe n=(1,1-1) raus.

für <n,v> = 1

aber ein Wert ist doch keine Ebene? Oder habe ich hier wieder was nicht verstanden..



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2809
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.9, eingetragen 2019-11-27


Das bedeutet, dass die Ebene mit der Gleichung
\[\{x\in \mathbb{R}^3\mid x+y-z=1\}\] die Punkte $(1,0,0),\,(0,1,0),\,(1,1,1)$ enthält. Insbesondere sind sie in den Halbräumen
\[\{x\in \mathbb{R}^3\mid x+y-z\leq 1\}\quad\text{und}\quad \{x\in \mathbb{R}^3\mid x+y-z\geq1\}\] enthalten. In welchem der beiden Halbräume ist auch der Punkt $(0,0,0)$?



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.10, vom Themenstarter, eingetragen 2019-11-27


2019-11-27 11:57 - ochen in Beitrag No. 9 schreibt:
Das bedeutet, dass die Ebene mit der Gleichung
\[\{x\in \mathbb{R}^3x+y-z=1\}\] die Punkte $(1,0,0),\,(0,1,0),\,(1,1,1)$ enthält. Insbesondere sind sie in den Halbräumen
\[\{x\in \mathbb{R}^3x+y-z\leq 1\}\quad\text{und}\quad \{x\in \mathbb{R}^3x+y-z\geq1\}\] enthalten. In welchem der beiden Halbräume ist auch der Punkt $(0,0,0)$?

aaah.

Der Punkt $(0,0,0)$ ist hier enthalten.
\[\{x\in \mathbb{R}^3x+y-z\leq 1\}\]



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.11, vom Themenstarter, eingetragen 2019-11-27


Ich habe die restlichen Vier Kombinationen ausgerechnet und komme kam insgesamt auf diese Gleichungen:

fed-Code einblenden

Die Probe habe ich mit den Vier Möglichen Variationen gemacht und die Ungleichungen erfüllen alle Vier.

Vielen Dank für deine große Hilfe!



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2809
Aus: der Nähe von Schwerin
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.12, eingetragen 2019-11-27


Hallo, $y-z=-1$ ist keine der Ebenengleichungen, weil hier keiner der Punkte drauf liegt :(

Die Ungleichungen müssen nicht nur erfüllt sein, sondern drei der vier Punkte müssen sie auch mit Gleichheit erfüllen.
Auf der Ebene $y-z=0$ liegen drei der vier Punkte.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 25.05.2019
Mitteilungen: 53
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.13, vom Themenstarter, eingetragen 2019-11-27


Hallo,

ah ja Danke für den Hinweis. Habe bei Gleichungsaufstellung da was vertauscht.
Jetzt müsste alles stimmen :)



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Anno123
Junior Letzter Besuch: im letzten Quartal
Dabei seit: 18.11.2019
Mitteilungen: 16
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.14, eingetragen 2019-11-27


Hallo,

ich würde auch gerne kurz meinen Senf dazu geben, weil solche Modellierungen Grundwerkzeuge in der Optimierung sind und Optimierung selbst einfach massenweise interessante Anwendungen hat. Solche Modellierungsprobleme (insbesondere mit boolschen Variablen) lassen sich in der Regel recht leicht lösen, aber ich habe das Gefühl, dass vielen Leuten die Strategie dafür nie richtig vermittelt wurde.
Zunächst nehmen wir an, dass $a,b,c \in \{0,1\}$ als Voraussetzung gegeben ist (Ganzzahligkeit mit linearen Nebenbedingungen zu modellieren kann man im Allgemeinen vergessen).
Nun muss $a\cdot b = c$ mittels logischer Aussagen modelliert werden. Wir sehen hier beispielsweise, dass
$$ a= 0 \Rightarrow c = 0$$ gilt. Welche zwei weiteren Aussagen braucht man, damit $a\cdot b = c$ genau dann gilt, wenn diese drei Aussagen für $(a,b,c) \in \{0,1\}^3$ wahr sind?
Wenn man seine Aussagen hat, dann kann man mit etwas Übung schnell sehen, wie man sie mit linearen Ungleichungen ausdrückt. Gerade zu Anfang kann man sowas aber auch gut nachschlagen. Hier werden die "Rezepte" dafür schön übersichtlich dargestellt:



Viele Grüße,
Anno



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Goswin
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.09.2008
Mitteilungen: 1448
Aus: Chile, Ulm
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.15, eingetragen 2019-12-01


2019-11-25 15:28 - ochen in Beitrag No. 1 schreibt:
Wenn $a,b,c\in\{0,1\}$ sind und $a\cdot b=c$ gilt, so erfüllen es die folgenden Tripel
\[(0,0,0),\,(1,0,0),\,(0,1,0),\,(1,1,1)\] Betrachte also deren konvexe Hülle (das ist ein Simplex oder auch Tetraeder) und beschreibe die Ebenen, in der sich jede Facette befindet. Eigentlich hat es vier Facetten. Komisch.

2019-11-27 17:46 - Anno123 in Beitrag No. 14 schreibt:
Zunächst nehmen wir an, dass $a,b,c \in \{0,1\}$ als Voraussetzung gegeben ist.


Wir arbeiten hier freilich nicht in \(\{0,1\}^3\),  sondern bestenfalls in \(\{0,1\}^2\times\mathbb{R}\).  Dafür brauchen wir die Ungleichung \(c\ge0\), um die Möglichkeit \(a=b=0,\ -1\le c<0\) auszuschließen.


-----------------
/Kyristo meu kimgei kom nhi cumgen ta Gendmogen.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Shakei hat die Antworten auf ihre/seine Frage gesehen.
Shakei wird per Mail über neue Antworten informiert.
Neues Thema [Neues Thema] Antworten [Antworten]    Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]