本文へ移動

Jirai地雷

シード付きの地雷の盤を作り、見える数字からヒントを証明し、四角・四近傍・六角・端がつながる盤で遊べます。

「地雷」は、地面に埋められた爆弾のことです。 名前について(英語)

目次

リファレンス · 規則・生成・推論

isSolvable関数

リファレンスの説明と例は英語です。見出しと目次は日本語です。

Verify a board from one opening, using only clues that have been uncovered.

インポート

import { isSolvable } from "@johnmorrisdotca/jirai";

定義

function isSolvable(board: Board, enumerate?: boolean): boolean

引数

名前型説明
boardBoard

The dealt native field; it includes private answer data.

enumerate (省略可)boolean

Whether to include bounded exact frontier enumeration in the deduction/proof check.

戻り値

boolean

Verify a board from one opening, using only clues that have been uncovered.

例

import type { Settings } from "@johnmorrisdotca/jirai";
import { isSolvable, makeBoard } from "@johnmorrisdotca/jirai";

const settings: Settings={width:3,height:3,mines:1,grid:"square",noGuess:false,opening:"clear",seed:42};
const board=makeBoard(settings,0,{attempts:1,repair:false});
console.log(isSolvable(board));
true

出力(このページを作ったときに実行した結果)

ソースを見るGitHub で編集@johnmorrisdotca/jirai 0.5.0 のソースから作成しました。

この日本語は、まだ日本語を母語とする方の確認を受けていません。訂正を歓迎します。