Re: ANN: Dogelog Player 1.1.6 (HTTP Client)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.javascript
Subject	Re: ANN: Dogelog Player 1.1.6 (HTTP Client)
Date	2024-03-13 02:06 +0100
Message-ID	<usqu6l$19i7n$4@solani.org> (permalink)
References	<uscsdk$12mjt$3@solani.org> <usksvq$16bd7$2@solani.org>

Show all headers | View raw

In 1997, Hong Kong judge Wayne Gould saw a partly
completed puzzle in a Japanese bookshop. Over six years,
he developed a computer program to produce unique
puzzles rapidly. The program tries to keep one puzzle
ahead of you, by generating the next puzzle while you
are solving the present one.

In the following we show a Prolog program, where
the random generation of a Puzzle is performed in
less than 2 seconds. The Prolog program was mainly
developed for Dogelog Player. We could test the
Prolog program also with Prolog systems such as
SWI-Prolog, Scryer Prolog and Trealla Prolog.

The smallest domain first variable ordering heuristic
allowed us to solve some hard problems below a minute.
Turning the heuristic into a static ordering before
search gave us a further boost and the baseline for
randomization. Measurement showed that solving blank
Sudokus doesn't have a large time variation.

See also:

Birthday Paradox and Sudoku Generation
https://twitter.com/dogelogch/status/1767714755827908991

Birthday Paradox and Sudoku Generation
https://www.facebook.com/groups/dogelog

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-07 18:10 +0100
  Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-10 19:09 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-10 23:49 +0100
      Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-11 00:49 +0000
        Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-11 09:06 +0100
          Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-11 09:07 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-11 20:46 +0000
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-12 00:19 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-12 00:43 +0000
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 02:05 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Lawrence D'Oliveiro <ldo@nz.invalid> - 2024-03-13 02:28 +0000
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 12:54 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 13:01 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-13 02:06 +0100
  Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-23 16:43 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-24 10:39 +0000
      Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-24 12:23 +0100
        Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-26 11:06 +0000
          Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-26 20:21 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-26 20:25 +0100
            Re: ANN: Dogelog Player 1.1.6 (HTTP Client) John Harris <niam@jghnorth.org.uk.invalid> - 2024-03-27 14:12 +0000
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-27 23:52 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-27 23:56 +0100
              Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:07 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:16 +0100
                Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-03-28 00:21 +0100
    Re: ANN: Dogelog Player 1.1.6 (HTTP Client) Mild Shock <janburse@fastmail.fm> - 2024-04-02 01:18 +0200

csiph-web