백 투 더 퓨처

호환 쌍 그래프가 주어질 때, 고른 각 정점이 부분집합 안에서 이웃을 A개 이상, 비이웃을 B개 이상 가지는 가장 큰 부분집합의 크기를 구한다.

어려움8그래프그리디구현아직 제출이 없습니다시간 제한2초메모리 제한512 MB

문제

에멧 박사는 더 안전한 시간 여행 장치를 만들고 있다. 박사는 서로 다른 희귀 금속 조각을 NN개 모았다. 어떤 두 조각은 서로 호환된다. 박사는 호환되는 금속 쌍 MM개를 모두 적은 목록이 있고, 목록에 없는 쌍은 호환되지 않는다.

장치가 작동하려면 금속 집합을 하나 골라야 한다. 고른 집합 안에서 각 금속은 적어도 AA개의 다른 금속과 호환되어야 한다. 또 균형을 맞추기 위해, 같은 집합 안에서 적어도 BB개의 다른 금속과 호환되지 않아야 한다.

금속이 많을수록 에너지가 커지고 장치도 안전해진다. 두 조건을 모두 만족하는 가장 큰 집합의 크기를 구하라.

입력

첫째 줄에 정수 NN, MM, AA, BB가 공백으로 구분되어 주어진다. NN은 금속 조각의 개수 (1N1051 \le N \le 10^5), MM은 호환되는 쌍의 개수 (1M1051 \le M \le 10^5), AABB는 문제에서 설명한 값이다 (0A,B<N0 \le A, B < N). 금속에는 11번부터 NN번까지 번호가 붙어 있다.

다음 MM개 줄에는 호환되는 금속 쌍을 나타내는 두 정수 XXYY가 주어진다 (1X,YN1 \le X, Y \le N, XYX \ne Y). 같은 쌍이 두 번 주어지는 경우는 없다.

출력

두 조건을 모두 만족하는 가장 큰 금속 집합의 크기를 한 줄에 출력한다. 조건을 만족하는 집합이 하나도 없으면 00을 출력한다.