Numerical Haikus Solutions
A traditional Japanese haiku is a three-line poem with seventeen syllables, written in a 5/7/5 syllable count. Here is an example:
(5) The sky is so blue.
(7) The sun is so warm up high.
(5) I love the summer.
Robert Bosch, known for Domino Art, proposed to write numerical haikus when numbers read in English, e.g.
77 [seventy seven has 5 syllables]
+ 123 [one hundred twenty three has 6 syllables + 1 syllable for “plus”]
= 200 [two hundred has 3 syllables + 2 syllables for “equals”]
Nathan Brixius’s article: “Creating Equation Haikus using Constraint Programming” deals with the question: “How many such haikus are there?” He proposed a solution (see below) and also posted a challenge: “I invite you to modify the code and find other types of equation haikus!”