For a system of tasks that may lock resources, the “wait-for” one of these constructs can be used to represent the system state and identify deadlocks. Weisfeiler-Leman algorithms are used on these objects, which may be used to construct a static schedule by building one of these objects. (15[1])In 2015, László Babai announced work on a problem named for these objects that runs in quasipolynomial time. The expression D minus A gives a type of (*) Laplacian representing these objects. One of these objects that obeys the triangle inequality is used as input for the Christofides algorithm. Kruskal’s algorithm constructs a (-5[1])minimum spanning (-5[1])tree on these objects, which may be used for causality diagramming in their directed (10[1])acyclic form. For 10 points, name these objects (10[1])that consist of a collection of vertices connected by edges. ■END■ (10[1]0[1])