[Progra] Blatt 11 Aufgabe 2a

[LeeJan]

Hi @ all,
ich habe da eine Frage zu der Aufgabe 11 a
Bei der Aufgabe soll ich ja einen neue Datenstruktur entwickeln, womit man Einträge speichern kann.
Und jeder Eintrag besteht aus einer Priorität und aus einem Wert.

Jetzt die Frage: dieses 'a' aus PriorityQueue a
beinhaltet es zugleich die Priorität und den Wert oder wie soll ich das verstehen`?

also bis jetzt habe ich das so bei der Aufgabe a.)

"data PrioQ a = EmptyQ | Store a (PrioQ a)"

und dann habe ich noch die Idee

"type Eintrag = (Int, [Char])"
und dann anstatt a muss dann soll dann vom typ "Eintrag" sein.

Schöne Grüße

[Coolcat]

Das a ist nur der Typ-Parameter. a soll der Typ sein vom dem die gespeicherten Elemente sind, nicht der Typ der Prioritäten. Also bei dem in der Teilaufgabe a) gegebenen Beispiel wäre a der Typ String.

[O.D.]

"data PrioQ a = EmptyQ | Store a (PrioQ a)"

Warum baust Du den von Haskell bereitgestellten Stapelspeicher (auch bekannt als Liste) nach und nennst ihn Warteschlange (Q soll doch Queue andeuten)?
Oder hat man Euch mittlerweile auch das Verwenden einfacher Listen untersagt?

[Coolcat]

Warum (...)

Weil das die Aufgabestellung ist, außerdem kommt man mit Listen alleine nicht weit, es soll nämlich einer Priorität eine Aufgabe zugeordnet werden.

[O.D.]

Ja gut, aber

Code: Alles auswählen

data PrioQ a = EmptyQ | Store a (PrioQ a)

ist genau das gleiche wie die Haskell-Liste, nur dass halt : jetzt Store heißt und [] jetzt PrioQ heißt.

[mirko]

Ja gut, aber

Code: Alles auswählen

data PrioQ a = EmptyQ | Store a (PrioQ a)

ist genau das gleiche wie die Haskell-Liste, nur dass halt : jetzt Store heißt und [] jetzt PrioQ heißt.

es soll aber eine prioritäts-warteschlange und keine liste sein - guck dir doch bitte einfach mal die aufgabe an, statt aus der lösung die aufgabe zu erraten zu versuchen...

http://verify.rwth-aachen.de/programmie ... bung11.pdf

[C-Otto]

und [] jetzt PrioQ

EmptyQ.

[O.D.]

und [] jetzt PrioQ

EmptyQ.

Nein - ich meinte schon den Typkonstruktor!
Aber Du hast schon recht, dass der zugehörige Datenkonstruktor jetzt EmptyQ heißt.

@mirko: Recht hast Du, mein Fehler.

[aRo]

ich denke ich habe da ein ähnliches Verständnisproblem wie LeeJan. Diese Liste als Datenstruktur zu implementieren, ist ja nicht schwer.
Mir ist jedoch auch nicht klar, wie folgender Satz umgesetzt werden soll:
"wobei jeder Eintrag genau einem Paar aus einer Priorität und einem Wert entspricht".
Riecht ja, wie von LeeJan auch schon gesagt, verdammt nach einem Tupel. Das muss ich jedoch nicht extra neu irgendwie implementieren, oder? Ich kann mit der neuen Datenstruktur direkt mit den Tupeln arbeiten (die dann sozusagen das a sind).

[theTux]

Wirf' mal einen Blick auf den Datentyp List aus den Beispielen zu Teil III.5 der Vorlesung.

[O.D.]

Ich kann mit der neuen Datenstruktur direkt mit den Tupeln arbeiten [..]

Kann, muss aber nicht.
Die Zuordnung von Priorität und Datum muss ja von der Datenstruktur übernommen werden, und nicht vom Anwender (der DS).

[Saruwatari]

hätte da auch ne frage und zwar
zum aufgabenteil f und g
soll man hier davon ausgehen, dass die listen bereits sortiert sind? da man ja mit der insert funktion, die man vorher geschrieben hat, sortiert einfügt.

oder soll man hier erst die listen sortieren und dann vergleichen? (für die zweite variante wären es zu wenig punkte ^^")

[mirko]

ihr dürft davon ausgehen, dass die queues sortiert sind.

[Coolcat]

Ich glaube man sollte einfach noch eine Aufgabe 0 für 1-2 Punkte einführen: "Aufgabenstellung lesen!"

Sie dürfen davon ausgehen, dass die Funktionen in (b) - (f) stets mit korrekten Priority Queues aufgerufen werden.

[LeeJan]

Hi @ all,
wie ich sehe hat "aRo" auch das Problem was ich am Anfang hatte, aber ich habe es nun verstanden wie sie das haben wollten bzw wie man das implementiert.

Man kann es wie ein Tupel auffassen (Priorität, Wert/Aufgabe), aber man muss nicht.
Versuch mal, anstatt nur zwei Argumente noch eins reinzubringen bei dem Konstruktor "Store".

Gruß