Moin!

Laut Skript gibt es eine Funktion cd: P -> C
(color domain mapping).
Was macht diese genau? Gibt sie an, welche Art von Marken
auf eine Stelle kommen koennen, oder: wieviele Marken
maximal darauf passen (also so etwas
wie die Kapazitaetsfunktion)?

TIA

Das sollte die Art der Marken sein, die darauf liegen dürfen

Plätze haben keine Einschränkung, wieviele Marken sie aufnehmen können, sowas muss durch das Design des Netzes gesteuert werden. cd ordnet jedem Platz genau eine Farbmenge zu, und wird noch so erweitert, dass sie jeder Kante die Farbmenge des angrenzenden Platzes zuweist.

edit: Recht hast du natürlich Azure [img]http://www.fb18.de/gfx/22.gif[/img] Ich nenn halt z.B. immer "N" die Farbe und n E N Elemente der Farbe, was wohl so nicht wirklich stimmt..

cd ordnet jedem Platz eigentlich nicht genau eine Farbe, sondern eine Farbmenge zu! (C ist ja definiert als Menge von Farbmengen!) Hat man bspw. a,b,c als Farben, dann können in C die Mengen {a}, {b,c} und {a,c} sein (z.B.). Wird dann einem Platz die Menge {b,c} zugewiesen, heisst dass, das auf dem Platz die Farben b und c liegen können.

Wieviele davon dort liegen ist dann allerdings durch die Startmarkierung (und die dann folgenden erreichbaren Markierungen) gegeben (bzw. durch die Kanten, möglichen Schaltfolgen etc.).

Cheers,
Frank