무인 탐사선 아카이브 — 응축 그래프 보고서

무인 탐사선 아카이브에서는 매일 서로 다른 형식의 판단 기록을 남긴다. 오늘은 분석가 태오가 항법 명령열을 넘겨받았다. 이번 기록에서 해야 할 일은 다음과 같다. 응축 그래프에서 진입 차수가 0인 요소 수를 출력한다. 기록은 정상적으로 수집되었지만 정렬되어 있다는 보장은 없다. 필요한 순서가 있다면 프로그램이 직접 만들어야 한다. 자료의 형식은 아래 입력 설명을 따르며, 범위를 벗어난 값이나 손상된 기록은 주어지지 않는다. 1≤N≤300,000, 0≤M≤600,000이며 자기 간선도 허용된다. 한 번 처리한 결과를 다음 단계의 원본 값으로 되돌려 쓰지 않는다. 모든 판정은 명시된 상태를 기준으로 한다. 프로그램은 입력 전체를 표준 입력에서 읽어야 한다. 제한 안의 가장 작은 사례와 가장 큰 사례, 값이 한쪽으로 치우친 사례가 모두 채점에 포함될 수 있다. 따라서 예시에서 우연히 성립하는 규칙이 아니라 정의된 절차를 모든 유효한 입력에 적용해야 한다. 계산 과정에서 자료를 복사하거나 정렬하는 경우에도 원래 위치와 1-based 번호의 의미가 사라지지 않도록 주의한다. 탐사선이 통신 음영에 들기 전 분석가 태오가 바로 사용할 수 있도록 요구된 결과만 출력하라.

첫 줄에 방향 그래프의 N M, 다음 M줄에 간선 u v가 주어진다.

응축 그래프에서 진입 차수가 0인 요소 수를 출력한다. 각 값 외의 설명 문장은 출력하지 않는다.

핵심 주제: 강한 연결 요소. 완료 순서와 역그래프를 이용해 SCC를 분리한 뒤 요소 사이 간선만 보아 응축 그래프를 만든다.