Hola,

alguien me puede pasar la solución del problema 4 del parcial:
Dada una lista x con todos sus elementos distintos, devolver la lista de partes, es decir, la lista de todas las listas incluidas en x, cada una con sus elementos en el mismo orden qn que aparecen en x.

Gracias y saludos

Hola, aca va una forma, creeeeeeo, que esta bien..
lo importante aca era darse cuenta que es mucho mas facil describir las propiedades del resultado y no matarse tratando de hacer un acum dentro de otro acum o algo asi


problema partes (li : [T]) = ls : [[T]]
requiere distintos: ( a <-- [0..|li|), b <-- [0..|li|), a b) li[a] li[b]
asegura NumeroDePartes: |ls| == pot(2,|li|)
asegura PartesDistintas: ( e <-- [0..|ls|), d <-- [0..|ls|), e d) ls[e] ls [d]
asegura Pertenencia: ( e <-- ls)(V a <-- e) a li
asegura OrdenCorrecto: ( e <-- ls)~( a <-- e, b <-- e, a b y orden(a,e) > orden(b,e)) orden (a,li) orden (b,li)
aux orden (x : T, li : [T]) : Z = cab([i | i <-- [0,,|li|), li[ i ] == x)


Saludos!!, cualquier cosa avisame si no entendes algo


Edit: pase esas partes a TeX, espero no moleste. Nico? =)

Gracias

Me parece que la parte del modulo esta mal, porque piden la lista de todas las sublistas que aparecen en la lista que me dan.
Por Ej:
[1,2,3]
[[],[1],[1,2],[1,2,3],[2],[2,3],[3]]

No se bien si la lista vacía cuenta como elemento, creeeeeeo que si.
El modulo resultante es de 7, lo que faltaría sería el elemento 3,1 o 1,3 pero no forman una sublista porque estan separados por elementos intermedios.



Ese aux me genera todas las sublistas menos la vacía que despues se la puedo agregar a mano, diciendo:
asegura

El requiere que dieron, esta bien.