Die Mathe-Redaktion - 08.04.2020 16:53 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte / Top 15
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
Listenpunkt? im neuen Schwätz
ListenpunktWerde Mathe-Millionär!
ListenpunktFormeleditor fedgeo
Schwarzes Brett
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps für den MP

Werbung

Bücher zu Naturwissenschaft und Technik bei amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden. Mitglieder können den Matheplanet-Newsletter bestellen, der etwa alle 2 Monate erscheint.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 537 Gäste und 21 Mitglieder online

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 
Zum letzten Themenfilter: Themenfilter:
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
Aktiv Letzter Besuch: im letzten Quartal
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



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2708
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?



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2708
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.



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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..



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2708
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.



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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..



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2708
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)$?



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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\}\]



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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!



  Profil  Quote  Link auf diesen Beitrag Link
ochen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 09.03.2015
Mitteilungen: 2708
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.



  Profil  Quote  Link auf diesen Beitrag Link
Shakei
Aktiv Letzter Besuch: im letzten Quartal
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 :)



  Profil  Quote  Link auf diesen Beitrag Link
Anno123
Junior Letzter Besuch: im letzten Monat
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:

cs.stackexchange.com/questions/12102/express-boolean-logic-operations-in-zero-one-integer-linear-programming-ilp

Viele Grüße,
Anno



  Profil  Quote  Link auf diesen Beitrag Link
Goswin
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.09.2008
Mitteilungen: 1419
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.



  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 or 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]