trashposs/src/games/reversi/core.ts

314 lines
7.4 KiB
TypeScript
Raw Normal View History

2018-09-06 14:31:15 +02:00
import { count, concat } from "../../prelude/array";
2018-09-05 19:16:08 +02:00
2018-07-07 12:01:33 +02:00
// MISSKEY REVERSI ENGINE
/**
* true ...
* false ...
*/
export type Color = boolean;
const BLACK = true;
const WHITE = false;
2018-03-08 09:57:57 +01:00
export type MapPixel = 'null' | 'empty';
export type Options = {
isLlotheo: boolean;
2018-03-10 10:22:54 +01:00
canPutEverywhere: boolean;
2018-03-10 13:23:00 +01:00
loopedBoard: boolean;
2018-03-08 09:57:57 +01:00
};
export type Undo = {
/**
*
*/
2018-07-07 12:01:33 +02:00
color: Color;
/**
*
*/
pos: number;
/**
*
*/
effects: number[];
2018-03-12 19:22:40 +01:00
/**
*
*/
turn: Color;
};
2018-03-08 09:57:57 +01:00
/**
2018-06-17 01:10:54 +02:00
*
2018-03-08 09:57:57 +01:00
*/
2018-06-17 01:10:54 +02:00
export default class Reversi {
2018-03-09 10:11:10 +01:00
public map: MapPixel[];
public mapWidth: number;
public mapHeight: number;
2018-03-08 09:57:57 +01:00
public board: Color[];
public turn: Color = BLACK;
2018-03-08 09:57:57 +01:00
public opts: Options;
2018-03-09 10:11:10 +01:00
public prevPos = -1;
public prevColor: Color = null;
2018-03-08 09:57:57 +01:00
2018-03-15 06:09:38 +01:00
private logs: Undo[] = [];
2018-03-08 09:57:57 +01:00
/**
*
*/
2018-03-09 10:11:10 +01:00
constructor(map: string[], opts: Options) {
//#region binds
this.put = this.put.bind(this);
//#endregion
2018-03-10 10:22:54 +01:00
//#region Options
2018-03-08 09:57:57 +01:00
this.opts = opts;
2018-03-10 10:22:54 +01:00
if (this.opts.isLlotheo == null) this.opts.isLlotheo = false;
if (this.opts.canPutEverywhere == null) this.opts.canPutEverywhere = false;
2018-03-10 13:23:00 +01:00
if (this.opts.loopedBoard == null) this.opts.loopedBoard = false;
2018-03-10 10:22:54 +01:00
//#endregion
2018-03-08 09:57:57 +01:00
2018-03-10 10:22:54 +01:00
//#region Parse map data
2018-03-09 10:11:10 +01:00
this.mapWidth = map[0].length;
this.mapHeight = map.length;
const mapData = map.join('');
this.board = mapData.split('').map(d => {
2018-03-08 09:57:57 +01:00
if (d == '-') return null;
if (d == 'b') return BLACK;
if (d == 'w') return WHITE;
2018-03-08 09:57:57 +01:00
return undefined;
});
2018-03-10 10:22:54 +01:00
2018-03-09 10:11:10 +01:00
this.map = mapData.split('').map(d => {
2018-03-08 09:57:57 +01:00
if (d == '-' || d == 'b' || d == 'w') return 'empty';
return 'null';
});
2018-03-10 10:22:54 +01:00
//#endregion
2018-03-08 09:57:57 +01:00
2018-03-10 05:07:17 +01:00
// ゲームが始まった時点で片方の色の石しかないか、始まった時点で勝敗が決定するようなマップの場合がある
if (!this.canPutSomewhere(BLACK)) {
if (!this.canPutSomewhere(WHITE)) {
2018-03-10 05:07:17 +01:00
this.turn = null;
} else {
this.turn = WHITE;
2018-03-10 05:07:17 +01:00
}
}
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public get blackCount() {
2018-09-05 19:16:08 +02:00
return count(BLACK, this.board);
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public get whiteCount() {
2018-09-06 12:28:52 +02:00
return count(WHITE, this.board);
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public get blackP() {
2018-03-10 04:48:41 +01:00
if (this.blackCount == 0 && this.whiteCount == 0) return 0;
2018-03-08 09:57:57 +01:00
return this.blackCount / (this.blackCount + this.whiteCount);
}
/**
*
*/
public get whiteP() {
2018-03-10 04:48:41 +01:00
if (this.blackCount == 0 && this.whiteCount == 0) return 0;
2018-03-08 09:57:57 +01:00
return this.whiteCount / (this.blackCount + this.whiteCount);
}
public transformPosToXy(pos: number): number[] {
2018-03-09 10:11:10 +01:00
const x = pos % this.mapWidth;
2018-03-09 19:01:01 +01:00
const y = Math.floor(pos / this.mapWidth);
2018-03-08 09:57:57 +01:00
return [x, y];
}
public transformXyToPos(x: number, y: number): number {
2018-03-09 19:01:01 +01:00
return x + (y * this.mapWidth);
2018-03-08 09:57:57 +01:00
}
/**
*
* @param color
* @param pos
*/
2018-03-15 06:09:38 +01:00
public put(color: Color, pos: number) {
2018-03-08 09:57:57 +01:00
this.prevPos = pos;
this.prevColor = color;
2018-03-12 19:22:40 +01:00
this.board[pos] = color;
2018-03-08 09:57:57 +01:00
// 反転させられる石を取得
const effects = this.effects(color, pos);
2018-03-08 09:57:57 +01:00
// 反転させる
2018-03-12 19:22:40 +01:00
for (const pos of effects) {
this.board[pos] = color;
}
const turn = this.turn;
2018-03-08 09:57:57 +01:00
2018-03-15 06:09:38 +01:00
this.logs.push({
color,
pos,
2018-03-12 19:22:40 +01:00
effects,
turn
2018-03-15 06:09:38 +01:00
});
this.calcTurn();
}
2018-03-08 09:57:57 +01:00
private calcTurn() {
2018-03-08 09:57:57 +01:00
// ターン計算
if (this.canPutSomewhere(!this.prevColor)) {
2018-03-12 19:22:40 +01:00
this.turn = !this.prevColor;
} else if (this.canPutSomewhere(this.prevColor)) {
2018-03-12 19:22:40 +01:00
this.turn = this.prevColor;
2018-03-08 09:57:57 +01:00
} else {
this.turn = null;
}
}
2018-03-15 06:09:38 +01:00
public undo() {
const undo = this.logs.pop();
this.prevColor = undo.color;
this.prevPos = undo.pos;
2018-03-12 19:22:40 +01:00
this.board[undo.pos] = null;
for (const pos of undo.effects) {
const color = this.board[pos];
2018-03-12 19:22:40 +01:00
this.board[pos] = !color;
}
2018-03-12 19:22:40 +01:00
this.turn = undo.turn;
2018-03-08 09:57:57 +01:00
}
/**
*
* @param pos
*/
public mapDataGet(pos: number): MapPixel {
2018-03-11 13:48:16 +01:00
const [x, y] = this.transformPosToXy(pos);
if (x < 0 || y < 0 || x >= this.mapWidth || y >= this.mapHeight) return 'null';
2018-03-09 10:11:10 +01:00
return this.map[pos];
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public puttablePlaces(color: Color): number[] {
2018-09-01 15:09:54 +02:00
return Array.from(this.board.keys()).filter(i => this.canPut(color, i));
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public canPutSomewhere(color: Color): boolean {
return this.puttablePlaces(color).length > 0;
}
2018-03-08 09:57:57 +01:00
/**
2018-03-10 10:22:54 +01:00
*
2018-03-08 09:57:57 +01:00
* @param color
* @param pos
*/
public canPut(color: Color, pos: number): boolean {
// 既に石が置いてある場所には打てない
2018-03-12 19:22:40 +01:00
if (this.board[pos] !== null) return false;
2018-03-10 10:22:54 +01:00
if (this.opts.canPutEverywhere) {
// 挟んでなくても置けるモード
return this.mapDataGet(pos) == 'empty';
} else {
// 相手の石を1つでも反転させられるか
return this.effects(color, pos).length !== 0;
}
2018-03-08 09:57:57 +01:00
}
/**
*
* @param color
2018-09-06 13:06:16 +02:00
* @param initPos
2018-03-08 09:57:57 +01:00
*/
2018-09-06 13:06:16 +02:00
public effects(color: Color, initPos: number): number[] {
const enemyColor = !color;
2018-03-10 13:23:00 +01:00
2018-09-06 13:06:16 +02:00
const diffVectors: [number, number][] = [
[ 0, -1], // 上
[ +1, -1], // 右上
[ +1, 0], // 右
[ +1, +1], // 右下
[ 0, +1], // 下
[ -1, +1], // 左下
[ -1, 0], // 左
[ -1, -1] // 左上
];
const effectsInLine = ([dx, dy]: [number, number]): number[] => {
const nextPos = (x: number, y: number): [number, number] => [x + dx, y + dy];
const found: number[] = []; // 挟めるかもしれない相手の石を入れておく配列
let [x, y] = this.transformPosToXy(initPos);
2018-03-08 09:57:57 +01:00
while (true) {
2018-09-06 17:03:44 +02:00
[x, y] = nextPos(x, y);
2018-03-10 13:23:00 +01:00
// 座標が指し示す位置がボード外に出たとき
if (this.opts.loopedBoard) {
2018-09-06 13:06:16 +02:00
x = ((x % this.mapWidth) + this.mapWidth) % this.mapWidth;
y = ((y % this.mapHeight) + this.mapHeight) % this.mapHeight;
2018-03-10 13:23:00 +01:00
2018-03-10 14:23:14 +01:00
if (this.transformXyToPos(x, y) == initPos) {
2018-09-06 13:06:16 +02:00
// 盤面の境界でループし、自分が石を置く位置に戻ってきたとき、挟めるようにしている (ref: Test4のマップ)
return found;
2018-03-10 14:23:14 +01:00
}
2018-03-10 13:23:00 +01:00
} else {
2018-09-06 13:06:16 +02:00
if (x == -1 || y == -1 || x == this.mapWidth || y == this.mapHeight) {
return []; // 挟めないことが確定 (盤面外に到達)
}
2018-03-10 13:23:00 +01:00
}
2018-03-08 09:57:57 +01:00
const pos = this.transformXyToPos(x, y);
2018-09-06 13:06:16 +02:00
if (this.mapDataGet(pos) === 'null') return []; // 挟めないことが確定 (配置不可能なマスに到達)
2018-03-12 19:22:40 +01:00
const stone = this.board[pos];
2018-09-06 13:06:16 +02:00
if (stone === null) return []; // 挟めないことが確定 (石が置かれていないマスに到達)
if (stone === enemyColor) found.push(pos); // 挟めるかもしれない (相手の石を発見)
if (stone === color) return found; // 挟めることが確定 (対となる自分の石を発見)
2018-03-08 09:57:57 +01:00
}
};
2018-09-06 14:31:15 +02:00
return concat(diffVectors.map(effectsInLine));
2018-03-08 09:57:57 +01:00
}
/**
*
*/
public get isEnded(): boolean {
return this.turn === null;
}
/**
* (null = )
*/
public get winner(): Color {
if (!this.isEnded) return undefined;
if (this.blackCount == this.whiteCount) return null;
if (this.opts.isLlotheo) {
return this.blackCount > this.whiteCount ? WHITE : BLACK;
2018-03-08 09:57:57 +01:00
} else {
return this.blackCount > this.whiteCount ? BLACK : WHITE;
2018-03-08 09:57:57 +01:00
}
}
}