Jump to content

Solve a Hidato puzzle: Difference between revisions

m
syntax highlighting fixup automation
m (→‎{{header|Tailspin}}: update to stricter typing)
m (syntax highlighting fixup automation)
Line 35:
{{trans|Python}}
 
<langsyntaxhighlight lang="11l">[[Int]] board
[Int] given
V start = (-1, -1)
Line 102:
solve(start[0], start[1], 1)
print()
print_board()</langsyntaxhighlight>
 
{{out}}
Line 126:
 
=={{header|AutoHotkey}}==
<langsyntaxhighlight AutoHotkeylang="autohotkey">SolveHidato(Grid, Locked, Max, row, col, num:=1, R:="", C:=""){
if (R&&C) ; if neighbors (not first iteration)
{
Line 192:
}
return StrReplace(map, ">")
}</langsyntaxhighlight>
Examples:<langsyntaxhighlight AutoHotkeylang="autohotkey">;--------------------------------
Grid := [[ "Y" , 33 , 35 , "Y" , "Y"]
,[ "Y" , "Y" , 24 , 22 , "Y"]
Line 216:
;--------------------------------
MsgBox, 262144, ,% SolveHidato(Grid, Locked, Max, row, col)
return</langsyntaxhighlight>
Outputs:<pre>32 33 35 36 37
31 34 24 22 38
Line 228:
 
=={{header|Bracmat}}==
<langsyntaxhighlight lang="bracmat">(
( hidato
= Line solve lowest Ncells row column rpad
Line 340:
: ?board
& out$(hidato$!board)
);</langsyntaxhighlight>
Output:
<pre>
Line 364:
=={{header|C}}==
Depth-first graph, with simple connectivity check to reject some impossible situations early. The checks slow down simpler puzzles significantly, but can make some deep recursions backtrack much earilier.
<langsyntaxhighlight lang="c">#include <stdio.h>
#include <stdlib.h>
#include <string.h>
Line 530:
 
return 0;
}</langsyntaxhighlight>
{{out}}
<pre> Before:
Line 558:
If there are cells that require more characters, then a 2-dimensional array of ints must be used. Any number < 0 indicates a no-go.<br/>
The puzzle can be made circular (the end cell must connect to the start cell). In that case, no start cell needs to be given.
<langsyntaxhighlight lang="csharp">using System.Collections;
using System.Collections.Generic;
using static System.Console;
Line 685:
}
 
}</langsyntaxhighlight>
{{out}}
<pre>
Line 699:
 
=={{header|C++}}==
<langsyntaxhighlight lang="cpp">
#include <iostream>
#include <sstream>
Line 852:
}
//--------------------------------------------------------------------------------------------------
</syntaxhighlight>
</lang>
Output:
<pre>
Line 878:
{{Works with|PAKCS}}
Probably not efficient.
<langsyntaxhighlight lang="curry">import CLPFD
import Constraint (andC, anyC)
import Findall (unpack)
Line 931:
] = success
 
main = unpack hidato</langsyntaxhighlight>
{{Output}}
<pre>Execution time: 1440 msec. / elapsed: 2270 msec.
Line 941:
This version retains some of the characteristics of the original C version. It uses global variables, it doesn't enforce immutability and purity. This style is faster to write for prototypes, short programs or less important code, but in larger programs you usually want more strictness to avoid some bugs and increase long-term maintainability.
{{trans|C}}
<langsyntaxhighlight lang="d">import std.stdio, std.array, std.conv, std.algorithm, std.string;
 
int[][] board;
Line 1,021:
solve(start[0], start[1], 1);
printBoard;
}</langsyntaxhighlight>
{{out}}
<pre> . . . . . . . . . .
Line 1,051:
 
With this coding style the changes in the code become less bug-prone, but also more laborious. This version is also faster, its total runtime is about 0.02 seconds or less.
<langsyntaxhighlight lang="d">import std.stdio, std.conv, std.ascii, std.array, std.string,
std.algorithm, std.exception, std.range, std.typetuple;
 
Line 1,265:
. . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ . . _ _ ."
);
}</langsyntaxhighlight>
{{out}}
<pre>Problem:
Line 1,309:
=={{header|Elixir}}==
{{trans|Ruby}}
<langsyntaxhighlight lang="elixir"># Solve a Hidato Like Puzzle with Warnsdorff like logic applied
#
defmodule HLPsolver do
Line 1,386:
end)
end
end</langsyntaxhighlight>
 
'''Test:'''
<langsyntaxhighlight lang="elixir">adjacent = [{-1, -1}, {-1, 0}, {-1, 1}, {0, -1}, {0, 1}, {1, -1}, {1, 0}, {1, 1}]
 
