{"id":49325829,"user":"inigyou","time":1786932474,"time_ago":"5 hours ago","type":"comment","content":"

The specification said

    Every item in I is present exactly once in S\n

\n5 is an item in I, and it is present exactly once in S.","comments":[{"id":49325863,"user":"defrost","time":1786932853,"time_ago":"5 hours ago","type":"comment","content":"

and 5 is another item in I, and it's not present in S.","comments":[{"id":49325876,"user":"inigyou","time":1786933067,"time_ago":"5 hours ago","type":"comment","content":"

Yes it is, it's right there, between the 4 and the 6.","comments":[{"id":49325944,"user":"defrost","time":1786933744,"time_ago":"5 hours ago","type":"comment","content":"

That's not the same one - track the permutation chain.","comments":[{"id":49326176,"user":"Veserv","time":1786936305,"time_ago":"4 hours ago","type":"comment","content":"

What is the "same one"? Define item in "I" formally.

Are we talking about Values? Then inigyou is correct.

Memory locations? Then it is trivially true, but that does not prevent me from writing 0 into every memory location.

Value + Memory location? Then it does not work for arrays since we are modifying the memory locations by moving the values between them.

The abstract notion of manipulable things in a indexable order? You need to show how that correlates to reality in a way where you can not put in a hole even larger than this one you are trying to close.

To loop back, this very discussion shows how non-trivial it really is and how much thought actually needs to be put into handling even "trivial" problems. Almost everybody who talks about how we can replace these complex implementations with simpler, understandable specifications has little to no experience with the difficulties of actually creating correct specifications. Anybody who would bring up sorting as "trivial" either has no idea what they are talking about or is so far ahead that they have weird ideas as to what constitutes as "trivial". In both cases, their opinion is highly divorced from practical reality.

That is not to say that it is not worthwhile or even that the specifications are "more complex". It is quite possible the specification is still simpler despite the difficulty, but it is also likely the complex implementation was already totally incomprehensible and a simplified specification is also incomprehensible, it is now just formally incomprehensible.","comments":[],"comments_count":0,"level":3,"url":"item?id=49326176"}],"comments_count":1,"level":2,"url":"item?id=49325944"}],"comments_count":2,"level":1,"url":"item?id=49325876"}],"comments_count":3,"level":0,"url":"item?id=49325863"}],"comments_count":4,"url":"item?id=49325829"}

Comment by inigyou