Atcoder Educational DP Contest P - Independent Set