My Bongard problem n. 20. We're back to problems created by me. Quality may vary, etc. This topic is rich in ideas so I'll offer several more problems on it. Try to write your solution (with a spoiler if you want), and to spot any mistakes of mine. I'll give my solution to this problem under a spoiler in two days.

For more info about Bongard problems in general take a look at my first messages:
https://mathstodon.xyz/@leonardom/116110015131667314
https://mathstodon.xyz/@leonardom/116110093951382315

Sometimes you see a solution of a Bongard problem in few seconds. Sometimes you find a rule idea only after many minutes. And it may take more minutes to be reasonably sure your rule is true/false for all the given boxes. In several cases I have had to read things to find solutions or even to express the solution with correct formal words. In some cases I had to write down some Python/Rust code and process the box contents to be sure of the correctness of a solution of mine. So the amount of time needed by BPs varies a lot.

#bongardproblem #mathpuzzle #puzzle #visualmath

My solution to my BP20: on the left planar graphs, that is graphs that can be embedded on the plane (on the right graphs that can't).

Lot of interesting stuff in this Bongard Problem.

Detailed contents of each box:
1: a tree;
2: complete bipartite graph K(2, 3);
3: complete graph K(4);
4: net of the cube;
5: a random planar graph;
6: Goldner-Harary graph (It's maximal planar. All its faces are bounded by three edges.
See: https://en.wikipedia.org/wiki/Goldner%E2%80%93Harary_graph );
- - - -
7: complete graph K(5);
8: complete bipartite graph K(3, 3);
9: the famous Petersen graph (that contains a minor isomorphic to the K(3,3) graph, so it's non-planar. Its crossing number is 2. Toroidal).
See:
https://en.wikipedia.org/wiki/Petersen_graph
https://en.wikipedia.org/wiki/Toroidal_graph
10: the Grötzsch graph (it is the smallest triangle-free graph with chromatic number 4, it has Book thickness 3).
See (Wolfram Mathworld shows graphs in various ways, this is quite handy):
https://mathworld.wolfram.com/GroetzschGraph.html
https://en.wikipedia.org/wiki/Gr%C3%B6tzsch_graph
11: complete bipartite graph K(3, 3) embedded on a torus, so it's toroidal (this is almost pixel art).
See:
http://www.cut-the-knot.org/do_you_know/3Utilities.shtml
12: (empty).

See also:
https://en.wikipedia.org/wiki/Planar_graph
https://en.wikipedia.org/wiki/Book_embedding

#bongardproblem #mathpuzzle #puzzle #visualmath

Goldner–Harary graph - Wikipedia