unofficial mirror of help-gnu-emacs@gnu.org
 help / color / mirror / Atom feed
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



  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).