Logo
(追記) (追記ここまで)

31071번 - 사진 촬영 서브태스크다국어

시간 제한메모리 제한제출정답맞힌 사람정답 비율
8 초 1024 MB20412118.527%

문제

서울과학고는 $N$개의 방과 서로 다른 두 방을 연결하는 $N-1$개의 복도로 이루어진 트리 형태로 표현할 수 있다. 모든 복도는 양방향으로 이동할 수 있고, 복도를 이용해 모든 방 사이를 이동할 수 있다. 하나의 복도를 통과하는 데 걸리는 시간은 1ドル$이다.

브루는 졸업을 앞두고 서울과학고에서 함께 추억을 쌓았던 $K$명의 친구들과 사진을 찍으려고 한다.

브루는 $K$명의 친구들 각각과 함께 두 장의 커플 사진을 찍을 것이다. 이때 $i$번 친구와는 각각 $A_i$번 방과 $B_i$번 방에서 사진을 찍을 것이다. 1ドル$번 방에서 $B_i$번 방까지 이동하기 위해 반드시 $A_i$번 방을 지나야 함이 보장된다.

총 2ドルK$장의 사진을 찍으려면 학교 내에서 이동해야 하지만, 모든 친구와 함께 이동하게 되면 혼잡해진다. 따라서 브루와 친구들은 다음과 같은 방식으로 이동하기로 했다.

먼저 브루는 서울과학고를 순회하는 계획을 세운다. 순회 계획은 다음 조건에 맞아야 한다.

  • 순회 계획은 시간 0ドル$에 방 1ドル$에서 출발하는 것으로 시작되며, 시간 2ドルN-2$에 방 1ドル$에 도착하는 것으로 끝난다.
  • 모든 복도를 정확히 두 번 통과하며, 두 방향은 서로 반대이다.
  • 시간을 계산할 때는 복도를 통과하는 시간만 고려한다. 사진을 찍는 시간 등은 무시한다.

편의상 순회 계획을 수열 $S_0,S_1,\cdots ,S_{2N-2}$로 나타내자. 이때 $S_i$는 시간 $i$에 브루가 막 도착한 방의 번호이다.

다음으로, $K$명의 친구들은 브루의 순회에 함께할 시간을 정한다. $i$번째 친구는 자신이 브루의 순회에 합류할 시각 $L_i$와 순회에서 빠져나올 시각 $R_i$를 정한다. 이때, $i$번 친구는 $A_i$번 방과 $B_i$번 방에서 브루와 함께 사진을 찍어야 하므로, 이 시간 간격 동안 브루가 $A_i$번 방과 $B_i$번 방을 모두 방문해야 한다. 즉, $L_i\le e,f\le R_i;$ $S_e=A_i;$ $S_f=B_i$인 정수 $e$와 $f$가 존재해야 한다.

$i$번 친구의 이동 시간은 $R_i-L_i$로 정의된다. 브루는 모든 친구의 이동 시간 합을 최소화하고자 한다. 브루를 위해 가능한 최소 이동 시간 합을 구해 주자.

입력

첫째 줄에 방의 수 $N$과 친구의 수 $K$가 주어진다.

둘째 줄부터 $N$번째 줄까지 $i+1$번째 줄에는 $i$번 복도가 연결하는 두 방의 번호 $U_i$와 $V_i$가 공백으로 구분되어 주어진다.

$N+1$번째 줄부터 $N+K$번째 줄까지 $N+i$번째 줄에는 $i$번 친구와 같이 사진을 찍을 방의 번호 $A_i$와 $B_i$가 공백으로 구분되어 주어진다.

출력

모든 친구의 이동 시간 합으로 가능한 최솟값을 출력한다.

제한

  • 2ドル\le N\le 5\times 10^5$
  • 1ドル\le K\le 18$
  • 1ドル\le U_i\le N$ $(1\le i<N)$
  • 1ドル\le V_i\le N$ $(1\le i<N)$
  • $U_i\neq V_i$ $(1\le i<N)$
  • 입력으로 주어지는 서울과학고의 구조는 트리임이 보장된다.
  • 1ドル\le A_i,B_i\le N$ $(1\le i\le K)$
  • $A_i\neq B_i$ $(1\le i\le K)$
  • 1ドル$번 방에서 $B_i$번 방까지 이동하기 위해 $A_i$번 방을 반드시 거쳐야 한다. $(1\le i\le K)$
  • 입력으로 주어지는 모든 수는 정수이다.

서브태스크

번호배점제한
112

$N \le 10,ドル $K \le 10$

225

$N \le 100,ドル 1ドル$번 방과 연결된 복도는 2개 이하이고, 나머지 방과 연결된 복도는 각각 3개 이하이다.

347

$N \le 100$

416

