Each example in this Bongard Problem consists of mini-panels containing the same arrangement of circles (ignoring colouring). Each mini-panel has a single circle highlighted in red, and possibly some circles highlighted in blue. A strict rule for this Bongard Problem could be something like "If a circle is blue in one mini-panel and red in a second mini-panel, then the red circle from the first mini-panel is blue in the second mini-panel." The relation intepretation is that a circle is related to the red circle if and only if it is coloured blue. BP973 is a similar problem.

Adjacent-numbered pages:
BP970 BP971 BP972 BP973 BP974  *  BP976 BP977 BP978 BP979 BP980

convoluted, color, infodense, rules

Jago Collins

To clarify the solution with an example: on the left is an image of a grid where the first row features a square with three dots and a square with nine dots, and the second row features a square with four dots and square with sixteen dots. "Three" and "four" are assigned to the rows; "x" and "x squared" are assigned to the columns.

To word the solution with mathematical jargon, "defines a (simply described) map from the Cartesian product of two sets vs. not so." Another equivalent solution is "columns (alternatively, rows) illustrate a consistent set of one-input operations." It is always possible to imagine the columns as inputs and the rows as operations and vice versa.

Left examples are a generalized version of the analogy grids seen in BP361. Any analogy a : b :: c : d shown in a 2x2 grid will fit on the left of this Problem.

All examples show grids of squares with an image in each square, such that there is some "rule" the images within the grid obey. The "rule" might be about how the images must relate to their neighbors, for example.

There is a trivial way in which any example can be interpreted so that it fits on the left side: imagine each row is assigned the list of all the squares in that row and each column is assigned its number, counting from the left. But each grid has a clear rule that is simpler than this.

See BP979 for use of similar structures but with one square removed from the grid. Examples on the left here with any square removed should fit on the left there.

Adjacent-numbered pages:
BP976 BP977 BP978 BP979 BP980  *  BP982 BP983 BP984 BP985 BP986

stub, convoluted, teach, structure, rules, grid, miniworlds

grid_of_images_with_rule [smaller | same | bigger]
zoom in left (grid_of_operations)

Aaron David Fairbanks

Another way of thinking about the solution is considering whether a light source placed at the center of mass of a given example would illuminate the whole shape.

Every left for this Problem would be will be a left example for both BP367 and BP368.

Adjacent-numbered pages:
BP985 BP986 BP987 BP988 BP989  *  BP991 BP992 BP993 BP994 BP995

convoluted, perfect

fill_shape_seeing_point_center_of_mass_inside [smaller | same | bigger]

Leo Crabbe

Adjacent-numbered pages:
BP1035 BP1036 BP1037 BP1038 BP1039  *  BP1041 BP1042 BP1043 BP1044 BP1045

hard, precise, allsorted, convoluted, notso, handed, leftright, math, challenge, meta (see left/right), miniproblems, assumesfamiliarity, structure, preciseworld, presentationinvariant

boxes_dots_bpimage_clear_set_of_numbers [smaller | same | bigger]

Aaron David Fairbanks

This was an unintended solution for BP1130.

In category theory lingo, left examples are built by repeated horizontal composition and vertical composition. (Making horizontal lines as 0-ary vertical compositions is here forbidden.)

Anything fitting right in BP1130 fits right here.

Adjacent-numbered pages:
BP1124 BP1125 BP1126 BP1127 BP1128  *  BP1130 BP1131 BP1132 BP1133 BP1134

hard, less, convoluted, solved, inductivedefinition

[smaller | same | bigger]

Aaron David Fairbanks

Adjacent-numbered pages:
BP1240 BP1241 BP1242 BP1243 BP1244  *  BP1246 BP1247 BP1248 BP1249 BP1250

hard, precise, convoluted, dual, rotate, boundingbox, hardsort, challenge, proofsrequired

Aaron David Fairbanks