시간 제한메모리 제한제출정답맞힌 사람정답 비율
2 초 (추가 시간 없음) 1024 MB (추가 메모리 없음)89332837.333%

문제

윤이는 UNIST 주변의 음식점에 대한 정보를 제공하는 가이드 앱, 일명 “UNIST 가이드”를 만들기로 했다. 윤이는 근처 음식점 중에서 $N$개의 음식점을 추천하기로 정하고, 음식점에 $1$번부터 $N$번까지 번호를 붙였다.

윤이는 이 음식점들에 대한 정보를 조사하다가, 두 명의 음식 평론가 동규와 원이가 각각 $N$개의 음식점에 순위를 매긴 자료를 찾았다. 윤이는 두 순위표를 바탕으로 음식점 등급을 매기려고 한다. 음식점 등급은 어떤 양의 정수 $S$에 대해, $1$ 이상 $S$ 이하의 정수 별점으로 나타낸다. 별점이 높을수록 맛있는 음식점이라는 뜻이다.

음식점 등급은 두 평론가가 매긴 음식점 순위에 위배되지 않아야 한다. 다시 말해, 어떤 음식점 X의 등급이 음식점 Y의 등급보다 높다면, 이는 두 평론가의 순위표에서 모두 음식점 X의 순위가 음식점 Y보다 높다는 것을 의미한다. 역은 성립하지 않아도 된다.

또한, 각각의 등급에 대해서 해당 등급을 받은 음식점이 적어도 $K$개 있어야 한다.

윤이는 음식점 정보가 구체적일수록 UNIST 가이드의 신뢰도가 올라갈 것이라고 분석해서, 음식점 등급을 최대한 세분화하려고 한다. 즉, 윤이의 목표는 최고 별점 $S$가 최대한 크도록 음식점 등급을 매기는 것이다. 윤이가 조건을 만족하도록 음식점 등급을 매겼을 때 등급의 개수는 최대 얼마인가?

입력

첫 번째 줄에 음식점의 개수 $N$과 등급별 최소 음식점 개수를 나타내는 정수 $K$가 공백으로 구분되어 주어진다. ($1\le K\le N\le 200\ 000$)

두 번째 줄에 평론가 동규가 평가한 순위가 높은 순서대로 $N$개의 음식점 번호가 공백으로 구분되어 주어진다.

세 번째 줄에 평론가 원이가 평가한 순위가 높은 순서대로 $N$개의 음식점 번호가 공백으로 구분되어 주어진다.

주어지는 음식점 번호는 $1$ 이상 $N$ 이하의 정수이며, 각 줄 내에서 중복되지 않는다.

출력

윤이가 음식점 등급을 최대한 세분화하도록 등급을 매겼을 때, 등급의 개수를 출력한다.

예제 입력 1

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

예제 출력 1

2

예제 입력 2

4 1
4 2 3 1
2 1 4 3

예제 출력 2

