Search: +ex:BP931
|
Displaying 1-9 of 9 results found.
|
page 1
|
|
Sort:
id
Format:
long
Filter:
(all | no meta | meta)
Mode:
(words | no words)
|
|
|
|
|
BP535 |
| Visual Bongard Problems such that flipping over the vertical axis (left/right) can switch an example's side vs. visual Bongard Problems whose examples' sorting doesn't change under such a transformation. |
|
| |
|
|
|
|
|
BP552 |
| Orientation-dependent Bongard Problems vs. orientation-independent visual Bongard Problems. |
|
| |
|
|
COMMENTS
|
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. |
|
CROSSREFS
|
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
|
|
KEYWORD
|
meta (see left/right), links, keyword, invariance, wellfounded
|
|
WORLD
|
visualbp [smaller | same | bigger] zoom in left (handed_visualbp)
|
|
AUTHOR
|
Aaron David Fairbanks
|
|
|
|
|
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. |
|
| |
|
|
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
|
|
|
|
|
BP672 |
| Bongard Problem with solution relating to concept: number (countable quantity of feature or object) vs. Bongard Problem unrelated to this concept. |
|
| |
|
|
|
|
|
BP679 |
| Bongard Problem with solution relating to concept: point (dot, no discernible shape) vs. Bongard Problem unrelated to this concept. |
|
| |
|
|
|
|
|
BP691 |
| Bongard Problem with solution relating to concept: self-reference vs. Bongard Problem unrelated to this concept. |
|
| |
|
|
|
|
|
BP929 |
| Bongard Problems about sequences of arbitrary length vs. Bongard Problems about sequences in which all examples have the same sequence length. |
|
| |
|
|
|
|
|
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. |
|
| |
|
|
|
|
|
BP1178 |
| Formatted object comparison Bongard Problems where each example pulls from a fixed set of usable objects vs. formatted object comparison Bongard Problems where the set of usable objects varies across examples. |
|
| |
|
|
COMMENTS
|
Examples sorted by this problem need to be Bongard Problems with some multiple disconnected shapes in them that are formatted in some way.
Problems do not necessarily need symbols to recur across examples to be sorted left.
Right-sorted Problems usually vary their object "language" across examples to emphasise the generality of their solution. Every example in these problems would be thought of as having its own intuitive "world".
TO DO: Figure out whether to implement the prerequisite "You must easily be able to think of a way that a sorted problem could be redrawn such that its sorting in this Problem would switch." This restriction would eliminate problems like BP121 from being sorted, for example, as its solution hinges on the consistency of the symbols across examples. The keyword consistentsymbols already describes problems like this. This also eliminates problems like BP998 from sorting.
TO DO: Should this problem's world be changed from "Formatted object comparison BPs" to "object comparison BPs"? This would allow for some nice Problems like BP841 to be sorted, but may make things too broad. |
|
CROSSREFS
|
Adjacent-numbered pages:
BP1173 BP1174 BP1175 BP1176 BP1177  *  BP1179 BP1180 BP1181 BP1182 BP1183
|
|
KEYWORD
|
meta (see left/right), links
|
|
AUTHOR
|
Leo Crabbe
|
|
|
|
Welcome |
Solve |
Browse |
Lookup |
Recent |
Links |
Register |
Contact
Contribute |
Keywords |
Concepts |
Worlds |
Ambiguities |
Transformations |
Invalid Problems |
Style Guide |
Goals |
Glossary
|
|
|
|
|
|
|
|
|