Repeticiones según la posición

7 Comentarios

1. Haskell

   import Test.QuickCheck transformada :: [a] -> [a] transformada = concat . zipWith ((.repeat).take) [1..] propiedad :: Int -> Bool propiedad n | n < 2 = propiedad (3 - n) | otherwise = length (transformada [1..n]) < n^3 -- Prelude> quickCheck propiedad

   1 2 3 4 5 6 7 8 9 10

   import Test.QuickCheck   transformada :: [a] -> [a] transformada = concat . zipWith ((.repeat).take) [1..]   propiedad :: Int -> Bool propiedad n | n < 2     = propiedad (3 - n)             | otherwise = length (transformada [1..n]) < n^3   -- Prelude> quickCheck propiedad

   Responder

2. Haskell

   import Test.QuickCheck transformada :: [a] -> [a] transformada = concat . zipWith replicate [1..] propiedad :: Int -> Property propiedad n = n >= 2 ==> length (transformada [1..n]) < n^3

   1 2 3 4 5 6 7

   import Test.QuickCheck   transformada :: [a] -> [a] transformada = concat . zipWith replicate [1..]   propiedad :: Int -> Property propiedad n = n >= 2 ==> length (transformada [1..n]) < n^3

   Responder

3. Haskell

   import Test.QuickCheck transformada :: [a] -> [a] transformada = aux 1 where aux :: Int -> [a] -> [a] aux _ [] = [] aux n (x:xs) = replicate n x ++ aux (n+1) xs propTransformada :: [Integer] -> Property propTransformada xs = n >=2 ==> length (transformada xs) < n^3 where n = length xs -- *Main> quickCheck propTransformada -- +++ OK, passed 100 tests.

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

   import Test.QuickCheck   transformada :: [a] -> [a] transformada = aux 1     where aux :: Int -> [a] -> [a]           aux _ []     = []           aux n (x:xs) = replicate n x ++ aux (n+1) xs propTransformada :: [Integer] -> Property propTransformada xs = n >=2 ==> length (transformada xs) < n^3     where n = length xs   -- *Main> quickCheck propTransformada -- +++ OK, passed 100 tests.

   Responder

   1. Haskell

      transformada :: [a] -> [a] transformada xs = concat [replicate y x | (x,y) <- zip xs [1..]] prop_transformada :: [Integer] -> Property prop_transformada xs = n >=2 ==> length (transformada xs) < n^3 where n = length xs -- *Main> quickCheck prop_transformada -- +++ OK, passed 100 tests.

      1 2 3 4 5 6 7 8 9

      transformada :: [a] -> [a] transformada xs = concat [replicate y x | (x,y) <- zip xs [1..]] prop_transformada :: [Integer] -> Property prop_transformada xs = n >=2 ==> length (transformada xs) < n^3     where n = length xs   -- *Main> quickCheck prop_transformada -- +++ OK, passed 100 tests.

      Responder

4. Haskell

   transformada :: [a] -> [a] transformada [] = [] transformada xs = transformada (init xs) ++ replicate (length xs) (xs !! (length xs - 1))

   1 2 3 4

   transformada :: [a] -> [a] transformada [] = [] transformada xs = transformada (init xs) ++                   replicate (length xs) (xs !! (length xs - 1))

   Responder

5. Haskell

   transformada :: [a] -> [a] transformada xs = (concat . listaReplicada) xs listaReplicada :: [a] -> [[a]] listaReplicada xs = [replicate y x | (x,y) <- zip xs [1..length xs]]

   1 2 3 4 5

   transformada :: [a] -> [a] transformada xs = (concat . listaReplicada) xs   listaReplicada :: [a] -> [[a]] listaReplicada xs = [replicate y x | (x,y) <- zip xs [1..length xs]]

   Responder

6. Haskell

   transformadamia :: Eq a => [a] -> [a] transformadamia xs = concat [(repElem x xs) | x <- xs] repElem x xs = replicate (posicion x xs) x posicion y (x:xs)| x == y = 1 | otherwise = 1 + posicion y xs prop_transformada :: Eq a => [a] -> Property prop_transformada xs = n >= 2 ==> length (transformadamia xs) < n^3 where n = length xs --La comprobación es: *Main> quickCheck prop_transformada +++ OK, passed 100 tests.

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

   transformadamia :: Eq a => [a] -> [a] transformadamia xs = concat [(repElem x xs) | x <- xs]   repElem x xs = replicate (posicion x xs) x   posicion y (x:xs)| x == y = 1                  | otherwise = 1 + posicion y xs   prop_transformada :: Eq a => [a] -> Property prop_transformada xs = n >= 2 ==> length (transformadamia xs) < n^3                        where n = length xs   --La comprobación es: *Main> quickCheck prop_transformada +++ OK, passed 100 tests.

   Responder