login
Hints
(Greetings from The On-Line Encyclopedia of Bongard Problems!)
Search: +ex:BP1072
Displaying 1-6 of 6 results found.     page 1
     Sort: id      Format: long      Filter: (all | no meta | meta)      Mode: (words | no words)
BP563 Bongard Problems such that there is a way of making an infinite list of all relevant possible left-sorted examples vs. Bongard Problems where there is no such way of listing all left-sorted examples.
BP386
BP394
BP904
BP922
BP926
BP931
BP956
BP997
BP1057
BP1072
BP1146
BP1148
BP1149
BP1150
BP1197
BP1199
BP1200
BP1201
BP319
BP345
BP351
BP559
BP818
?
BP329
(edit; present; nest [left/right]; search; history)
COMMENTS

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

REFERENCE

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

CROSSREFS

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

KEYWORD

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

WORLD

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

AUTHOR

Leo Crabbe

BP624 Bongard Problem with solution relating to concept: division of integers / fractions vs. Bongard Problem unrelated to this concept.
BP387
BP1057
BP1072
(edit; present; nest [left/right]; search; history)
CROSSREFS

Adjacent-numbered pages:
BP619 BP620 BP621 BP622 BP623  *  BP625 BP626 BP627 BP628 BP629

KEYWORD

meta (see left/right), links, metaconcept

CONCEPT This MBP is about BPs that feature concept: "division"

WORLD

bp [smaller | same | bigger]

AUTHOR

Harry E. Foundalis

BP940 Bongard Problems such that there is a way of making an infinite list of all relevant possible right-sorted examples vs. Bongard Problems where there is no such way of listing all right-sorted examples.
BP386
BP394
BP904
BP926
BP931
BP956
BP997
BP1057
BP1072
BP1148
BP1149
BP1150
BP1199
BP1200
BP1201
BP91
BP329
BP351
BP538
BP559
BP593
BP801
BP902
BP920
(edit; present; nest [left/right]; search; history)
COMMENTS

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


BPs are sorted based on how BP563 (left-listable) would sort them were they flipped; see that page for a description.

CROSSREFS

See right-finite, which distinguishes between finite right side and infinite right side.

Adjacent-numbered pages:
BP935 BP936 BP937 BP938 BP939  *  BP941 BP942 BP943 BP944 BP945

KEYWORD

meta (see left/right), links, keyword

WORLD

bp_infinite_right_examples [smaller | same | bigger]
zoom in right (right_uncountable_bp)

AUTHOR

Leo Crabbe

BP1166 Visual Bongard Problems whose sorted examples all have a nonzero minimum amount of black in them vs. other visual Bongard Problems.
BP301
BP1072
BP1147
BP1149
BP1153
BP1155
BP1156
BP1168
BP1161
(edit; present; nest [left/right]; search; history)
COMMENTS

Not all visual Bongard Problems whose examples all have some amount of black in them are sorted left. In left-sorted BPs, there must be some concrete percentage of black that is exceeded by every sorted example.

CROSSREFS

Adjacent-numbered pages:
BP1161 BP1162 BP1163 BP1164 BP1165  *  BP1167 BP1168 BP1169 BP1170 BP1171

KEYWORD

meta (see left/right), links

AUTHOR

Leo Crabbe

BP1176 Bongard Problems about grids with varying dimensions vs. Bongard Problems about grids in which all examples show grids with the same dimensions.
BP904
BP981
BP997
BP1057
BP1072
BP1123
BP1147
BP1175
BP1185
BP1187
BP303
BP376
BP1049
(edit; present; nest [left/right]; search; history)
COMMENTS

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


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

CROSSREFS

See also sequence versus fixedsequence.

Adjacent-numbered pages:
BP1171 BP1172 BP1173 BP1174 BP1175  *  BP1177 BP1178 BP1179 BP1180 BP1181

KEYWORD

meta (see left/right), links, keyword

WORLD

visualbp [smaller | same | bigger]

AUTHOR

Leo Crabbe

BP1177 Bongard Problems about grids of objects vs. other Bongard Problems.
BP361
BP904
BP981
BP1049
BP1057
BP1072
BP1123
BP1147
BP1175
BP998
BP1097
BP1153
(edit; present; nest [left/right]; search; history)
CROSSREFS

Adjacent-numbered pages:
BP1172 BP1173 BP1174 BP1175 BP1176  *  BP1178 BP1179 BP1180 BP1181 BP1182

KEYWORD

meta (see left/right), links

AUTHOR

Leo Crabbe

    page 1

Welcome | Solve | Browse | Lookup | Recent | Links | Register | Contact
Contribute | Keywords | Concepts | Worlds | Ambiguities | Transformations | Invalid Problems | Style Guide | Goals | Glossary