Benson's algorithm (Go)
algorithm to determine whether a group of go stones are unconditionally alive