k차원 정육면체 우주에 현재 n개의 은하 정부가 있다. 우주는 두 반대쪽 꼭짓점 (0,…,0)과 (C,…,C)를 가지며 각 변이 좌표축에 평행한 정육면체이다. 형식적으로 우주의 점 집합은 U={(x1,…,xk)∈Rk:0≤xi≤C}.
각 은하 정부는 자신의 영토가 좌표축에 평행한 변을 가진 평행육면체라고 주장한다. i번째 정부는 두 반대쪽 꼭짓점 (ai,1,…,ai,k)과 (bi,1,…,bi,k)를 가지는 평행육면체를 주장하며, 모든 j에 대해 ai,j<bi,j이다. 형식적으로 i번째 정부가 주장하는 점 집합은 Gi={(x1,…,xk)∈U:ai,j≤xj≤bi,j}.
어떤 영토는 여러 정부가 동시에 주장할 수 있다.
Rick은 어떤 은하 정부도 주장하지 않는 점을 찾으려 한다. 그는 모든 i (1≤i≤n)와 모든 j (1≤j≤k)에 대해 ai,j가 정수임을 알아냈다. Rick은 이로부터 주장되지 않은 점이 존재할 필요충분조건이 αi가 모두 정수인 주장되지 않은 점 (α1+21,α2+21,…,αk+21)이 존재하는 것임을 안다. Rick은 정수를 좋아하므로, (α1+21,α2+21,…,αk+21)가 우주에 속하면서 G1,…,Gn 어디에도 속하지 않도록 하는 α1,…,αk를 구하라고 요청한다. 그러한 점이 여러 개라면 Rick은 사전순으로 가장 작은 것을 원한다.
점 (β1+21,…,βk+21)가 (γ1+21,…,γk+21)보다 사전순으로 작다는 것은, 모든 i<j에 대해 βi=γi이면서 βj<γj인 j (1≤j≤k)가 존재한다는 뜻이다.