용의자와 목격자
면접 대비시간 제한40초메모리 제한1024 MB
손님들의 증언 목록과 도둑의 최대 인원 K가 주어질 때, 모든 가능한 경우에서 결백이 증명되는 손님 수를 구합니다.
문제
Ada는 생일 파티를 위해 쿠키를 구웠다. 파티에는 명의 손님을 초대했고, 손님에게는 번부터 번까지 번호가 붙어 있다. 손님이 모두 도착해 파티가 막 시작되려는 순간, 끔찍한 일이 벌어졌다. 누군가 쿠키를 훔친 것이다.
Ada는 탐정 모자를 쓰고 손님들에게 질문한다. 그녀는 "손님 는 쿠키를 훔치지 않았다."라는 형식의 목격 진술을 개 모았다. 진술자는 손님 x이다.
Ada는 손님이 무죄(쿠키를 훔치지 않은 경우)라면 그 손님의 모든 진술이 참이어야 한다는 것을 안다. 다만 쿠키를 훔친 손님의 진술이 맞는지는 Ada가 알 수 없다.
제보자는 쿠키를 훔친 사람이 많아야 명이라고 알려 주었다. 이 정보를 바탕으로 무죄임을 증명할 수 있는 손님이 몇 명인지 구하라.
쿠키를 실제로 훔친 손님이 없을 수도 있다. 그저 Ada가 구운 쿠키의 개수를 잊어버렸을 뿐일 수도 있다.
입력
입력의 첫 줄에는 테스트 케이스의 개수 가 주어진다. 이어서 개의 테스트 케이스가 주어진다.
각 테스트 케이스의 첫 줄에는 세 정수 , , 가 주어진다. 각각 손님 수, 진술 수, 쿠키를 훔친 사람의 최대 수이다.
다음 개의 줄은 진술을 나타낸다. 번째 줄에는 두 정수 와 가 주어지며, 이는 손님 의 진술 "손님 는 쿠키를 훔치지 않았다."를 뜻한다.
출력
각 테스트 케이스마다 Case #$x$: $y$ 형식으로 한 줄을 출력한다. 여기서 는 테스트 케이스 번호(1부터 시작)이고, 는 무죄임을 증명할 수 있는 손님의 수이다.
제한
- .
- .
- .
- 모든 에 대해 .
- 모든 에 대해 .
- 모든 에 대해 .
- 모든 에 대해 .