Left examples have the keyword "metameta" on the OEBP.

These are meta Bongard Problems with at least two layers of nesting.

See BP952 for the version that sorts pictures of Bongard Problems (miniproblems) instead of links.

Adjacent-numbered pages:
BP542 BP543 BP544 BP545 BP546  *  BP548 BP549 BP550 BP551 BP552

meta (see left/right), links, keyword, left-self, metameta, metametameta, left-it, feedback

bp [smaller | same | bigger]
zoom in left (metametabp)

Aaron David Fairbanks

Right examples have the keyword "convoluted" on the OEBP.

Images of Bongard Problems with convoluted solutions often admit many alternative solutions of similar complexity. In order for one particular convoluted solution to be the simplest solution, it is often necessary to include a large number of examples. A similar issue appears in infodense Bongard Problems.

When a Bongard Problem is too convoluted, a person might find the intended answer but discount it because it seems too convoluted. A solution to a Bongard Problem is unambiguous when it is the least convoluted option by a large margin.

Related to arbitrary.

See BP374 for simple vs. complicated drawings.

Adjacent-numbered pages:
BP544 BP545 BP546 BP547 BP548  *  BP550 BP551 BP552 BP553 BP554

meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "experimental" on the OEBP.

Right examples have the keyword "traditional" on the OEBP.

Experimental BPs push the boundaries of what makes Bongard Problems Bongard Problems.

Traditional BPs show some simple property of black and white pictures. The OEBP is a place with many wild and absurd Bongard Problems, so it is useful to have an easy way to just find the regular old Bongard Problems.

Adjacent-numbered pages:
BP545 BP546 BP547 BP548 BP549  *  BP551 BP552 BP553 BP554 BP555

subjective, meta (see left/right), links, keyword, left-it

bp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "handed" on the OEBP.

If mirroring any example along the any axis can change its sorting the BP is "handed."

Note that BPs about comparing orientation between multiple things in one example fit on the right side.

See BP871 for the version with pictures of Bongard Problems (miniproblems) instead of links to pages on the OEBP.

The keyword leftright is specifically about flipping over the vertical axis, while the keyword updown is specifically about flipping over the horizontal axis.

Bongard Problems tagged rotate are usually "handed", since any rotation can be created by two reflections. Not necessarily, however, since the reflected step in between might not be sorted on either side by the Bongard Problem.

Adjacent-numbered pages:
BP547 BP548 BP549 BP550 BP551  *  BP553 BP554 BP555 BP556 BP557

meta (see left/right), links, keyword, invariance, wellfounded

visualbp [smaller | same | bigger]
zoom in left (handed_visualbp)

Aaron David Fairbanks

Left examples have the keyword "rotate" on the OEBP.

If rotating an example about the center can change its sorting the BP is a left example here.

Note that BPs about relative rotation comparisons fit on the right side.

See BP872 for the version with pictures of Bongard Problems instead (miniproblems) of links to pages on the OEBP.

Bongard Problems tagged "rotate" are usually handed, since any rotation can be created by two reflections. Not necessarily, however, since the reflected step in between might not be sorted on either side by the Bongard Problem.

Adjacent-numbered pages:
BP548 BP549 BP550 BP551 BP552  *  BP554 BP555 BP556 BP557 BP558

notso, meta (see left/right), links, keyword, invariance, wellfounded

visualbp [smaller | same | bigger]

Aaron David Fairbanks

Left examples have the keyword "size" on the OEBP.

If applying a scaling to the whole of any example can change its sorting the BP fits on the left side here. (For BPs with bounding boxes means scaling an object appearing in a box within the bounding box.)

Note that BPs about relative size comparisons of multiple objects fit on the right side.

Adjacent-numbered pages:
BP549 BP550 BP551 BP552 BP553  *  BP555 BP556 BP557 BP558 BP559

meta (see left/right), links, keyword, invariance, wellfounded

visualbp [smaller | same | bigger]

Aaron David Fairbanks

Left-sorted examples have the keyword "blackwhite" on the OEBP.

Right-sorted examples have the keyword "blackwhiteinvariant" on the OEBP.

All examples are visual Bongard Problems that allow black to touch the bounding box (keyword bordercontent).

Adjacent-numbered pages:
BP551 BP552 BP553 BP554 BP555  *  BP557 BP558 BP559 BP560 BP561

meta (see left/right), links, keyword, invariance, wellfounded

visualbp [smaller | same | bigger]

Leo Crabbe

This prompts thinking about left-self and right-self keywords.

Adjacent-numbered pages:
BP556 BP557 BP558 BP559 BP560  *  BP562 BP563 BP564 BP565 BP566

meta (see left/right), links, left-self, sideless, metameta

linksbp [smaller | same | bigger]
zoom in left (bp_in_own_world)

Aaron David Fairbanks

Left-sorted Problems have the keyword "left-listable" on the OEBP.

All the possible left examples for the BPs on the left side of this problem could be listed in one infinite sequence. Right examples here are Problems for which no such sequence can exist.

This depends on deciding what images should be considered "the same thing", which is subjective and context-dependent.

All examples in this Bongard Problem have an infinite left side (they do not have the keyword left-finite).

The mathematical term for a set that can be organized into an infinite list is a "countably infinite" set, as opposed to an "uncountably infinite" set.

Another related idea is a "recursively enumerable" a.k.a. "semi-decidable" set, which is a set that a computer program could list the members of.

The keyword "left-listable" is meant to be for the more general idea of a countable set, which does not have to do with computer algorithms.

Note that this is not just BP940 (right-listable) flipped.

It seems in practice, Bongard Problems that are left-listable are usually also right-listable because the whole class of relevant examples is listable. A keyword for just plain "listable" may be more useful. Or instead keywords for left- versus right- semidecidability, in the sense of computing. - Aaron David Fairbanks, Jan 10 2023

https://en.wikipedia.org/wiki/Countable_set

See left-finite, which distinguishes between a finite left side and infinite left side.

"Left-listable" BPs are typically precise.

Adjacent-numbered pages:
BP558 BP559 BP560 BP561 BP562  *  BP564 BP565 BP566 BP567 BP568

math, meta (see left/right), links, keyword

bp_infinite_left_examples [smaller | same | bigger]
zoom in right (left_uncountable_bp)

Leo Crabbe

Left examples have the keyword "antihuman" on the OEBP.

Right examples have the keyword "anticomputer" on the OEBP.

Easy abstract Bongard Problems are typically anticomputer Bongard Problems.

See keyword help for Bongard Problems that can be made easier for humans to solve by the selection of helpful examples.

Adjacent-numbered pages:
BP560 BP561 BP562 BP563 BP564  *  BP566 BP567 BP568 BP569 BP570

spectrum, anticomputer, meta (see left/right), links, keyword, right-self, viceversa

bp [smaller | same | bigger]

Leo Crabbe