만드는 중입니다

아직 만드는 중이라 바뀔 수 있습니다

타일

시간 제한2초메모리 제한1024 MB

요약
축에 평행한 단순 다각형이 주어질 때, 그 왼쪽 부분을 2 by 2 타일로 겹치지 않게 덮을 수 있는 가장 큰 x 좌표 k를 구합니다.
난이도

어려움10점 중 8점

유형
동적 계획법, 기하
정답자
아직 제출이 없습니다

문제

기독교로 개종한 직후, 리투아니아의 첫 번째이자 유일한 왕 민다우가스가 빌뉴스 대성당의 건설을 명령했다고 전해진다. 건설은 거의 끝났고, 바닥에 장식이 있는 유약 세라믹 타일만 깔면 된다.

대성당 바닥은 2차원 직교좌표계 평면 위의 다각형이다. 이 다각형은 서로 다른 NN개의 꼭짓점을 가지며, 1번부터 NN번까지 번호가 매겨져 있다. 각 1≤i≤N1 \le i \le N에 대해 꼭짓점 ii는 점 (Xi,Yi)(X_i, Y_i)에 있고, XiX_i와 YiY_i는 음이 아닌 정수이다. 1≤i≤N−11 \le i \le N-1인 각 ii에 대해 꼭짓점 ii와 i+1i+1을 잇는 변이 있고, 꼭짓점 NN과 11도 변으로 이어져 있다. 꼭짓점은 시계 방향 또는 반시계 방향 순서로 주어진다.

대성당은 축에 평행한 다각형이다. 즉 모든 변이 xx축 또는 yy축에 평행하다. 또한 단순 다각형이다. 각 꼭짓점에서 정확히 두 변이 만나고, 두 변은 꼭짓점에서만 만난다.

건설팀은 한 변의 길이가 2인 정사각형 타일을 무한히 가지고 있다. 팀은 세로선 하나를 고르고, 그 선의 왼쪽에 있는 대성당 부분을 덮고자 한다. 임의의 정수 kk에 대해 LkL_k는 xx좌표가 kk인 세로선이다. LkL_k 왼쪽 부분을 덮는다는 것은 평면에 타일을 배치하는 것이며, 다음 조건을 만족해야 한다.

  • 다각형 내부에 있고 xx좌표가 kk보다 작은 모든 점은 어떤 타일로 덮여야 한다.
  • 다각형 바깥에 있거나 xx좌표가 kk보다 큰 점은 어떤 타일로도 덮이지 않아야 한다.
  • 타일의 내부끼리는 겹치지 않아야 한다.

꼭짓점 xx좌표의 최솟값은 0이다. MM은 꼭짓점 xx좌표의 최댓값이다. k≤Mk \le M을 만족하고 LkL_k 왼쪽 부분을 덮을 수 있는 가장 큰 정수 kk를 구하라. 정의상 L0L_0 왼쪽 부분은 타일 0개로 덮을 수 있다.

입력

첫 줄에 정수 NN과 MM이 주어진다. NN은 꼭짓점의 개수이고, MM은 꼭짓점 xx좌표의 최댓값이다. 이어지는 NN개의 줄에는 꼭짓점의 좌표 xix_i와 yiy_i가 한 줄에 하나씩 주어진다.

출력

k≤Mk \le M이고 LkL_k 왼쪽 부분을 덮는 배치가 존재하는 가장 큰 정수 kk를 출력한다.

제한

  • 4≤N≤2⋅1054 \le N \le 2 \cdot 10^5
  • 1≤M≤1091 \le M \le 10^9
  • 각 1≤i≤N1 \le i \le N에 대해 0≤yi≤1090 \le y_i \le 10^9
  • 대성당은 축에 평행한 단순 다각형이다.
  • x1,x2,…,xNx_1, x_2, \dots, x_N의 최솟값은 0이고, 최댓값은 MM이다.

예제3

  1. 예제 1

    입력
    14 6
    0 1
    0 3
    2 3
    2 4
    0 4
    0 6
    3 6
    3 7
    4 7
    6 7
    6 5
    3 5
    3 2
    3 1
    
    예상 출력
    2
    
  2. 예제 2

    입력
    4 3
    0 0
    0 3
    3 3
    3 0
    
    예상 출력
    0
    
  3. 예제 3

    입력
    18 9
    0 2
    2 2
    2 1
    4 1
    4 0
    9 0
    9 2
    4 2
    4 4
    7 4
    7 3
    9 3
    9 6
    4 6
    4 5
    2 5
    2 4
    0 4
    
    예상 출력
    6