The On-Line Encyclopedia of Bongard Problems

Search: world:recursive_boxes_bp

Displaying 1-1 of 1 result found.

page 1

Sort: id Format: long Filter: (all | no meta | meta) Mode: (words | no words)

A left example can be verified to fit left by checking only finitely many layers deep vs. not so.

BP1059^↔	BP1066^↔	BP1067^↔	BP1069^↔	BP1070^↔	BP1071^↔
BP1060	BP1062	BP1063	BP1065	BP1067	BP1068
BP1069	BP1071	BP1077

(edit; present; nest [left/right]; search; history)

	CROSSREFS	`Adjacent-numbered pages: BP1074 BP1075 BP1076 BP1077 BP1078 * BP1080 BP1081 BP1082 BP1083 BP1084`
	KEYWORD	`meta (see left/right), links, side, wellfounded`
	CONCEPT	`semidecidable (info \| search),` `finite_infinite (info \| search)`
	WORLD	`recursive_boxes_bp [smaller \| same \| bigger]`
	AUTHOR	`Aaron David Fairbanks`

page 1

		Hints
(Greetings from The On-Line Encyclopedia of Bongard Problems!)