아직 만들고 있는 페이지입니다.

이 페이지는 아직 만드는 중입니다. 보이는 내용은 바뀔 수 있습니다.

Lati@s

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

요약
n x n 행렬의 모든 순열 대각선으로 시작 멀티셋을 만든 유한 게임에서 최적 플레이 시 승자를 판정한다.
난이도

어려움10점 중 9점

유형
게임 이론, 조합론, 수학, 행렬
정답자
아직 제출이 없습니다

문제

Latias와 Latios는 평소 사이좋게 지내지만, 최근 서로 누가 더 나은지 다투기 시작했다. 이 문제를 해결하기 위해 둘은 다음과 같은 게임을 하기로 했다.

게임의 상태는 튜플의 중복집합이다. 각 튜플은 정확히 nn개의 음이 아닌 정수를 담는다. 한 차례에 플레이어는 0을 포함하지 않는 튜플 하나를 골라야 한다. 이 튜플을 AA라 하자. 플레이어는 다음을 수행한다.

먼저, 다른 튜플 BB를 하나 고른다. 중복집합이 BB의 복사본을 가지고 있을 필요는 없다. BB도 nn개의 음이 아닌 정수를 담고, BB의 각 원소가 AA의 대응하는 원소보다 엄격히 작아야 한다. 즉 i=1,2,…,ni = 1, 2, \ldots, n에 대해 Bi<AiB_i < A_i이다. 다음으로, 중복집합에서 AA의 복사본 하나를 제거한다. 그런 다음 11부터 nn까지의 정수로 이루어진 모든 공집합이 아닌 부분집합 XX에 대해 CXC_X를 중복집합에 추가한다. CXC_X는 i∈Xi \in X이면 (CX)i=Bi(C_X)_i = B_i, 그렇지 않으면 (CX)i=Ai(C_X)_i = A_i인 튜플이다. 예를 들어 A=(3,7)A = (3, 7), B=(0,2)B = (0, 2)이면 튜플 (0,7)(0, 7), (3,2)(3, 2), (0,2)(0, 2)가 중복집합에 추가된다. 이 단계에서 항상 2n−12^n - 1개의 서로 다른 튜플이 추가된다.

차례를 진행할 수 없는 플레이어가 진다.

Latias와 Latios는 어떤 중복집합을 시작 상태로 삼을지 정하기가 쉽지 않았다. 마침 둘에게 정수로 이루어진 n×nn \times n 행렬 MM이 있었기에, n!n!개의 튜플을 담은 중복집합을 만들기로 했다. 11부터 nn까지의 정수의 각 순열 σ\sigma에 대해 튜플 (M1,σ(1),M2,σ(2),…,Mn,σ(n))(M_{1,\sigma(1)}, M_{2,\sigma(2)}, \ldots, M_{n,\sigma(n)})을 중복집합에 추가한다.

Latias가 먼저 두고, 이후 두 플레이어가 번갈아 움직인다. 서술한 게임은 유한함이 증명되므로 항상 승자를 결정할 수 있다. 두 플레이어가 최적으로 둔다고 가정할 때 누가 이기는지 판정하라.

입력

첫째 줄에 정수 nn이 주어진다. (1≤n≤1501 \le n \le 150)

이어서 nn개의 줄이 주어지며, 각 줄은 nn개의 정수로 이루어진다. 이 줄들 중 ii번째 줄의 jj번째 정수는 Mi,jM_{i,j}이다. (0≤Mi,j<2640 \le M_{i,j} < 2^{64})

이 수들은 표준 64비트 부호 있는 정수형에 들어가지 않을 수 있다.

출력

첫 번째 플레이어인 Latias가 게임에서 이기면 Latias 또는 First를 출력한다. 그렇지 않으면 Latios 또는 Second를 출력한다. 승자를 올바르게 판정했다면 두 단어 중 어느 것을 출력해도 정답으로 인정된다.

힌트

첫 번째 예제에서는 Latias도 정답이다. 마찬가지로 두 번째 예제에서는 Latios가 정답이다. 미안하지만 Lati@s는 절대 정답으로 인정되지 않는다.

두 번째 예제의 게임은 다음과 같이 진행될 수 있다.

0을 포함하는 튜플에서는 아무 움직임도 할 수 없으므로 그러한 튜플은 생략했다. 위 전략은 Latios에게 최적이며, 즉 Latias에게 승리할 기회를 전혀 주지 않는다.

예제2

  1. 예제 1

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

    입력
    2
    1 2
    2 3
    
    예상 출력
    Second