Joint graph — where it appears
Named by 4 essays across one field — each of them below, with the objects they name alongside it.
The loops are in the graph
Before a network is a mechanism it is a graph, and the one quantity that can be read straight off a drawing is how many independent loops it has: edges less nodes plus one. Grübler's count is that arithmetic and nothing else — which is why it is right about a tong at every size and says a deployable ring cannot open.
Which diagonal rigidifies a grid
A three-by-three grid of squares needs five diagonals and eighty-one of the hundred and twenty-six ways of placing five will do. Which ones is not a rank question at all: it is whether a graph on the grid's columns and rows is connected, and eighty-one is the number of that graph's spanning trees.
A cable is half a brace
A square grid braced with rigid diagonals is rigid when a graph on its columns and rows is connected, so a three-by-three grid needs five braces and eighty-one sets of five will do. Brace it with cables instead, which pull and do not push, and each cable becomes one direction of an edge. The grid is rigid when that directed graph can get from every column and row to every other, which takes six cables, and only twelve of the 5,376 ways of placing six do it.
Twelve cables survive a slack one
A three-by-three grid braced with cables is rigid on six and never survives the loss of one while each cell holds a single cable. Let a cell hold two crossed and every one of the 262,144 fillings can be tried: none of eleven cables survives a slack one, thirty-six of twelve do, and the rule for which is a count at each row and column, two cables in and two out. That count is the whole rule on every grid narrower than four cells. At four by four it stops being enough, and a grid can meet it everywhere and still hang on a single cable.
Named alongside it
The objects these essays reach for when they reach for this one.
NetworkDesign ruleEnumerationRankRedundant constraintShearGrübler's criterionMobilitySelf-stressSpanning treeCircuit rankConstraint jacobian