ungerichtete Graphen < Haskell < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 00:46 Do 13.11.2008 | | Autor: | kaoh |
| Aufgabe | Schreiben Sie eine Haskell-Funktion kompGraph :: Graph a -> Graph a, die zu einem ungerichteten
Graphen G seinen Komplementgraphen [mm] \overline{G} [/mm] berechnet. Dieser hat dieselbe Knotenmenge,
und zwischen zwei verschiedenen Knoten ist in [mm] \overline{G} [/mm] genau dann eine Kante vorhanden, wenn sie
im Ausgangsgraphen G nicht existiert. |
ich brauche hilfe. bin schon den ganzen tag an dieser aufgabe dran. also habe bisher folgendes:
| 1: | type Graph a = [(a,[a])]
|
| 1: | --kompGraph :: Graph a -> Graph a
| | 2: | kompGraph g = zip xs komp2
| | 3: | where
| | 4: | (xs, ys) = unzip g
| | 5: | komp1 = [[e | e<-xs, e'notElem'y] | y<-ys] --kanten die vorher nicht bestanden herstellen
| | 6: | komp2 = [delete (xs!!p) (komp1!!p) | p<-[0..(length xs)-1]] --kanten zu sich selbst beseitigen
|
ohne die typendefinition in der ersten zeile funktioniert das ganze ja schon:
p = [(0,[2,3]),(1,[2]),(2,[0,1,3]),(3,[0,2]),(4,[])]
*Main> kompGraph p
[(0,[1,4]),(1,[0,3,4]),(2,[4]),(3,[1,4]),(4,[0,1,2,3])]
*Main>
nur wenn ich jetzt den typ der funktion so definiere wie in der aufgabenstellung verlangt spuckt mit der interpreter folgend fehlermeldung aus:
Could not deduce (Eq a) from the context ()
arising from a use of 'delete'
at ... :51:12-36
Possible fix:
add (Eq a) to the context of the type signature for 'kompGraph'
In the expression: delete (xs !! p) (komp1 !! p)
In the expression:
[delete (xs !! p) (komp1 !! p) | p <- [0 .. (length xs) - 1]]
In the definition of 'komp2':
komp2 = [delete (xs !! p) (komp1 !! p) |
p <- [0 .. (length xs) - 1]]
Failed, modules loaded: none.
das delete passt ihm nicht :( aber ich kenne jetzt keinen anderen weg ein element aus einer liste zu löschen. kann mir da jemand weiterhelfen?
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 20:11 Do 13.11.2008 | | Autor: | kazimir |
Hehe...den Zettel kenne ich irgendwo her.
Eigentlich Zufall, dass ich drauf gestoßen bin.
Also der Compiler sagt dir ja schon, dass ein (Eq a) fehlt.
Du musst in der Typisierung nur sagen, dass die beiden Graphen miteinander vergleichbar sind.
Also:
kompGraph :: (Eq a) => Graph a -> Graph a
Und ich gehe mal davon aus, dass du den Typ Graph definiert hast und List importiert hast.
Bei mir läufts so wie du das programmiert hast. Echt schöne Lösung, im Vergleich zu unserer.
lg,
kazimir
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:33 Fr 14.11.2008 | | Autor: | kaoh |
so gehts echt. hatte heute auch noch ma in der übung nachgefragt. und ich hab versucht das auf teufel komm raus mit der typendefinition "kompGraph :: Graph a -> Graph a" hinzukriegen.. :/ ok. thx
|
|
|
|
