Verständnisfrage zu Übung 1

[Erich]

Hallo,

in Übung 1.3 sollen wir allDifferent in OPL modellieren.

Ich habe nun ein Modell entworfen, welches das Entscheidungsproblem "Array a enthält keine Duplikate" löst, dessen Ausgabe also ein boolean (true => keine Duplikate, false =>es gibt Duplikate) ist und auch soweit funktioniert.

Nur der Aufgabentext klingt eher so, als soll es selbständig ein Array entwerfen (in obigem Model übergebe ich ihm das Array zusammen mit n und N) welches die Keine-Duplikate-Eigenschaft erfüllt (vgl. letzter Satz des Aufgabenteils a) ).

Das wäre aber dann kein 'Constraint' (bool'sche Funktion) im Sinne der OPL-Dokumentation mehr.

Ist mein Ansatz richtig und ich verstehe bloß etwas falsch, oder sollen wir tatsächlich einen Array-Erzeuger schreiben?


MfG

Erich

[Prof. Karsten Weihe]

in Übung 1.3 sollen wir allDifferent in OPL modellieren.

Genauer gesagt: einen Satz von simplen Constraints schreiben, der zu diesem Global Constraint äquivalent ist.

Ich habe nun ein Modell entworfen, welches das Entscheidungsproblem "Array a enthält keine Duplikate" löst, dessen Ausgabe also ein boolean (true => keine Duplikate, false =>es gibt Duplikate) ist und auch soweit funktioniert.

So war es gedacht.

Nur der Aufgabentext klingt eher so, als soll es selbständig ein Array entwerfen

Der Löser wird dann auf dieser Basis ein Array "entwerfen".

Klarer geworden?

KW

[Dora]

Aufgabe 1.3 (alldifferent)
Ich versuche nun schon seit längerem diese Aufgabe zu verstehen, aber es will mir nicht so richtig gelingen.
Aus einem Datenfile lese ich ein Array UND die Länge des Arrays (n) UND die Länge einer range (N)?

Was soll die range mit Länge N repräsentieren? Den Wertebereich des Arrays?
Wenn ich nun ein Array mit den Werten 1,2,5,1 einlese (also n=4), sollen als Lösung dann alle Permutationen von 1,2 und 5 als Array konstruiert werden?