zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 16:05:44 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
puzzles/pattern.c
Ben Harris 789e11f8f8 Remove various unused game functions 
If can_configure is false, then the game's configure() and
custom_params() functions will never be called.  If can_solve is false,
solve() will never be called.  If can_format_as_text_ever is false,
can_format_as_text_now() and text_format() will never be called.  If
can_print is false, print_size() and print() will never be called.  If
is_timed is false, timing_state() will never be called.

In each case, almost all puzzles provided a function nonetheless.  I
think this is because in Puzzles' early history there was no "game"
structure, so the functions had to be present for linking to work.  But
now that everything indirects through the "game" structure, unused
functions can be left unimplemented and the corresponding pointers set
to NULL.

So now where the flags mentioned above are false, the corresponding
functions are omitted and the function pointers in the "game" structures
are NULL.
2023-01-31 23:25:05 +00:00

2355 lines
68 KiB
C
Raw Blame History

/*
* pattern.c: the pattern-reconstruction game known as `nonograms'.
*/
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <ctype.h>
#include <limits.h>
#include <math.h>
#include "puzzles.h"
enum {
COL_BACKGROUND,
COL_EMPTY,
COL_FULL,
COL_TEXT,
COL_UNKNOWN,
COL_GRID,
COL_CURSOR,
COL_ERROR,
COL_CURSOR_GUIDE,
NCOLOURS
};
#define PREFERRED_TILE_SIZE 24
#define TILE_SIZE (ds->tilesize)
#define BORDER (3 * TILE_SIZE / 4)
#define TLBORDER(d) ( (d) / 5 + 2 )
#define GUTTER (TILE_SIZE / 2)
#define FROMCOORD(d, x) \
( ((x) - (BORDER + GUTTER + TILE_SIZE * TLBORDER(d))) / TILE_SIZE )
#define SIZE(d) (2*BORDER + GUTTER + TILE_SIZE * (TLBORDER(d) + (d)))
#define GETTILESIZE(d, w) ((double)w / (2.0 + (double)TLBORDER(d) + (double)(d)))
#define TOCOORD(d, x) (BORDER + GUTTER + TILE_SIZE * (TLBORDER(d) + (x)))
struct game_params {
int w, h;
};
#define GRID_UNKNOWN 2
#define GRID_FULL 1
#define GRID_EMPTY 0
typedef struct game_state_common {
/* Parts of the game state that don't change during play. */
int w, h;
int rowsize;
int *rowdata, *rowlen;
bool *immutable;
int refcount;
enum { FS_SMALL, FS_LARGE } fontsize;
} game_state_common;
struct game_state {
game_state_common *common;
unsigned char *grid;
bool completed, cheated;
};
#define FLASH_TIME 0.13F
static game_params *default_params(void)
{
game_params *ret = snew(game_params);
ret->w = ret->h = 15;
return ret;
}
static const struct game_params pattern_presets[] = {
{10, 10},
{15, 15},
{20, 20},
#ifndef SLOW_SYSTEM
{25, 25},
{30, 30},
#endif
};
static bool game_fetch_preset(int i, char **name, game_params **params)
{
game_params *ret;
char str[80];
if (i < 0 || i >= lenof(pattern_presets))
return false;
ret = snew(game_params);
*ret = pattern_presets[i];
sprintf(str, "%dx%d", ret->w, ret->h);
*name = dupstr(str);
*params = ret;
return true;
}
static void free_params(game_params *params)
{
sfree(params);
}
static game_params *dup_params(const game_params *params)
{
game_params *ret = snew(game_params);
*ret = *params; /* structure copy */
return ret;
}
static void decode_params(game_params *ret, char const *string)
{
char const *p = string;
ret->w = atoi(p);
while (*p && isdigit((unsigned char)*p)) p++;
if (*p == 'x') {
p++;
ret->h = atoi(p);
while (*p && isdigit((unsigned char)*p)) p++;
} else {
ret->h = ret->w;
}
}
static char *encode_params(const game_params *params, bool full)
{
char ret[400];
int len;
len = sprintf(ret, "%dx%d", params->w, params->h);
assert(len < lenof(ret));
ret[len] = '\0';
return dupstr(ret);
}
static config_item *game_configure(const game_params *params)
{
config_item *ret;
char buf[80];
ret = snewn(3, config_item);
ret[0].name = "Width";
ret[0].type = C_STRING;
sprintf(buf, "%d", params->w);
ret[0].u.string.sval = dupstr(buf);
ret[1].name = "Height";
ret[1].type = C_STRING;
sprintf(buf, "%d", params->h);
ret[1].u.string.sval = dupstr(buf);
ret[2].name = NULL;
ret[2].type = C_END;
return ret;
}
static game_params *custom_params(const config_item *cfg)
{
game_params *ret = snew(game_params);
ret->w = atoi(cfg[0].u.string.sval);
ret->h = atoi(cfg[1].u.string.sval);
return ret;
}
static const char *validate_params(const game_params *params, bool full)
{
if (params->w <= 0 || params->h <= 0)
return "Width and height must both be greater than zero";
if (params->w > INT_MAX - 1 || params->h > INT_MAX - 1 ||
params->w > INT_MAX / params->h)
return "Puzzle must not be unreasonably large";
return NULL;
}
/* ----------------------------------------------------------------------
* Puzzle generation code.
*
* For this particular puzzle, it seemed important to me to ensure
* a unique solution. I do this the brute-force way, by having a
* solver algorithm alongside the generator, and repeatedly
* generating a random grid until I find one whose solution is
* unique. It turns out that this isn't too onerous on a modern PC
* provided you keep grid size below around 30. Any offers of
* better algorithms, however, will be very gratefully received.
*
* Another annoyance of this approach is that it limits the
* available puzzles to those solvable by the algorithm I've used.
* My algorithm only ever considers a single row or column at any
* one time, which means it's incapable of solving the following
* difficult example (found by Bella Image around 1995/6, when she
* and I were both doing maths degrees):
*
* 2 1 2 1
*
* +--+--+--+--+
* 1 1 | | | | |
* +--+--+--+--+
* 2 | | | | |
* +--+--+--+--+
* 1 | | | | |
* +--+--+--+--+
* 1 | | | | |
* +--+--+--+--+
*
* Obviously this cannot be solved by a one-row-or-column-at-a-time
* algorithm (it would require at least one row or column reading
* `2 1', `1 2', `3' or `4' to get started). However, it can be
* proved to have a unique solution: if the top left square were
* empty, then the only option for the top row would be to fill the
* two squares in the 1 columns, which would imply the squares
* below those were empty, leaving no place for the 2 in the second
* row. Contradiction. Hence the top left square is full, and the
* unique solution follows easily from that starting point.
*
* (The game ID for this puzzle is 4x4:2/1/2/1/1.1/2/1/1 , in case
* it's useful to anyone.)
*/
#ifndef STANDALONE_PICTURE_GENERATOR
static int float_compare(const void *av, const void *bv)
{
const float *a = (const float *)av;
const float *b = (const float *)bv;
if (*a < *b)
return -1;
else if (*a > *b)
return +1;
else
return 0;
}
static void generate(random_state *rs, int w, int h, unsigned char *retgrid)
{
float *fgrid;
float *fgrid2;
int step, i, j;
float threshold;
fgrid = snewn(w*h, float);
for (i = 0; i < h; i++) {
for (j = 0; j < w; j++) {
fgrid[i*w+j] = random_upto(rs, 100000000UL) / 100000000.F;
}
}
/*
* The above gives a completely random splattering of black and
* white cells. We want to gently bias this in favour of _some_
* reasonably thick areas of white and black, while retaining
* some randomness and fine detail.
*
* So we evolve the starting grid using a cellular automaton.
* Currently, I'm doing something very simple indeed, which is
* to set each square to the average of the surrounding nine
* cells (or the average of fewer, if we're on a corner).
*/
for (step = 0; step < 1; step++) {
fgrid2 = snewn(w*h, float);
for (i = 0; i < h; i++) {
for (j = 0; j < w; j++) {
float sx, xbar;
int n, p, q;
/*
* Compute the average of the surrounding cells.
*/
n = 0;
sx = 0.F;
for (p = -1; p <= +1; p++) {
for (q = -1; q <= +1; q++) {
if (i+p < 0 || i+p >= h || j+q < 0 || j+q >= w)
continue;
/*
* An additional special case not mentioned
* above: if a grid dimension is 2xn then
* we do not average across that dimension
* at all. Otherwise a 2x2 grid would
* contain four identical squares.
*/
if ((h==2 && p!=0) || (w==2 && q!=0))
continue;
n++;
sx += fgrid[(i+p)*w+(j+q)];
}
}
xbar = sx / n;
fgrid2[i*w+j] = xbar;
}
}
sfree(fgrid);
fgrid = fgrid2;
}
fgrid2 = snewn(w*h, float);
memcpy(fgrid2, fgrid, w*h*sizeof(float));
qsort(fgrid2, w*h, sizeof(float), float_compare);
/* Choose a threshold that makes half the pixels black. In case of
* an odd number of pixels, select randomly between just under and
* just over half. */
{
int index = w * h / 2;
if (w & h & 1)
index += random_upto(rs, 2);
if (index < w*h)
threshold = fgrid2[index];
else
threshold = fgrid2[w*h-1] + 1;
}
sfree(fgrid2);
for (i = 0; i < h; i++) {
for (j = 0; j < w; j++) {
retgrid[i*w+j] = (fgrid[i*w+j] >= threshold ? GRID_FULL :
GRID_EMPTY);
}
}
sfree(fgrid);
}
#endif
static int compute_rowdata(int *ret, unsigned char *start, int len, int step)
{
int i, n;
n = 0;
for (i = 0; i < len; i++) {
if (start[i*step] == GRID_FULL) {
int runlen = 1;
while (i+runlen < len && start[(i+runlen)*step] == GRID_FULL)
runlen++;
ret[n++] = runlen;
i += runlen;
}
if (i < len && start[i*step] == GRID_UNKNOWN)
return -1;
}
return n;
}
#define UNKNOWN 0
#define BLOCK 1
#define DOT 2
#define STILL_UNKNOWN 3
#ifdef STANDALONE_SOLVER
bool verbose = false;
#endif
static bool do_recurse(unsigned char *known, unsigned char *deduced,
unsigned char *row,
unsigned char *minpos_done, unsigned char *maxpos_done,
unsigned char *minpos_ok, unsigned char *maxpos_ok,
int *data, int len,
int freespace, int ndone, int lowest)
{
int i, j, k;
/* This algorithm basically tries all possible ways the given rows of
* black blocks can be laid out in the row/column being examined.
* Special care is taken to avoid checking the tail of a row/column
* if the same conditions have already been checked during this recursion
* The algorithm also takes care to cut its losses as soon as an
* invalid (partial) solution is detected.
*/
if (data[ndone]) {
if (lowest >= minpos_done[ndone] && lowest <= maxpos_done[ndone]) {
if (lowest >= minpos_ok[ndone] && lowest <= maxpos_ok[ndone]) {
for (i=0; i<lowest; i++)
deduced[i] |= row[i];
}
return lowest >= minpos_ok[ndone] && lowest <= maxpos_ok[ndone];
} else {
if (lowest < minpos_done[ndone]) minpos_done[ndone] = lowest;
if (lowest > maxpos_done[ndone]) maxpos_done[ndone] = lowest;
}
for (i=0; i<=freespace; i++) {
j = lowest;
for (k=0; k<i; k++) {
if (known[j] == BLOCK) goto next_iter;
row[j++] = DOT;
}
for (k=0; k<data[ndone]; k++) {
if (known[j] == DOT) goto next_iter;
row[j++] = BLOCK;
}
if (j < len) {
if (known[j] == BLOCK) goto next_iter;
row[j++] = DOT;
}
if (do_recurse(known, deduced, row, minpos_done, maxpos_done,
minpos_ok, maxpos_ok, data, len, freespace-i, ndone+1, j)) {
if (lowest < minpos_ok[ndone]) minpos_ok[ndone] = lowest;
if (lowest + i > maxpos_ok[ndone]) maxpos_ok[ndone] = lowest + i;
if (lowest + i > maxpos_done[ndone]) maxpos_done[ndone] = lowest + i;
}
next_iter:
j++;
}
return lowest >= minpos_ok[ndone] && lowest <= maxpos_ok[ndone];
} else {
for (i=lowest; i<len; i++) {
if (known[i] == BLOCK) return false;
row[i] = DOT;
}
for (i=0; i<len; i++)
deduced[i] |= row[i];
return true;
}
}
static bool do_row(unsigned char *known, unsigned char *deduced,
unsigned char *row,
unsigned char *minpos_done, unsigned char *maxpos_done,
unsigned char *minpos_ok, unsigned char *maxpos_ok,
unsigned char *start, int len, int step, int *data,
unsigned int *changed
#ifdef STANDALONE_SOLVER
, const char *rowcol, int index, int cluewid
#endif
)
{
int rowlen, i, freespace;
bool done_any;
assert(len >= 0); /* avoid compile warnings about the memsets below */
freespace = len+1;
for (rowlen = 0; data[rowlen]; rowlen++) {
minpos_done[rowlen] = minpos_ok[rowlen] = len - 1;
maxpos_done[rowlen] = maxpos_ok[rowlen] = 0;
freespace -= data[rowlen]+1;
}
for (i = 0; i < len; i++) {
known[i] = start[i*step];
deduced[i] = 0;
}
for (i = len - 1; i >= 0 && known[i] == DOT; i--)
freespace--;
if (rowlen == 0) {
memset(deduced, DOT, len);
} else if (rowlen == 1 && data[0] == len) {
memset(deduced, BLOCK, len);
} else {
do_recurse(known, deduced, row, minpos_done, maxpos_done, minpos_ok,
maxpos_ok, data, len, freespace, 0, 0);
}
done_any = false;
for (i=0; i<len; i++)
if (deduced[i] && deduced[i] != STILL_UNKNOWN && !known[i]) {
start[i*step] = deduced[i];
if (changed) changed[i]++;
done_any = true;
}
#ifdef STANDALONE_SOLVER
if (verbose && done_any) {
char buf[80];
int thiscluewid;
printf("%s %2d: [", rowcol, index);
for (thiscluewid = -1, i = 0; data[i]; i++)
thiscluewid += sprintf(buf, " %d", data[i]);
printf("%*s", cluewid - thiscluewid, "");
for (i = 0; data[i]; i++)
printf(" %d", data[i]);
printf(" ] ");
for (i = 0; i < len; i++)
putchar(known[i] == BLOCK ? '#' :
known[i] == DOT ? '.' : '?');
printf(" -> ");
for (i = 0; i < len; i++)
putchar(start[i*step] == BLOCK ? '#' :
start[i*step] == DOT ? '.' : '?');
putchar('\n');
}
#endif
return done_any;
}
static bool solve_puzzle(const game_state *state, unsigned char *grid,
int w, int h,
unsigned char *matrix, unsigned char *workspace,
unsigned int *changed_h, unsigned int *changed_w,
int *rowdata
#ifdef STANDALONE_SOLVER
, int cluewid
#else
, int dummy
#endif
)
{
int i, j, max;
bool ok;
int max_h, max_w;
assert((state!=NULL && state->common->rowdata!=NULL) ^ (grid!=NULL));
max = max(w, h);
memset(matrix, 0, w*h);
if (state) {
for (i=0; i<w*h; i++) {
if (state->common->immutable[i])
matrix[i] = state->grid[i];
}
}
/* For each column, compute how many squares can be deduced
* from just the row-data and initial clues.
* Later, changed_* will hold how many squares were changed
* in every row/column in the previous iteration
* Changed_* is used to choose the next rows / cols to re-examine
*/
for (i=0; i<h; i++) {
int freespace, rowlen;
if (state && state->common->rowdata) {
memcpy(rowdata, state->common->rowdata + state->common->rowsize*(w+i), max*sizeof(int));
rowlen = state->common->rowlen[w+i];
} else {
rowlen = compute_rowdata(rowdata, grid+i*w, w, 1);
}
rowdata[rowlen] = 0;
if (rowlen == 0) {
changed_h[i] = w;
} else {
for (j=0, freespace=w+1; rowdata[j]; j++)
freespace -= rowdata[j] + 1;
for (j=0, changed_h[i]=0; rowdata[j]; j++)
if (rowdata[j] > freespace)
changed_h[i] += rowdata[j] - freespace;
}
for (j = 0; j < w; j++)
if (matrix[i*w+j])
changed_h[i]++;
}
for (i=0,max_h=0; i<h; i++)
if (changed_h[i] > max_h)
max_h = changed_h[i];
for (i=0; i<w; i++) {
int freespace, rowlen;
if (state && state->common->rowdata) {
memcpy(rowdata, state->common->rowdata + state->common->rowsize*i, max*sizeof(int));
rowlen = state->common->rowlen[i];
} else {
rowlen = compute_rowdata(rowdata, grid+i, h, w);
}
rowdata[rowlen] = 0;
if (rowlen == 0) {
changed_w[i] = h;
} else {
for (j=0, freespace=h+1; rowdata[j]; j++)
freespace -= rowdata[j] + 1;
for (j=0, changed_w[i]=0; rowdata[j]; j++)
if (rowdata[j] > freespace)
changed_w[i] += rowdata[j] - freespace;
}
for (j = 0; j < h; j++)
if (matrix[j*w+i])
changed_w[i]++;
}
for (i=0,max_w=0; i<w; i++)
if (changed_w[i] > max_w)
max_w = changed_w[i];
/* Solve the puzzle.
* Process rows/columns individually. Deductions involving more than one
* row and/or column at a time are not supported.
* Take care to only process rows/columns which have been changed since they
* were previously processed.
* Also, prioritize rows/columns which have had the most changes since their
* previous processing, as they promise the greatest benefit.
* Extremely rectangular grids (e.g. 10x20, 15x40, etc.) are not treated specially.
*/
do {
for (; max_h && max_h >= max_w; max_h--) {
for (i=0; i<h; i++) {
if (changed_h[i] >= max_h) {
if (state && state->common->rowdata) {
memcpy(rowdata, state->common->rowdata + state->common->rowsize*(w+i), max*sizeof(int));
rowdata[state->common->rowlen[w+i]] = 0;
} else {
rowdata[compute_rowdata(rowdata, grid+i*w, w, 1)] = 0;
}
do_row(workspace, workspace+max, workspace+2*max,
workspace+3*max, workspace+4*max,
workspace+5*max, workspace+6*max,
matrix+i*w, w, 1, rowdata, changed_w
#ifdef STANDALONE_SOLVER
, "row", i+1, cluewid
#endif
);
changed_h[i] = 0;
}
}
for (i=0,max_w=0; i<w; i++)
if (changed_w[i] > max_w)
max_w = changed_w[i];
}
for (; max_w && max_w >= max_h; max_w--) {
for (i=0; i<w; i++) {
if (changed_w[i] >= max_w) {
if (state && state->common->rowdata) {
memcpy(rowdata, state->common->rowdata + state->common->rowsize*i, max*sizeof(int));
rowdata[state->common->rowlen[i]] = 0;
} else {
rowdata[compute_rowdata(rowdata, grid+i, h, w)] = 0;
}
do_row(workspace, workspace+max, workspace+2*max,
workspace+3*max, workspace+4*max,
workspace+5*max, workspace+6*max,
matrix+i, h, w, rowdata, changed_h
#ifdef STANDALONE_SOLVER
, "col", i+1, cluewid
#endif
);
changed_w[i] = 0;
}
}
for (i=0,max_h=0; i<h; i++)
if (changed_h[i] > max_h)
max_h = changed_h[i];
}
} while (max_h>0 || max_w>0);
ok = true;
for (i=0; i<h; i++) {
for (j=0; j<w; j++) {
if (matrix[i*w+j] == UNKNOWN)
ok = false;
}
}
return ok;
}
#ifndef STANDALONE_PICTURE_GENERATOR
static unsigned char *generate_soluble(random_state *rs, int w, int h)
{
int i, j, ntries, max;
bool ok;
unsigned char *grid, *matrix, *workspace;
unsigned int *changed_h, *changed_w;
int *rowdata;
max = max(w, h);
grid = snewn(w*h, unsigned char);
/* Allocate this here, to avoid having to reallocate it again for every geneerated grid */
matrix = snewn(w*h, unsigned char);
workspace = snewn(max*7, unsigned char);
changed_h = snewn(max+1, unsigned int);
changed_w = snewn(max+1, unsigned int);
rowdata = snewn(max+1, int);
ntries = 0;
do {
ntries++;
generate(rs, w, h, grid);
/*
* The game is a bit too easy if any row or column is
* completely black or completely white. An exception is
* made for rows/columns that are under 3 squares,
* otherwise nothing will ever be successfully generated.
*/
ok = true;
if (w > 2) {
for (i = 0; i < h; i++) {
int colours = 0;
for (j = 0; j < w; j++)
colours |= (grid[i*w+j] == GRID_FULL ? 2 : 1);
if (colours != 3)
ok = false;
}
}
if (h > 2) {
for (j = 0; j < w; j++) {
int colours = 0;
for (i = 0; i < h; i++)
colours |= (grid[i*w+j] == GRID_FULL ? 2 : 1);
if (colours != 3)
ok = false;
}
}
if (!ok)
continue;
ok = solve_puzzle(NULL, grid, w, h, matrix, workspace,
changed_h, changed_w, rowdata, 0);
} while (!ok);
sfree(matrix);
sfree(workspace);
sfree(changed_h);
sfree(changed_w);
sfree(rowdata);
return grid;
}
#endif
#ifdef STANDALONE_PICTURE_GENERATOR
unsigned char *picture;
#endif
static char *new_game_desc(const game_params *params, random_state *rs,
char **aux, bool interactive)
{
unsigned char *grid;
int i, j, max, rowlen, *rowdata;
char intbuf[80], *desc;
int desclen, descpos;
#ifdef STANDALONE_PICTURE_GENERATOR
game_state *state;
int *index;
#endif
max = max(params->w, params->h);
#ifdef STANDALONE_PICTURE_GENERATOR
/*
* Fixed input picture.
*/
grid = snewn(params->w * params->h, unsigned char);
memcpy(grid, picture, params->w * params->h);
/*
* Now winnow the immutable square set as far as possible.
*/
state = snew(game_state);
state->grid = grid;
state->common = snew(game_state_common);
state->common->rowdata = NULL;
state->common->immutable = snewn(params->w * params->h, bool);
for (i = 0; i < params->w * params->h; i++)
state->common->immutable[i] = true;
index = snewn(params->w * params->h, int);
for (i = 0; i < params->w * params->h; i++)
index[i] = i;
shuffle(index, params->w * params->h, sizeof(*index), rs);
{
unsigned char *matrix = snewn(params->w*params->h, unsigned char);
unsigned char *workspace = snewn(max*7, unsigned char);
unsigned int *changed_h = snewn(max+1, unsigned int);
unsigned int *changed_w = snewn(max+1, unsigned int);
int *rowdata = snewn(max+1, int);
for (i = 0; i < params->w * params->h; i++) {
state->common->immutable[index[i]] = false;
if (!solve_puzzle(state, grid, params->w, params->h,
matrix, workspace, changed_h, changed_w,
rowdata, 0))
state->common->immutable[index[i]] = true;
}
sfree(workspace);
sfree(changed_h);
sfree(changed_w);
sfree(rowdata);
sfree(matrix);
}
#else
grid = generate_soluble(rs, params->w, params->h);
#endif
rowdata = snewn(max, int);
/*
* Save the solved game in aux.
*/
if (aux) {
char *ai = snewn(params->w * params->h + 2, char);
/*
* String format is exactly the same as a solve move, so we
* can just dupstr this in solve_game().
*/
ai[0] = 'S';
for (i = 0; i < params->w * params->h; i++)
ai[i+1] = grid[i] ? '1' : '0';
ai[params->w * params->h + 1] = '\0';
*aux = ai;
}
/*
* Seed is a slash-separated list of row contents; each row
* contents section is a dot-separated list of integers. Row
* contents are listed in the order (columns left to right,
* then rows top to bottom).
*
* Simplest way to handle memory allocation is to make two
* passes, first computing the seed size and then writing it
* out.
*/
desclen = 0;
for (i = 0; i < params->w + params->h; i++) {
if (i < params->w)
rowlen = compute_rowdata(rowdata, grid+i, params->h, params->w);
else
rowlen = compute_rowdata(rowdata, grid+(i-params->w)*params->w,
params->w, 1);
if (rowlen > 0) {
for (j = 0; j < rowlen; j++) {
desclen += 1 + sprintf(intbuf, "%d", rowdata[j]);
}
} else {
desclen++;
}
}
desc = snewn(desclen, char);
descpos = 0;
for (i = 0; i < params->w + params->h; i++) {
if (i < params->w)
rowlen = compute_rowdata(rowdata, grid+i, params->h, params->w);
else
rowlen = compute_rowdata(rowdata, grid+(i-params->w)*params->w,
params->w, 1);
if (rowlen > 0) {
for (j = 0; j < rowlen; j++) {
int len = sprintf(desc+descpos, "%d", rowdata[j]);
if (j+1 < rowlen)
desc[descpos + len] = '.';
else
desc[descpos + len] = '/';
descpos += len+1;
}
} else {
desc[descpos++] = '/';
}
}
assert(descpos == desclen);
assert(desc[desclen-1] == '/');
desc[desclen-1] = '\0';
#ifdef STANDALONE_PICTURE_GENERATOR
for (i = 0; i < params->w * params->h; i++)
if (state->common->immutable[i])
break;
if (i < params->w * params->h) {
/*
* At least one immutable square, so we need a suffix.
*/
int run;
desc = sresize(desc, desclen + params->w * params->h + 3, char);
desc[descpos-1] = ',';
run = 0;
for (i = 0; i < params->w * params->h; i++) {
if (!state->common->immutable[i]) {
run++;
if (run == 25) {
desc[descpos++] = 'z';
run = 0;
}
} else {
desc[descpos++] = run + (grid[i] == GRID_FULL ? 'A' : 'a');
run = 0;
}
}
if (run > 0)
desc[descpos++] = run + 'a';
desc[descpos] = '\0';
}
sfree(state->common->immutable);
sfree(state->common);
sfree(state);
#endif
sfree(rowdata);
sfree(grid);
return desc;
}
static const char *validate_desc(const game_params *params, const char *desc)
{
int i, n, rowspace;
const char *p;
for (i = 0; i < params->w + params->h; i++) {
if (i < params->w)
rowspace = params->h + 1;
else
rowspace = params->w + 1;
if (*desc && isdigit((unsigned char)*desc)) {
do {
p = desc;
while (*desc && isdigit((unsigned char)*desc)) desc++;
n = atoi(p);
if (n < 0)
return "at least one clue is negative";
if (n > INT_MAX - 1)
return "at least one clue is grossly excessive";
rowspace -= n+1;
if (rowspace < 0) {
if (i < params->w)
return "at least one column contains more numbers than will fit";
else
return "at least one row contains more numbers than will fit";
}
} while (*desc++ == '.');
} else {
desc++; /* expect a slash immediately */
}
if (desc[-1] == '/') {
if (i+1 == params->w + params->h)
return "too many row/column specifications";
} else if (desc[-1] == '\0' || desc[-1] == ',') {
if (i+1 < params->w + params->h)
return "too few row/column specifications";
} else
return "unrecognised character in game specification";
}
if (desc[-1] == ',') {
/*
* Optional extra piece of game description which fills in
* some grid squares as extra clues.
*/
i = 0;
while (i < params->w * params->h) {
int c = (unsigned char)*desc++;
if ((c >= 'a' && c <= 'z') ||
(c >= 'A' && c <= 'Z')) {
int len = tolower(c) - 'a';
i += len;
if (len < 25 && i < params->w*params->h)
i++;
if (i > params->w * params->h) {
return "too much data in clue-squares section";
}
} else if (!c) {
return "too little data in clue-squares section";
} else {
return "unrecognised character in clue-squares section";
}
}
if (*desc) {
return "too much data in clue-squares section";
}
}
return NULL;
}
static game_state *new_game(midend *me, const game_params *params,
const char *desc)
{
int i, j;
const char *p;
game_state *state = snew(game_state);
state->common = snew(game_state_common);
state->common->refcount = 1;
state->common->w = params->w;
state->common->h = params->h;
state->grid = snewn(state->common->w * state->common->h, unsigned char);
memset(state->grid, GRID_UNKNOWN, state->common->w * state->common->h);
state->common->immutable = snewn(state->common->w * state->common->h,
bool);
memset(state->common->immutable, 0,
state->common->w * state->common->h * sizeof(bool));
state->common->rowsize = max(state->common->w, state->common->h);
state->common->rowdata = snewn(state->common->rowsize * (state->common->w + state->common->h), int);
state->common->rowlen = snewn(state->common->w + state->common->h, int);
state->completed = state->cheated = false;
for (i = 0; i < params->w + params->h; i++) {
state->common->rowlen[i] = 0;
if (*desc && isdigit((unsigned char)*desc)) {
do {
p = desc;
while (*desc && isdigit((unsigned char)*desc)) desc++;
state->common->rowdata[state->common->rowsize * i + state->common->rowlen[i]++] =
atoi(p);
} while (*desc++ == '.');
} else {
desc++; /* expect a slash immediately */
}
}
/*
* Choose a font size based on the clues. If any column clue is
* more than one digit, switch to the smaller size.
*/
state->common->fontsize = FS_LARGE;
for (i = 0; i < params->w; i++)
for (j = 0; j < state->common->rowlen[i]; j++)
if (state->common->rowdata[state->common->rowsize * i + j] >= 10)
state->common->fontsize = FS_SMALL;
if (desc[-1] == ',') {
/*
* Optional extra piece of game description which fills in
* some grid squares as extra clues.
*/
i = 0;
while (i < params->w * params->h) {
int c = (unsigned char)*desc++;
bool full = isupper(c);
int len = tolower(c) - 'a';
i += len;
if (len < 25 && i < params->w*params->h) {
state->grid[i] = full ? GRID_FULL : GRID_EMPTY;
state->common->immutable[i] = true;
i++;
}
}
}
return state;
}
static game_state *dup_game(const game_state *state)
{
game_state *ret = snew(game_state);
ret->common = state->common;
ret->common->refcount++;
ret->grid = snewn(ret->common->w * ret->common->h, unsigned char);
memcpy(ret->grid, state->grid, ret->common->w * ret->common->h);
ret->completed = state->completed;
ret->cheated = state->cheated;
return ret;
}
static void free_game(game_state *state)
{
if (--state->common->refcount == 0) {
sfree(state->common->rowdata);
sfree(state->common->rowlen);
sfree(state->common->immutable);
sfree(state->common);
}
sfree(state->grid);
sfree(state);
}
static char *solve_game(const game_state *state, const game_state *currstate,
const char *ai, const char **error)
{
unsigned char *matrix;
int w = state->common->w, h = state->common->h;
int i;
char *ret;
int max;
bool ok;
unsigned char *workspace;
unsigned int *changed_h, *changed_w;
int *rowdata;
/*
* If we already have the solved state in ai, copy it out.
*/
if (ai)
return dupstr(ai);
max = max(w, h);
matrix = snewn(w*h, unsigned char);
workspace = snewn(max*7, unsigned char);
changed_h = snewn(max+1, unsigned int);
changed_w = snewn(max+1, unsigned int);
rowdata = snewn(max+1, int);
ok = solve_puzzle(state, NULL, w, h, matrix, workspace,
changed_h, changed_w, rowdata, 0);
sfree(workspace);
sfree(changed_h);
sfree(changed_w);
sfree(rowdata);
if (!ok) {
sfree(matrix);
*error = "Solving algorithm cannot complete this puzzle";
return NULL;
}
ret = snewn(w*h+2, char);
ret[0] = 'S';
for (i = 0; i < w*h; i++) {
assert(matrix[i] == BLOCK || matrix[i] == DOT);
ret[i+1] = (matrix[i] == BLOCK ? '1' : '0');
}
ret[w*h+1] = '\0';
sfree(matrix);
return ret;
}
static bool game_can_format_as_text_now(const game_params *params)
{
return true;
}
static char *game_text_format(const game_state *state)
{
int w = state->common->w, h = state->common->h, i, j;
int left_gap = 0, top_gap = 0, ch = 2, cw = 1, limit = 1;
int len, topleft, lw, lh, gw, gh; /* {line,grid}_{width,height} */
char *board, *buf;
for (i = 0; i < w; ++i) {
top_gap = max(top_gap, state->common->rowlen[i]);
for (j = 0; j < state->common->rowlen[i]; ++j)
while (state->common->rowdata[i*state->common->rowsize + j] >= limit) {
++cw;
limit *= 10;
}
}
for (i = 0; i < h; ++i) {
int rowlen = 0;
bool predecessors = false;
for (j = 0; j < state->common->rowlen[i+w]; ++j) {
int copy = state->common->rowdata[(i+w)*state->common->rowsize + j];
rowlen += predecessors;
predecessors = true;
do ++rowlen; while (copy /= 10);
}
left_gap = max(left_gap, rowlen);
}
cw = max(cw, 3);
gw = w*cw + 2;
gh = h*ch + 1;
lw = gw + left_gap;
lh = gh + top_gap;
len = lw * lh;
topleft = lw * top_gap + left_gap;
board = snewn(len + 1, char);
sprintf(board, "%*s\n", len - 2, "");
for (i = 0; i < lh; ++i) {
board[lw - 1 + i*lw] = '\n';
if (i < top_gap) continue;
board[lw - 2 + i*lw] = ((i - top_gap) % ch ? '|' : '+');
}
for (i = 0; i < w; ++i) {
for (j = 0; j < state->common->rowlen[i]; ++j) {
int cell = topleft + i*cw + 1 + lw*(j - state->common->rowlen[i]);
int nch = sprintf(board + cell, "%*d", cw - 1,
state->common->rowdata[i*state->common->rowsize + j]);
board[cell + nch] = ' '; /* de-NUL-ify */
}
}
buf = snewn(left_gap, char);
for (i = 0; i < h; ++i) {
char *p = buf, *start = board + top_gap*lw + left_gap + (i*ch+1)*lw;
for (j = 0; j < state->common->rowlen[i+w]; ++j) {
if (p > buf) *p++ = ' ';
p += sprintf(p, "%d", state->common->rowdata[(i+w)*state->common->rowsize + j]);
}
memcpy(start - (p - buf), buf, p - buf);
}
for (i = 0; i < w; ++i) {
for (j = 0; j < h; ++j) {
int cell = topleft + i*cw + j*ch*lw;
int center = cell + cw/2 + (ch/2)*lw;
int dx, dy;
board[cell] = false ? center : '+';
for (dx = 1; dx < cw; ++dx) board[cell + dx] = '-';
for (dy = 1; dy < ch; ++dy) board[cell + dy*lw] = '|';
if (state->grid[i*w+j] == GRID_UNKNOWN) continue;
for (dx = 1; dx < cw; ++dx)
for (dy = 1; dy < ch; ++dy)
board[cell + dx + dy*lw] =
state->grid[i*w+j] == GRID_FULL ? '#' : '.';
}
}
memcpy(board + topleft + h*ch*lw, board + topleft, gw - 1);
sfree(buf);
return board;
}
struct game_ui {
bool dragging;
int drag_start_x;
int drag_start_y;
int drag_end_x;
int drag_end_y;
int drag, release, state;
int cur_x, cur_y;
bool cur_visible;
};
static game_ui *new_ui(const game_state *state)
{
game_ui *ret;
ret = snew(game_ui);
ret->dragging = false;
ret->cur_x = ret->cur_y = 0;
ret->cur_visible = false;
return ret;
}
static void free_ui(game_ui *ui)
{
sfree(ui);
}
static char *encode_ui(const game_ui *ui)
{
return NULL;
}
static void decode_ui(game_ui *ui, const char *encoding)
{
}
static void game_changed_state(game_ui *ui, const game_state *oldstate,
const game_state *newstate)
{
}
static const char *current_key_label(const game_ui *ui,
const game_state *state, int button)
{
if (IS_CURSOR_SELECT(button)) {
if (!ui->cur_visible) return "";
switch (state->grid[ui->cur_y * state->common->w + ui->cur_x]) {
case GRID_UNKNOWN:
return button == CURSOR_SELECT ? "Black" : "White";
case GRID_FULL:
return button == CURSOR_SELECT ? "White" : "Grey";
case GRID_EMPTY:
return button == CURSOR_SELECT ? "Grey" : "Black";
}
}
return "";
}
struct game_drawstate {
bool started;
int w, h;
int tilesize;
unsigned char *visible, *numcolours;
int cur_x, cur_y;
char *strbuf; /* Used for formatting clues. */
};
static char *interpret_move(const game_state *state, game_ui *ui,
const game_drawstate *ds,
int x, int y, int button)
{
bool control = button & MOD_CTRL, shift = button & MOD_SHFT;
button &= ~MOD_MASK;
x = FROMCOORD(state->common->w, x);
y = FROMCOORD(state->common->h, y);
if (x >= 0 && x < state->common->w && y >= 0 && y < state->common->h &&
(button == LEFT_BUTTON || button == RIGHT_BUTTON ||
button == MIDDLE_BUTTON)) {
#ifdef STYLUS_BASED
int currstate = state->grid[y * state->common->w + x];
#endif
ui->dragging = true;
if (button == LEFT_BUTTON) {
ui->drag = LEFT_DRAG;
ui->release = LEFT_RELEASE;
#ifdef STYLUS_BASED
ui->state = (currstate + 2) % 3; /* FULL -> EMPTY -> UNKNOWN */
#else
ui->state = GRID_FULL;
#endif
} else if (button == RIGHT_BUTTON) {
ui->drag = RIGHT_DRAG;
ui->release = RIGHT_RELEASE;
#ifdef STYLUS_BASED
ui->state = (currstate + 1) % 3; /* EMPTY -> FULL -> UNKNOWN */
#else
ui->state = GRID_EMPTY;
#endif
} else /* if (button == MIDDLE_BUTTON) */ {
ui->drag = MIDDLE_DRAG;
ui->release = MIDDLE_RELEASE;
ui->state = GRID_UNKNOWN;
}
ui->drag_start_x = ui->drag_end_x = x;
ui->drag_start_y = ui->drag_end_y = y;
ui->cur_visible = false;
return UI_UPDATE;
}
if (ui->dragging && button == ui->drag) {
/*
* There doesn't seem much point in allowing a rectangle
* drag; people will generally only want to drag a single
* horizontal or vertical line, so we make that easy by
* snapping to it.
*
* Exception: if we're _middle_-button dragging to tag
* things as UNKNOWN, we may well want to trash an entire
* area and start over!
*/
if (ui->state != GRID_UNKNOWN) {
if (abs(x - ui->drag_start_x) > abs(y - ui->drag_start_y))
y = ui->drag_start_y;
else
x = ui->drag_start_x;
}
if (x < 0) x = 0;
if (y < 0) y = 0;
if (x >= state->common->w) x = state->common->w - 1;
if (y >= state->common->h) y = state->common->h - 1;
ui->drag_end_x = x;
ui->drag_end_y = y;
return UI_UPDATE;
}
if (ui->dragging && button == ui->release) {
int x1, x2, y1, y2, xx, yy;
bool move_needed = false;
x1 = min(ui->drag_start_x, ui->drag_end_x);
x2 = max(ui->drag_start_x, ui->drag_end_x);
y1 = min(ui->drag_start_y, ui->drag_end_y);
y2 = max(ui->drag_start_y, ui->drag_end_y);
for (yy = y1; yy <= y2; yy++)
for (xx = x1; xx <= x2; xx++)
if (!state->common->immutable[yy * state->common->w + xx] &&
state->grid[yy * state->common->w + xx] != ui->state)
move_needed = true;
ui->dragging = false;
if (move_needed) {
char buf[80];
sprintf(buf, "%c%d,%d,%d,%d",
(char)(ui->state == GRID_FULL ? 'F' :
ui->state == GRID_EMPTY ? 'E' : 'U'),
x1, y1, x2-x1+1, y2-y1+1);
return dupstr(buf);
} else
return UI_UPDATE;
}
if (IS_CURSOR_MOVE(button)) {
int x = ui->cur_x, y = ui->cur_y, newstate;
char buf[80];
move_cursor(button, &ui->cur_x, &ui->cur_y, state->common->w, state->common->h, false);
ui->cur_visible = true;
if (!control && !shift) return UI_UPDATE;
newstate = control ? shift ? GRID_UNKNOWN : GRID_FULL : GRID_EMPTY;
if (state->grid[y * state->common->w + x] == newstate &&
state->grid[ui->cur_y * state->common->w + ui->cur_x] == newstate)
return UI_UPDATE;
sprintf(buf, "%c%d,%d,%d,%d", control ? shift ? 'U' : 'F' : 'E',
min(x, ui->cur_x), min(y, ui->cur_y),
abs(x - ui->cur_x) + 1, abs(y - ui->cur_y) + 1);
return dupstr(buf);
}
if (IS_CURSOR_SELECT(button)) {
int currstate = state->grid[ui->cur_y * state->common->w + ui->cur_x];
int newstate;
char buf[80];
if (!ui->cur_visible) {
ui->cur_visible = true;
return UI_UPDATE;
}
if (button == CURSOR_SELECT2)
newstate = currstate == GRID_UNKNOWN ? GRID_EMPTY :
currstate == GRID_EMPTY ? GRID_FULL : GRID_UNKNOWN;
else
newstate = currstate == GRID_UNKNOWN ? GRID_FULL :
currstate == GRID_FULL ? GRID_EMPTY : GRID_UNKNOWN;
sprintf(buf, "%c%d,%d,%d,%d",
(char)(newstate == GRID_FULL ? 'F' :
newstate == GRID_EMPTY ? 'E' : 'U'),
ui->cur_x, ui->cur_y, 1, 1);
return dupstr(buf);
}
return NULL;
}
static game_state *execute_move(const game_state *from, const char *move)
{
game_state *ret;
int x1, x2, y1, y2, xx, yy;
int val;
if (move[0] == 'S' &&
strlen(move) == from->common->w * from->common->h + 1) {
int i;
ret = dup_game(from);
for (i = 0; i < ret->common->w * ret->common->h; i++)
ret->grid[i] = (move[i+1] == '1' ? GRID_FULL : GRID_EMPTY);
ret->completed = ret->cheated = true;
return ret;
} else if ((move[0] == 'F' || move[0] == 'E' || move[0] == 'U') &&
sscanf(move+1, "%d,%d,%d,%d", &x1, &y1, &x2, &y2) == 4 &&
x1 >= 0 && x2 >= 0 && x1+x2 <= from->common->w &&
y1 >= 0 && y2 >= 0 && y1+y2 <= from->common->h) {
x2 += x1;
y2 += y1;
val = (move[0] == 'F' ? GRID_FULL :
move[0] == 'E' ? GRID_EMPTY : GRID_UNKNOWN);
ret = dup_game(from);
for (yy = y1; yy < y2; yy++)
for (xx = x1; xx < x2; xx++)
if (!ret->common->immutable[yy * ret->common->w + xx])
ret->grid[yy * ret->common->w + xx] = val;
/*
* An actual change, so check to see if we've completed the
* game.
*/
if (!ret->completed) {
int *rowdata = snewn(ret->common->rowsize, int);
int i, len;
ret->completed = true;
for (i=0; i<ret->common->w; i++) {
len = compute_rowdata(rowdata, ret->grid+i,
ret->common->h, ret->common->w);
if (len != ret->common->rowlen[i] ||
memcmp(ret->common->rowdata+i*ret->common->rowsize,
rowdata, len * sizeof(int))) {
ret->completed = false;
break;
}
}
for (i=0; i<ret->common->h; i++) {
len = compute_rowdata(rowdata, ret->grid+i*ret->common->w,
ret->common->w, 1);
if (len != ret->common->rowlen[i+ret->common->w] ||
memcmp(ret->common->rowdata +
(i+ret->common->w)*ret->common->rowsize,
rowdata, len * sizeof(int))) {
ret->completed = false;
break;
}
}
sfree(rowdata);
}
return ret;
} else
return NULL;
}
/* ----------------------------------------------------------------------
* Error-checking during gameplay.
*/
/*
* The difficulty in error-checking Pattern is to make the error check
* _weak_ enough. The most obvious way would be to check each row and
* column by calling (a modified form of) do_row() to recursively
* analyse the row contents against the clue set and see if the
* GRID_UNKNOWNs could be filled in in any way that would end up
* correct. However, this turns out to be such a strong error check as
* to constitute a spoiler in many situations: you make a typo while
* trying to fill in one row, and not only does the row light up to
* indicate an error, but several columns crossed by the move also
* light up and draw your attention to deductions you hadn't even
* noticed you could make.
*
* So instead I restrict error-checking to 'complete runs' within a
* row, by which I mean contiguous sequences of GRID_FULL bounded at
* both ends by either GRID_EMPTY or the ends of the row. We identify
* all the complete runs in a row, and verify that _those_ are
* consistent with the row's clue list. Sequences of complete runs
* separated by solid GRID_EMPTY are required to match contiguous
* sequences in the clue list, whereas if there's at least one
* GRID_UNKNOWN between any two complete runs then those two need not
* be contiguous in the clue list.
*
* To simplify the edge cases, I pretend that the clue list for the
* row is extended with a 0 at each end, and I also pretend that the
* grid data for the row is extended with a GRID_EMPTY and a
* zero-length run at each end. This permits the contiguity checker to
* handle the fiddly end effects (e.g. if the first contiguous
* sequence of complete runs in the grid matches _something_ in the
* clue list but not at the beginning, this is allowable iff there's a
* GRID_UNKNOWN before the first one) with minimal faff, since the end
* effects just drop out as special cases of the normal inter-run
* handling (in this code the above case is not 'at the end of the
* clue list' at all, but between the implicit initial zero run and
* the first nonzero one).
*
* We must also be a little careful about how we search for a
* contiguous sequence of runs. In the clue list (1 1 2 1 2 3),
* suppose we see a GRID_UNKNOWN and then a length-1 run. We search
* for 1 in the clue list and find it at the very beginning. But now
* suppose we find a length-2 run with no GRID_UNKNOWN before it. We
* can't naively look at the next clue from the 1 we found, because
* that'll be the second 1 and won't match. Instead, we must backtrack
* by observing that the 2 we've just found must be contiguous with
* the 1 we've already seen, so we search for the sequence (1 2) and
* find it starting at the second 1. Now if we see a 3, we must
* rethink again and search for (1 2 3).
*/
struct errcheck_state {
/*
* rowdata and rowlen point at the clue data for this row in the
* game state.
*/
int *rowdata;
int rowlen;
/*
* rowpos indicates the lowest position where it would be valid to
* see our next run length. It might be equal to rowlen,
* indicating that the next run would have to be the terminating 0.
*/
int rowpos;
/*
* ncontig indicates how many runs we've seen in a contiguous
* block. This is taken into account when searching for the next
* run we find, unless ncontig is zeroed out first by encountering
* a GRID_UNKNOWN.
*/
int ncontig;
};
static bool errcheck_found_run(struct errcheck_state *es, int r)
{
/* Macro to handle the pretence that rowdata has a 0 at each end */
#define ROWDATA(k) ((k)<0 || (k)>=es->rowlen ? 0 : es->rowdata[(k)])
/*
* See if we can find this new run length at a position where it
* also matches the last 'ncontig' runs we've seen.
*/
int i, newpos;
for (newpos = es->rowpos; newpos <= es->rowlen; newpos++) {
if (ROWDATA(newpos) != r)
goto notfound;
for (i = 1; i <= es->ncontig; i++)
if (ROWDATA(newpos - i) != ROWDATA(es->rowpos - i))
goto notfound;
es->rowpos = newpos+1;
es->ncontig++;
return true;
notfound:;
}
return false;
#undef ROWDATA
}
static bool check_errors(const game_state *state, int i)
{
int start, step, end, j;
int val, runlen;
struct errcheck_state aes, *es = &aes;
es->rowlen = state->common->rowlen[i];
es->rowdata = state->common->rowdata + state->common->rowsize * i;
/* Pretend that we've already encountered the initial zero run */
es->ncontig = 1;
es->rowpos = 0;
if (i < state->common->w) {
start = i;
step = state->common->w;
end = start + step * state->common->h;
} else {
start = (i - state->common->w) * state->common->w;
step = 1;
end = start + step * state->common->w;
}
runlen = -1;
for (j = start - step; j <= end; j += step) {
if (j < start || j == end)
val = GRID_EMPTY;
else
val = state->grid[j];
if (val == GRID_UNKNOWN) {
runlen = -1;
es->ncontig = 0;
} else if (val == GRID_FULL) {
if (runlen >= 0)
runlen++;
} else if (val == GRID_EMPTY) {
if (runlen > 0) {
if (!errcheck_found_run(es, runlen))
return true; /* error! */
}
runlen = 0;
}
}
/* Signal end-of-row by sending errcheck_found_run the terminating
* zero run, which will be marked as contiguous with the previous
* run if and only if there hasn't been a GRID_UNKNOWN before. */
if (!errcheck_found_run(es, 0))
return true; /* error at the last minute! */
return false; /* no error */
}
/* ----------------------------------------------------------------------
* Drawing routines.
*/
static void game_compute_size(const game_params *params, int tilesize,
int *x, int *y)
{
/* Ick: fake up `ds->tilesize' for macro expansion purposes */
struct { int tilesize; } ads, *ds = &ads;
ads.tilesize = tilesize;
*x = SIZE(params->w);
*y = SIZE(params->h);
}
static void game_set_size(drawing *dr, game_drawstate *ds,
const game_params *params, int tilesize)
{
ds->tilesize = tilesize;
}
static float *game_colours(frontend *fe, int *ncolours)
{
float *ret = snewn(3 * NCOLOURS, float);
int i;
frontend_default_colour(fe, &ret[COL_BACKGROUND * 3]);
for (i = 0; i < 3; i++) {
ret[COL_GRID * 3 + i] = 0.3F;
ret[COL_UNKNOWN * 3 + i] = 0.5F;
ret[COL_TEXT * 3 + i] = 0.0F;
ret[COL_FULL * 3 + i] = 0.0F;
ret[COL_EMPTY * 3 + i] = 1.0F;
ret[COL_CURSOR_GUIDE * 3 + i] = 0.5F;
}
ret[COL_CURSOR * 3 + 0] = 1.0F;
ret[COL_CURSOR * 3 + 1] = 0.25F;
ret[COL_CURSOR * 3 + 2] = 0.25F;
ret[COL_ERROR * 3 + 0] = 1.0F;
ret[COL_ERROR * 3 + 1] = 0.0F;
ret[COL_ERROR * 3 + 2] = 0.0F;
*ncolours = NCOLOURS;
return ret;
}
static game_drawstate *game_new_drawstate(drawing *dr, const game_state *state)
{
struct game_drawstate *ds = snew(struct game_drawstate);
ds->started = false;
ds->w = state->common->w;
ds->h = state->common->h;
ds->visible = snewn(ds->w * ds->h, unsigned char);
ds->tilesize = 0; /* not decided yet */
memset(ds->visible, 255, ds->w * ds->h);
ds->numcolours = snewn(ds->w + ds->h, unsigned char);
memset(ds->numcolours, 255, ds->w + ds->h);
ds->cur_x = ds->cur_y = 0;
ds->strbuf = snewn(state->common->rowsize *
MAX_DIGITS(*state->common->rowdata) + 1, char);
return ds;
}
static void game_free_drawstate(drawing *dr, game_drawstate *ds)
{
sfree(ds->visible);
sfree(ds->strbuf);
sfree(ds);
}
static void grid_square(drawing *dr, game_drawstate *ds,
int y, int x, int state, bool cur)
{
int xl, xr, yt, yb, dx, dy, dw, dh;
draw_rect(dr, TOCOORD(ds->w, x), TOCOORD(ds->h, y),
TILE_SIZE, TILE_SIZE, COL_GRID);
xl = (x % 5 == 0 ? 1 : 0);
yt = (y % 5 == 0 ? 1 : 0);
xr = (x % 5 == 4 || x == ds->w-1 ? 1 : 0);
yb = (y % 5 == 4 || y == ds->h-1 ? 1 : 0);
dx = TOCOORD(ds->w, x) + 1 + xl;
dy = TOCOORD(ds->h, y) + 1 + yt;
dw = TILE_SIZE - xl - xr - 1;
dh = TILE_SIZE - yt - yb - 1;
draw_rect(dr, dx, dy, dw, dh,
(state == GRID_FULL ? COL_FULL :
state == GRID_EMPTY ? COL_EMPTY : COL_UNKNOWN));
if (cur) {
draw_rect_outline(dr, dx, dy, dw, dh, COL_CURSOR);
draw_rect_outline(dr, dx+1, dy+1, dw-2, dh-2, COL_CURSOR);
}
draw_update(dr, TOCOORD(ds->w, x), TOCOORD(ds->h, y),
TILE_SIZE, TILE_SIZE);
}
/*
* Draw the numbers for a single row or column.
*/
static void draw_numbers(
drawing *dr, game_drawstate *ds, const game_state *state,
int i, bool erase, int colour)
{
int rowlen = state->common->rowlen[i];
int *rowdata = state->common->rowdata + state->common->rowsize * i;
int nfit;
int j;
int rx, ry, rw, rh;
int fontsize;
if (i < state->common->w) {
rx = TOCOORD(state->common->w, i);
ry = 0;
rw = TILE_SIZE;
rh = BORDER + TLBORDER(state->common->h) * TILE_SIZE;
} else {
rx = 0;
ry = TOCOORD(state->common->h, i - state->common->w);
rw = BORDER + TLBORDER(state->common->w) * TILE_SIZE;
rh = TILE_SIZE;
}
clip(dr, rx, ry, rw, rh);
if (erase)
draw_rect(dr, rx, ry, rw, rh, COL_BACKGROUND);
/*
* Choose a font size that's suitable for the lengths of clue.
* Only column clues are interesting because row clues can be
* spaced out independent of the tile size. For column clues, we
* want to go as large as practical while leaving decent space
* between horizintally adjacent clues. We currently distinguish
* two cases: FS_LARGE is when all column clues are single digits,
* and FS_SMALL in all other cases.
*
* If we assume that a digit is about 0.6em wide, and we want
* about that space between clues, then FS_SMALL should be
* TILESIZE/1.2. If we also assume that clues are at most two
* digits long then the case where adjacent clues are two digits
* long requries FS_LARGE to be TILESIZE/1.8.
*/
fontsize = (TILE_SIZE + 0.5F) /
(state->common->fontsize == FS_LARGE ? 1.2F : 1.8F);
/*
* Normally I space the numbers out by the same distance as the
* tile size. However, if there are more numbers than available
* spaces, I have to squash them up a bit.
*/
if (i < state->common->w)
nfit = TLBORDER(state->common->h);
else
nfit = TLBORDER(state->common->w);
nfit = max(rowlen, nfit) - 1;
assert(nfit > 0);
if (i < state->common->w) {
for (j = 0; j < rowlen; j++) {
int x, y;
char str[MAX_DIGITS(*rowdata) + 1];
x = rx;
y = BORDER + TILE_SIZE * (TLBORDER(state->common->h)-1);
y -= ((rowlen-j-1)*TILE_SIZE) * (TLBORDER(state->common->h)-1) / nfit;
sprintf(str, "%d", rowdata[j]);
draw_text(dr, x+TILE_SIZE/2, y+TILE_SIZE/2, FONT_VARIABLE,
fontsize, ALIGN_HCENTRE | ALIGN_VCENTRE, colour, str);
}
} else {
int x, y;
size_t off = 0;
assert(rowlen <= state->common->rowsize);
*ds->strbuf = '\0';
for (j = 0; j < rowlen; j++)
off += sprintf(ds->strbuf + off, "%s%d", j ? " " : "", rowdata[j]);
y = ry;
x = BORDER + TILE_SIZE * (TLBORDER(state->common->w)-1);
draw_text(dr, x+TILE_SIZE, y+TILE_SIZE/2, FONT_VARIABLE,
fontsize, ALIGN_HRIGHT | ALIGN_VCENTRE, colour, ds->strbuf);
}
unclip(dr);
draw_update(dr, rx, ry, rw, rh);
}
static void game_redraw(drawing *dr, game_drawstate *ds,
const game_state *oldstate, const game_state *state,
int dir, const game_ui *ui,
float animtime, float flashtime)
{
int i, j;
int x1, x2, y1, y2;
int cx, cy;
bool cmoved;
if (!ds->started) {
/*
* Draw the grid outline.
*/
draw_rect(dr, TOCOORD(ds->w, 0) - 1, TOCOORD(ds->h, 0) - 1,
ds->w * TILE_SIZE + 3, ds->h * TILE_SIZE + 3,
COL_GRID);
ds->started = true;
draw_update(dr, 0, 0, SIZE(ds->w), SIZE(ds->h));
}
if (ui->dragging) {
x1 = min(ui->drag_start_x, ui->drag_end_x);
x2 = max(ui->drag_start_x, ui->drag_end_x);
y1 = min(ui->drag_start_y, ui->drag_end_y);
y2 = max(ui->drag_start_y, ui->drag_end_y);
} else {
x1 = x2 = y1 = y2 = -1; /* placate gcc warnings */
}
if (ui->cur_visible) {
cx = ui->cur_x; cy = ui->cur_y;
} else {
cx = cy = -1;
}
cmoved = (cx != ds->cur_x || cy != ds->cur_y);
/*
* Now draw any grid squares which have changed since last
* redraw.
*/
for (i = 0; i < ds->h; i++) {
for (j = 0; j < ds->w; j++) {
int val;
bool cc = false;
/*
* Work out what state this square should be drawn in,
* taking any current drag operation into account.
*/
if (ui->dragging && x1 <= j && j <= x2 && y1 <= i && i <= y2 &&
!state->common->immutable[i * state->common->w + j])
val = ui->state;
else
val = state->grid[i * state->common->w + j];
if (cmoved) {
/* the cursor has moved; if we were the old or
* the new cursor position we need to redraw. */
if (j == cx && i == cy) cc = true;
if (j == ds->cur_x && i == ds->cur_y) cc = true;
}
/*
* Briefly invert everything twice during a completion
* flash.
*/
if (flashtime > 0 &&
(flashtime <= FLASH_TIME/3 || flashtime >= FLASH_TIME*2/3) &&
val != GRID_UNKNOWN)
val = (GRID_FULL ^ GRID_EMPTY) ^ val;
if (ds->visible[i * ds->w + j] != val || cc) {
grid_square(dr, ds, i, j, val,
(j == cx && i == cy));
ds->visible[i * ds->w + j] = val;
}
}
}
ds->cur_x = cx; ds->cur_y = cy;
/*
* Redraw any numbers which have changed their colour due to error
* indication.
*/
for (i = 0; i < state->common->w + state->common->h; i++) {
int colour = check_errors(state, i) ? COL_ERROR : COL_TEXT;
if (colour == COL_TEXT && ((cx >= 0 && i == cx) || (cy >= 0 && i == cy + ds->w))) {
colour = COL_CURSOR_GUIDE;
}
if (ds->numcolours[i] != colour) {
draw_numbers(dr, ds, state, i, true, colour);
ds->numcolours[i] = colour;
}
}
}
static float game_anim_length(const game_state *oldstate,
const game_state *newstate, int dir, game_ui *ui)
{
return 0.0F;
}
static float game_flash_length(const game_state *oldstate,
const game_state *newstate, int dir, game_ui *ui)
{
if (!oldstate->completed && newstate->completed &&
!oldstate->cheated && !newstate->cheated)
return FLASH_TIME;
return 0.0F;
}
static void game_get_cursor_location(const game_ui *ui,
const game_drawstate *ds,
const game_state *state,
const game_params *params,
int *x, int *y, int *w, int *h)
{
if(ui->cur_visible) {
*x = TOCOORD(ds->w, ui->cur_x);
*y = TOCOORD(ds->h, ui->cur_y);
*w = *h = TILE_SIZE;
}
}
static int game_status(const game_state *state)
{
return state->completed ? +1 : 0;
}
static void game_print_size(const game_params *params, float *x, float *y)
{
int pw, ph;
/*
* I'll use 5mm squares by default.
*/
game_compute_size(params, 500, &pw, &ph);
*x = pw / 100.0F;
*y = ph / 100.0F;
}
static void game_print(drawing *dr, const game_state *state, int tilesize)
{
int w = state->common->w, h = state->common->h;
int ink = print_mono_colour(dr, 0);
int x, y, i;
/* Ick: fake up `ds->tilesize' for macro expansion purposes */
game_drawstate ads, *ds = &ads;
game_set_size(dr, ds, NULL, tilesize);
/*
* Border.
*/
print_line_width(dr, TILE_SIZE / 16);
draw_rect_outline(dr, TOCOORD(w, 0), TOCOORD(h, 0),
w*TILE_SIZE, h*TILE_SIZE, ink);
/*
* Grid.
*/
for (x = 1; x < w; x++) {
print_line_width(dr, TILE_SIZE / (x % 5 ? 128 : 24));
draw_line(dr, TOCOORD(w, x), TOCOORD(h, 0),
TOCOORD(w, x), TOCOORD(h, h), ink);
}
for (y = 1; y < h; y++) {
print_line_width(dr, TILE_SIZE / (y % 5 ? 128 : 24));
draw_line(dr, TOCOORD(w, 0), TOCOORD(h, y),
TOCOORD(w, w), TOCOORD(h, y), ink);
}
/*
* Clues.
*/
for (i = 0; i < state->common->w + state->common->h; i++)
draw_numbers(dr, ds, state, i, false, ink);
/*
* Solution.
*/
print_line_width(dr, TILE_SIZE / 128);
for (y = 0; y < h; y++)
for (x = 0; x < w; x++) {
if (state->grid[y*w+x] == GRID_FULL)
draw_rect(dr, TOCOORD(w, x), TOCOORD(h, y),
TILE_SIZE, TILE_SIZE, ink);
else if (state->grid[y*w+x] == GRID_EMPTY)
draw_circle(dr, TOCOORD(w, x) + TILE_SIZE/2,
TOCOORD(h, y) + TILE_SIZE/2,
TILE_SIZE/12, ink, ink);
}
}
#ifdef COMBINED
#define thegame pattern
#endif
const struct game thegame = {
"Pattern", "games.pattern", "pattern",
default_params,
game_fetch_preset, NULL,
decode_params,
encode_params,
free_params,
dup_params,
true, game_configure, custom_params,
validate_params,
new_game_desc,
validate_desc,
new_game,
dup_game,
free_game,
true, solve_game,
true, game_can_format_as_text_now, game_text_format,
new_ui,
free_ui,
encode_ui,
decode_ui,
NULL, /* game_request_keys */
game_changed_state,
current_key_label,
interpret_move,
execute_move,
PREFERRED_TILE_SIZE, game_compute_size, game_set_size,
game_colours,
game_new_drawstate,
game_free_drawstate,
game_redraw,
game_anim_length,
game_flash_length,
game_get_cursor_location,
game_status,
true, false, game_print_size, game_print,
false, /* wants_statusbar */
false, NULL, /* timing_state */
REQUIRE_RBUTTON, /* flags */
};
#ifdef STANDALONE_SOLVER
int main(int argc, char **argv)
{
game_params *p;
game_state *s;
char *id = NULL, *desc;
const char *err;
while (--argc > 0) {
char *p = *++argv;
if (*p == '-') {
if (!strcmp(p, "-v")) {
verbose = true;
} else {
fprintf(stderr, "%s: unrecognised option `%s'\n", argv[0], p);
return 1;
}
} else {
id = p;
}
}
if (!id) {
fprintf(stderr, "usage: %s <game_id>\n", argv[0]);
return 1;
}
desc = strchr(id, ':');
if (!desc) {
fprintf(stderr, "%s: game id expects a colon in it\n", argv[0]);
return 1;
}
*desc++ = '\0';
p = default_params();
decode_params(p, id);
err = validate_desc(p, desc);
if (err) {
fprintf(stderr, "%s: %s\n", argv[0], err);
return 1;
}
s = new_game(NULL, p, desc);
{
int w = p->w, h = p->h, i, j, max, cluewid = 0;
unsigned char *matrix, *workspace;
unsigned int *changed_h, *changed_w;
int *rowdata;
matrix = snewn(w*h, unsigned char);
max = max(w, h);
workspace = snewn(max*7, unsigned char);
changed_h = snewn(max+1, unsigned int);
changed_w = snewn(max+1, unsigned int);
rowdata = snewn(max+1, int);
if (verbose) {
int thiswid;
/*
* Work out the maximum text width of the clue numbers
* in a row or column, so we can print the solver's
* working in a nicely lined up way.
*/
for (i = 0; i < (w+h); i++) {
char buf[80];
for (thiswid = -1, j = 0; j < s->common->rowlen[i]; j++)
thiswid += sprintf
(buf, " %d",
s->common->rowdata[s->common->rowsize*i+j]);
if (cluewid < thiswid)
cluewid = thiswid;
}
}
solve_puzzle(s, NULL, w, h, matrix, workspace,
changed_h, changed_w, rowdata, cluewid);
for (i = 0; i < h; i++) {
for (j = 0; j < w; j++) {
int c = (matrix[i*w+j] == UNKNOWN ? '?' :
matrix[i*w+j] == BLOCK ? '#' :
matrix[i*w+j] == DOT ? '.' :
'!');
putchar(c);
}
printf("\n");
}
}
return 0;
}
#endif
#ifdef STANDALONE_PICTURE_GENERATOR
/*
* Main program for the standalone picture generator. To use it,
* simply provide it with an XBM-format bitmap file (note XBM, not
* XPM) on standard input, and it will output a game ID in return.
* For example:
*
* $ ./patternpicture < calligraphic-A.xbm
* 15x15:2/4/2/2/2/3/3/3.1/3.1/3.1/11/14/12/6/1/2/2/3/4/5/1.3/2.3/1.3/2.3/1.4/9/1.1.3/2.2.3/5.4/3.2
*
* That looks easy, of course - all the program has done is to count
* up the clue numbers! But in fact, it's done more than that: it's
* also checked that the result is uniquely soluble from just the
* numbers. If it hadn't been, then it would have also left some
* filled squares in the playing area as extra clues.
*
* $ ./patternpicture < cube.xbm
* 15x15:10/2.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.10/1.1.1/1.1.1/1.1.1/2.1/10/10/1.2/1.1.1/1.1.1/1.1.1/10.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.1.1/1.2/10,TNINzzzzGNzw
*
* This enables a reasonably convenient design workflow for coming up
* with pictorial Pattern puzzles which _are_ uniquely soluble without
* those inelegant pre-filled squares. Fire up a bitmap editor (X11
* bitmap(1) is good enough), save a trial .xbm, and then test it by
* running a command along the lines of
*
* $ ./pattern $(./patternpicture < test.xbm)
*
* If the resulting window pops up with some pre-filled squares, then
* that tells you which parts of the image are giving rise to
* ambiguities, so try making tweaks in those areas, try the test
* command again, and see if it helps. Once you have a design for
* which the Pattern starting grid comes out empty, there's your game
* ID.
*/
#include <time.h>
int main(int argc, char **argv)
{
game_params *par;
char *params, *desc;
random_state *rs;
time_t seed = time(NULL);
char buf[4096];
int i;
int x, y;
par = default_params();
if (argc > 1)
decode_params(par, argv[1]); /* get difficulty */
par->w = par->h = -1;
/*
* Now read an XBM file from standard input. This is simple and
* hacky and will do very little error detection, so don't feed
* it bogus data.
*/
picture = NULL;
x = y = 0;
while (fgets(buf, sizeof(buf), stdin)) {
buf[strcspn(buf, "\r\n")] = '\0';
if (!strncmp(buf, "#define", 7)) {
/*
* Lines starting `#define' give the width and height.
*/
char *num = buf + strlen(buf);
char *symend;
while (num > buf && isdigit((unsigned char)num[-1]))
num--;
symend = num;
while (symend > buf && isspace((unsigned char)symend[-1]))
symend--;
if (symend-5 >= buf && !strncmp(symend-5, "width", 5))
par->w = atoi(num);
else if (symend-6 >= buf && !strncmp(symend-6, "height", 6))
par->h = atoi(num);
} else {
/*
* Otherwise, break the string up into words and take
* any word of the form `0x' plus hex digits to be a
* byte.
*/
char *p, *wordstart;
if (!picture) {
if (par->w < 0 || par->h < 0) {
printf("failed to read width and height\n");
return 1;
}
picture = snewn(par->w * par->h, unsigned char);
for (i = 0; i < par->w * par->h; i++)
picture[i] = GRID_UNKNOWN;
}
p = buf;
while (*p) {
while (*p && (*p == ',' || isspace((unsigned char)*p)))
p++;
wordstart = p;
while (*p && !(*p == ',' || *p == '}' ||
isspace((unsigned char)*p)))
p++;
if (*p)
*p++ = '\0';
if (wordstart[0] == '0' &&
(wordstart[1] == 'x' || wordstart[1] == 'X') &&
!wordstart[2 + strspn(wordstart+2,
"0123456789abcdefABCDEF")]) {
unsigned long byte = strtoul(wordstart+2, NULL, 16);
for (i = 0; i < 8; i++) {
int bit = (byte >> i) & 1;
if (y < par->h && x < par->w)
picture[y * par->w + x] =
bit ? GRID_FULL : GRID_EMPTY;
x++;
}
if (x >= par->w) {
x = 0;
y++;
}
}
}
}
}
for (i = 0; i < par->w * par->h; i++)
if (picture[i] == GRID_UNKNOWN) {
fprintf(stderr, "failed to read enough bitmap data\n");
return 1;
}
rs = random_new((void*)&seed, sizeof(time_t));
desc = new_game_desc(par, rs, NULL, false);
params = encode_params(par, false);
printf("%s:%s\n", params, desc);
sfree(desc);
sfree(params);
free_params(par);
random_free(rs);
return 0;
}
#endif
/* vim: set shiftwidth=4 tabstop=8: */
Reference in New Issue View Git Blame Copy Permalink