using System.Collections.Generic;
using Pathfinding.Util;
using Pathfinding.Serialization;
using System.Linq;
using UnityEngine;
#if UNITY_5_5_OR_NEWER
using UnityEngine.Profiling;
#endif
namespace Pathfinding {
///
/// Holds a hierarchical graph to speed up certain pathfinding queries.
///
/// A common type of query that needs to be very fast is on the form 'is this node reachable from this other node'.
/// This is for example used when picking the end node of a path. The end node is determined as the closest node to the end point
/// that can be reached from the start node.
///
/// This data structure's primary purpose is to keep track of which connected component each node is contained in, in order to make such queries fast.
///
/// See: https://en.wikipedia.org/wiki/Connected_component_(graph_theory)
///
/// A connected component is a set of nodes such that there is a valid path between every pair of nodes in that set.
/// Thus the query above can simply be answered by checking if they are in the same connected component.
/// The connected component is exposed on nodes as the property and on this class using the method.
///
/// In the image below (showing a 200x200 grid graph) each connected component is colored using a separate color.
/// The actual color doesn't signify anything in particular however, only that they are different.
/// [Open online documentation to see images]
///
/// Prior to version 4.2 the connected components were just a number stored on each node, and when a graph was updated
/// the connected components were completely recalculated. This can be done relatively efficiently using a flood filling
/// algorithm (see https://en.wikipedia.org/wiki/Flood_fill) however it still requires a pass through every single node
/// which can be quite costly on larger graphs.
///
/// This class instead builds a much smaller graph that still respects the same connectivity as the original graph.
/// Each node in this hierarchical graph represents a larger number of real nodes that are one single connected component.
/// Take a look at the image below for an example. In the image each color is a separate hierarchical node, and the black connections go between the center of each hierarchical node.
///
/// [Open online documentation to see images]
///
/// With the hierarchical graph, the connected components can be calculated by flood filling the hierarchical graph instead of the real graph.
/// Then when we need to know which connected component a node belongs to, we look up the connected component of the hierarchical node the node belongs to.
///
/// The benefit is not immediately obvious. The above is just a bit more complicated way to accomplish the same thing. However the real benefit comes when updating the graph.
/// When the graph is updated, all hierarchical nodes which contain any node that was affected by the update is removed completely and then once all have been removed new hierarchical nodes are recalculated in their place.
/// Once this is done the connected components of the whole graph can be updated by flood filling only the hierarchical graph. Since the hierarchical graph is vastly smaller than the real graph, this is significantly faster.
///
/// [Open online documentation to see videos]
///
/// So finally using all of this, the connected components of the graph can be recalculated very quickly as the graph is updated.
/// The effect of this grows larger the larger the graph is, and the smaller the graph update is. Making a small update to a 1000x1000 grid graph is on the order of 40 times faster with these optimizations.
/// When scanning a graph or making updates to the whole graph at the same time there is however no speed boost. In fact due to the extra complexity it is a bit slower, however after profiling the extra time seems to be mostly insignificant compared to the rest of the cost of scanning the graph.
///
/// [Open online documentation to see videos]
///
/// See:
/// See:
/// See:
///
public class HierarchicalGraph {
const int Tiling = 16;
const int MaxChildrenPerNode = Tiling * Tiling;
const int MinChildrenPerNode = MaxChildrenPerNode/2;
List[] children = new List[0];
List[] connections = new List[0];
int[] areas = new int[0];
byte[] dirty = new byte[0];
public int version { get; private set; }
public System.Action onConnectedComponentsChanged;
System.Action connectionCallback;
Queue temporaryQueue = new Queue();
List currentChildren = null;
List currentConnections = null;
int currentHierarchicalNodeIndex;
Stack temporaryStack = new Stack();
int numDirtyNodes = 0;
GraphNode[] dirtyNodes = new GraphNode[128];
Stack freeNodeIndices = new Stack();
int gizmoVersion = 0;
public HierarchicalGraph () {
// Cache this callback to avoid allocating a new one every time the FindHierarchicalNodeChildren method is called.
// It is a big ugly to have to use member variables for the state information in that method, but I see no better way.
connectionCallback = (GraphNode neighbour) => {
var hIndex = neighbour.HierarchicalNodeIndex;
if (hIndex == 0) {
if (currentChildren.Count < MaxChildrenPerNode && neighbour.Walkable /* && (((GridNode)currentChildren[0]).XCoordinateInGrid/Tiling == ((GridNode)neighbour).XCoordinateInGrid/Tiling) && (((GridNode)currentChildren[0]).ZCoordinateInGrid/Tiling == ((GridNode)neighbour).ZCoordinateInGrid/Tiling)*/) {
neighbour.HierarchicalNodeIndex = currentHierarchicalNodeIndex;
temporaryQueue.Enqueue(neighbour);
currentChildren.Add(neighbour);
}
} else if (hIndex != currentHierarchicalNodeIndex && !currentConnections.Contains(hIndex)) {
// The Contains call can in theory be very slow as an hierarchical node may be adjacent to an arbitrary number of nodes.
// However in practice due to how the nodes are constructed they will only be adjacent to a smallish (≈4-6) number of other nodes.
// So a Contains call will be much faster than say a Set lookup.
currentConnections.Add(hIndex);
}
};
Grow();
}
void Grow () {
var newChildren = new List[System.Math.Max(64, children.Length*2)];
var newConnections = new List[newChildren.Length];
var newAreas = new int[newChildren.Length];
var newDirty = new byte[newChildren.Length];
children.CopyTo(newChildren, 0);
connections.CopyTo(newConnections, 0);
areas.CopyTo(newAreas, 0);
dirty.CopyTo(newDirty, 0);
for (int i = children.Length; i < newChildren.Length; i++) {
newChildren[i] = ListPool.Claim(MaxChildrenPerNode);
newConnections[i] = new List();
if (i > 0) freeNodeIndices.Push(i);
}
children = newChildren;
connections = newConnections;
areas = newAreas;
dirty = newDirty;
}
int GetHierarchicalNodeIndex () {
if (freeNodeIndices.Count == 0) Grow();
return freeNodeIndices.Pop();
}
internal void OnCreatedNode (GraphNode node) {
if (node.NodeIndex >= dirtyNodes.Length) {
var newDirty = new GraphNode[System.Math.Max(node.NodeIndex + 1, dirtyNodes.Length*2)];
dirtyNodes.CopyTo(newDirty, 0);
dirtyNodes = newDirty;
}
AddDirtyNode(node);
}
internal void AddDirtyNode (GraphNode node) {
if (!node.IsHierarchicalNodeDirty) {
node.IsHierarchicalNodeDirty = true;
// While the dirtyNodes array is guaranteed to be large enough to hold all nodes in the graphs
// the array may also end up containing many destroyed nodes. This can in rare cases cause it to go out of bounds.
// In that case we need to go through the array and filter out any destroyed nodes while making sure to mark their
// corresponding hierarchical nodes as being dirty.
if (numDirtyNodes < dirtyNodes.Length) {
dirtyNodes[numDirtyNodes] = node;
numDirtyNodes++;
} else {
int maxIndex = 0;
for (int i = numDirtyNodes - 1; i >= 0; i--) {
if (dirtyNodes[i].Destroyed) {
numDirtyNodes--;
dirty[dirtyNodes[i].HierarchicalNodeIndex] = 1;
dirtyNodes[i] = dirtyNodes[numDirtyNodes];
dirtyNodes[numDirtyNodes] = null;
} else {
maxIndex = System.Math.Max(maxIndex, dirtyNodes[i].NodeIndex);
}
}
if (numDirtyNodes >= dirtyNodes.Length) throw new System.Exception("Failed to compactify dirty nodes array. This should not happen. " + maxIndex + " " + numDirtyNodes + " " + dirtyNodes.Length);
AddDirtyNode(node);
}
}
}
public int NumConnectedComponents { get; private set; }
/// Get the connected component index of a hierarchical node
public uint GetConnectedComponent (int hierarchicalNodeIndex) {
return (uint)areas[hierarchicalNodeIndex];
}
void RemoveHierarchicalNode (int hierarchicalNode, bool removeAdjacentSmallNodes) {
freeNodeIndices.Push(hierarchicalNode);
var conns = connections[hierarchicalNode];
for (int i = 0; i < conns.Count; i++) {
var adjacentHierarchicalNode = conns[i];
// If dirty, this node will be removed later anyway, so don't bother doing anything with it.
if (dirty[adjacentHierarchicalNode] != 0) continue;
if (removeAdjacentSmallNodes && children[adjacentHierarchicalNode].Count < MinChildrenPerNode) {
dirty[adjacentHierarchicalNode] = 2;
RemoveHierarchicalNode(adjacentHierarchicalNode, false);
} else {
// Remove the connection from the other node to this node as we are removing this node.
connections[adjacentHierarchicalNode].Remove(hierarchicalNode);
}
}
conns.Clear();
var nodeChildren = children[hierarchicalNode];
for (int i = 0; i < nodeChildren.Count; i++) {
AddDirtyNode(nodeChildren[i]);
}
nodeChildren.ClearFast();
}
/// Recalculate the hierarchical graph and the connected components if any nodes have been marked as dirty
public void RecalculateIfNecessary () {
if (numDirtyNodes > 0) {
Profiler.BeginSample("Recalculate Connected Components");
for (int i = 0; i < numDirtyNodes; i++) {
dirty[dirtyNodes[i].HierarchicalNodeIndex] = 1;
}
// Remove all hierarchical nodes and then build new hierarchical nodes in their place
// which take into account the new graph data.
for (int i = 1; i < dirty.Length; i++) {
if (dirty[i] == 1) RemoveHierarchicalNode(i, true);
}
for (int i = 1; i < dirty.Length; i++) dirty[i] = 0;
for (int i = 0; i < numDirtyNodes; i++) {
dirtyNodes[i].HierarchicalNodeIndex = 0;
}
for (int i = 0; i < numDirtyNodes; i++) {
var node = dirtyNodes[i];
// Be nice to the GC
dirtyNodes[i] = null;
node.IsHierarchicalNodeDirty = false;
if (node.HierarchicalNodeIndex == 0 && node.Walkable && !node.Destroyed) {
FindHierarchicalNodeChildren(GetHierarchicalNodeIndex(), node);
}
}
numDirtyNodes = 0;
// Recalculate the connected components of the hierarchical nodes
FloodFill();
Profiler.EndSample();
gizmoVersion++;
}
}
///
/// Recalculate everything from scratch.
/// This is primarily to be used for legacy code for compatibility reasons, not for any new code.
///
/// See:
///
public void RecalculateAll () {
AstarPath.active.data.GetNodes(node => AddDirtyNode(node));
RecalculateIfNecessary();
}
/// Flood fills the graph of hierarchical nodes and assigns the same area ID to all hierarchical nodes that are in the same connected component
void FloodFill () {
for (int i = 0; i < areas.Length; i++) areas[i] = 0;
Stack stack = temporaryStack;
int currentArea = 0;
for (int i = 1; i < areas.Length; i++) {
// Already taken care of
if (areas[i] != 0) continue;
currentArea++;
areas[i] = currentArea;
stack.Push(i);
while (stack.Count > 0) {
int node = stack.Pop();
var conns = connections[node];
for (int j = conns.Count - 1; j >= 0; j--) {
var otherNode = conns[j];
// Note: slightly important that this is != currentArea and not != 0 in case there are some connected, but not stongly connected components in the graph (this will happen in only veeery few types of games)
if (areas[otherNode] != currentArea) {
areas[otherNode] = currentArea;
stack.Push(otherNode);
}
}
}
}
NumConnectedComponents = System.Math.Max(1, currentArea + 1);
version++;
}
/// Run a BFS out from a start node and assign up to MaxChildrenPerNode nodes to the specified hierarchical node which are not already assigned to another hierarchical node
void FindHierarchicalNodeChildren (int hierarchicalNode, GraphNode startNode) {
// Set some state for the connectionCallback delegate to use
currentChildren = children[hierarchicalNode];
currentConnections = connections[hierarchicalNode];
currentHierarchicalNodeIndex = hierarchicalNode;
var que = temporaryQueue;
que.Enqueue(startNode);
startNode.HierarchicalNodeIndex = hierarchicalNode;
currentChildren.Add(startNode);
while (que.Count > 0) {
que.Dequeue().GetConnections(connectionCallback);
}
for (int i = 0; i < currentConnections.Count; i++) {
connections[currentConnections[i]].Add(hierarchicalNode);
}
que.Clear();
}
public void OnDrawGizmos (Pathfinding.Util.RetainedGizmos gizmos) {
var hasher = new Pathfinding.Util.RetainedGizmos.Hasher(AstarPath.active);
hasher.AddHash(gizmoVersion);
if (!gizmos.Draw(hasher)) {
var builder = ObjectPool.Claim();
var centers = ArrayPool.Claim(areas.Length);
for (int i = 0; i < areas.Length; i++) {
Int3 center = Int3.zero;
var childs = children[i];
if (childs.Count > 0) {
for (int j = 0; j < childs.Count; j++) center += childs[j].position;
center /= childs.Count;
centers[i] = (UnityEngine.Vector3)center;
}
}
for (int i = 0; i < areas.Length; i++) {
if (children[i].Count > 0) {
for (int j = 0; j < connections[i].Count; j++) {
if (connections[i][j] > i) {
builder.DrawLine(centers[i], centers[connections[i][j]], UnityEngine.Color.black);
}
}
}
}
builder.Submit(gizmos, hasher);
}
}
}
}