추가 제한 조건이 없다.

예제 입력 1

7 3
1 2
1 3
2 4
2 5
3 6
3 7
1 4
2 5
1 7

예제 출력 1

5

힌트

W3sicHJvYmxlbV9pZCI6IjMxMDcxIiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjMGFjXHVjOWM0IFx1Y2QyY1x1YzYwMSIsImRlc2NyaXB0aW9uIjoiPHA+XHVjMTFjXHVjNmI4XHVhY2ZjXHVkNTU5XHVhY2UwXHViMjk0ICROJFx1YWMxY1x1Yzc1OCBcdWJjMjlcdWFjZmMgXHVjMTFjXHViODVjIFx1YjJlNFx1Yjk3OCBcdWI0NTAgXHViYzI5XHVjNzQ0IFx1YzVmMFx1YWNiMFx1ZDU1OFx1YjI5NCAkTi0xJFx1YWMxY1x1Yzc1OCBcdWJjZjVcdWIzYzRcdWI4NWMgXHVjNzc0XHViOGU4XHVjNWI0XHVjOWM0IFx1ZDJiOFx1YjlhYyBcdWQ2MTVcdWQwZGNcdWI4NWMgXHVkNDVjXHVkNjA0XHVkNTYwIFx1YzIxOCBcdWM3ODhcdWIyZTQuIFx1YmFhOFx1YjRlMCBcdWJjZjVcdWIzYzRcdWIyOTQgXHVjNTkxXHViYzI5XHVkNWE1XHVjNzNjXHViODVjIFx1Yzc3NFx1YjNkOVx1ZDU2MCBcdWMyMTggXHVjNzg4XHVhY2UwLCBcdWJjZjVcdWIzYzRcdWI5N2MgXHVjNzc0XHVjNmE5XHVkNTc0IFx1YmFhOFx1YjRlMCBcdWJjMjkgXHVjMGFjXHVjNzc0XHViOTdjIFx1Yzc3NFx1YjNkOVx1ZDU2MCBcdWMyMTggXHVjNzg4XHViMmU0LiBcdWQ1NThcdWIwOThcdWM3NTggXHViY2Y1XHViM2M0XHViOTdjIFx1ZDFiNVx1YWNmY1x1ZDU1OFx1YjI5NCBcdWIzNzAgXHVhYzc4XHViOWFjXHViMjk0IFx1YzJkY1x1YWMwNFx1Yzc0MCAkMSRcdWM3NzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YmUwY1x1YjhlOFx1YjI5NCBcdWM4NzhcdWM1YzVcdWM3NDQgXHVjNTVlXHViNDUwXHVhY2UwIFx1YzExY1x1YzZiOFx1YWNmY1x1ZDU1OVx1YWNlMFx1YzVkMFx1YzExYyBcdWQ1NjhcdWFlZDggXHVjZDk0XHVjNWI1XHVjNzQ0IFx1YzMxM1x1YzU1OFx1YjM1OCAkSyRcdWJhODVcdWM3NTggXHVjZTVjXHVhZDZjXHViNGU0XHVhY2ZjIFx1YzBhY1x1YzljNFx1Yzc0NCBcdWNjMGRcdWM3M2NcdWI4MjRcdWFjZTAgXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWJlMGNcdWI4ZThcdWIyOTQgJEskXHViYTg1XHVjNzU4IFx1Y2U1Y1x1YWQ2Y1x1YjRlNCBcdWFjMDFcdWFjMDFcdWFjZmMgXHVkNTY4XHVhZWQ4IFx1YjQ1MCBcdWM3YTVcdWM3NTggXHVjZWU0XHVkNTBjIFx1YzBhY1x1YzljNFx1Yzc0NCBcdWNjMGRcdWM3NDQgXHVhYzgzXHVjNzc0XHViMmU0LiBcdWM3NzRcdWI1NGMgJGkkXHViYzg4IFx1Y2U1Y1x1YWQ2Y1x1YzY0MFx1YjI5NCBcdWFjMDFcdWFjMDEgJEFfaSRcdWJjODggXHViYzI5XHVhY2ZjICRCX2kkXHViYzg4IFx1YmMyOVx1YzVkMFx1YzExYyBcdWMwYWNcdWM5YzRcdWM3NDQgXHVjYzBkXHVjNzQ0IFx1YWM4M1x1Yzc3NFx1YjJlNC4gPHN0cm9uZz4kMSRcdWJjODggXHViYzI5XHVjNWQwXHVjMTFjICRCX2kkXHViYzg4IFx1YmMyOVx1YWU0Y1x1YzljMCBcdWM3NzRcdWIzZDlcdWQ1NThcdWFlMzAgXHVjNzA0XHVkNTc0IFx1YmMxOFx1YjRkY1x1YzJkYyAkQV9pJFx1YmM4OCBcdWJjMjlcdWM3NDQgXHVjOWMwXHViMDk4XHVjNTdjIFx1ZDU2OFx1Yzc3NCBcdWJjZjRcdWM3YTVcdWI0MWNcdWIyZTQuPFwvc3Ryb25nPjxcL3A+XHJcblxyXG48cD5cdWNkMWQgJDJLJFx1YzdhNVx1Yzc1OCBcdWMwYWNcdWM5YzRcdWM3NDQgXHVjYzBkXHVjNzNjXHViODI0XHViYTc0IFx1ZDU1OVx1YWQ1MCBcdWIwYjRcdWM1ZDBcdWMxMWMgXHVjNzc0XHViM2Q5XHVkNTc0XHVjNTdjIFx1ZDU1OFx1YzljMFx1YjljYywgXHViYWE4XHViNGUwIFx1Y2U1Y1x1YWQ2Y1x1YzY0MCBcdWQ1NjhcdWFlZDggXHVjNzc0XHViM2Q5XHVkNTU4XHVhYzhjIFx1YjQxOFx1YmE3NCBcdWQ2M2NcdWM3YTFcdWQ1NzRcdWM5YzRcdWIyZTQuIFx1YjUzMFx1Yjc3Y1x1YzExYyBcdWJlMGNcdWI4ZThcdWM2NDAgXHVjZTVjXHVhZDZjXHViNGU0XHVjNzQwIFx1YjJlNFx1Yzc0Y1x1YWNmYyBcdWFjMTlcdWM3NDAgXHViYzI5XHVjMmRkXHVjNzNjXHViODVjIFx1Yzc3NFx1YjNkOVx1ZDU1OFx1YWUzMFx1Yjg1YyBcdWQ1ODhcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YmEzY1x1YzgwMCBcdWJlMGNcdWI4ZThcdWIyOTQgXHVjMTFjXHVjNmI4XHVhY2ZjXHVkNTU5XHVhY2UwXHViOTdjIFx1YzIxY1x1ZDY4Y1x1ZDU1OFx1YjI5NCBcdWFjYzRcdWQ2OGRcdWM3NDQgXHVjMTM4XHVjNmI0XHViMmU0LiBcdWMyMWNcdWQ2OGMgXHVhY2M0XHVkNjhkXHVjNzQwIFx1YjJlNFx1Yzc0YyBcdWM4NzBcdWFjNzRcdWM1ZDAgXHViOWRlXHVjNTQ0XHVjNTdjIFx1ZDU1Y1x1YjJlNC48XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5cdWMyMWNcdWQ2OGMgXHVhY2M0XHVkNjhkXHVjNzQwIFx1YzJkY1x1YWMwNCAkMCRcdWM1ZDAgXHViYzI5ICQxJFx1YzVkMFx1YzExYyBcdWNkOWNcdWJjMWNcdWQ1NThcdWIyOTQgXHVhYzgzXHVjNzNjXHViODVjIFx1YzJkY1x1Yzc5MVx1YjQxOFx1YmE3MCwgXHVjMmRjXHVhYzA0ICQyTi0yJFx1YzVkMCBcdWJjMjkgJDEkXHVjNWQwIFx1YjNjNFx1Y2MyOVx1ZDU1OFx1YjI5NCBcdWFjODNcdWM3M2NcdWI4NWMgXHViMDVkXHViMDljXHViMmU0LjxcL2xpPlxyXG5cdDxsaT5cdWJhYThcdWI0ZTAgXHViY2Y1XHViM2M0XHViOTdjIFx1YzgxNVx1ZDY1NVx1ZDc4OCBcdWI0NTAgXHViYzg4IFx1ZDFiNVx1YWNmY1x1ZDU1OFx1YmE3MCwgXHViNDUwIFx1YmMyOVx1ZDVhNVx1Yzc0MCBcdWMxMWNcdWI4NWMgXHViYzE4XHViMzAwXHVjNzc0XHViMmU0LjxcL2xpPlxyXG5cdDxsaT5cdWMyZGNcdWFjMDRcdWM3NDQgXHVhY2M0XHVjMGIwXHVkNTYwIFx1YjU0Y1x1YjI5NCBcdWJjZjVcdWIzYzRcdWI5N2MgXHVkMWI1XHVhY2ZjXHVkNTU4XHViMjk0IFx1YzJkY1x1YWMwNFx1YjljYyBcdWFjZTBcdWI4MjRcdWQ1NWNcdWIyZTQuIFx1YzBhY1x1YzljNFx1Yzc0NCBcdWNjMGRcdWIyOTQgXHVjMmRjXHVhYzA0IFx1YjRmMVx1Yzc0MCBcdWJiMzRcdWMyZGNcdWQ1NWNcdWIyZTQuPFwvbGk+XHJcbjxcL3VsPlxyXG5cclxuPHA+XHVkM2I4XHVjNzU4XHVjMGMxIFx1YzIxY1x1ZDY4YyBcdWFjYzRcdWQ2OGRcdWM3NDQgXHVjMjE4XHVjNWY0ICRTXzAsU18xLFxcY2RvdHMgLFNfezJOLTJ9JFx1Yjg1YyBcdWIwOThcdWQwYzBcdWIwYjRcdWM3OTAuIFx1Yzc3NFx1YjU0YyAkU19pJFx1YjI5NCBcdWMyZGNcdWFjMDQgJGkkXHVjNWQwIFx1YmUwY1x1YjhlOFx1YWMwMCBcdWI5YzkgXHViM2M0XHVjYzI5XHVkNTVjIFx1YmMyOVx1Yzc1OCBcdWJjODhcdWQ2MzhcdWM3NzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YjJlNFx1Yzc0Y1x1YzczY1x1Yjg1YywgJEskXHViYTg1XHVjNzU4IFx1Y2U1Y1x1YWQ2Y1x1YjRlNFx1Yzc0MCBcdWJlMGNcdWI4ZThcdWM3NTggXHVjMjFjXHVkNjhjXHVjNWQwIFx1ZDU2OFx1YWVkOFx1ZDU2MCBcdWMyZGNcdWFjMDRcdWM3NDQgXHVjODE1XHVkNTVjXHViMmU0LiAkaSRcdWJjODhcdWM5ZjggXHVjZTVjXHVhZDZjXHViMjk0IFx1Yzc5MFx1YzJlMFx1Yzc3NCBcdWJlMGNcdWI4ZThcdWM3NTggXHVjMjFjXHVkNjhjXHVjNWQwIFx1ZDU2OVx1Yjk1OFx1ZDU2MCBcdWMyZGNcdWFjMDEgJExfaSRcdWM2NDAgXHVjMjFjXHVkNjhjXHVjNWQwXHVjMTFjIFx1YmU2MFx1YzgzOFx1YjA5OFx1YzYyYyBcdWMyZGNcdWFjMDEgJFJfaSRcdWI5N2MgXHVjODE1XHVkNTVjXHViMmU0LiBcdWM3NzRcdWI1NGMsICRpJFx1YmM4OCBcdWNlNWNcdWFkNmNcdWIyOTQgJEFfaSRcdWJjODggXHViYzI5XHVhY2ZjICRCX2kkXHViYzg4IFx1YmMyOVx1YzVkMFx1YzExYyBcdWJlMGNcdWI4ZThcdWM2NDAgXHVkNTY4XHVhZWQ4IFx1YzBhY1x1YzljNFx1Yzc0NCBcdWNjMGRcdWM1YjRcdWM1N2MgXHVkNTU4XHViYmMwXHViODVjLCBcdWM3NzQgXHVjMmRjXHVhYzA0IFx1YWMwNFx1YWNhOSBcdWIzZDlcdWM1NDggXHViZTBjXHViOGU4XHVhYzAwICRBX2kkXHViYzg4IFx1YmMyOVx1YWNmYyAkQl9pJFx1YmM4OCBcdWJjMjlcdWM3NDQgXHViYWE4XHViNDUwIFx1YmMyOVx1YmIzOFx1ZDU3NFx1YzU3YyBcdWQ1NWNcdWIyZTQuIFx1Yzk4OSwgJExfaVxcbGUgZSxmXFxsZSBSX2k7JCAkU19lPUFfaTskICRTX2Y9Ql9pJFx1Yzc3OCBcdWM4MTVcdWMyMTggJGUkXHVjNjQwICRmJFx1YWMwMCBcdWM4NzRcdWM3YWNcdWQ1NzRcdWM1N2MgXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD4kaSRcdWJjODggXHVjZTVjXHVhZDZjXHVjNzU4IFx1Yzc3NFx1YjNkOSBcdWMyZGNcdWFjMDRcdWM3NDAgJFJfaS1MX2kkXHViODVjIFx1YzgxNVx1Yzc1OFx1YjQxY1x1YjJlNC4gXHViZTBjXHViOGU4XHViMjk0IFx1YmFhOFx1YjRlMCBcdWNlNWNcdWFkNmNcdWM3NTggXHVjNzc0XHViM2Q5IFx1YzJkY1x1YWMwNCBcdWQ1NjlcdWM3NDQgXHVjZDVjXHVjMThjXHVkNjU0XHVkNTU4XHVhY2UwXHVjNzkwIFx1ZDU1Y1x1YjJlNC4gXHViZTBjXHViOGU4XHViOTdjIFx1YzcwNFx1ZDU3NCBcdWFjMDBcdWIyYTVcdWQ1NWMgXHVjZDVjXHVjMThjIFx1Yzc3NFx1YjNkOSBcdWMyZGNcdWFjMDQgXHVkNTY5XHVjNzQ0IFx1YWQ2Y1x1ZDU3NCBcdWM4ZmNcdWM3OTAuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5cdWNjYWJcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YmMyOVx1Yzc1OCBcdWMyMTggJE4kXHVhY2ZjIFx1Y2U1Y1x1YWQ2Y1x1Yzc1OCBcdWMyMTggJEskXHVhYzAwIFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHViNDU4XHVjOWY4IFx1YzkwNFx1YmQ4MFx1ZDEzMCAkTiRcdWJjODhcdWM5ZjggXHVjOTA0XHVhZTRjXHVjOWMwICRpKzEkXHViYzg4XHVjOWY4IFx1YzkwNFx1YzVkMFx1YjI5NCAkaSRcdWJjODggXHViY2Y1XHViM2M0XHVhYzAwIFx1YzVmMFx1YWNiMFx1ZDU1OFx1YjI5NCBcdWI0NTAgXHViYzI5XHVjNzU4IFx1YmM4OFx1ZDYzOCAkVV9pJFx1YzY0MCAkVl9pJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG5cclxuPHA+JE4rMSRcdWJjODhcdWM5ZjggXHVjOTA0XHViZDgwXHVkMTMwICROK0skXHViYzg4XHVjOWY4IFx1YzkwNFx1YWU0Y1x1YzljMCAkTitpJFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDBcdWIyOTQgJGkkXHViYzg4IFx1Y2U1Y1x1YWQ2Y1x1YzY0MCBcdWFjMTlcdWM3NzQgXHVjMGFjXHVjOWM0XHVjNzQ0IFx1Y2MwZFx1Yzc0NCBcdWJjMjlcdWM3NTggXHViYzg4XHVkNjM4ICRBX2kkXHVjNjQwICRCX2kkXHVhYzAwIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlx1YmFhOFx1YjRlMCBcdWNlNWNcdWFkNmNcdWM3NTggXHVjNzc0XHViM2Q5IFx1YzJkY1x1YWMwNCBcdWQ1NjlcdWM3M2NcdWI4NWMgXHVhYzAwXHViMmE1XHVkNTVjIFx1Y2Q1Y1x1YzE5Zlx1YWMxMlx1Yzc0NCBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiS29yZWFuIiwibGltaXQiOiI8dWw+XHJcblx0PGxpPiQyXFxsZSBOXFxsZSA1XFx0aW1lcyAxMF41JDxcL2xpPlxyXG5cdDxsaT4kMVxcbGUgS1xcbGUgMTgkPFwvbGk+XHJcblx0PGxpPiQxXFxsZSBVX2lcXGxlIE4kICQoMVxcbGUgaSZsdDtOKSQ8XC9saT5cclxuXHQ8bGk+JDFcXGxlIFZfaVxcbGUgTiQgJCgxXFxsZSBpJmx0O04pJDxcL2xpPlxyXG5cdDxsaT4kVV9pXFxuZXEgVl9pJCAkKDFcXGxlIGkmbHQ7TikkPFwvbGk+XHJcblx0PGxpPlx1Yzc4NVx1YjgyNVx1YzczY1x1Yjg1YyBcdWM4ZmNcdWM1YjRcdWM5YzBcdWIyOTQgXHVjMTFjXHVjNmI4XHVhY2ZjXHVkNTU5XHVhY2UwXHVjNzU4IFx1YWQ2Y1x1Yzg3MFx1YjI5NCBcdWQyYjhcdWI5YWNcdWM3ODRcdWM3NzQgXHViY2Y0XHVjN2E1XHViNDFjXHViMmU0LjxcL2xpPlxyXG5cdDxsaT4kMVxcbGUgQV9pLEJfaVxcbGUgTiQgJCgxXFxsZSBpXFxsZSBLKSQ8XC9saT5cclxuXHQ8bGk+JEFfaVxcbmVxIEJfaSQgJCgxXFxsZSBpXFxsZSBLKSQ8XC9saT5cclxuXHQ8bGk+JDEkXHViYzg4IFx1YmMyOVx1YzVkMFx1YzExYyAkQl9pJFx1YmM4OCBcdWJjMjlcdWFlNGNcdWM5YzAgXHVjNzc0XHViM2Q5XHVkNTU4XHVhZTMwIFx1YzcwNFx1ZDU3NCAkQV9pJFx1YmM4OCBcdWJjMjlcdWM3NDQgXHViYzE4XHViNGRjXHVjMmRjIFx1YWM3MFx1Y2NkMFx1YzU3YyBcdWQ1NWNcdWIyZTQuICQoMVxcbGUgaVxcbGUgSykkPFwvbGk+XHJcblx0PGxpPlx1Yzc4NVx1YjgyNVx1YzczY1x1Yjg1YyBcdWM4ZmNcdWM1YjRcdWM5YzBcdWIyOTQgXHViYWE4XHViNGUwIFx1YzIxOFx1YjI5NCBcdWM4MTVcdWMyMThcdWM3NzRcdWIyZTQuIDxcL2xpPlxyXG48XC91bD5cclxuIiwic3VidGFzazEiOiI8cD4kTiBcXGxlIDEwJCwgJEsgXFxsZSAxMCQ8XC9wPlxyXG4iLCJzdWJ0YXNrMiI6IjxwPiROIFxcbGUgMTAwJCwgJDEkXHViYzg4IFx1YmMyOVx1YWNmYyBcdWM1ZjBcdWFjYjBcdWI0MWMgXHViY2Y1XHViM2M0XHViMjk0IDJcdWFjMWMgXHVjNzc0XHVkNTU4XHVjNzc0XHVhY2UwLCBcdWIwOThcdWJhMzhcdWM5YzAgXHViYzI5XHVhY2ZjIFx1YzVmMFx1YWNiMFx1YjQxYyBcdWJjZjVcdWIzYzRcdWIyOTQgXHVhYzAxXHVhYzAxIDNcdWFjMWMgXHVjNzc0XHVkNTU4XHVjNzc0XHViMmU0LjxcL3A+XHJcbiIsInN1YnRhc2szIjoiPHA+JE4gXFxsZSAxMDAkPFwvcD5cclxuIiwic3VidGFzazQiOiI8cD5cdWNkOTRcdWFjMDAgXHVjODFjXHVkNTVjIFx1Yzg3MFx1YWM3NFx1Yzc3NCBcdWM1YzZcdWIyZTQuPFwvcD5cclxuIn0seyJwcm9ibGVtX2lkIjoiMzEwNzEiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJUYWtpbmcgUGhvdG9zIiwiZGVzY3JpcHRpb24iOiI8cD5TZW91bCBTY2llbmNlIEhpZ2ggU2Nob29sKFNTSFMpIGRvcm1pdG9yeSBmb3JtcyBhIHRyZWUgd2l0aCAkTiQgcm9vbXMgY29ubmVjdGVkIHdpdGggJE4tMSQgY29ycmlkb3JzLiBFdmVyeSBjb3JyaWRvciBjYW4gYmUgcGFzc2VkIGluIGJvdGggZGlyZWN0aW9ucywgYW5kIGl0IGlzIHBvc3NpYmxlIHRvIHRyYXZlbCBiZXR3ZWVuIGFsbCByb29tcy4gVHJhdmVyc2luZyBhIGNvcnJpZG9yIHRha2VzICQxJCB1bml0IG9mIHRpbWUuPFwvcD5cclxuXHJcbjxwPkJydWUgd2FudHMgdG8gdGFrZSBwaG90b3Mgd2l0aCAkSyQgZnJpZW5kcyBoZSBtYWRlIG1lbW9yaWVzIHdpdGggYXQgU1NIUy48XC9wPlxyXG5cclxuPHA+QnJ1ZSB3aWxsIHRha2UgdHdvIHBob3RvcyB3aXRoIGVhY2ggb2YgaGlzICRLJCBmcmllbmRzLiBIZSB3aWxsIHRha2UgcGhvdG9zIHdpdGggc3R1ZGVudCAkaSQgaW4gcm9vbSAkQV9pJCBhbmQgJEJfaSQuIDxzdHJvbmc+SXQgaXMgZ3VhcmFudGVlZCB0aGF0IG9uZSBtdXN0IHZpc2l0IHJvb20gJEFfaSQgdG8gbW92ZSBmcm9tIHJvb20gJDEkIHRvIHJvb20gJEJfaSQuPFwvc3Ryb25nPjxcL3A+XHJcblxyXG48cD5CcnVlIGhhcyB0byBtb3ZlIGFyb3VuZCB0aGUgc2Nob29sIHRvIHRha2UgYWxsIHRoZSAkMkskIHBpY3R1cmVzLCBidXQgaXQgd2lsbCBiZSB0b28gY3Jvd2RlZCBpZiBoZSBtb3ZlcyB3aXRoIGFsbCBoaXMgZnJpZW5kcy4gVGhlcmVmb3JlLCB0aGV5IHdpbGwgbW92ZSBpbiB0aGUgZm9sbG93aW5nIG1ldGhvZC48XC9wPlxyXG5cclxuPHA+Rmlyc3QsIEJydWUgbWFrZXMgYSBwbGFuIHRvIHRyYXZlcnNlIFNTSFMuIFRoZSB0cmF2ZXJzYWwgcGxhbiBzaG91bGQgc2F0aXNmeSB0aGUgZm9sbG93aW5nIGNvbmRpdGlvbnMuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+VGhlIHRyYXZlcnNhbCBwbGFuIHNob3VsZCBzdGFydCBpbiB0aW1lICQwJCBkZXBhcnRpbmcgYXQgcm9vbSAkMSQsIGFuZCBpdCBzaG91bGQgZW5kIGluIHRpbWUgJDJOLTIkIGFycml2aW5nIGF0IHJvb20gJDEkLjxcL2xpPlxyXG5cdDxsaT5CcnVlIHNob3VsZCBwYXNzIHRocm91Z2ggZWFjaCBjb3JyaWRvciB0d2ljZSwgZWFjaCBpbiBkaWZmZXJlbnQgZGlyZWN0aW9ucy48XC9saT5cclxuXHQ8bGk+V2Ugb25seSBjb25zaWRlciB0aGUgdGltZSBtb3ZpbmcgYmV0d2VlbiByb29tcy4gV2UgaWdub3JlIGFueSBvdGhlciB0aW1lLCBzdWNoIGFzIHRoZSB0aW1lIGNvbnN1bWVkIHdoZW4gdGFraW5nIHBob3Rvcy48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5Gb3IgY29udmVuaWVuY2UsIGxldCB1cyBleHByZXNzIHRoZSB0cmF2ZXJzYWwgcGxhbiBhcyBhIHNlcXVlbmNlICRTXzAsU18xLFxcY2RvdHMgLFNfezJOLTJ9JC4gJFNfaSQgaXMgdGhlIHJvb20mcnNxdW87cyBpbmRleCB3aGVyZSBCcnVlIHZpc2l0cyBpbiB0aW1lICRpJC48XC9wPlxyXG5cclxuPHA+TmV4dCwgYWxsIHRoZSAkSyQgZnJpZW5kcyBkZWNpZGUgdGhlIHRpbWUgaW50ZXJ2YWwgdG8gcGFydGljaXBhdGUgaW4gdGhlIHRyYXZlcnNhbC4gVGhlICRpJC10aCBmcmllbmQgc2hvdWxkIGRlY2lkZSB0aGUgdGltZSAkTF9pJCAtLS0gd2hlbiB0byBqb2luIHRoZSB0cmF2ZXJzYWwgLS0tIGFuZCB0aGUgdGltZSAkUl9pJCAtLS0gd2hlbiB0byBsZWF2ZSB0aGUgdHJhdmVyc2FsLiBPZiBjb3Vyc2UsIHRoZSAkaSQtdGggZnJpZW5kIHNob3VsZCB0YWtlIHBob3RvcyB3aXRoIEJydWUgaW4gcm9vbXMgJEFfaSQgYW5kICRCX2kkLCBzbyBCcnVlIHNob3VsZCB2aXNpdCByb29tcyAkQV9pJCBhbmQgJEJfaSQgYWxvbmcgdGhlIHRpbWUgaW50ZXJ2YWwuIEluIG90aGVyIHdvcmRzLCB0aGVyZSBzaG91bGQgZXhpc3QgdHdvIGludGVnZXJzICRlJCBhbmQgJGYkIHN1Y2ggdGhhdCAkTF9pXFxsZSBlLGZcXGxlIFJfaTskICRTX2U9QV9pOyQgJFNfZj1CX2kkLjxcL3A+XHJcblxyXG48cD5UaGUgdHJhdmVsIHRpbWUgb2YgJGkkLXRoIGZyaWVuZCBpcyBkZWZpbmVkIGFzICRSX2ktTF9pJC4gQnJ1ZSB3YW50cyB0byBtaW5pbWl6ZSB0aGUgc3VtIG9mIGFsbCBmcmllbmRzJnJzcXVvOyB0cmF2ZWwgdGltZS4gUGxlYXNlIGNhbGN1bGF0ZSB0aGUgbWluaW11bSBwb3NzaWJsZSBzdW0gb2YgYWxsIGZyaWVuZHMmcnNxdW87IHRyYXZlbCB0aW1lLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+VGhlIGZpcnN0IGxpbmUgY29udGFpbnMgdGhlIG51bWJlciBvZiByb29tcyAkTiQgYW5kIHRoZSBudW1iZXIgb2YgZnJpZW5kcyAkSyQuPFwvcD5cclxuXHJcbjxwPkZyb20gdGhlIHNlY29uZCBsaW5lIHRvIHRoZSAkTiQtdGggbGluZSwgdGhlICRpKzEkLXRoIGxpbmUgY29udGFpbnMgdHdvIGludGVnZXJzICRVX2kkIGFuZCAkVl9pJCwgdGhlIHJvb21zJnJzcXVvOyBpbmRleCB3aGljaCAkaSQtdGggY29ycmlkb3IgY29ubmVjdHMuPFwvcD5cclxuXHJcbjxwPkZyb20gdGhlICROKzEkLXRoIGxpbmUgdG8gJE4rSyQtdGggbGluZSwgdGhlICROK2kkLXRoIGxpbmUgY29udGFpbnMgdHdvIGludGVnZXJzICRBX2kkIGFuZCAkQl9pJCwgdGhlIHJvb21zJnJzcXVvOyBpbmRleCB3aGVyZSAkaSQtdGggc3R1ZGVudCB3aWxsIHRha2UgcGhvdG9zIHdpdGggQnJ1ZS48XC9wPlxyXG5cclxuIiwib3V0cHV0IjoiPHA+UHJpbnQgdGhlIG1pbmltdW0gcG9zc2libGUgc3VtIG9mIGFsbCB0aGUgZnJpZW5kcyZyc3F1bzsgdHJhdmVsIHRpbWUuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCIsImxpbWl0IjoiPHVsPlxyXG5cdDxsaT4kMlxcbGUgTlxcbGUgNVxcdGltZXMgMTBeNSQ8XC9saT5cclxuXHQ8bGk+JDFcXGxlIEtcXGxlIDE4JDxcL2xpPlxyXG5cdDxsaT4kMVxcbGUgVV9pXFxsZSBOJCAkKDFcXGxlIGkmbHQ7TikkPFwvbGk+XHJcblx0PGxpPiQxXFxsZSBWX2lcXGxlIE4kICQoMVxcbGUgaSZsdDtOKSQ8XC9saT5cclxuXHQ8bGk+JFVfaVxcbmVxIFZfaSQgJCgxXFxsZSBpJmx0O04pJDxcL2xpPlxyXG5cdDxsaT5UaGUgc3RydWN0dXJlIG9mIFNTSFMgaW4gdGhlIGlucHV0IGZvcm1zIGEgdmFsaWQgdHJlZS48XC9saT5cclxuXHQ8bGk+JDFcXGxlIEFfaSxCX2lcXGxlIE4kICQoMVxcbGUgaVxcbGUgSykkPFwvbGk+XHJcblx0PGxpPiRBX2lcXG5lcSBCX2kkICQoMVxcbGUgaVxcbGUgSykkPFwvbGk+XHJcblx0PGxpPlRvIG1vdmUgZnJvbSByb29tICQxJCB0byByb29tICRCX2kkLCBvbmUgc2hvdWxkIGFsd2F5cyB2aXNpdCByb29tICRBX2kkLiAkKDFcXGxlIGlcXGxlIEspJDxcL2xpPlxyXG5cdDxsaT5BbGwgbnVtYmVycyBpbiB0aGUgaW5wdXQgYXJlIGludGVnZXJzLjxcL2xpPlxyXG48XC91bD5cclxuIiwic3VidGFzazEiOiI8cD4kTiBcXGxlIDEwJCwgJEsgXFxsZSAxMCQ8XC9wPlxyXG4iLCJzdWJ0YXNrMiI6IjxwPiROIFxcbGUgMTAwJCwgdGhlcmUgYXJlIG5vIG1vcmUgdGhhbiB0d28gY29ycmlkb3JzIGNvbm5lY3RlZCB3aXRoIHJvb20gJDEkLCBhbmQgdGhlcmUgYXJlIG5vIG1vcmUgdGhhbiB0aHJlZSBjb3JyaWRvcnMgY29ubmVjdGVkIHdpdGggZWFjaCBvZiB0aGUgb3RoZXIgcm9vbXMuPFwvcD5cclxuIiwic3VidGFzazMiOiI8cD4kTiBcXGxlIDEwMCQ8XC9wPlxyXG4iLCJzdWJ0YXNrNCI6IjxwPlRoZXJlIGFyZSBubyBhZGRpdGlvbmFsIGNvbnN0cmFpbnRzLjxcL3A+XHJcbiJ9XQ==

출처

School > 서울과학고등학교 > SciOI 2023 B-2번

채점 및 기타 정보

  • 예제는 채점하지 않는다.
(追記) (追記ここまで)

출처

대학교 대회

  • 사업자 등록 번호: 541-88-00682
  • 대표자명: 최백준
  • 주소: 서울시 서초구 서초대로74길 29 서초파라곤 412호
  • 전화번호: 02-521-0487 (이메일로 연락 주세요)
  • 이메일: contacts@startlink.io
  • 통신판매신고번호: 제 2017-서울서초-2193 호

AltStyle によって変換されたページ (->オリジナル) /