The input to the Graph Clustering Problem consists of a sequence of integer
s m(1),...,m(c) and a sequence of Sigma(i=1)(c) m(i) graphs. The question i
s whether the equivalence classes, under the graph isomorphism relation, of
the input graphs have sizes which match the input sequence of integers. In
this note we show that this problem has a (perfect) zero-knowledge interac
tive proof system. (C) 1999 Published by Elsevier Science B.V. All rights r
eserved.