"""
Line 1,415:
. . 0 0 0 . 0 0 0 . 0 0 0 . 0 0 0 . 0 0 0 . 0 0 0 . 0
"""
|> HLPsolver.solve(adjacent)</langsyntaxhighlight>
 
{{out}}
Line 1,462:
=={{header|Erlang}}==
To simplify the code I start a new process for searching each potential path through the grid. This means that the default maximum number of processes had to be raised ("erl +P 50000" works for me). The task takes about 1-2 seconds on a low level Mac mini. If faster times are needed, or even less performing hardware is used, some optimisation should be done.
<syntaxhighlight lang="erlang">
<lang Erlang>
-module( solve_hidato_puzzle ).
 
Line 1,567:
 
store( {Key, Value}, Dict ) -> dict:store( Key, Value, Dict ).
</syntaxhighlight>
</lang>
{{out}}
<pre>
Line 1,595:
=={{header|Go}}==
{{trans|Java}}
<langsyntaxhighlight lang="go">package main
 
import (
Line 1,712:
solve(start[0], start[1], 1, 0)
printBoard()
}</langsyntaxhighlight>
 
{{out}}
Line 1,741:
 
=={{header|Haskell}}==
<langsyntaxhighlight lang="haskell">{-# LANGUAGE TupleSections #-}
{-# LANGUAGE Rank2Types #-}
 
Line 1,851:
, ". . . . 0 7 0 0"
, ". . . . . . 5 0"
]</langsyntaxhighlight>
{{Out}}
<pre> 0 33 35 0 0
Line 1,875:
 
This is an Unicon-specific solution but could easily be adjusted to work in Icon.
<langsyntaxhighlight lang="unicon">global nCells, cMap, best
record Pos(r,c)
 
Line 1,979:
QMouse(puzzle, goWest(), self, val)
QMouse(puzzle, goNW(), self, val)
end</langsyntaxhighlight>
 
Sample run:
Line 2,013:
{{trans|D}}
{{works with|Java|7}}
<langsyntaxhighlight lang="java">import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
Line 2,117:
}
}
}</langsyntaxhighlight>
 
Output:
Line 2,146:
=={{header|Julia}}==
This solution utilizes a Hidato puzzle solver module which is also used for the Hopido and knight move tasks.
<langsyntaxhighlight lang="julia">module Hidato
 
export hidatosolve, printboard, hidatoconfigure
Line 2,202:
 
end # module
</langsyntaxhighlight><syntaxhighlight lang ="julia">using .Hidato
 
hidat = """
Line 2,220:
hidatosolve(board, maxmoves, kingmoves, fixed, starts[1][1], starts[1][2], 1)
printboard(board)
</langsyntaxhighlight>{{output}}<pre>
__ 33 35 __ __
__ __ 24 22 __
Line 2,242:
=={{header|Kotlin}}==
{{trans|Java}}
<langsyntaxhighlight lang="scala">// version 1.2.0
 
lateinit var board: List<IntArray>
Line 2,316:
solve(start[0], start[1], 1, 0)
printBoard()
}</langsyntaxhighlight>
 
{{out}}
Line 2,345:
 
=={{header|Mathprog}}==
<langsyntaxhighlight lang="mathprog">/*Hidato.mathprog, part of KuKu by Nigel Galloway
 
Find a solution to a Hidato problem
Line 2,408:
;
end;</langsyntaxhighlight>
Using the data in the model produces the following:
{{out}}
Line 2,654:
=={{header|Mathematica}}/{{header|Wolfram Language}}==
This implements a solver that works based on various techniques, i.e. not brute-forcing:
<langsyntaxhighlight Mathematicalang="mathematica">ClearAll[NeighbourQ, CellDistance, VisualizeHidato, HiddenSingle, \
NakedN, HiddenN, ChainSearch, HidatoSolve, Cornering, ValidPuzzle, \
GapSearch, ReachDelete, GrowNeighbours]
Line 3,000:
VisualizeHidato[cells, candidates]
out = HidatoSolve[cells, candidates];
VisualizeHidato[cells, out]</langsyntaxhighlight>
{{out}}
Outputs a graphical version of the solved hidato.
 
=={{header|Nim}}==
<langsyntaxhighlight lang="nim">import strutils, algorithm, sequtils, strformat
 
type Hidato = object
Line 3,083:
echo("Found:")
discard hidato.solve(hidato.start[0], hidato.start[1], 1)
hidato.print()</langsyntaxhighlight>
{{out}}
<pre> . . . . . . . . . .
Line 3,109:
 
=={{header|Perl}}==
<langsyntaxhighlight lang="perl">use strict;
use List::Util 'max';
 
Line 3,192:
 
print "\033[2J";
try_fill(1, $known[1]);</langsyntaxhighlight>{{out}}
32 33 35 36 37
31 34 24 22 38
Line 3,203:
 
=={{header|Phix}}==
<!--<langsyntaxhighlight Phixlang="phix">(phixonline)-->
<span style="color: #008080;">with</span> <span style="color: #008080;">javascript_semantics</span>
<span style="color: #004080;">sequence</span> <span style="color: #000000;">board</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">warnsdorffs</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">knownx</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">knowny</span>
Line 3,379:
__ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. __ __ __ .. .. .."""</span>
<span style="color: #000000;">Hidato</span><span style="color: #0000FF;">(</span><span style="color: #000000;">board6</span><span style="color: #0000FF;">,</span><span style="color: #000000;">46</span><span style="color: #0000FF;">,</span><span style="color: #000000;">4</span><span style="color: #0000FF;">,</span><span style="color: #000000;">82</span><span style="color: #0000FF;">)</span>
<!--</langsyntaxhighlight>-->
{{out}}
<pre style="font-size: 8px">
Line 3,427:
 
