select approximable states from DAG