Moin ihr,
wir sitzen hier gerade und sind uns unsicher:
bedeutet (2x+y) auf der Kante in Abbildung 2, dass
- aus dem Platz zwei Zahlen genommen werden (x und y) und das Ergebnis (2x+y) weitergeleitet wir
- es zwei beliebige Zahlen gibt (x und y) sodass (2x+y) in der Stelle ist und diese Zahl wird dann herausgenommen?
- (irgendwas anderes)
?

Wir haben irgendwie nirgends _die_ Antwort.

- es zwei beliebige Zahlen gibt (x und y) sodass (2x+y) in der Stelle ist und diese Zahl wird dann herausgenommen?

Wuerde ich mal vermuten…

Moeglich ist auch noch:
- 3 Marken werden rausgenommen, wobei 2 davon identisch sein muessen.
Aber dann koennte ja gar nichts schalten…

wir haben uns darauf "geeinigt", aber ebenso unsicher wie ihr, dass (2x+y)
eine Zerlegung der Marke ist die man von p1 wegnimmt. x und y müssen
die beiden guards natürlich erfüllen.

wir sind zu diesem schluß gekommen, da es intuitiv(uns zumindest) keinen sinn
macht, wenn man x und y mit marken aus p1 belegt(bspw. x=2 y=3), dann aber eine
andere daraus entfernt, 7 in diesem fall.

es handelt sich ja auch bei (2x+y) um eine arithmetische und nicht um eine
multimengen operation.

Exakt, so hat uns Valk das erklärt. Es wird eine Marke entnommen und die Variablen x, y so belegt, dass bei 2x+y diese Marke herauskommt.

Was für uns ein viel größeres Problem ist, ist die Frage welche Werte x und y annehmen dürfen! Muss x,y die selbe Farbe haben wie der Platz? Oder könnte zB auch x = 3.5 und y = 0 sein??

mfg
- eth

- aus dem Platz zwei Zahlen genommen werden (x und y) und das Ergebnis (2x+y) weitergeleitet wir

Genau. Von der Stelle wird immer das Ergebnis des Ausdrucks an der Kante
abgezogen und da es sich um die Addition auf natürlichen Zahlen handelt,
wird die Zahl 2x+y abgezogen (wenn man mal so flexibel ist und Elemente
aus der Farbmenge mit Singletons identifiziert [img]http://www.fb18.de/gfx/28.gif[/img]).

Was für uns ein viel größeres Problem ist, ist die Frage welche Werte x und y annehmen dürfen! Muss x,y die selbe Farbe haben wie der Platz? Oder könnte zB auch x = 3.5 und y = 0 sein??

Hm, ja, eigentlich hätte hier noch explizit angegeben werden müssen,
welche Wertebereiche die einzelnen Variablen haben. Aber man kann das
zur Not implizit erschließen, da sowohl 2x+y die Addition auf natürlichen
Zahlen sein soll (also 2x und y natürlich) und außerdem x-y wegen der
Färbung von p4 in der Menge {-8, -7, …, 8} liegen muss (also x ganz und
damit auch natürlich).

Ups, Login vergessen. Der letzte war von mir.

Edit: Hm, da steht ja nur "Zahlen" und nicht "natürliche Zahlen".
Dann gibt es tatsächlich Werte für x und y so, dass 2x+y in C1
ist und x-y in C4, wobei x und y nicht ganz sind (etwa y=-1/3,
x=2/3). Aber ich vermute, dass hier nur ganze Zahlen gemeint
sind. Da müsst ihr euch wohl mal an die Veranstalter wenden.

habe jetzt aber mal ne frage:

müssen den nun z.b. für x=2, y=3 diese marken in p1 vorhanden sein, oder reicht es nun, wenn 7 da liegt?

müssen den nun z.b. für x=2, y=3 diese marken in p1 vorhanden sein, oder reicht es nun, wenn 7 da liegt?

Es reicht, wenn 7 da liegt.