NZ-flows in strong products of graphs

We prove that the strong product G1t G2 of G1 and G2 is Z3-flow contractible if and only if G1t G2 is not Tt K2, where T is a tree (we call Tt K2 a K4-tree). It follows that G1t G2 admits an NZ 3 -flow unless G1t G2 is a K4 -tree. We also give a constructive proof that yields a polynomial algorithm whose output is an NZ 3-flow if G1t G2 is not a K4 -tree, and an NZ 4-flow otherwise. © 2009 Wiley Periodicals, Inc. J Graph Theory 64: 267–276, 2010