=={{header|Picat}}==
<langsyntaxhighlight Picatlang="picat">import sat.
 
main =>
Line 3,472:
R1 >= 1, R1 =< MaxR, C1 >= 1, C1 =< MaxC,
(R1,C1) != (R,C), M[R1,C1] !== 0].
</syntaxhighlight>
</lang>
{{out}}
<pre>
Line 3,486:
 
=={{header|PicoLisp}}==
<langsyntaxhighlight PicoLisplang="picolisp">(load "@lib/simul.l")
 
(de hidato (Lst)
Line 3,530:
(disp Grid 0
'((This)
(if (: val) (align 3 @) " ") ) ) ) )</langsyntaxhighlight>
Test:
<langsyntaxhighlight PicoLisplang="picolisp">(hidato
(quote
(T 33 35 T T)
Line 3,541:
(NIL NIL T T 18 T T)
(NIL NIL NIL NIL T 7 T T)
(NIL NIL NIL NIL NIL NIL 5 T) ) )</langsyntaxhighlight>
Output:
<pre> +---+---+---+---+---+---+---+---+
Line 3,565:
Works with SWI-Prolog and library(clpfd) written by '''Markus Triska'''.<br>
Puzzle solved is from the Wilkipedia page : http://en.wikipedia.org/wiki/Hidato
<langsyntaxhighlight Prologlang="prolog">:- use_module(library(clpfd)).
 
hidato :-
Line 3,664:
 
my_write_1(X) :-
writef('%3r', [X]).</langsyntaxhighlight>
{{out}}
<pre>?- hidato.
Line 3,678:
 
=={{header|Python}}==
<langsyntaxhighlight lang="python">board = []
given = []
start = None
Line 3,746:
solve(start[0], start[1], 1)
print
print_board()</langsyntaxhighlight>
{{out}}
<pre> __ 33 35 __ __
Line 3,772:
immediately when tested with custom 2d vector library.
 
<syntaxhighlight lang="racket">
<lang Racket>
#lang racket
(require math/array)
Line 3,842:
;main function
(define (hidato board) (put-path board (hidato-path board)))
</syntaxhighlight>
</lang>
{{out}}
<pre>
Line 3,863:
essentially the neighbourhood function.
 
<langsyntaxhighlight lang="racket">#lang racket
(require "hidato-family-solver.rkt")
 
Line 3,882:
#( _ _ _ _ 0 7 0 0)
#( _ _ _ _ _ _ 5 0)))))
</syntaxhighlight>
</lang>
 
