separation graph