Separación y mezcla de listas

5 Comentarios

1. Haskell

   import Test.QuickCheck separacion :: [a] -> ([a],[a]) separacion [] = ([],[]) separacion (x:xs) = (x:zs, ys) where (ys, zs) = separacion xs mezcla :: ([a],[a]) -> [a] mezcla ([], ys) = ys mezcla (xs, []) = xs mezcla ( x:xs, y:ys) = x : y : mezcla (xs, ys) prop1 :: Eq a => [a] -> Bool prop1 xs = (mezcla . separacion) xs == xs

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

   import Test.QuickCheck   separacion :: [a] -> ([a],[a]) separacion []       = ([],[]) separacion (x:xs)   = (x:zs, ys)     where (ys, zs) = separacion xs   mezcla     :: ([a],[a]) -> [a] mezcla ([], ys)     = ys mezcla (xs, [])     = xs mezcla ( x:xs, y:ys) = x : y : mezcla (xs, ys)     prop1 :: Eq a => [a] -> Bool prop1 xs = (mezcla . separacion) xs == xs

   Responder

2. Haskell

   -- Las funciones que se nos piden son: separacion :: [a] -> ([a],[a]) separacion xs = ([x | (x,n) <- zip xs [1..], odd n],[x | (x,n) <- zip xs [1..], even n]) mezcla :: ([a],[a]) -> [a] mezcla (xs,[]) = xs mezcla ([],ys) = ys mezcla ((x:xs),(y:ys)) = x : y : mezcla (xs,ys) -- Y la propiedad es: prop_mezSep :: Eq a => [a] -> Bool prop_mezSep xs = mezcla (separacion xs) == xs -- *Main> quickCheck prop_mezSep -- +++ OK, passed 100 tests.

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

   -- Las funciones que se nos piden son:   separacion :: [a] -> ([a],[a]) separacion xs = ([x | (x,n) <- zip xs [1..], odd n],[x | (x,n) <- zip xs [1..], even n])   mezcla :: ([a],[a]) -> [a] mezcla (xs,[]) = xs mezcla ([],ys) = ys mezcla ((x:xs),(y:ys)) = x : y : mezcla (xs,ys)   -- Y la propiedad es: prop_mezSep :: Eq a => [a] -> Bool prop_mezSep xs = mezcla (separacion xs) == xs   -- *Main> quickCheck prop_mezSep -- +++ OK, passed 100 tests.

   Responder

3. Haskell

   import Test.QuickCheck separacion :: [a] -> ([a],[a]) separacion xs = (si xs, no xs) where si :: [a] -> [a] si [] = [] si (x:xs) = x : no xs no :: [a] -> [a] no [] = [] no (x:xs) = si xs mezcla :: ([a],[a]) -> [a] mezcla (x:xs,y:ys) = x:y: mezcla (xs,ys) mezcla ( xs, ys) = xs ++ ys prop :: Eq a => [a] -> Bool prop xs = (mezcla . separacion) xs == xs -- *Main> quickCheck prop -- +++ OK, passed 100 tests.

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

   import Test.QuickCheck   separacion :: [a] -> ([a],[a]) separacion xs = (si xs, no xs) where si :: [a] -> [a]        si [] = []        si (x:xs) = x : no xs        no :: [a] -> [a]        no [] = []        no (x:xs) = si xs     mezcla :: ([a],[a]) -> [a] mezcla (x:xs,y:ys) = x:y: mezcla (xs,ys) mezcla (  xs,  ys) = xs ++ ys   prop :: Eq a => [a] -> Bool prop xs = (mezcla . separacion) xs == xs   -- *Main> quickCheck prop -- +++ OK, passed 100 tests.

   Responder

4. Haskell

   separacion :: [a] -> ([a],[a]) separacion xs = (listaPar xs, listaImpar xs) listaPar :: [a] -> [a] listaPar [] = [] listaPar [x] = [x] listaPar (x:y:xs) = x: listaPar xs listaImpar :: [a] -> [a] listaImpar [] = [] listaImpar [x] = [] listaImpar (x:y:xs) = y : listaImpar xs mezcla :: ([a],[a]) -> [a] mezcla ([],ys) = ys mezcla (xs,[]) = xs mezcla ((x:xs),(y:ys)) = x:y: mezcla (xs,ys) prop_mezclaSep :: Eq a => [a] -> Bool prop_mezclaSep xs = mezcla (separacion xs) == xs -- La comprobacion es: -- *Main> quickCheck prop_mezclaSep -- +++ OK, passed 100 tests.

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

   separacion :: [a] -> ([a],[a]) separacion xs = (listaPar xs, listaImpar xs) listaPar :: [a] -> [a] listaPar []       = [] listaPar [x]      = [x] listaPar (x:y:xs) = x: listaPar xs listaImpar :: [a] -> [a] listaImpar []       = [] listaImpar [x]      = [] listaImpar (x:y:xs) = y : listaImpar xs mezcla :: ([a],[a]) -> [a] mezcla ([],ys)         = ys mezcla (xs,[])         = xs mezcla ((x:xs),(y:ys)) = x:y: mezcla (xs,ys) prop_mezclaSep :: Eq a => [a] -> Bool prop_mezclaSep xs = mezcla (separacion xs) == xs -- La comprobacion es: --    *Main> quickCheck prop_mezclaSep --    +++ OK, passed 100 tests.

   Responder

5. Haskell

   separacion :: [a] -> ([a],[a]) separacion xs = ([x | (x, y) <- zip xs [1..], odd y], [x | (x, y) <- zip xs [1..], even y]) mezcla :: ([a],[a]) -> [a] mezcla (xs,[]) = xs mezcla ([],ys) = ys mezcla (x:xs, y:ys) = x : y : mezcla (xs,ys)

   1 2 3 4 5 6 7 8

   separacion :: [a] -> ([a],[a]) separacion xs = ([x | (x, y) <- zip xs [1..], odd y],                  [x | (x, y) <- zip xs [1..], even y]) mezcla :: ([a],[a]) -> [a] mezcla (xs,[])      = xs mezcla ([],ys)      = ys mezcla (x:xs, y:ys) = x : y : mezcla (xs,ys)

   Responder