The On-Line Encyclopedia of Bongard Problems

Search: subworld:recursive_boxes_bp

Displaying 1-2 of 2 results found.

page 1

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

Nothing vs. nothing.

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

	CROSSREFS	`Adjacent-numbered pages: BP849 BP850 BP851 BP852 BP853 * BP855 BP856 BP857 BP858 BP859`
	KEYWORD	`left-finite, right-finite, left-full, right-full, finished, experimental, funny`
	WORLD	`nothing [same \| bigger] zoom in left (nothing) \| zoom in right (nothing)`
	AUTHOR	`Aaron David Fairbanks`

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!)