Search: all:new
|
|
|
|
|
Sort:
recent
Format:
long
Filter:
(all | no meta | meta)
Mode:
(words | no words)
|
|
|
|
|
|
| |
|
| BP1202 |
| Color of any region is an equal mix of the colors of the overlapping shapes vs. not so. |
|
| |
|
| |
| |
|
|
| |
|
| BP1201 |
| The only triangles are the individual regions and the whole vs. there is some other triangle made of triangles. |
|
| |
|
| |
| |
|
|
| |
|
| BP1200 |
| The whole rectangle can be filled in by successively replacing pairs of adjacent rectangles with one vs. not so. |
|
| |
|
|
|
|
COMMENTS
|
Another wording: "can be repeatedly broken along 'fault lines' to yield individual pieces vs not." |
|
|
REFERENCE
|
Robert Dawson, A forbidden suborder characterization of binarily composable diagrams in double categories, Theory and Applications of Categories, Vol. 1, No. 7, p. 146-145, 1995. |
|
|
CROSSREFS
|
All of the examples fitting left here would fit right in BP1199 except for (1) a single rectangle, (2) two rectangles stacked vertically, or (3) two rectangles side by side horizontally.
All of the examples fitting right in in BP1097 (re-styled) would fit right here (besides a single solid block, but that isn't shown there).
Adjacent-numbered pages:
BP1195 BP1196 BP1197 BP1198 BP1199 * BP1201 BP1202 BP1203 BP1204 BP1205
|
|
|
KEYWORD
|
hard, precise, challenge, proofsrequired, inductivedefinition, left-listable, right-listable
|
|
|
AUTHOR
|
Aaron David Fairbanks
|
| |
|
|
| |
|
| BP1199 |
| The only rectangles are the individual regions and the whole vs. there is some other rectangle made of rectangles. |
|
| |
|
| |
| |
|
|
| |
|
| BP1197 |
| No sequence is repeated twice in a row vs. some sequence is repeated twice in a row. |
|
| |
|
| |
| |
|
|
| |
|
| BP1193 |
| Long, short, short, short vs. short, long, long, short |
|
| |
|
| |
| |
|
|
| |
|
| BP1192 |
| Short, short, long, short, long vs. not. |
|
| |
|
| |
| |
|
|
| |
|
| BP1191 |
| One natural way of matching up the two collections vs. multiple natural ways of matching up the two collections. |
|
| |
|
| |
| |
| |
|
|
|
|
|
|
|
|
