Supplementary material for Markov equivalence for ancestral graphs

We prove that the criterion for Markov equivalence provided by Zhao et al. (2005) may involve a set of features of a graph that is exponential in the number of vertices.