The nodes of the matrix are topologically sorted (by using the tsort
function of the RBGL package).
Let's denote with adj
our adjacency matrix. Then adj
represents a partial
order data set in which the class j
dominates the class i
. In other words, adj[i,j]=1
means that j
dominates i
;
adj[i,j]=0
means that there is no edge between the class i
and the class j
. Moreover the nodes of adj
are
ordered such that adj[i,j]=1
implies \(i < j\), i.e. adj
is upper triangular.