From: Yuri Khan <yuri.v.khan@gmail.com>
To: Emanuel Berg <moasenwood@zoho.eu>,
help-gnu-emacs <help-gnu-emacs@gnu.org>
Subject: Re: avoid narrow-to-region (was: Re: replace-regexp)
Date: Sun, 9 May 2021 12:48:29 +0700 [thread overview]
Message-ID: <CAP_d_8Vkb+WupvxFKAwaserHdfMdf_y9sJzJRhNCHLEAnSJ3hQ@mail.gmail.com> (raw)
In-Reply-To: <87eeegx25w.fsf_-_@zoho.eu>
On Sun, 9 May 2021 at 06:00, Emanuel Berg via Users list for the GNU
Emacs text editor <help-gnu-emacs@gnu.org> wrote:
> (sort-subr nil
> #'forward-line
> #'end-of-line
> nil nil
> (lambda (_ __) (zerop (random 2)) )))))
Note that this is not a suitable sorting predicate. It violates all
axioms of a strict weak ordering:
* Consistency: If (f a b) returns t once, it must return t when called
again with the same arguments.
* Irreflexivity: (f a a) must return nil. Your predicate returns nil
or t randomly.
* Antisymmetry: of (f a b) and (f b a), no more than one may return t.
In your case, both can return t.
* Transitivity: If (f a b) and (f b c) both return t, (f a c) must
also return t.
* Transitivity of equivalence: if (f a b), (f b a), (f b c), (f c b)
all return nil, then (f a c) and (f c a) must also return nil.
Generic sorting algorithms typically require the predicate to conform
to all of the above; otherwise, they may signal an error or enter an
endless loop.
I have not analyzed whether ‘sort-subr’ has any issues with
inconsistent orderings, and its docstring does not mention these
requirements, but it would be a good idea to avoid that anyway.
Also, using a sorting algorithm to randomize an ordered sequence is a
bit of an overkill. Sorting has an asymptotic complexity of O(n log
n), but the Fisher–Yates–Durstenfeld shuffle algorithm is O(n).
https://en.wikipedia.org/wiki/Fisher%E2%80%93Yates_shuffle
next prev parent reply other threads:[~2021-05-09 5:48 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-06 23:06 replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-07 6:54 ` replace-regexp Tassilo Horn
2021-05-07 18:28 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 0:02 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 0:16 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 5:38 ` replace-regexp Yuri Khan
2021-05-08 13:53 ` replace-regexp Stefan Monnier via Users list for the GNU Emacs text editor
2021-05-08 18:41 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 18:50 ` replace-regexp Stefan Monnier via Users list for the GNU Emacs text editor
2021-05-08 21:59 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 22:03 ` replace-regexp Tassilo Horn
2021-05-08 22:25 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 22:54 ` [External] : replace-regexp Drew Adams
2021-05-09 2:48 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 18:46 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 21:10 ` replace-regexp Stefan Monnier via Users list for the GNU Emacs text editor
2021-05-08 21:54 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 23:11 ` replace-regexp Stefan Monnier via Users list for the GNU Emacs text editor
2021-05-08 23:16 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 23:46 ` replace-regexp Stefan Monnier via Users list for the GNU Emacs text editor
2021-05-08 23:51 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 7:38 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-08 22:59 ` avoid narrow-to-region (was: Re: replace-regexp) Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 5:48 ` Yuri Khan [this message]
2021-05-09 6:09 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 6:34 ` Yuri Khan
2021-05-09 6:59 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 7:22 ` Jean Louis
2021-05-09 7:40 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 10:06 ` Yuri Khan
2021-05-09 10:54 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 12:27 ` Yuri Khan
2021-05-09 12:43 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 13:14 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 14:04 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-09 15:13 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-21 17:35 ` same sound random sort everywhere (was: Re: avoid narrow-to-region (was: Re: replace-regexp)) Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-21 20:12 ` Jean Louis
2021-05-21 20:47 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-05-07 8:02 ` replace-regexp Jean Louis
2021-05-07 18:29 ` replace-regexp Emanuel Berg via Users list for the GNU Emacs text editor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAP_d_8Vkb+WupvxFKAwaserHdfMdf_y9sJzJRhNCHLEAnSJ3hQ@mail.gmail.com \
--to=yuri.v.khan@gmail.com \
--cc=help-gnu-emacs@gnu.org \
--cc=moasenwood@zoho.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).