“…Cartesian products of paths) are widely studied because they represent interconnection models of multiprocessors in VLSI systems. The domination numbers of the Cartesian products, for several fixed values of k, were computed for P n 2P k in [1,8,11,19,20], for C n 2C k in [14,35,52] and for P n 2C k in [42]. A general O(log n) algorithm based on path algebra in [36], can be used to compute the domination number of P n 2P k , for any fixed k. This algorithm can also be used to compute distance based invariants [32] and domination numbers [53] in polygraphs in constant time, that is, the algorithm can find closed formulas for arbitrary values of n. The existence of an algorithm that can provide closed formulas for the domination numbers of all grid graphs (P n 2P k ) has been observed or claimed in [17,40].…”