{{out}}
Line 3,905:
* [[Solve the no connection puzzle#Raku|Solve the no connection puzzle]]
 
<syntaxhighlight lang="raku" perl6line>my @adjacent = [-1, -1], [-1, 0], [-1, 1],
[ 0, -1], [ 0, 1],
[ 1, -1], [ 1, 0], [ 1, 1];
Line 4,002:
say "$tries tries";
}</langsyntaxhighlight>
 
=={{header|REXX}}==
Line 4,011:
 
''Hidato'' &nbsp; and &nbsp; ''Numbrix'' &nbsp; are registered trademarks.
<langsyntaxhighlight lang="rexx">/*REXX program solves a Numbrix (R) puzzle, it also displays the puzzle and solution. */
maxR=0; maxC=0; maxX=0; minR=9e9; minC=9e9; minX=9e9; cells=0; @.=
parse arg xxx; PZ='Hidato puzzle' /*get the cell definitions from the CL.*/
Line 4,065:
say _
end /*r*/
say; return</langsyntaxhighlight>
'''output''' &nbsp; when using the following as input:
<br> <tt> 1 7 5 .\2 5 . 7 . .\3 3 . . 18 . .\4 1 27 . . . 9 . 1\5 1 . 26 . 13 40 11\6 1 . . . 21 . .\7 1 . . 24 22 .\8 1 . 33 35 . .</tt>
Line 4,094:
===Without Warnsdorff===
The following class provides functionality for solving a hidato problem:
<langsyntaxhighlight lang="ruby"># Solve a Hidato Puzzle
#
class Hidato
Line 4,148:
(msg ? [msg] : []) + str + [""]
end
end</langsyntaxhighlight>
 
'''Test:'''
<langsyntaxhighlight lang="ruby"># Which may be used as follows to solve Evil Case 1:
board1 = <<EOS
. 4
Line 4,180:
t0 = Time.now
Hidato.new(board3).solve
puts " #{Time.now - t0} sec"</langsyntaxhighlight>
 
{{out}}
Line 4,229:
===With Warnsdorff===
I modify method as follows to implement [[wp:Knight's_tour#Warnsdorff|Warnsdorff]] like
<langsyntaxhighlight lang="ruby"># Solve a Hidato Like Puzzle with Warnsdorff like logic applied
#
class HLPsolver
Line 4,296:
(msg ? [msg] : []) + str + [""]
end
end</langsyntaxhighlight>
Which may be used as follows to solve Hidato Puzzles:
<langsyntaxhighlight lang="ruby">require 'HLPsolver'
 
ADJACENT = [[-1, -1], [-1, 0], [-1, 1], [0, -1], [0, 1], [1, -1], [1, 0], [1, 1]]
Line 4,343:
t0 = Time.now
HLPsolver.new(board3).solve
puts " #{Time.now - t0} sec"</langsyntaxhighlight>
 
Which produces:
Line 4,413:
 
=={{header|Rust}}==
<langsyntaxhighlight lang="rust">
use std::cmp::{max, min};
use std::fmt;
Line 4,608:
}
 
</syntaxhighlight>
</lang>
{{out}}
<pre>
Line 4,631:
</pre>
=={{header|Seed7}}==
<langsyntaxhighlight lang="seed7">$ include "seed7_05.s7i";
 
var set of integer: given is {};
Line 4,730:
printBoard;
end if;
end func;</langsyntaxhighlight>
 
{{out}}
Line 4,760:
=={{header|Tailspin}}==
{{trans|Java}}
<langsyntaxhighlight lang="tailspin">
def input:
'__ 33 35 __ __ . . .
Line 4,807:
';
' ->!OUT::write
</syntaxhighlight>
</lang>
{{out}}
<pre>
Line 4,821:
 
=={{header|Tcl}}==
<langsyntaxhighlight lang="tcl">proc init {initialConfiguration} {
global grid max filled
set max 1
Line 4,930:
puts ""
printgrid
}</langsyntaxhighlight>
Demonstrating (dots are “outside” the grid, and zeroes are the cells to be filled in):
<langsyntaxhighlight lang="tcl">solveHidato "
0 33 35 0 0 . . .
0 0 24 22 0 . . .
Line 4,941:
. . . . 0 7 0 0
. . . . . . 5 0
"</langsyntaxhighlight>
{{out}}
<pre>
Line 4,972:
{{libheader|Wren-sort}}
{{libheader|Wren-fmt}}
<langsyntaxhighlight lang="ecmascript">import "/sort" for Sort
import "/fmt" for Fmt
 
Line 5,050:
System.print("\nFound:")
solve.call(start[0], start[1], 1, 0)
printBoard.call()</langsyntaxhighlight>
 
{{out}}
Line 5,080:
=={{header|zkl}}==
{{trans|Python}}
<langsyntaxhighlight lang="zkl">hi:= // 0==empty cell, X==not a cell
#<<<
"0 33 35 0 0 X X X
Line 5,096:
solve(board,given, start.xplode(), 1);
println();
print_board(board);</langsyntaxhighlight>
<langsyntaxhighlight lang="zkl">fcn print_board(board){
d:=D(-1," ", 0,"__");
foreach r in (board[1,-1]){
Line 5,133:
board[r][c]=back;
False
}</langsyntaxhighlight>
{{out}}
<pre>
10,333

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.