login
Hints
(Greetings from The On-Line Encyclopedia of Bongard Problems!)
Search: BP1130
Displaying 1-2 of 2 results found.     page 1
     Sort: relevance      Format: long      Filter: (all | no meta | meta)      Mode: (words | no words)
BP1130 Start with a rectangle subdivided further into rectangles and shrink the vertical lines into points vs. the shape does not result from this process.
?
(edit; present; nest [left/right]; search; history)
COMMENTS

The description in terms of rectangles was noted by Sridhar Ramesh when he solved this.


All examples in this Bongard Problem feature arced line segments connected at endpoints; these segments do not cross across one another and they are nowhere vertical; they never double back over themselves in the horizontal direction.

Furthermore, in each example, there is a single leftmost point and a single rightmost point, and every segment is part of a chain bridging between them. So, there is a topmost total chain of segments and bottommost total chain of segments.


Any picture on the left can be turned into a subdivided rectangle by the process of expanding points into vertical lines.


Here is another answer:

"Right examples: some junction point has a single line coming out from either the left or right side."


If there is some junction point with only a single line coming out from a particular side, the point cannot be expanded into a vertical segment with two horizontal segments bookending its top and bottom (as it would be if this were a subdivision of a rectangle).


And this was the original, more convoluted idea of the author:

"Start with a string along the top path. Sweep it down, region-by-region, until it lies along the bottom path. The string may only enter a region when it fully covers that region's top edge and likewise it must exit by fully covering the bottom edge. Only in left images can this process be done so that no segment of the string ever hesitates."

Quite convoluted when spelled out in detail. (Although it is not terribly complicated to imagine visually. See the keyword unwordable.)


The string-sweeping answer is the same as the rectangle answer because a rectangle represents the animation of a string throughout an interval of time. (A horizontal cross-section of the rectangle represents the string, and the vertical position is time.) Distorting the rectangle into a new shape is the same as animating a string sweeping across that new shape.

In particular, shrinking vertical lines of a rectangle into points means just those points of the string stay still as the string sweeps down.

The principle that horizontal lines subdividing the original rectangle become the segments in the final picture corresponds to the idea that the string must enter or exit a single region all at once.

CROSSREFS

BP1129 started as an incorrect solution for this Bongard Problem. Anything fitting right in BP1130 fits right in BP1129.

Adjacent-numbered pages:
BP1125 BP1126 BP1127 BP1128 BP1129  *  BP1131 BP1132 BP1133 BP1134 BP1135

KEYWORD

hard, unwordable, solved

CONCEPT topological_transformation (info | search),
imagined_motion (info | search)

WORLD

[smaller | same | bigger]

AUTHOR

Aaron David Fairbanks

BP1129 An oval is sorted left; shapes are sorted left when they can be built out of others sorted left by A) joining side by side (at a point) or B) joining one on top of the other (joining one's entire bottom edge to the other's entire top edge).
(edit; present; nest [left/right]; search; history)
COMMENTS

This was an unintended solution for BP1130.


In category theory lingo, left examples are built by repeated horizontal composition and vertical composition. (Making horizontal lines as 0-ary vertical compositions is here forbidden.)

CROSSREFS

Anything fitting right in BP1130 fits right here.

Adjacent-numbered pages:
BP1124 BP1125 BP1126 BP1127 BP1128  *  BP1130 BP1131 BP1132 BP1133 BP1134

KEYWORD

hard, less, convoluted, solved, inductivedefinition

CONCEPT or (info | search)

WORLD

[smaller | same | bigger]

AUTHOR

Aaron David Fairbanks

    page 1

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