Conflictos de horarios
Los horarios de los cursos se pueden representar mediante matrices donde las filas indican los curso, las columnas las horas de clase y el valor correspondiente al curso i y la hora j es verdadero indica que i tiene clase a la hora j.
En Haskell, podemos usar la matrices de la librería Data.Matrix y definir el tipo de los horarios por
|
1 |
type Horario = Matrix Bool |
Un ejemplo de horario es
|
1 2 3 4 |
ejHorarios1 :: Horario ejHorarios1 = fromLists [[True, True, False, False], [False, True, True, False], [False, False, True, True]] |
en el que el 1º curso tiene clase a la 1ª y 2ª hora, el 2º a la 2ª y a la 3ª y el 3º a la 3ª y a la 4ª.
Definir la función
|
1 |
cursosConflictivos :: Horario -> [Int] -> Bool |
tal que (cursosConflictivos h is) se verifica para si los cursos de la lista is hay alguna hora en la que más de uno tiene clase a dicha hora. Por ejemplo,
|
1 2 |
cursosConflictivos ejHorarios1 [1,2] == True cursosConflictivos ejHorarios1 [1,3] == False |
Soluciones
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
import Data.Matrix type Horario = Matrix Bool ejHorarios1 :: Horario ejHorarios1 = fromLists [[True, True, False, False], [False, True, True, False], [False, False, True, True]] -- horaConflictiva ejHorarios1 [1,2] 2 == True -- horaConflictiva ejHorarios1 [1,3] 2 == False -- horaConflictiva ejHorarios1 [1,2,3] 1 == False horaConflictiva :: Horario -> [Int] -> Int -> Bool horaConflictiva h is j = length [i | i <- is, h ! (i,j)] > 1 cursosConflictivos :: Horario -> [Int] -> Bool cursosConflictivos h is = or [horaConflictiva h is j | j <- [1..n]] where n = ncols h |