From a9ea89c571ce42ec5b3eeefedc2ef6339c80c8c2 Mon Sep 17 00:00:00 2001 From: simon Date: Sat, 25 Aug 2007 15:50:33 +0000 Subject: [PATCH] Fix an inaccurate comment. git-svn-id: svn://svn.tartarus.org/sgt/puzzles@7702 cda61777-01e9-0310-a592-d414129be87e --- unfinished/divvy.c | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/unfinished/divvy.c b/unfinished/divvy.c index b819cfe..02eaf34 100644 --- a/unfinished/divvy.c +++ b/unfinished/divvy.c @@ -113,14 +113,13 @@ * * When adding a square to an omino, this is precisely the * criterion which tells us that adding the square won't leave a - * hole in the middle of the omino. (There's no explicit - * requirement in the statement of our problem that the ominoes be - * simply connected, but we do know they must be all of equal size - * and so it's clear that we must avoid leaving holes, since a - * hole would necessarily be smaller than the maximum omino size.) + * hole in the middle of the omino. (If it did, then things get + * more complicated; see above.) * * When removing a square from an omino, the _same_ criterion * tells us that removing the square won't disconnect the omino. + * (This only works _because_ we've ensured the omino is simply + * connected.) */ static int addremcommon(int w, int h, int x, int y, int *own, int val) { -- 2.11.0