백 투 더 퓨처
시간 제한2초메모리 제한512 MB
호환 쌍 그래프가 주어질 때, 고른 각 정점이 부분집합 안에서 이웃을 A개 이상, 비이웃을 B개 이상 가지는 가장 큰 부분집합의 크기를 구한다.
문제
에멧 박사는 더 안전한 시간 여행 장치를 만들고 있다. 박사는 서로 다른 희귀 금속 조각을 개 모았다. 어떤 두 조각은 서로 호환된다. 박사는 호환되는 금속 쌍 개를 모두 적은 목록이 있고, 목록에 없는 쌍은 호환되지 않는다.
장치가 작동하려면 금속 집합을 하나 골라야 한다. 고른 집합 안에서 각 금속은 적어도 개의 다른 금속과 호환되어야 한다. 또 균형을 맞추기 위해, 같은 집합 안에서 적어도 개의 다른 금속과 호환되지 않아야 한다.
금속이 많을수록 에너지가 커지고 장치도 안전해진다. 두 조건을 모두 만족하는 가장 큰 집합의 크기를 구하라.
입력
첫째 줄에 정수 , , , 가 공백으로 구분되어 주어진다. 은 금속 조각의 개수 (), 은 호환되는 쌍의 개수 (), 와 는 문제에서 설명한 값이다 (). 금속에는 번부터 번까지 번호가 붙어 있다.
다음 개 줄에는 호환되는 금속 쌍을 나타내는 두 정수 와 가 주어진다 (, ). 같은 쌍이 두 번 주어지는 경우는 없다.
출력
두 조건을 모두 만족하는 가장 큰 금속 집합의 크기를 한 줄에 출력한다. 조건을 만족하는 집합이 하나도 없으면 을 출력한다.