Theme One Program • Exposition 3
•
https://inquiryintoinquiry.com/2024/06/12/theme-one-program-exposition-3-b/
All,
My earliest experiments coding logical graphs as dynamic “pointer” data
structures taught me that conceptual and computational efficiencies of
a critical sort could be achieved by generalizing their abstract graphs
from trees to the variety graph theorists know as “cacti”. The genesis
of that generalization is a tale worth telling another time, but for now
it's best to jump right in and proceed by way of generic examples.
Figure 1 shows a typical example of a painted and rooted cactus.
Figure 1. Painted And Rooted Cactus
•
https://inquiryintoinquiry.files.wordpress.com/2022/06/theme-exposition-pai…
Figure 2 shows a way to visualize the correspondence between cactus
graphs and cactus strings, demonstrated on the cactus from Figure 1.
By way of convenient terminology, the polygons of a cactus graph are
called its “lobes”. An edge not part of a larger polygon is called
a “2‑gon” or a “bi‑gon”. A terminal bi‑gon is called a “spike”.
Figure 2. Cactus Graph and Cactus Expression
•
https://inquiryintoinquiry.files.wordpress.com/2022/06/theme-exposition-cac…
The correspondence between a cactus graph and a cactus string is
obtained by an operation called “traversing” the graph in question.
• One traverses a cactus graph by beginning at the left hand side
of the root node, reading off the list of paints one encounters
at that point. Since the order of elements at any node is not
significant, one may start the cactus string with that list of
paints or save them for the end. We have done the latter in
this case.
• One continues by climbing the left hand side of the leftmost
lobe, marking the ascent with a left parenthesis, traversing
whatever cactus one happens to reach at the first node above
the root, that done, proceeding from left to right along the
top side of the lobe, marking each interlobal span by means
of a comma, traversing each cactus in turn one meets along
the way, on completing the last of them climbing down the
right hand side of the lobe, marking the descent by means
of a right parenthesis, and then traversing each cactus
in turn, in left to right order, that is incident with
the root node.
The string of letters, parentheses, and commas one obtains by
this procedure is called the “traversal string” of the graph,
in this case, a “cactus string”.
Resources —
Theme One Program • Overview
•
https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview
Theme One Program • Exposition
•
https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition
Theme One Program • User Guide
•
https://www.academia.edu/5211369/Theme_One_Program_User_Guide
Survey of Theme One Program
•
https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/
Regards,
Jon
cc:
https://www.academia.edu/community/V1P00E
cc:
https://mathstodon.xyz/@Inquiry/110039613333677509