Co udowadnia, że domyślna implementacja TimSorta w Javie i Pythonie jest błędna.
http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/#sec1
#programowanie #gindenpoleca #python #java
http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/#sec1
#programowanie #gindenpoleca #python #java
It generates an input array with many short runs – too short, in the sense that they do not satisfy the invariant – which eventually causes TimSort to crash. In particular, since by breaking the invariant, the length of the runs can grow slower than expected, more than runLen.length






http://rob.conery.io/2015/02/24/embracing-sql-in-postgres/
#bazydanych #gindenpoleca