21 citations · 50 across the 14 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.CC2014
A linear time algorithm for the orbit problem over cyclic groups
Anthony Widjaja Lin, Sanming Zhou
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented…
math.CO2014★ 8 cited
Forwarding and optical indices of 4-regular circulant networks
Heng-Soon Gan, Hamid Mokhtar, Sanming Zhou
An all-to-all routing in a graph is a set of oriented paths of , with exactly one path for each ordered pair of vertices. The load of an edge under an all-to-all routing …
math.CO2014
Three-arc graphs: characterization and domination
Guangjun Xu, Sanming Zhou
An arc of a graph is an oriented edge and a 3-arc is a 4-tuple of vertices such that both and are paths of length two. The 3-arc graph of a graph $G…