The method of collision detection for temporal constraint on air formation coordinated operation against ground was studied using graph theory.The characteristics of temporal constraint in air formation coordinated operation against ground were presented, the Simple Temporal Constraint Network (STCN) theory was discussed, and a STCN model on mission was established.Then the model was translated into a weight matrix resulted from references to graph theory.The correspondence between values of cycles and weight matrix element was analyzed, and then a weight matrix algorithm, which was a new method for consistency testing, was put forward.Theoretic analysis showed that:all values of cycles could be calculated synchronously, moreover, the time complexity was reduced effectively and testing efficiency was improved remarkably, and it satisfied the requirement of dynamic coordination.The simulation result showed that the method was effective and feasible.