Der folgende Beweis ist eine Variation des Beweises auf der englischen Wikipedia-Seite sowie des Beweises von MacCool (siehe diesen Artikel von M. R. F. Smyth und diesen Artikel von Shailesh Shirali, auch hier verfügbar).
Wir bezeichnen ein Dreieck
Der folgende Beweis ist eine Variation des Beweises auf der englischen Wikipedia-Seite sowie des Beweises von MacCool (siehe diesen Artikel von M. R. F. Smyth und diesen Artikel von Shailesh Shirali, auch hier verfügbar).
Wir bezeichnen ein Dreieck
| // Finding solutions for the triomino problem posed in | |
| // https://math.stackexchange.com/questions/2746678/covering-an-8%c3%978-grid-with-three-colors-of-trominoes | |
| // See also https://mathstodon.xyz/@mjd/117289161849417211 | |
| // | |
| // Place a 1x1 "hole" and red, green and blue triominoes (7 of each color) on a | |
| // 8x8 board such that: | |
| // - All 64 squares of the board are covered without overlap. | |
| // - There is no pair of same-color triominoes touching along an edge. | |
| // - There is at most one pair of same-color triominoes touching at a vertex. | |
| // |
a^2 - b = 133 (1)
b^2 - a = 133 (2)
The original problem, about which there are several
Youtube videos,
has the additional condition a ≠ b. But I did not see this in the banner
pictures. So I found more solutions.
This gist contains some experiments/ideas for typing geometric-algebra code in TypeScript.
These ideas might be applied to PEGEAL at some point.
This code systematically explores the solution space for the puzzle "Das Haus vom Nikolaus". It finds various things:
Usually one is only allowed to cross the middle of the house (the X in the sketch near the beginning of the code) in a straight line from b to e or from c to d or in the opposite direction. But some people consider the crossing as an actual vertex where you may start or end the path or change the direction. The program handles both variants.
Here are the numbers of paths of each kind found by the program for each variant of the puzzle:
|| solutions