Uniquely Pressable Graphs: Characterization, Enumeration, and Recognition
Joshua N. Cooper, Hays W. Whitlatch

TL;DR
This paper characterizes, counts, and develops a recognition algorithm for uniquely pressable graphs, which have a single pressing sequence transforming them into empty graphs, with applications in phylogenetics.
Contribution
It provides a complete characterization, enumeration, and a polynomial-time recognition algorithm for uniquely pressable graphs, addressing a question from prior research.
Findings
Characterization of uniquely pressable graphs
Counting of such graphs on a given number of vertices
Polynomial-time recognition algorithm
Abstract
We consider "pressing sequences", a certain kind of transformation of graphs with loops into empty graphs, motivated by an application in phylogenetics. In particular, we address the question of when a graph has precisely one such pressing sequence, thus answering an question from Cooper and Davis (2015). We characterize uniquely pressable graphs, count the number of them on a given number of vertices, and provide a polynomial time recognition algorithm. We conclude with a few open questions. Keywords: Pressing sequence, adjacency matrix, Cholesky factorization, binary matrix
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Uniquely Pressable Graphs: Characterization, Enumeration, and Recognition
Joshua N. Cooper and Hays W. Whitlatch
Abstract
We consider “pressing sequences”, a certain kind of transformation of graphs with loops into empty graphs, motivated by an application in phylogenetics. In particular, we address the question of when a graph has precisely one such pressing sequence, thus answering an question from Cooper and Davis (2015). We characterize uniquely pressable graphs, count the number of them on a given number of vertices, and provide a polynomial time recognition algorithm. We conclude with a few open questions.
1 Introduction
A signed permutation is an integer permutation where each entry is given a sign, plus or minus. A reversal in a signed permutation is when a subword is reversed and the signs of its entries are flipped. The primary computational problem of sorting signed permutations by reversals is to find the minimum number of reversals needed to transform a signed permutation into the positive identity permutation. Hannenhalli and Pevzner famously showed that the unsigned sorting problem can be solved in polynomial time [3, 11] in contrast to the problem of sorting unsigned permutations, which is known to be NP-hard in general [8]. At the core of the analysis given in [11] is the study of “successful pressing sequences” on vertex 2-colored graphs. In [9], the authors discuss the existence of a number of nonisomorphic such graphs which have exactly one pressing sequence, the “uniquely pressables”. In the context of computational phylogenetics, these graphs correspond to pairs of genomes that are linked by a unique minimum-distance evolutionary history. In this paper we use combinatorial matrix algebra over to characterize and count the set of uniquely pressable bicolored graphs. Previous work in the area has employed the language of black-and-white vertex-colored graphs in discussing successful pressing sequences. For various reasons (such as simplifying definitions and notation), we find it more convenient to replace the black/white vertex-coloring with looped/loopless vertices. Thus, the object of study will be simple pseudo-graphs: graphs that admit loops but not multiple edges (sometimes known as “loopy graphs”). However, for the purposes of illustration we borrow the convention that the loops of a simple pseudo-graph are drawn as black vertices [5, 9]. Given a simple pseudo-graph , denote by the vertex set of ; , symmetric as a relation, its edge set; and the induced subgraph of a set . Let the neighborhood of in . Observe that iff is a looped vertex.
After this introduction, the discussion is arranged into four sections. In Section 2, we develop some terminology and notation, and give a useful matrix factorization which we refer to as the “instructional Cholesky factorization” of a matrix (over ), and discuss some of its properties. In Section 3, we present our main result, Theorem 1, which characterizes the uniquely pressable graphs as those whose instructional Cholesky factorizations have a certain set of properties. In Section 4 we explore some consequences of the main theorem, such as the existence of a cubic-time algorithm for recognizing a uniquely pressable graph, a method for generating the uniquely pressable graphs by iteratively appending vertices to the beginning or end of a pressing sequence, and a counting argument which shows that there exist, up to isomorphism, exactly uniquely pressable graphs on non-isolated vertices. In the final section we discuss some open questions in this area. Before proceeding to Section 2 we list some basic notation for later use. Other terminology/notation employed below can be found in [7] or [10].
- •
We often write to represent the edge for concision. In particular if then is a loop.
- •
and for all .
- •
When we write the induced subgraph of on , , as . In general, denotes .
- •
For integers and , is abbreviated as .
- •
For a square matrix with rows and columns identically indexed by a set , for all , denotes the submatrix of with row and column removed.
- •
When , the notation denotes addition over of , where if and is the least non-negative integer representation of in if . When referring to addition modulo we use symbols and . For example, if and then
[TABLE]
2 Pressing and Cholesky Roots
Definition 1**.**
Consider a simple pseudo-graph with a looped vertex . “Pressing ” is the operation of transforming into , a new simple pseudo-graph in which is complemented. That is,
[TABLE]
We denote by the simple pseudo-graph resulting from pressing vertex in and we abbreviate to . For we abbreviate as so that when for some then we may simplify to . and are interpreted to mean .
Given a simple pseudo-graph , is said to be a successful pressing sequence for whenever the following conditions are met:
- •
,
- •
is looped in for all ,
- •
In other words, looped vertices are pressed one at a time, with “success” meaning that the end result (when no looped vertices are left) is an empty graph. From the definition of “pressing” we see that once a vertex is pressed it becomes isolated and cannot reappear in a valid pressing sequence. It was shown in [9] that if then , i.e., the length of all successful pressing sequences for are the same. We refer to this length as the pressing length of .
Definition 2**.**
An ordered simple pseudo-graph, abbreviated OSP-graph, is a simple pseudo-graph with a total order on its vertices. In this paper, we will assume that the vertices of an OSP-graph are subsets of the positive integers under the usual ordering “”. An OSP-graph is said to be order-pressable if there exists some initial segment of that is a successful pressing sequence, that is, if it admits a successful pressing sequence satisfying and for all . An OSP-graph is said to be uniquely pressable if it is order-pressable and has no other successful pressing sequence.
Lemma 1**.**
If is a connected OSP-graph that is uniquely pressable then the pressing length of is .
Proof.
Without loss of generality we may assume . Assume by way of contradiction that the pressing length of is . Then the pressing sequence is realized by the sequence of graphs
[TABLE]
Let k=\min\limits_{i\in[m]}\{i\mid\textrm{G_{\boldsymbol{i}}i isolated vertices}\}. Then pressing in isolates and at least one more vertex, say . Therefore,
[TABLE]
Then we have the following implications:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Hence . However , since otherwise there exists a , so because , contradicting the fact that is isolated in . It follows that and are twins in (i.e., there is an automorphism fixing all vertices except and ), so
[TABLE]
is a successful pressing sequence of in addition to , contradicting unique pressability. We conclude that , that is . ∎
We say a component of is trivial if it is a loopless isolated vertex.
Proposition 1**.**
[9]** A simple pseudo-graph admits a successful pressing sequence if and only if every non-trivial component of contains a looped vertex.
Corollary 1**.**
If is a uniquely pressable OSP-graph with at least one edge then contains exactly one non-trivial component and the pressing length of is .
Proof.
Let . Let and be (possibly distinct) non-trivial connected components of . Let so that is the (possibly disjoint) union of and . As is uniquely pressable it has unique pressing sequence . Observe that pressing a vertex only makes changes to its closed neighborhood, a set which is contained within a single connected component. Let be the restriction of to the vertices of , . Then is a successful pressing sequence for . If then is the disjoint union of , and , where the last one may be empty. Then pressing the vertices of followed by pressing the vertices of followed by pressing the vertices of gives a successful pressing sequence for , contradicting the uniqueness of . It follows that and , and therefore contains exactly one non-trivial connected component. ∎
This shows that in order to understand uniquely pressable OSP-graphs, it suffices to understand connected, uniquely pressable OSP-graphs.
Notation 1**.**
* is the set of connected, uniquely pressable ordered () simple pseudo-graphs on positive integer vertices.*
Definition 3**.**
Given an OSP-graph define the adjacency matrix by
[TABLE]
Note that is always symmetric. Previous work in the area refers to such matrices as augmented adjacency matrices as the diagonal entries are nonzero where the vertices are colored black; since we have used looped vertices instead, the term “augmented” is not necessary. Define the instructional Cholesky root of , denoted , by
[TABLE]
Observe that the row of is given by the row of the adjacency matrix of , and that precisely when the act of pressing during a successful pressing sequence of flips the state of . Thus, provides detailed “instructions” on how to carry out the actual pressing sequence. In Proposition 2 we justify use of the name Cholesky.
Definition 4**.**
For an order-pressable graph with instructional Cholesky root we define the dot product of two vertices as the dot product over of the and columns of :
[TABLE]
We define the (Hamming) weight of a vertex by
[TABLE]
and observe that .
Definition 5**.**
The weight of a column in a matrix , written , is the sum of the entries in column (again, as elements of ).
Observe that if is the instructional Cholesky root of then the column weights of correspond to the vertex weights of .
Proposition 2**.**
If is an OSP-graph with successful pressing sequence , adjacency matrix , and instructional Cholesky root then
[TABLE]
Proof.
Let and . Observe that is the result (modulo ) of dotting the and columns of . Hence
[TABLE]
For let
[TABLE]
and
[TABLE]
Observe that lists the times during the pressing sequence that the pressed vertex results in the state of edge being flipped. This occurs if and only if both and are in the neighborhood of the vertex being pressed. Hence . The state of the edge/non-edge in is determined by its original state in and by the number of times the state of the edge/non-edge was flipped during the pressing sequence. However, so and therefore the number of times that the state of the edge/non-edge is flipped during the pressing sequence must agree in parity to with the original state of the edge/non-edge . It follows that . On the other hand list the common ’s in columns and of the instructional Cholesky root. Hence has the same parity as dotting the and the column of . It follows that
[TABLE]
Since the matrix entries are elements of , we have
[TABLE]
for and therefore . ∎
Observation 1**.**
Given an OSP-graph with adjacency matrix and instructional Cholesky root ,
[TABLE]
since is the result of dotting the and columns of . In particular
[TABLE]
In the theory of complex matrices, decompositions of the form are known as “Cholesky” factorizations, so we repurpose this terminology here. While a symmetric full-rank matrix over has a unique Cholesky decomposition (see [9]), a matrix of less than full rank may have more than one Cholesky decomposition. On the other hand, the adjacency matrix of an OSP-graph with successful pressing sequence has a unique instructional Cholesky root as the first rows are determined by the sequence of graphs and the remaining rows (should they exist) are all zero. Throughout the paper we will take advantage of this by referring interchangeably to a pressable OSP-graph , its (ordered) adjacency matrix , and its instructional Cholesky root .
Example 1**.**
Consider given by
[TABLE]
The (unique) instructional Cholesky root of is
[TABLE]
The following matrices also offer Cholesky factorizations for :
[TABLE]
[TABLE]
Definition 6**.**
Consider a pressable OSP-graph where has the order implied by its indexing. For each we say that has full weight in provided
[TABLE]
In particular if under the usual ordering then vertex has full weight if and only if , if and only if
[TABLE]
The following notation will be used to simplify inductive arguments.
Notation 2**.**
For a given OSP-graph with looped vertex denote by the result of pressing vertex and then deleting it from the vertex set. Furthermore we let denote the result of pressing and deleting vertices in order from .
Lemma 2**.**
If has instructional Cholesky root then and the instructional Cholesky root of is .
Proof.
Let with instructional Cholesky root . The unique successful pressing sequence of is which is realized by
[TABLE]
and hence admits a successful pressing sequence: . Furthermore, if is a successful pressing sequence of , then is a successful pressing sequence of . By uniqueness it follows that for each . Then admits exactly one successful pressing sequence , and therefore so does . It follows that . Let be the instructional Cholesky root of . The first row of is given by the neighborhood of in and in general the row of is given by . However
[TABLE]
for each . Therefore the row of is the row of with the first entry deleted, since is not a vertex in . is the principal submatrix of restricted to rows and columns . ∎
Proposition 3**.**
[9]** An OSP-graph has pressing sequence if and only if every leading principal minor of its adjacency matrix is nonzero.
Lemma 3**.**
Let with instructional Cholesky root and let be the induced subgraph of on . Then and the instructional Cholesky root of is .
Proof.
If then which has only the empty sequence as a successful pressing sequence and its instructional Cholesky root is the empty matrix. Let . Observe that so is a looped vertex in and therefore may be pressed to obtain . For all :
[TABLE]
Assume for some . Then is looped in , implying that it is looped in , so for all :
[TABLE]
By induction it follows that is a valid pressing sequence for and for all . We proceed to show that is the only successful pressing sequence for . Let be the adjacency matrix of (under the ordering ) and let be its instructional Cholesky root. Let be a valid pressing sequence for and let . Let be the permutation matrix that encodes . Then is the adjacency matrix of under the usual ordering and is the adjacency matrix of under the ordering given by . Let be the instructional Cholesky root of under . Observe that by Proposition 3, and so
[TABLE]
Furthermore
[TABLE]
[TABLE]
Recall that has as a successful pressing sequence and so every successful pressing sequence must have length . It follows that all the diagonal entries of (upper/lower-triangular matrices) and must be , implying that every leading principal minor of is non-zero. By Proposition 3, is a successful pressing sequence for . By uniqueness and hence . We may conclude that . ∎
Corollary 2**.**
Let with instructional Cholesky root . Then any principal submatrix of on consecutive rows and columns is the instructional Cholesky root of a graph.
Proof.
Follows by iteratively applying Lemmas 2 and 3. ∎
Corollary 3**.**
If is the instructional Cholesky root of then must have all ’s on the main diagonal and super-diagonal.
Proof.
Let . Since it is connected, ; since it is order-pressable, must be looped; and since it is uniquely pressable, . Therefore which corresponds to instructional Cholesky root . The result holds by application of Corollary 2. ∎
3 Characterizing Unique Pressability
Definition 7**.**
For an upper-triangular matrix with columns , , , with respective column weights , we say:
- •
has Property 1 if .
- •
has Property 1 if each of its columns have Property 1.
- •
has Property 2 if
- •
has Property 3 if implies , for .
- •
has Property 4 if, whenever some non-initial column has odd weight, then it must have full weight and so must each column to its right.
In other words, Property 1 is the condition that the nonzero entries in each column are consecutive and end at the diagonal; Property 2 is the condition that the weights of the columns are nondecreasing; and Property 3 is the condition that any column must have weight greater than that of the column two indices to its left if the latter has weight more than . Note also that Property 4 implies that any even-indexed column must have even weight; otherwise, it would have full weight, i.e., weight equal to the column index, which is even, a contradiction. Let . Observe that if then .
Lemma 4**.**
Let and with columns and rows indexed by . If then .
Proof.
Let so that . Let be the column weights of . Let the columns and rows of be with weights , respectively. Observe that for each . It is immediate that inherits Property 1 from . By Property 4 we know that the second column of (as well as any even-indexed column of ) has even weight, it follows that and so . Suppose towards a contradiction for some . Then
[TABLE]
and so . Then
[TABLE]
and so . Hence we have
[TABLE]
It follows that and therefore column does not have full weight. By Property 1 of we have and therefore , a contradiction. It follows that has Property 2.
Suppose now that for some . Then so by Property 3 of . If then either column or column has odd weight which implies by Property 4 of . But then which is not possible. Therefore,
[TABLE]
and
[TABLE]
which shows that has Property 3. To show Property 4 suppose for some ( is the initial column of ). Observe that
[TABLE]
If then and not full weight, contradicting Property 4. Hence
[TABLE]
and . It follows from Property 1 that . Hence
[TABLE]
and since then
[TABLE]
Applying Property 3 of
[TABLE]
Since we have that is the weight of an even-indexed column, and so and
[TABLE]
By arguing inductively, for all :
[TABLE]
hence
[TABLE]
It follows that for all :
[TABLE]
Furthermore, for all :
[TABLE]
and so
[TABLE]
Therefore, for all :
[TABLE]
It follows that, in , all the columns of index at least have full weight and therefore has Property 4. ∎
Observe that the previous lemma can be extended to any matrix by relabeling the rows and columns. We now proceed to our main theorem, which characterizes the set . This in turn provides a characterization of all the uniquely pressable simple pseudo-graphs (up to isomorphism), since the unique non-trivial, connected component of a simple pseudo-graph can always be relabeled to be a graph.
Notation 3**.**
For an OSP-graph let
[TABLE]
Theorem 1**.**
Let with instructional Cholesky root . Then if and only if .
Proof.
For the conditions of are only met by which in turn is the only full-length uniquely pressable OSP-graph on vertex set . Let and assume towards an inductive argument that the statement holds for . We begin by showing sufficiency, that is if then . Choose and fix . Let be the OSP-graph with instructional Cholesky root . By Properties and , for each . This implies that vertex is looped in for each . It follows that is a successful pressing sequence for . We will show it is the only successful pressing sequence for . Fix a successful pressing sequence for . If then has adjacency matrix
[TABLE]
By Lemma 4, and therefore by the inductive hypothesis. Hence has exactly one pressing sequence, and, since , the sequence is . We may conclude that if then . Assume, by way of contradiction, that . We will show that contains a non-trivial loopless component and therefore is not pressable. Since is a looped vertex it must have odd weight, and therefore full weight by Property 4. Let
[TABLE]
Let
[TABLE]
By Property 4 of , all the vertices in have full weight. For all and :
[TABLE]
By Property 4, if then . It follows that for all ,
[TABLE]
Then
[TABLE]
However, because has full weight, so and
[TABLE]
Similarly, for
[TABLE]
since . It follows that the induced subgraphs and are contained not connected by a path in . By applying Corollary 3, observe that and , so
[TABLE]
and therefore contains an edge but no loops. It follows that does not admit a successful pressing sequence, a contraction. Therefore .
We now proceed to show necessity: if , then . Let with instructional Cholesky root . By Lemmas 2 and 3 we have that and therefore by the inductive hypothesis . For simplicity we let and for throughout the rest of this proof. It suffices to show the following four conditions hold for :
- (I)
Property 1 holds for the column,
- (II)
,
- (III)
If then ,
- (IV)
If then the first column of is the only one with odd weight.
We have four cases to consider.
First Case: . Since then Property 4 of gives us for all . It follows that and therefore (I), (II), (III), and (IV) hold.
Second Case: . (I) holds by Property 1 of . Recall that the diagonal and super-diagonal entries of must be by Corollary 3 so we need not consider the case where . For we have two matrices to consider,
[TABLE]
satisfies (I) - (IV). since is also a successful pressing sequence. Thus we may assume to show (II), (III) and (IV) hold.
Claim 1**.**
**
Proof of Claim 1 :
Assume towards a contradiction that . Property 1 of tells us that
[TABLE]
and so
[TABLE]
By Property 4 of , since , then
[TABLE]
It follows that
[TABLE]
Recalling that , by Property 2 of we have
[TABLE]
and so
[TABLE]
Let
[TABLE]
Since and then is not a pressable graph. We will use this to arrive at a contradiction. Since ,
[TABLE]
By the minimality of , by Property 4 of , and since :
[TABLE]
Observe that
[TABLE]
and for
[TABLE]
and so
[TABLE]
It follows that
[TABLE]
Since , the only potential edge in affected by pressing is the loop on . Furthermore by Corollary 2 so we may conclude that is connected. If then so
[TABLE]
and so
[TABLE]
Then it follows that is a connected graph with looped vertex . Observe that
[TABLE]
and so
[TABLE]
Therefore, if , is a connected graph with at least one looped vertex, contradicting the fact that . We must conclude that . Then and so pressing only affects four pairs of vertices:
[TABLE]
Once again, since is connected, must be connected as well (although possibly without loops). However
[TABLE]
so
[TABLE]
It follows that is a connected graph with at least one looped vertex, namely . This implies is a pressable graph, contradicting that . Claim 1 is established.
Claim 2**.**
**
Proof of Claim 2 :
Assume towards a contradiction that . By Property 1 of
[TABLE]
By Claim 1
[TABLE]
and so by Property 4
[TABLE]
and therefore . We then have
[TABLE]
which contradicts Property 4 of since . This establishes Claim 2.
We may now assume and proceed to show (II)-(IV). (II) follows from Property 2 of since
[TABLE]
To verify (III), observe that if then
[TABLE]
by Property 3 on . (IV) is established by observing that
[TABLE]
by Property 4 of and so
[TABLE]
Third Case: , .
By Property 1 of we have that for all . It follows that and so (I) and (II) hold. Furthermore, since then (III) holds. To verify (IV), we need to show that .
Claim 3**.**
.
Proof of Claim 3 :
Assume, by way of contradiction, that . Since and then must contain a non-trivial loopless component . Choose and fix . Since is non-trivial we may assume . Since there must exist a path from to a looped vertex in . Since this looped vertex must be . Choose such a path ,
[TABLE]
where and . Observe that
[TABLE]
so is a looped vertex in as well. Then some interior edge of must be removed upon pressing as otherwise would have a path to a looped vertex in . Let
[TABLE]
then
[TABLE]
is a path from to a looped vertex in , a contradiction. This establishes Claim 3.
Claim 4**.**
If then .
Proof of Claim 4 :
Let . Assume, by way of contradiction, that and let
[TABLE]
Choose a non-trivial loopless component of and a vertex . Recall that and . Then
[TABLE]
implies
[TABLE]
so . For any , since and , Property 3 implies that , whence
[TABLE]
so is looped in and therefore . If then and
[TABLE]
so . Therefore
[TABLE]
Since then there exists a path in connecting to a looped vertex; since then the looped vertex must .
[TABLE]
where and . Note that
[TABLE]
because, if is not , then is looped in and in the same component (namely, ) with , a contradiction. Then all the interior edges of are unaffected by pressing (although the loop on is removed). If then
[TABLE]
is a path from to in . If then
[TABLE]
is a path from to in . Since is looped in this contradicts that is a non-trivial loopless component. Claim 4 is established.
By Claims 3 and 4 we have only one case left to consider. Let and assume, by way of contradiction, that . Let
[TABLE]
Choose a non-trivial component of and a vertex . Observe that so by Property 4 of . Then, by Property 4 of
[TABLE]
which implies
[TABLE]
so . Similarly,
[TABLE]
implies
[TABLE]
so as it is connected to a looped vertex. If then
[TABLE]
so . If then and
[TABLE]
so . It follows that
[TABLE]
Since has only as a looped vertex then contains a path
[TABLE]
where and . Since
[TABLE]
then none of the interior edges are removed upon pressing . If we have
[TABLE]
is a path to a looped vertex in and if then
[TABLE]
is a path to a looped vertex in . This contradicts that is a loopless component in . We conclude that and therefore establish (IV).
Fourth Case: , .
We show that this case cannot occur. Assume it does to reach a contradiction. Since then by Property 4 only the initial column of has odd weight. It follows that
[TABLE]
Let
[TABLE]
Claim 5**.**
**
Proof of Claim 5 :
Assume, by way of contradiction, that . Then . Since we may conclude that contains a non-trivial loopless component . Choose and fix . Since there exists a path in that connects to a looped vertex, namely . Let
[TABLE]
where and . Observe that
[TABLE]
and let
[TABLE]
If then
[TABLE]
is a path to a looped vertex in , contrary to assumption. Assume and let .
[TABLE]
so . By Property 1 of , for all and so . Let
[TABLE]
Since then
[TABLE]
and therefore
[TABLE]
which implies . Furthermore since otherwise we would have
[TABLE]
and
[TABLE]
which would imply
[TABLE]
contradicting that is a looped vertex. Thus and so which gives us that by Property 4 of and the fact that . However,
[TABLE]
implies since and therefore by Property 1 of . Then
[TABLE]
and
[TABLE]
and so
[TABLE]
Observe that
[TABLE]
so
[TABLE]
is a path in whose and edges are unaffected by pressing (since ) and since
[TABLE]
[TABLE]
is a path from to a looped vertex in , contrary to assumption that is contained in a loopless component of . This contradicts that and establishes Claim 5.
We proceed under the assumption that
[TABLE]
once again in search of a contradiction. Observe that we need not consider the case where since the super-diagonal entries must be all . Furthermore, if we have only two matrices to consider, both of which have an additional successful pressing sequence given by :
[TABLE]
Assume . By Property 4 of we have and so by Property 1 and 2 of
[TABLE]
which gives us . Observing that and we conclude from Property 4 of that , so is looped in . Since then must contain a non-trivial loopless component, say . Choose and fix a vertex . Observe that by Corollary 2. If then pressing must remove its loop so
[TABLE]
which implies that and , contradicting that is loopless. It follows that and therefore, in , we have a path from to a looped vertex :
[TABLE]
where , , and is loopless in for . Observe that since otherwise we would have a looped vertex in . It follows that the interior edges of are unaffected by pressing in and therefore it must be the case that pressing in removes the loop from . By Property 4 on looped vertices in have full weight. Observe that
[TABLE]
Since 1=\langle b,n\rangle_{G}=\osum\limits_{i=1}^{n}(u_{i,b}u_{i,n}) this implies that . (Otherwise, is even but looped in , contradicting Property 4.) Observe that would imply by Property 4 of , and then but , contradicting Property 4 of . Then
[TABLE]
by Property 2 of and so
[TABLE]
and so . Furthermore
[TABLE]
Therefore
[TABLE]
is a path to a looped vertex in . This implies contrary to assumption. Therefore Case 4 cannot occur. ∎
4 Recognition and Enumeration
A straightforward and very slow way to check if a simple pseudo-graph on vertices is uniquely pressable is to check the pressability of each one of its orderings. Here we offer a substantially faster algorithm.
Corollary 4**.**
The unique pressability of can be decided in time .
Proof.
Let be a simple pseudo-graph on vertices. Let be the result of relabeling of so that is order-pressable. If is uniquely pressable then the instructional Cholesky root of is in . Observe that for each ,
[TABLE]
since by Property 4 each has full weight and therefore . However, for each and , by Property 4, and
[TABLE]
Thus,
[TABLE]
Therefore is the unique looped vertex of largest degree. It follows that to find a (potentially unique) pressing order it suffices to iterate the process of finding the looped vertex of largest degree and pressing it. Index the vertices of graph arbitrarily and define , the adjacency matrix of the graph. Algorithm 1 finds a successful pressing sequence for (given that one exists) by finding the looped vertex of largest degree and pressing it; this has running time , as it amounts to performing in-place Gaussian elimination on an matrix. Algorithm 2 computes the instructional Cholesky root of an ordered adjacency matrix and once again is done by performing Gaussian elimination. Finally, Algorithm 3 checks if an upper-triangular matrix has the properties of which is done by computing no more than partial sums for each of columns and comparing them sequentially. Algorithm 3 also has running time .
Algorithm 1: Find a Pressing Order
1: input: Adjacency matrix with entries for
2: output: Re-indexed matrix
3:
4:
5:
6: while do
7:
8:
9:
10: while do
11:
12: if then
13:
14: if then
15:
16:
17:
18: if then
19: if then
20: return False {Not a Pressable Graph}
21: else
22:
23:
24:
25: for do
26: for do
27:
28: for do
29:
30: return
Algorithm 2: Construct instructional Cholesky root
1: input: Adjacency matrix with entries for
2: output: Instructional Cholesky matrix
3:
4:
5: while do
6: if then
7: for do
8:
9: for do
10: for do
11:
12:
13: else
14:
15: return
Algorithm 3: Does this instructional Cholesky correspond to a uniquely pressable OSP?
1: input: Instructional Cholesky matrix with entries for
2: output: True or False
3:
4: while do
5:
6: while do
7: if then
8:
9: else if then
10: return False
11:
12:
13: while do
14: if then
15: return False
16: else if and and then
17: return False
18: else if and then
19: return False
20: else
21:
22: return True
∎
Corollary 5**.**
Let . Let and let be the result of adding a vertex adjacent to each looped vertex in , with a loop at if and only if is even. If , then .
Proof.
Suppose with adjacency matrix and instructional Cholesky root . Observe that where
[TABLE]
Let
[TABLE]
and observe that
[TABLE]
where if and only if if and only if or . It follows that is a Cholesky factorization for the adjacency matrix of . Since then has ’s along the diagonal and so and are full rank matrices. Since Cholesky factorizations are unique for full-rank matrices [9] then must be the instructional Cholesky root of . inherits the properties of in its first columns from . Furthermore the last column of has full weight , so , and therefore . ∎
Corollary 6**.**
Let . Let and be the result of removing all the edges, including loops, from , adding a looped vertex “ ” adjacent to all of . If then .
Proof.
Let , recall that by Property 4 (of its instructional Cholesky root) the looped vertices in form a clique. The only looped vertex in is so if admits a successful pressing sequence it must begin with . However since pressing and deleting creates an edge between any two vertices in . It follows that has exactly one successful pressing sequence: . . ∎
Notation 4**.**
* is the set of connected, uniquely pressable ordered () simple pseudo-graphs on vertex set .*
Corollary 7**.**
The number of connected, uniquely pressable simple pseudo-graphs on vertices up to isomorphism is
[TABLE]
Proof.
For , the result holds since
[TABLE]
We proceed by induction. Let be even and assume . Choose and fix with adjacency matrix and instructional Cholesky root . Let be a re-indexing of given by for all . Let , where
[TABLE]
and
[TABLE]
By Corollaries 5 and 6, . has at least two looped vertices ( and ) and has only one looped vertex (), so . Furthermore, the instructional Cholesky roots of and include as a principal submatrix on consecutive rows and columns so it is not possible that we would have gotten or by applying Corollaries 5 or 6 to other graphs in . It follows that
[TABLE]
Consider now any with instructional Cholesky root . If then let and let be the re-indexing of given by for all . By Lemma 2, and therefore can be constructed from using Corollary 6. If then for all because of Property 4 by appeal to Theorem 1. Let . By Lemma 3, and hence can be obtained by applying Corollary 5 to . It follows that
[TABLE]
We count in a similar, though slightly more complicated, manner. Given , let be result of two successive applications of Corollary 5. Let be the result of applying Corollary 5 followed by Corollary 6, let be the result of applying Corollary 6 followed by Corollary 5, and let be the result of applying Corollary 6 twice successively. We first show that and then argue that are pairwise distinct. Let and be the instructional Cholesky roots of and , respectively. Then
[TABLE]
where whenever it is positioned above a column of odd weight in . Therefore . Observe that has at least two looped vertices, and , whereas and have only one looped vertex “”. Since is even, vertex in is loopless by Property 4. Then the instructional Cholesky root of has the form
[TABLE]
where and so . It follows that
[TABLE]
Choose and fix with instructional Cholesky root . Let , , and . Let and be (order-preserving) re-indexings of and so that . By (repeated) applications of Lemmas 2 and 3; . Let . If then and by Property 1, for all and for all . Then can be constructed from two applications of Corollary 5 to . If then and by Property 4. Furthermore, Property 4 implies that is the only looped vertex, since is even and . Observing that must be a full weight vertex, we conclude that can be constructed from by application of Corollaries 5 and 6 (in either order). Finally if then and by Property 4, and since is even, . Furthermore by Property 4 it follows that and have each only one looped vertex. Then can be constructed from by two applications of Corollary 6. It follows that
[TABLE]
Therefore
[TABLE]
∎
Corollary 8**.**
The number of uniquely pressable simple pseudo-graphs on vertices up to isomorphism is
[TABLE]
Proof.
There are three non-isomorphic uniquely pressable simple pseudo-graphs on vertices: the edgeless (loopless) graph, the disconnected graph containing one looped vertex and one unlooped vertex, and the connected graph containing one looped vertex and one unlooped vertex. We proceed by induction on . Observe that for every and for every , we can create a (distinct) uniquely pressable graph on vertices by adding isolated vertices to . Similarly, if is a uniquely pressable graph, then it is either the edgeless (loopless) graph or it contains exactly one non-trivial component which must be a graph for some . Hence
[TABLE]
The result follows by observing that
[TABLE]
and
[TABLE]
∎
5 Conclusion
We end with a few open problems raised by the above analysis.
Our recognition algorithm has running time as it relies on explicit Gaussian elimination. In [1] and [4] the authors give improved algorithms (with sub-cubic running time) for obtaining the reduced row echelon form of a matrix with entries from a finite field.
Question 1**.**
Can the detection algorithm be improved to sub-cubic running time?
It is natural to go beyond unique pressability for the problems of characterization, enumeration, and recognition.
Question 2**.**
Which graphs have exactly pressing sequences for ?
In [9], the authors consider the set of all pressing sequences of an arbitrary OSP-graph. Some of their results suggest that problem of counting the number of pressing sequences might be easy; for example, they show that it is a kind of relaxation of graph automorphism counting, a problem which is GI-complete [12], and therefore at worst quasipolynomial in time complexity [2]. They also connected the enumeration of pressing sequences with counting perfect matchings, a problem which is famously #P-hard [13]. Some of our results also suggest that this counting problem might be hard; for example, pressing sequences are certain linear extensions of the directed acyclic graphs whose adjacency matrices are given by instructional Cholesky roots, and enumerating linear extensions is also famously #P-hard [6]. Therefore we ask the following.
Question 3**.**
What is the complexity of counting the number of pressing sequences of a graph?
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] D. Andrén, L. Hellström, and K. Markström. On the complexity of matrix reduction over finite fields. Advances in applied mathematics , 39(4):428–452, 2007.
- 2[2] L. Babai. Graph isomorphism in quasipolynomial time. In Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing , pages 684–697. ACM, 2016.
- 3[3] A. Bergeron. A very elementary presentation of the Hannenhalli-Pevzner theory. In Annual Symposium on Combinatorial Pattern Matching , pages 106–117. Springer, 2001.
- 4[4] E. Bertolazzi and A. Rimoldi. Fast matrix decomposition in F 2. Journal of Computational and Applied Mathematics , 260:519–532, 2014.
- 5[5] E. Bixby, T. Flint, and I. Miklós. Proving the pressing game conjecture on linear graphs. Involve, a Journal of Mathematics , 9(1):41–56, 2015.
- 6[6] G. Brightwell and P. Winkler. Counting linear extensions. Order , 8(3):225–242, 1991.
- 7[7] R. A. Brualdi and H. J. Ryser. Combinatorial matrix theory , volume 39. Cambridge University Press, 1991.
- 8[8] A. Caprara. Sorting by reversals is difficult. In Proceedings of the first annual international conference on Computational molecular biology , pages 75–83. ACM, 1997.
