Minimum cycle bases of product graphs

A construction for a minimum cycle basis for the Cartesian and the strong product of two graphs from the minimum length cycle bases of the factors is presented. Furthermore, we derive asymptotic expressions for the average length of the cycles in the minimum cycle bases of the powers (iterated products) of graphs. In the limit only triangles and squares play a role.