An Eulerian walk traverses each edge of a graph exactly once. What happens
if you want to traverse each edge of a graph exactly twice? If you want to
cover the graph with "double-running stitch", then you need to
traverse each edge twice but also put conditions on how many edges you
traverse in-between. Then you could add conditions on whether you traverse
the edges once in each direction or twice in the same direction. Which
graphs can you still traverse? Classical algorithms for solving mazes give
us some answers to these questions, but others are still open.
Stitching Graphs and Painting Mazes: Problems in Generalizations of Eulerian Walks
1. Stitching Graphs and
Painting Mazes:
Problems in
Generalizations of
Eulerian Walks
Joshua Holden
Joint work with (and
diagrams by) Lana Holden
http://www.rose-hulman.edu/
~holden
1 / 32
2. Blackwork, also known as “Spanish stitch”, became
popular in England around 1501.
Supposedly Catherine of Aragon brought it to England then.
But in fact it was already known there and many other places.
2 / 32
3. Blackwork is also known as “Holbein stitch”, thanks to
Hans Holbein the Younger, Henry VIII’s court painter.
His paintings are so detailed you can clearly see the stitching.
3 / 32
4. The rules of blackwork embroidery depend
(somewhat) on who you ask.
The most common materials traditionally are black thread and
light-colored linen.
4 / 32
5. The stitching is traditionally done with “double running
stitch”.
1 2 3 4 5 6 7 8
Also sometimes back stitch, but we will be talking about double
running stitch.
5 / 32
6. The stitching is traditionally done with “double running
stitch”.
1 2 3 4 5 6 7 8
15 14 13 12 11 10 9
Also sometimes back stitch, but we will be talking about double
running stitch.
5 / 32
7. The stitching is traditionally done with “double running
stitch”.
5 6 15 16 25 26
4 14 24
1 2 3 11 12 13 21 22 23 31 32
39 38 37 7 36 35 17 34 33 27
8 18 28
9 10 19 20 29 30
Also sometimes back stitch, but we will be talking about double
running stitch.
5 / 32
8. Also, we will only be talking about reversible patterns,
which appear the same from both sides of the fabric.
(“Betsy”, by Catherine Strickler, published by Indigo Rose)
Reversible patterns were often used for cuffs and collars.
6 / 32
9. A digraph is a set of vertices, V , and a set of edges, E,
where each edge is an ordered pair of distinct vertices.
The order is thought of as indicating a “direction”.
7 / 32
10. An (undirected) graph may be associated to a digraph
by forgetting about the ordering of the pairs.
8 / 32
11. A (symmetric) digraph may be associated to a graph
by including both possible directions of each edge.
9 / 32
12. A walk on a graph is a finite alternating sequence of
vertices and edges x0 , {x0 , x1 }, x1 , . . . , {xn−1 , xn }, xn .
10 / 32
13. A graph is connected if there is a walk between any
two vertices.
11 / 32
14. A directed walk on a digraph is a finite sequence of
vertices and edges x0 , (x0 , x1 ), x1 , . . . , (xn−1 , xn ), xn .
12 / 32
15. A Eulerian circuit on a digraph is a directed walk with
every edge used exactly once and x0 = xn .
13 / 32
16. Every symmetric digraph associated to a connected
graph is Eulerian, i.e., has an Eulerian circuit.
14 / 32
17. Having an Eulerian digraph is necessary for a pattern
to be reversibly stitchable, but is it sufficient?
The two different directions have to lie on opposite sides of the fabric.
15 / 32
18. Having an Eulerian digraph is necessary for a pattern
to be reversibly stitchable, but is it sufficient?
5 6 15 16 25 26
4 14 24
1 2 3 11 12 13 21 22 23 31 32
39 38 37 7 36 35 17 34 33 27
8 18 28
9 10 19 20 29 30
The two different directions have to lie on opposite sides of the fabric.
15 / 32
19. If x0 , e1 , x1 , . . . , en , xn is a directed trail on a digraph,
we say that the parity of each edge ei is the parity of i.
16 / 32
20. A Holbeinian circuit on a digraph is an Eulerian circuit
where all (x, y ) and (y , x) have opposite parities.
17 / 32
21. Theorem: Every symmetric digraph associated to a
connected graph is Holbeinian.
This will not be a surprise to any embroiderers.
18 / 32
22. Theorem: Every symmetric digraph associated to a
connected graph is Holbeinian.
There are several ways we could prove this theorem.
18 / 32
23. One way is to give an algorithm which produces the
circuit. This one is “Tarry’s Algorithm” (with parity).
Suppose we have a strongly connected symmetric digraph.
1. Start at an arbitrary vertex x0 .
2. Proceed along any edge.
19 / 32
24. One way is to give an algorithm which produces the
circuit. This one is “Tarry’s Algorithm” (with parity).
3. At each later step, suppose we have arrived at a vertex y .
If y is not x0 , let (x1 , y ) be the edge that first reached y
(“entry edge”).
a. If there is an edge (y , z) other than (y , x1 ) which has not
been traversed (and such that (z, y ) either has not been
traversed or was traversed with parity opposite the current
parity) proceed along any such edge.
b. If every edge (y , z) other than (y , x1 ) has been traversed
(or (z, y ) was traversed with the current parity), leave along
(y , x1 ) (“reverse of entry edge”) (if (x1 , y ) was traversed with
parity opposite the current parity).
c. If there are no allowed moves as above, terminate the
algorithm.
20 / 32
27. (False) Conjecture: Every Holbeinian circuit can be
produced from Tarry’s algorithm.
Counterexample
3 4
5 12
1 2 6 11 15 16
19 18 10 17 13
9 14
7 8
22 / 32
28. Fact: It is not possible for a “local” algorithm to tell
whether it is producing an Eulerian circuit or not.
1 2
5 9 4
6 3
8 7
23 / 32
29. Fact: It is not possible for a “local” algorithm to tell
whether it is producing an Eulerian circuit or not.
1 2 1 2
4
5 9 4
6 3 3
8 7
23 / 32
30. Conjecture: There is a “local” algorithm with an
“oracle” which produces every Holbeinian circuit.
What sort of oracle?
24 / 32
31. What if you would like to stitch a pattern so that the top
and bottom threads go in the same direction?
1
15
8
4 3 7 2
11 14 10 9
12 13
5 6
25 / 32
32. A multigraph of multiplicity 2, or 2-multigraph, is an
(undirected) multigraph where each edge appears
exactly twice.
26 / 32
33. An Aragonian circuit of a 2-multigraph is an Eulerian
circuit where the two edges {x, y } are traversed in the
same order but with opposite parities.
(Same direction, opposite sides of the fabric.)
27 / 32
34. Theorem: A multigraph of multiplicity 2 is Aragonian if
and only if the associated graph is Eulerian and has a
circuit of odd length.
Example
1
15
8
4 3 7 2
11 14 10 9
12 13
5 6
28 / 32
35. Theorem: A multigraph of multiplicity 2 is Aragonian if
and only if the associated graph is Eulerian and has a
circuit of odd length.
Non-example
29 / 32
36. What if some of the edges need to be stitched in a
“Holbeinian way” and some in an “Aragonian way”?
30 / 32
38. Thanks, and happy stitching!
[1] Joshua Holden, The Graph Theory of Blackwork Embroidery, Making
Mathematics with Needlework (sara-marie belcastro and Carolyn
Yackel, eds.), A K Peters, 2007, pp. 136–153.
A modern blackwork pattern, by the author
(Title page model stitched by Ann Black)
32 / 32