불변 다항식

시간 제한1초메모리 제한512 MB

요약
차수가 d 이하인 두 변수 실수 다항식 가운데 2π/n만큼의 회전에 대해 불변인 것들의 벡터 공간 차원을 구한다.
난이도

보통10점 중 7점

유형
수학, 조합론, 정수론, 구현
정답자
아직 제출이 없습니다

문제

두 변수 실수 다항식 P(x,y)P(x, y)를 생각합니다. 모든 실수 xx와 yy에 대하여

P(xcos⁡α−ysin⁡α,  xsin⁡α+ycos⁡α)=P(x,y)P(x\cos\alpha - y\sin\alpha,\; x\sin\alpha + y\cos\alpha) = P(x, y)

가 성립하면, 이 다항식은 각도 α\alpha만큼의 회전에 대해 불변(invariant) 이라고 합니다.

차수가 dd 이하이면서 2π/n2\pi/n 회전에 대해 불변인 두 변수 다항식 전체가 이루는 실수 벡터 공간을 생각합니다. 이 벡터 공간의 차원 MM을 구하세요.

참고로 다음 사실이 도움이 될 수 있습니다. 차수가 dd 이하인 모든 다항식은 어떤 실수 계수 aija_{ij}에 대하여

P(x,y)=∑i,j≥0i+j≤daij xiyjP(x, y) = \sum_{\substack{i, j \ge 0 \\ i + j \le d}} a_{ij}\, x^i y^j

의 꼴로 유일하게 나타낼 수 있습니다.

입력

한 줄에 양의 정수 dd와 nn이 공백 하나로 구분되어 주어집니다. 두 값 모두 10001000보다 작습니다.

출력

위에서 설명한 벡터 공간의 차원 MM을 정수 하나로 출력합니다.

예제3

  1. 예제 1

    입력
    1 1
    
    예상 출력
    3
    
  2. 예제 2

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

    입력
    2 4
    
    예상 출력
    2