Left-sorted BPs have the keyword "left-finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in BPs about little black dots, examples may be considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 (right-finite) flipped.

"Left-finite" implies left-narrow.

See left-listable, which is about an infinite left side that can be organized into a neverending list versus infinite left side that cannot be organized into a neverending list.

"Left-finite" BPs are typically precise.

See BP1032 for a version that sorts images of Bongard Problems (miniproblems) instead of links, and which only sorts images of Bongard Problems about numbers.

Adjacent-numbered pages:
BP510 BP511 BP512 BP513 BP514  *  BP516 BP517 BP518 BP519 BP520

notso, dual, meta (see left/right), links, keyword, side

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

Aaron David Fairbanks

Bongard Problems that break the rules or spirit of Bongard Problems but are interesting enough to keep in the database.

See BP829 and BP968 (flipped) for versions with pictures of Bongard Problems (miniproblems) instead of links to pages on the OEBP.

Adjacent-numbered pages:
BP517 BP518 BP519 BP520 BP521  *  BP523 BP524 BP525 BP526 BP527

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

bp [smaller | same | bigger]

Aaron David Fairbanks

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

An "overriddensolution" is solution idea for a Bongard Problem that would not be chosen by the solver because there is a simpler solution that always comes with it.

An overridden solution occurs when the Bongard Problem's examples on both sides all share some constraint, and furthermore within this constrained class of examples, the intended rule is equivalent to a simpler rule that can be understood without noticing the constraint. See e.g. BP1146. The solver of the Bongard Problem will get the solution before noticing the constraint.

There is a more extreme class of overridden solution: not only is the solution possible to overlook in favor of something simpler, but even with scrutiny it will likely never be recognized. See e.g. BP570. This happens when intended left and right side rules are not direct negations of one another, but one or both of these rules is not "narrow"-- it can only be communicated in a Bongard Problem by its opposite being on the other side.

TO DO: Should this more extreme version have its own keyword? - Aaron David Fairbanks, Nov 23 2021

The keyword left-narrow (resp. right-narrow) is for Bongard Problems whose left-side (resp. right-side) rule can be recognized alone without examples on the other side.

The keyword notso is for Bongard Problems whose two sides are direct negations of one another.

See keyword impossible for solution ideas that cannot even apply to any set of examples, much less be communicated as the best solution.

Adjacent-numbered pages:
BP563 BP564 BP565 BP566 BP567  *  BP569 BP570 BP571 BP572 BP573

BP570 "Shape outlines that aren't triangles vs. black shapes that aren't squares" was created as an example of this.

meta (see left/right), links, keyword

bp [smaller | same | bigger]

Aaron David Fairbanks

Left-sorted BPs have the keyword "left-full" on the OEBP.

For meta-BPs about solution ideas, left-full only means the BP page hopes to include all fitting BP pages on the OEBP (as opposed to all possible Bongard Problems).

As with applying the keywords left-finite and right-finite, deciding what should count as "different" examples depends on the Bongard Problem.

Note this is not just BP574 (right-full) flipped.

TODO: Maybe this should be changed into two keywords: one for non-meta-BPs and one for meta-BPs. - Aaron David Fairbanks, Feb 11 2021

For non-meta BPs, left-full implies left-finite (at least until the OEBP implements a feature that allows algorithmic generation of infinite examples).

Adjacent-numbered pages:
BP568 BP569 BP570 BP571 BP572  *  BP574 BP575 BP576 BP577 BP578

meta (see left/right), links, keyword

bppage [smaller | same | bigger]

Aaron David Fairbanks

Bongard Problems sorted left have the keyword "impossible" on the OEBP.

"Impossible Bongard Problem" is a loose term, but it roughly means the Bongard Problem solution idea can't be displayed as an image.

BP868, the version of this whose examples are images of Bongard Problems (miniproblems), rather than links to pages on the OEBP, is impossible. - Aaron David Fairbanks, Jul 29 2020

See overriddensolution for solutions that Bongard Problems can have, but that will not be chosen by a reasonable person as the best solution.

Adjacent-numbered pages:
BP816 BP817 BP818 BP819 BP820  *  BP822 BP823 BP824 BP825 BP826

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

bp [smaller | same | bigger]

Leo Crabbe

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

Adjacent-numbered pages:
BP995 BP996 BP997 BP998 BP999  *  BP1001 BP1002 BP1003 BP1004 BP1005

less, subjective, culture, meta (see left/right), links, keyword, left-self, left-it, feedback, funny

bp [smaller | same | bigger]

Aaron David Fairbanks