binary decision graph