ctmcisir
Check if Q is irreducible, and identify Strongly Connected Components (SCC) in the transition graph of the DTMC with infinitesimal generator matrix Q.
INPUTS
Q(i,j)
Infinitesimal generator matrix. Q is a square
matrix where Q(i,j)
is the transition rate from state
to state , for ,
.
OUTPUTS
r
1 if Q is irreducible, 0 otherwise.
s(i)
strongly connected component (SCC) that state belongs to.
SCCs are numbered . If the graph is strongly
connected, then there is a single SCC and the predicate all(s == 1)
evaluates to true.