All examples in this problem are dots inside square outlines.

Similar to BP1122 (the "fractal" version).

Adjacent-numbered pages:
BP813 BP814 BP815 BP816 BP817  *  BP819 BP820 BP821 BP822 BP823

nice, notso, boundingbox, absoluteposition

point_inside_square [smaller | same | bigger]

Leo Crabbe

Right examples are called "derangements".

Adjacent-numbered pages:
BP926 BP927 BP928 BP929 BP930  *  BP932 BP933 BP934 BP935 BP936

handed, leftright, sequence, traditional, left-listable, right-listable

dot_clusters_sequence_horizontal [smaller | same | bigger]

Aaron David Fairbanks

"Image of Bongard Problem with solution X vs. empty image" where X is the phrase in quotes.

See BP959, BP902.

Adjacent-numbered pages:
BP948 BP949 BP950 BP951 BP952  *  BP954 BP955 BP956 BP957 BP958

nice, precise, meta (see left/right), miniproblems, overriddensolution, right-full, right-null, perfect, infinitedetail, experimental, funny

zoom in left (bp953_image) | zoom in right (blank_image)

Leo Crabbe

Loosely speaking, examples on the left are "Bongard Problems that can be self-similar". However, Bongard Problems with images of themselves deeply nested in boxes or rotated/flipped are not here considered "self-similar"; the Bongard Problem must use itself, as-is (allowing downward scaling and allowing infinite detail, ignoring pixelation--see keyword infinitedetail), as a panel.

Bongard Problems fitting left evidently come in three categories: 1) the Bongard Problem could only appear on its own left side, 2) the Bongard Problem could appear on its own right side, or 3) the Bongard Problem could appear on its own left or the right side. See BP987.

Meta Bongard Problems appearing in BP793 that are presentationinvariant necessarily fit left here.

All examples here are in the conventional format, i.e. white background, black vertical dividing line, and examples in boxes on either side. (A more general version of this Bongard Problem might allow many formats of Bongard Problems, sorting an image left if a self-similar version is possible having the same solution and format. This more general version would no longer be tagged presentationinvariant, since sorting would not only depend on solution, but also format.)

It would hint at the solution (keyword help) to only include images of Bongard Problems that, as it stands, are already clearly categorized on one side by themselves. (That is, images of Bongard Problems that belong on one of the two sides of BP793.) It is tricky to come up with images that are categorized by themselves as it stands but that could NOT be recursively included within themselves. EX7967, EX7999, EX7995, and EX6574 are some examples.

See BP987 which narrows down the left-hand side of this BP further based on whether or not the BP could contain itself as a panel on both sides.

Adjacent-numbered pages:
BP949 BP950 BP951 BP952 BP953  *  BP955 BP956 BP957 BP958 BP959

hard, abstract, challenge, meta (see left/right), miniproblems, infinitedetail, presentationinvariant, visualimagination

Leo Crabbe

See also BP957 for the other two evident possibilities.

Adjacent-numbered pages:
BP950 BP951 BP952 BP953 BP954  *  BP956 BP957 BP958 BP959 BP960

abstract, dual, handed, leftright, solved, meta (see left/right), miniproblems, creativeexamples, assumesfamiliarity, structure, experimental

oblong_boxes_bpimage_sorts_both_sides_skewed [smaller | same | bigger]
zoom in left (oblong_boxes_bpimage_sorts_both_sides_left) | zoom in right (oblong_boxes_bpimage_sorts_both_sides_right)

Leo Crabbe

See also BP955 for the other two evident possibilities.

Adjacent-numbered pages:
BP952 BP953 BP954 BP955 BP956  *  BP958 BP959 BP960 BP961 BP962

nice, abstract, solved, meta (see left/right), miniproblems, creativeexamples, assumesfamiliarity, structure, experimental

oblong_panels_bpimage_sorts_both_sides_balanced [smaller | same | bigger]
zoom in left (oblong_panels_bpimage_sorts_both_sides_stay) | zoom in right (oblong_panels_bpimage_sorts_both_sides_swap)

Leo Crabbe

See BP953, BP902.

Adjacent-numbered pages:
BP954 BP955 BP956 BP957 BP958  *  BP960 BP961 BP962 BP963 BP964

less, meta (see left/right), miniproblems, left-finite, right-finite, left-full, right-full, right-null, perfect, infinitedetail, finished, experimental, funny

zoom in left | zoom in right (blank_image)

Aaron David Fairbanks, Leo Crabbe

Some examples are Bongard Problems with this solution.

Adjacent-numbered pages:
BP956 BP957 BP958 BP959 BP960  *  BP962 BP963 BP964 BP965 BP966

nice, precise, dual, handed, leftright, perfect, infinitedetail, both, neither, preciseworld

Aaron David Fairbanks

All examples are Bongard Problems fitting left in BP954.

This is very close to BP927, specialized to Bongard Problems fitting left in BP954. The difference is that a Bongard Problem solution would fit left in BP927 but right here if it can sort images of it on both sides, but it is impossible to make an image of it fractally including itself on a certain side. An example is EX7997.

Meta Bongard Problems appearing in BP793 that are presentationinvariant necessarily fit right here.

Adjacent-numbered pages:
BP982 BP983 BP984 BP985 BP986  *  BP988 BP989 BP990 BP991 BP992

abstract, meta (see left/right), miniproblems, creativeexamples, assumesfamiliarity, structure, presentationinvariant, visualimagination

Leo Crabbe

Right:

All are "all but one are ___"; all but one are black.

All are "every other is ___"; every other is solid polygons.

All are "gradually becoming ___"; gradually becoming thickly outlined.

Left:

All but one are "all but one are ___".

Every other is "every other is ___".

Gradually becoming "gradually becoming ___".

Here is another way of putting it:

Call it "meta" when the whole imitates its parts, and call it "doubly-meta" when the whole imitates its parts with respect to the way it imitates its parts. Left are doubly-meta, while right are just meta.

Here is a more belabored way of putting it:

Call something like "is star-shaped" a "rule". An object can satisfy a rule.

Call something like "all but one are ___" a "rule-parametrized rule". A collection of objects can satisfy a rule-parametrized rule with respect to a particular rule.

On the right: every collection fits the same rule-parametrized rule (with respect to various rules); furthermore the collection of collections fits that same rule-parametrized rule (with respect to some unrelated rule that collections can satisfy).

On the left: The collection of collections fits a rule-parametrized rule with respect to the rule of fitting that rule-parametrized rule (with respect to various rules).

Previously, an unintended solution to this BP was "not all groups share some noticeable property vs. all do." It is hard to come up with examples foiling this alternative solution because the rule-parametrized rule (see explanation above) usually has to do with not all objects in the collection fitting the rule. (See BP568, which is about BP ideas that are always overridden by a simpler solution.) The example EX10108 "all five are 'all five are ___'" was added, foiling the alternative solution.

The right side of this Problem is a subset of BP999^left.

Adjacent-numbered pages:
BP993 BP994 BP995 BP996 BP997  *  BP999 BP1000 BP1001 BP1002 BP1003

"Odd one out with respect to what property is the odd one out" would not fit left: even though this example does seem doubly-meta, it is not doubly-meta in the right way. There is no odd one out with respect to the property of having an odd one out.

Similarly, consider "gradual transition with respect to what the gradual transition is between", etc. Instead of having the form "X 'X __' ", this is more like "X [the __ appearing in 'X __']". Examples like these two could make for a different Bongard Problem.

hard, less, unwordable, challenge, overriddensolution, infodense, contributepairs, funny, rules, miniworlds

zoom in right

Aaron David Fairbanks