zwei Listen vergleichen < Haskell < Programmiersprachen < Praxis < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 21:31 Mo 29.12.2008 | | Autor: | haski |
Ich möchte zwei Listen mit unterschiedlichen Datentypen miteinander vergleichen:
Beispiel:
erste Liste besteht aus Integern [1,4,-7,5]
zweite Liste besteht aus einem selbstdefinierten Datentyp [(2, 2(1)),(4, 4(6))], wobei jedes Element wiederrum aus einem Tupel besteht. Am Bsp. (2, 2(1)) ist die erste Komponente 2.
Nun soll jedes Element aus der ersten Liste mit der ersten Komponente der zweiten Listen verglichen werden. Falls die Elemente der ersten Liste in der ersten Komponente der zweiten Liste vorhanden sind sollen sie in Form der zweiten Liste ausgegeben werden.
Beispiel
erste Liste: [1, 4, -7]
zweite Liste [(-7, -7(1)), (4, 4(6)), (1, 1(3)), (8, 8(1))]
Ergebnis: [(-7, -7(1)), (4, 4(6)), (1, 1(3))]
Meine Idee:
import Data.Graph.Inductive
type Literal = Int
type Level = Int
type Model = [(Literal, LFlag, Int, Int )]
data LFlag = I | D | C deriving (Eq, Show)
-- KNOTEN
-- | kennzeichnet jede Variable im Implikationsgraphen mit Literal
-- (hinweisend auf
-- dessen Belegung) und decision level. Der einzige Grund warum ein neuer Datentyp definiert wird,
-- ist wegen der 'Show' instance.
data ImplGrNodeAnnot = IGNA Literal Level deriving Eq
instance Show ImplGrNodeAnnot where
show (IGNA l lev) = show l ++ " (" ++ show lev ++ ")"
-- Knotenmenge: erstellt eine Liste von Tupel bestehend aus
-- den Literalen mit ihren decision- bzw. implied-leveln in Klammern
-- dient als Eingabe im "mkImplGr" zum Konstruieren des Implikationsgraphen
getnodes :: Model -> [LNode ImplGrNodeAnnot] -- LNode wegen mkGraph
getnodes m = case m of
[] -> []
((lit, _, _, lev): xs) -> (lit, (IGNA lit lev)) : getnodes xs
test_nodes = getnodes [(-9,I,7,1),(1,D,1,6),(-10,I,8,3),(-11,I,9,3),(2,I,1,6),(3,I,2,6),(4,I,3,6),(5,I,4,6),(6,I,5,6)]
-- für einen Knoten
lambda :: Node -> [LNode ImplGrNodeAnnot] -> [LNode ImplGrNodeAnnot]
lambda x [] = []
lambda x (y:ys)
| x == fst y = y : lambda x ys
| otherwise = lambda x ys
Ausgabe mit
lambda 3 test_nodes
[(3,3 (6))]
Es funktioniert nur mit einem Integer, statt mit einer Liste von Integern
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:20 Do 01.01.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
