| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- /*
- * Por cada dı́a, el mejor paı́s es aquél que más medallas de oro ganó.
- * En caso de haber un empate, nos quedaremos con el menor paı́s comparando lexicográficamente (pais mejor < pais otro).
- * Si un dı́a nadie ganó una medalla de oro, ese dı́a se saltea y no aparece en la lista.
- */
- Problema 13 uyOrdenadoAsíHayUnPatrón(j:JJOO) = res : Bool
- //??
- asegura res == True IF |mejoresPaises(j)|==|sinRepes(mejoresPaises(j)))|
- //Si el primero esta 1 vez y alguno de los otros se repite => explota a la mierda
- asegura res == False IF contar(primero...)==1 && |mejoresPaises(j)|>|sinRepes(mejoresPaises(j)))|
- asegura res ==
- IF |mejoresPaises(j)|==|sinRepes(mejoresPaises(j)))| then
- true
- else
- IF contar(primero...)==1 && |mejoresPaises(j)|>|sinRepes(mejoresPaises(j)))| then
- false
- else
- (paratodo i←[0..|mejorespaises(j)|-1],
- k←[0..|mejoresPaises(j)|-1],
- i mod |patron(mejoresPaises(j))| == k mod |patron(mejoresPaises(j))| )
- s[i] == s[k]
- //Caso borde: nunca repite el primero => valido siempre?
- aux mejoresPaises(j :JJOO) : [Paises] =
- [ cab(ordenar(masOrosDelDia(j,d) ) | d ← [1.. jornadaActual(j) - 1], cronograma(j,d) != [ ], masOrosDelDia(j,d) != [] ]
- aux patron(ls: [T]) : [T] =
- if |ls|==1 then
- ls
- else
- sub(ls, 0, min ( [ i | i <- [1..|ls|-1], ls[i] == ls[0] ] ) )
- aux masOrosDelDia( j:JJOO, d: dia) : [pais] =
- filtrarTuplaPorPrmMax(j, uniqSgdLista( tuplasMedallOroComaPais(j,d) ), d)
- aux tuplasMedallaOroComaPais(j : JJOO, d: Dia) : [(int, Pais)]
- [ ( contar(pais,PaisesConOroTalDia(j,d)), pais ) | pais <- paisesConOroTalDia(j,d) ]
- aux paisesConOroTalDia(j:JJOO, d: Dia) : [Pais]
- [ pais (cab(ranking(c)) | c ← cronograma (j,d), finalizada(c) && |ranking(c)|>0 ]
- \aux{uniqSgdLista}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}
- {[ ls(i) | i \leftarrow [0..|ls|-1], j\leftarrow [0..|ls|-1], i \neq j, sgd(ls[i]) \neq sgd(ls[j]) ]}
- aux filtrarTuplaPorPrmMax(j:JJOO, ls:[(\ent,Pais)], d:Dia) : [Pais]
- [ sgd(tupla) | tupla <- tuplasMedallaOroComaPais(j,d), prm(tupla) >= maxListaTuplas(tuplasMedallaOroComaPais(j,d)) ]
- aux maxListaTuplas( ls: [(ent, Pais)]) : ent =
- max([ prm(tupla) | tupla <- ls ])
- }
|
