| SORT(1,2,3,4,5,5,6) = 1,2,3,4,5,6 |
| |
| ▲ | inigyou an hour ago | parent | next [-] | | No, if it had one more 5 it would violate your specification that every time must occur exactly once. Also, SORT(1,2,3,4) = 1,2,3,4,7 | | |
| ▲ | defrost an hour ago | parent [-] | | Not my specification (drive by third party) but I do take the view that ( 1, 2, 3, 4, 5, 5, 6 ) is a list of seven values (perhaps the number of dollars in the pockets of seven distinct unique people) and when sorted the output should also have seven items that correspond to the seven input items. > Also ... Yeah, that needs tightening up by pastel8739 | | |
| ▲ | Jtsummers 43 minutes ago | parent | next [-] | | You need a way to differentiate the two 5s, that isn't present. If you had a list like: L = [(5,foo), (2,bar), (2,baz),...]
And did a: SORT(L, key=first) # or however it'd be specified
Then the duplicate 2s would be fine, because they're no longer duplicates, only duplicate keys. But it would still fail if (2,baz) showed up twice in the source and destination even though we've asked for SORT, not UNIQSORT. | | |
| ▲ | defrost 11 minutes ago | parent | next [-] | | More seriously, > You need a way to differentiate the two 5s As there's no unique filtering or other reduction going on here, there's a permutation chain from input to output. | |
| ▲ | defrost 27 minutes ago | parent | prev [-] | | In the cases of SORT ( 3, 2, 5, 5 ) ->> ( 2, 3, 5, 5 ) and
SORT ( 3, 2, 5, 5 ) ->> ( 2, 3, 5, 5 )
one or both of those might be incorrect ?( I'm teasing, perhaps ) |
| |
| ▲ | inigyou 31 minutes ago | parent | prev [-] | | The specification said Every item in I is present exactly once in S
5 is an item in I, and it is present exactly once in S. | | |
|
| |
| ▲ | Jtsummers an hour ago | parent | prev [-] | | > I'm sorry, do all 5's look the same to you!! /s You have that /s tag, but this is actually the problem with pastel8739's spec as written. >> 1. Every item in I is present exactly once in S This actually does require inigyou's example to be the result of calling SORT when you cannot distinguish repeated items from each other. SORT([1,1]) => [1,1]
The item 1 (which one? doesn't matter, they both do but we only need one to fail the post-condition to invalidate the result) in the source list has a count of 2 in the destination list, so this is an invalid result by the supplied spec.pastel8739's spec also doesn't exclude the possibility of inserting new values (so long as they aren't duplicates of items in the source list). |
|
