Two-Round Diagnosability Measures for Multiprocessor Systems

Algorithm 2

Fast identification.

	Input:
	An undirected graph with , a positive integer and a syndrome .
(i)	Output:
	A fault set , a fault-free node set and a second-round fault set , where .
(1)	Let and .
	For any , perform ; .
	while , let , and .
(2)	While , output and . Otherwise, go to Step 3.
(3)	While , let , output and .
	Otherwise, repair the faulty nodes in and execute
	Best until . Additionally, output subsets , , and .
	Best :
	For any , if (), then ; otherwise, .