|
|
@@ -144,10 +144,11 @@
|
|
|
\wedge (sgd(lista[x])[2] \geq sgd(lista[x+1])[2])))}
|
|
|
\end{problema}
|
|
|
|
|
|
+%Fixed by martu
|
|
|
\begin{problema}{boicotPorDisciplina}{j: JJOO, cat: (Deporte, Sexo), p: Pais}{\ent}
|
|
|
\requiere{existe (c \leftarrow todasLasCompetencias(j)) categoria(c) == cat}
|
|
|
\requiere{finalizada (competenciaFiltrada(j,cat)) == false}
|
|
|
- // asumimos que se saca a los participantes antes de finalizar la competencia\newline
|
|
|
+ %// asumimos que se saca a los participantes antes de finalizar la competencia\newline
|
|
|
\modifica{j}
|
|
|
\asegura{finalizada ( competenciaFiltrada(j,cat) ) == finalizada (competenciaFiltrada(pre(j),cat))}
|
|
|
\asegura{ano(j) == ano(pre(j))}
|
|
|
@@ -156,18 +157,19 @@
|
|
|
\asegura{jornadaActual(j) == jornadaActual(pre(j))}
|
|
|
\asegura{(\forall dia \leftarrow [1..cantDias (j)] ) \newline
|
|
|
|cronograma(j,dia) | == |cronograma(pre(j), dia)|}
|
|
|
-
|
|
|
\asegura{ (\forall dia \leftarrow [1..cantDias(j)])
|
|
|
(\forall( x \leftarrow [1..(long(cronograma(j,dia))-1)])) \newline
|
|
|
- ((cronograma((j,dia)[x] == cronograma (pre(j),dia) [x]) \newline \vee ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x])) \newline \wedge (categoria(cronograma(j,dia)[x]) == cat )))}
|
|
|
-
|
|
|
+ ((cronograma((j,dia)[x] == cronograma (pre(j),dia) [x]) \newline
|
|
|
+ \vee ( categoria(cronograma(j,dia)[x]) == (categoria(cronograma(pre(j),dia)[x])) \newline \wedge (categoria(cronograma(j,dia)[x]) == cat )))}
|
|
|
\asegura{ (\forall comp \leftarrow todasLasCompetencias(j), categoria(comp) == cat)
|
|
|
\newline (\forall( atl \leftarrow participantes(comp)) nacionalidad (atl) \neq p}
|
|
|
-
|
|
|
- \asegura{ mismos (participantes(competenciaFiltrada(j,cat)), \newline[x | x \leftarrow participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) \neq p])}
|
|
|
- \asegura{ res == |[x | comp \leftarrow todasLasCompetencias(pre(j)),\newline x \leftarrow participantes(comp), (categoria(comp) == cat \wedge nacionalidad(x) == p)]|}
|
|
|
+ \asegura{ mismos (participantes(competenciaFiltrada(j,cat)), \newline
|
|
|
+ [x | x \leftarrow participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) \neq p])}
|
|
|
+ \asegura{ res == |[x | comp \leftarrow todasLasCompetencias(pre(j)),\newline
|
|
|
+ x \leftarrow participantes(comp), (categoria(comp) == cat \wedge nacionalidad(x) == p)]|}
|
|
|
\aux{todasLasCompetencias}{j:JJOO}{[competencia]}{[x | y \leftarrow [1..cantDIas(j)], x \leftarrow cronogramas(j,y) ] }
|
|
|
- \aux{competenciaFiltrada}{j:JJOO, c:(deporte,sexo)}{competencia}{\newline cab( [x | x \leftarrow todasLasCompetencias(j), c== categoria(x) ] )}
|
|
|
+ \aux{competenciaFiltrada}{j:JJOO, c:(deporte,sexo)}{competencia}{
|
|
|
+ \newline cab( [x | x \leftarrow todasLasCompetencias(j), c== categoria(x) ] )}
|
|
|
\end{problema}
|
|
|
|
|
|
%Fixed by martu
|
|
|
@@ -239,8 +241,8 @@
|
|
|
\wedge|ranking(comp)|>0 \wedge ciaNumber(ranking(comp)[0])==ciaNumber(a)]}
|
|
|
\end{problema}
|
|
|
|
|
|
+%Written by Pepi
|
|
|
\begin{problema}{uyOrdenadoAs\'iHayUnPatr\'on}{j: JJOO}{\bool}
|
|
|
- %written by Pepi
|
|
|
\asegura { res == ifthenelse |mejoresPaises(j)|== |sinRepes(mejoresPaises(j))|, true, \newline ifthenelse (contar(cab(mejoresPaises(j)))==\,1\, \wedge\, |mejoresPaises(j)|>|sinRepes(mejoresPaises(j)))|, false, \newline (\forall i \leftarrow [0..|mejorespaises(j)|-1], k \leftarrow [0..|mejoresPaises(j)|-1], i\,mod \newline |patron(mejoresPaises(j))| == k\,mod |patron(mejoresPaises(j))|) s[i] == s[k]}
|
|
|
|
|
|
|
|
|
@@ -260,9 +262,6 @@
|
|
|
\aux{filtrarTuplaPorPrmMax}{j:JJOO, ls:[(\ent,Pais)], d:Dia}{[Pais]}{\newline [sgd(tupla) | tupla \leftarrow tuplasMedallaOroComaPais(j,d), prm(tupla) \geq \newline maxListaTuplas(tuplasMedallaOroComaPais(j,d))]}
|
|
|
|
|
|
\aux{maxListaTuplas}{ ls: [(ent, Pais)]}{\ent}{max([ prm(tupla) | tupla \leftarrow ls ])}
|
|
|
-
|
|
|
-
|
|
|
-
|
|
|
\end{problema}
|
|
|
|
|
|
%Fixed by martu
|
Martu