1
W3sicHJvYmxlbV9pZCI6IjI2MTI2IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHViOWRiXHVjOWQxIFx1YWMwMFx1Yzc3NFx1YjRkYyIsImRlc2NyaXB0aW9uIjoiPHA+XHVjNzI0XHVjNzc0XHViMjk0IFVOSVNUIFx1YzhmY1x1YmNjMFx1Yzc1OCBcdWM3NGNcdWMyZGRcdWM4MTBcdWM1ZDAgXHViMzAwXHVkNTVjIFx1YzgxNVx1YmNmNFx1Yjk3YyBcdWM4MWNcdWFjZjVcdWQ1NThcdWIyOTQgXHVhYzAwXHVjNzc0XHViNGRjIFx1YzU3MSwgXHVjNzdjXHViYTg1ICZsZHF1bztVTklTVCBcdWFjMDBcdWM3NzRcdWI0ZGMmcmRxdW87XHViOTdjIFx1YjljY1x1YjRlNFx1YWUzMFx1Yjg1YyBcdWQ1ODhcdWIyZTQuIFx1YzcyNFx1Yzc3NFx1YjI5NCBcdWFkZmNcdWNjOTggXHVjNzRjXHVjMmRkXHVjODEwIFx1YzkxMVx1YzVkMFx1YzExYyAkTiRcdWFjMWNcdWM3NTggXHVjNzRjXHVjMmRkXHVjODEwXHVjNzQ0IFx1Y2Q5NFx1Y2M5Y1x1ZDU1OFx1YWUzMFx1Yjg1YyBcdWM4MTVcdWQ1NThcdWFjZTAsIFx1Yzc0Y1x1YzJkZFx1YzgxMFx1YzVkMCAkMSRcdWJjODhcdWJkODBcdWQxMzAgJE4kXHViYzg4XHVhZTRjXHVjOWMwIFx1YmM4OFx1ZDYzOFx1Yjk3YyBcdWJkOTlcdWM2MDBcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YzcyNFx1Yzc3NFx1YjI5NCBcdWM3NzQgXHVjNzRjXHVjMmRkXHVjODEwXHViNGU0XHVjNWQwIFx1YjMwMFx1ZDU1YyBcdWM4MTVcdWJjZjRcdWI5N2MgXHVjODcwXHVjMGFjXHVkNTU4XHViMmU0XHVhYzAwLCBcdWI0NTAgXHViYTg1XHVjNzU4IFx1Yzc0Y1x1YzJkZCBcdWQzYzlcdWI4NjBcdWFjMDAgXHViM2Q5XHVhZGRjXHVjNjQwIFx1YzZkMFx1Yzc3NFx1YWMwMCBcdWFjMDFcdWFjMDEgJE4kXHVhYzFjXHVjNzU4IFx1Yzc0Y1x1YzJkZFx1YzgxMFx1YzVkMCBcdWMyMWNcdWM3MDRcdWI5N2MgXHViOWU0XHVhZTM0IFx1Yzc5MFx1YjhjY1x1Yjk3YyBcdWNjM2VcdWM1NThcdWIyZTQuIFx1YzcyNFx1Yzc3NFx1YjI5NCBcdWI0NTAgXHVjMjFjXHVjNzA0XHVkNDVjXHViOTdjIFx1YmMxNFx1ZDBkNVx1YzczY1x1Yjg1YyBcdWM3NGNcdWMyZGRcdWM4MTAgXHViNGYxXHVhZTA5XHVjNzQ0IFx1YjllNFx1YWUzMFx1YjgyNFx1YWNlMCBcdWQ1NWNcdWIyZTQuIFx1Yzc0Y1x1YzJkZFx1YzgxMCBcdWI0ZjFcdWFlMDlcdWM3NDAgXHVjNWI0XHViNWE0IFx1YzU5MVx1Yzc1OCBcdWM4MTVcdWMyMTggJFMkXHVjNWQwIFx1YjMwMFx1ZDU3NCwgJDEkIFx1Yzc3NFx1YzBjMSAkUyQgXHVjNzc0XHVkNTU4XHVjNzU4IFx1YzgxNVx1YzIxOCBcdWJjYzRcdWM4MTBcdWM3M2NcdWI4NWMgXHViMDk4XHVkMGMwXHViMGI4XHViMmU0LiBcdWJjYzRcdWM4MTBcdWM3NzQgXHViMTkyXHVjNzQ0XHVjMjE4XHViODVkIFx1YjlkYlx1Yzc4OFx1YjI5NCBcdWM3NGNcdWMyZGRcdWM4MTBcdWM3NzRcdWI3N2NcdWIyOTQgXHViNzNiXHVjNzc0XHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWM3NGNcdWMyZGRcdWM4MTAgXHViNGYxXHVhZTA5XHVjNzQwIFx1YjQ1MCBcdWQzYzlcdWI4NjBcdWFjMDBcdWFjMDAgXHViOWU0XHVhZTM0IFx1Yzc0Y1x1YzJkZFx1YzgxMCBcdWMyMWNcdWM3MDRcdWM1ZDAgXHVjNzA0XHViYzMwXHViNDE4XHVjOWMwIFx1YzU0YVx1YzU0NFx1YzU3YyBcdWQ1NWNcdWIyZTQuIFx1YjJlNFx1YzJkYyBcdWI5ZDBcdWQ1NzQsIFx1YzViNFx1YjVhNCBcdWM3NGNcdWMyZGRcdWM4MTAgWFx1Yzc1OCBcdWI0ZjFcdWFlMDlcdWM3NzQgXHVjNzRjXHVjMmRkXHVjODEwIFlcdWM3NTggXHViNGYxXHVhZTA5XHViY2Y0XHViMmU0IFx1YjE5Mlx1YjJlNFx1YmE3NCwgXHVjNzc0XHViMjk0IFx1YjQ1MCBcdWQzYzlcdWI4NjBcdWFjMDBcdWM3NTggXHVjMjFjXHVjNzA0XHVkNDVjXHVjNWQwXHVjMTFjIFx1YmFhOFx1YjQ1MCBcdWM3NGNcdWMyZGRcdWM4MTAgWFx1Yzc1OCBcdWMyMWNcdWM3MDRcdWFjMDAgXHVjNzRjXHVjMmRkXHVjODEwIFlcdWJjZjRcdWIyZTQgXHViMTkyXHViMmU0XHViMjk0IFx1YWM4M1x1Yzc0NCBcdWM3NThcdWJiZjhcdWQ1NWNcdWIyZTQuIFx1YzVlZFx1Yzc0MCBcdWMxMzFcdWI5YmRcdWQ1NThcdWM5YzAgXHVjNTRhXHVjNTQ0XHViM2M0IFx1YjQxY1x1YjJlNC48XC9wPlxyXG5cclxuPHA+XHViNjEwXHVkNTVjLCBcdWFjMDFcdWFjMDFcdWM3NTggXHViNGYxXHVhZTA5XHVjNWQwIFx1YjMwMFx1ZDU3NFx1YzExYyBcdWQ1NzRcdWIyZjkgXHViNGYxXHVhZTA5XHVjNzQ0IFx1YmMxYlx1Yzc0MCBcdWM3NGNcdWMyZGRcdWM4MTBcdWM3NzQgXHVjODAxXHVjNWI0XHViM2M0ICRLJFx1YWMxYyBcdWM3ODhcdWM1YjRcdWM1N2MgXHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWM3MjRcdWM3NzRcdWIyOTQgXHVjNzRjXHVjMmRkXHVjODEwIFx1YzgxNVx1YmNmNFx1YWMwMCBcdWFkNmNcdWNjYjRcdWM4MDFcdWM3N2NcdWMyMThcdWI4NWQgVU5JU1QgXHVhYzAwXHVjNzc0XHViNGRjXHVjNzU4IFx1YzJlMFx1YjhiMFx1YjNjNFx1YWMwMCBcdWM2MmNcdWI3N2NcdWFjMDggXHVhYzgzXHVjNzc0XHViNzdjXHVhY2UwIFx1YmQ4NFx1YzExZFx1ZDU3NFx1YzExYywgXHVjNzRjXHVjMmRkXHVjODEwIFx1YjRmMVx1YWUwOVx1Yzc0NCBcdWNkNWNcdWIzMDBcdWQ1NWMgXHVjMTM4XHViZDg0XHVkNjU0XHVkNTU4XHViODI0XHVhY2UwIFx1ZDU1Y1x1YjJlNC4gXHVjOTg5LCBcdWM3MjRcdWM3NzRcdWM3NTggXHViYWE5XHVkNDVjXHViMjk0IFx1Y2Q1Y1x1YWNlMCBcdWJjYzRcdWM4MTAgJFMkXHVhYzAwIFx1Y2Q1Y1x1YjMwMFx1ZDU1YyBcdWQwNmNcdWIzYzRcdWI4NWQgXHVjNzRjXHVjMmRkXHVjODEwIFx1YjRmMVx1YWUwOVx1Yzc0NCBcdWI5ZTRcdWFlMzBcdWIyOTQgXHVhYzgzXHVjNzc0XHViMmU0LiBcdWM3MjRcdWM3NzRcdWFjMDAgXHVjODcwXHVhYzc0XHVjNzQ0IFx1YjljY1x1Yzg3MVx1ZDU1OFx1YjNjNFx1Yjg1ZCBcdWM3NGNcdWMyZGRcdWM4MTAgXHViNGYxXHVhZTA5XHVjNzQ0IFx1YjllNFx1YWNiY1x1Yzc0NCBcdWI1NGMgXHViNGYxXHVhZTA5XHVjNzU4IFx1YWMxY1x1YzIxOFx1YjI5NCBcdWNkNWNcdWIzMDAgXHVjNWJjXHViOWM4XHVjNzc4XHVhYzAwPzxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHVjNzRjXHVjMmRkXHVjODEwXHVjNzU4IFx1YWMxY1x1YzIxOCAkTiRcdWFjZmMgXHViNGYxXHVhZTA5XHViY2M0IFx1Y2Q1Y1x1YzE4YyBcdWM3NGNcdWMyZGRcdWM4MTAgXHVhYzFjXHVjMjE4XHViOTdjIFx1YjA5OFx1ZDBjMFx1YjBiNFx1YjI5NCBcdWM4MTVcdWMyMTggJEskXHVhYzAwIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAoJDFcXGxlIEtcXGxlIE5cXGxlIDIwMFxcIDAwMCQpPFwvcD5cclxuXHJcbjxwPlx1YjQ1MCBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1ZDNjOVx1Yjg2MFx1YWMwMCBcdWIzZDlcdWFkZGNcdWFjMDAgXHVkM2M5XHVhYzAwXHVkNTVjIFx1YzIxY1x1YzcwNFx1YWMwMCBcdWIxOTJcdWM3NDAgXHVjMjFjXHVjMTFjXHViMzAwXHViODVjICROJFx1YWMxY1x1Yzc1OCBcdWM3NGNcdWMyZGRcdWM4MTAgXHViYzg4XHVkNjM4XHVhYzAwIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWMxMzggXHViYzg4XHVjOWY4IFx1YzkwNFx1YzVkMCBcdWQzYzlcdWI4NjBcdWFjMDAgXHVjNmQwXHVjNzc0XHVhYzAwIFx1ZDNjOVx1YWMwMFx1ZDU1YyBcdWMyMWNcdWM3MDRcdWFjMDAgXHViMTkyXHVjNzQwIFx1YzIxY1x1YzExY1x1YjMwMFx1Yjg1YyAkTiRcdWFjMWNcdWM3NTggXHVjNzRjXHVjMmRkXHVjODEwIFx1YmM4OFx1ZDYzOFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVjOGZjXHVjNWI0XHVjOWMwXHViMjk0IFx1Yzc0Y1x1YzJkZFx1YzgxMCBcdWJjODhcdWQ2MzhcdWIyOTQgJDEkIFx1Yzc3NFx1YzBjMSAkTiQgXHVjNzc0XHVkNTU4XHVjNzU4IFx1YzgxNVx1YzIxOFx1Yzc3NFx1YmE3MCwgXHVhYzAxIFx1YzkwNCBcdWIwYjRcdWM1ZDBcdWMxMWMgXHVjOTExXHViY2Y1XHViNDE4XHVjOWMwIFx1YzU0YVx1YjI5NFx1YjJlNC48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWM3MjRcdWM3NzRcdWFjMDAgXHVjNzRjXHVjMmRkXHVjODEwIFx1YjRmMVx1YWUwOVx1Yzc0NCBcdWNkNWNcdWIzMDBcdWQ1NWMgXHVjMTM4XHViZDg0XHVkNjU0XHVkNTU4XHViM2M0XHViODVkIFx1YjRmMVx1YWUwOVx1Yzc0NCBcdWI5ZTRcdWFjYmNcdWM3NDQgXHViNTRjLCBcdWI0ZjFcdWFlMDlcdWM3NTggXHVhYzFjXHVjMjE4XHViOTdjIFx1Y2Q5Y1x1YjgyNVx1ZDU1Y1x1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiIyNjEyNiIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6IlJlc3RhdXJhbnQgR3VpZGUiLCJkZXNjcmlwdGlvbiI6IjxwPll1bmVlIGlzIGRldmVsb3BpbmcgYW4gYXBwLCAmbGRxdW87VGhlIFVOSVNUIEd1aWRlJnJkcXVvOywgdGhhdCBwcm92aWRlcyBpbmZvcm1hdGlvbiBhYm91dCByZXN0YXVyYW50cyBhcm91bmQgVU5JU1QuIFl1bmVlIHNlbGVjdGVkICROJCBuZWFyYnkgcmVzdGF1cmFudHMgdG8gcmVjb21tZW5kIGFuZCBudW1iZXJlZCB0aGVtIGZyb20gJDEkIHRvICROJC48XC9wPlxyXG5cclxuPHA+V2hpbGUgcmVzZWFyY2hpbmcgdGhlIGludGVybmV0LCBZdW5lZSBmb3VuZCBpbmZvcm1hdGlvbiBvbiB3aGljaCB0d28gZm9vZCBjcml0aWNzLCBEb25na3l1IGFuZCBXb25pLCBlYWNoIHJhbmtlZCB0aGUgJE4kIHJlc3RhdXJhbnRzLiBZdW5lZSBpcyBnb2luZyB0byByYXRlIHRoZSByZXN0YXVyYW50cyBiYXNlZCBvbiB0aGUgdHdvIHJhbmtpbmdzLiBBIHJlc3RhdXJhbnQmcnNxdW87cyBzdGFyIHJhdGluZyBpcyBhbiBpbnRlZ2VyIHJhbmdpbmcgZnJvbSAkMSQgdG8gJFMkIGZvciBzb21lIHBvc2l0aXZlIGludGVnZXIgJFMkLiBBIGhpZ2hlciBzdGFyIHJhdGluZyBtZWFucyBhIGJldHRlciByZXN0YXVyYW50LjxcL3A+XHJcblxyXG48cD5UaGUgc3RhciByYXRpbmdzIG11c3QgYmUgY29uc2lzdGVudCB3aXRoIHRoZSB0d28gcmFua2luZ3MuIElmIHJlc3RhdXJhbnQgWCBoYXMgYSBoaWdoZXIgc3RhciByYXRpbmcgdGhhbiByZXN0YXVyYW50IFksIHRoZW4gWCBoYXMgdG8gYmUgaGlnaGVyIGluIHJhbmsgdGhhbiBZIGluIGJvdGggcmFua2luZ3MuIFRoZSBjb252ZXJzZSBkb2VzIG5vdCBoYXZlIHRvIGJlIHRydWUuPFwvcD5cclxuXHJcbjxwPkluIGFkZGl0aW9uLCBmb3IgZWFjaCBzdGFyIHJhdGluZyAkciQsIHRoZXJlIG11c3QgYmUgYXQgbGVhc3QgJEskIHJlc3RhdXJhbnRzIHRoYXQgZ2V0ICRyJCBzdGFycy48XC9wPlxyXG5cclxuPHA+QnkgWXVuZWUmcnNxdW87cyBhbmFseXNpcywgdGhlIHJlbGlhYmlsaXR5IG9mIFRoZSBVTklTVCBHdWlkZSB3aWxsIGluY3JlYXNlIGFzIHRoZSBpbmZvcm1hdGlvbiBnZXRzIG1vcmUgZGV0YWlsZWQuIFNvIFl1bmVlIGhhcyB0byBzdWJkaXZpZGUgdGhlIHJhdGluZ3MgYXMgbXVjaCBhcyBwb3NzaWJsZS4gSW4gb3RoZXIgd29yZHMsIFl1bmVlIGhhcyB0byByYXRlIHRoZSByZXN0YXVyYW50cyBzbyB0aGF0IHRoZSBoaWdoZXN0IHN0YXIgcmF0aW5nLCAkUyQsIGJlY29tZXMgdGhlIG1heGltdW0uIFdoYXQgaXMgdGhlIG1heGltdW0gcG9zc2libGUgbnVtYmVyIG9mIGRpZmZlcmVudCBzdGFyIHJhdGluZ3Mgd2hlbiBZdW5lZSByYXRlcyB0aGUgcmVzdGF1cmFudHMgYmFzZWQgb24gdGhlIGFib3ZlIGNvbmRpdGlvbnM/PFwvcD5cclxuIiwiaW5wdXQiOiI8cD5Ud28gaW50ZWdlcnMgJE4kIGFuZCAkSyQgYXJlIGdpdmVuIGluIHRoZSBmaXJzdCBsaW5lLiAkTiQgaXMgdGhlIG51bWJlciBvZiByZXN0YXVyYW50cywgYW5kIHRoZXJlIG11c3QgYmUgYXQgbGVhc3QgJEskIHJlc3RhdXJhbnRzIGZvciBlYWNoIHN0YXIgcmF0aW5nLiAoJDFcXGxlIEtcXGxlIE5cXGxlIDIwMFxcIDAwMCQpPFwvcD5cclxuXHJcbjxwPlRoZSBzZWNvbmQgbGluZSBjb250YWlucyAkTiQgcmVzdGF1cmFudHMsIGluIG9yZGVyIG9mIGhpZ2hlc3QgdG8gbG93ZXN0IGFjY29yZGluZyB0byBEb25na3l1JnJzcXVvO3MgcmFua2luZy48XC9wPlxyXG5cclxuPHA+VGhlIHNlY29uZCBsaW5lIGNvbnRhaW5zICROJCByZXN0YXVyYW50cywgaW4gb3JkZXIgb2YgaGlnaGVzdCB0byBsb3dlc3QgYWNjb3JkaW5nIHRvIFdvbmkmcnNxdW87cyByYW5raW5nLjxcL3A+XHJcblxyXG48cD5UaGUgZ2l2ZW4gcmVzdGF1cmFudCBudW1iZXJzIGFyZSBpbnRlZ2VycyByYW5naW5nIGZyb20gJDEkIHRvICROJCwgYW5kIHRoZXJlIGFyZSBubyBkdXBsaWNhdGVzIGluIGVhY2ggbGluZS48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5QcmludCB0aGUgbWF4aW11bSBwb3NzaWJsZSBudW1iZXIgb2YgZGlmZmVyZW50IHN0YXIgcmF0aW5ncyB3aGVuIFl1bmVlIHJhdGVzIHRoZSByZXN0YXVyYW50cyBiYXNlZCBvbiB0aGUgYWJvdmUgY29uZGl0aW9ucy48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIwIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJFbmdsaXNoIn1d