트리는 정점 n개와 무방향 간선 n−1개로 이루어진 그래프이고, 어떤 두 정점 사이에도 경로가 정확히 하나 있다. 라벨 트리는 정점마다 1 이상 n 이하의 정수가 서로 다르게 하나씩 붙은 트리다. 트리를 보기 좋게 그리기는 대체로 어렵지만, 직사각형 격자에 깔끔하게 담기는 트리도 있다.
정점이 n개인 라벨 트리 G가 있다. G의 2×n 임베딩은 G의 정점을 2행 n열 격자의 칸에 대응시키는 함수이고, 다음 세 조건을 모두 만족한다.
- 정점 1은 왼쪽 위 모서리 칸에 대응한다.
- 간선으로 이어진 두 정점은 위, 아래, 왼쪽, 오른쪽으로 맞닿은 두 칸에 대응한다.
- 서로 다른 두 정점은 같은 칸에 대응하지 않는다.
주어진 트리의 2×n 임베딩 개수를 109+7로 나눈 나머지를 구하라.