[논문 리뷰] 1 X 1 Rush Hour with Fixed Blocks Is PSPACE-Complete

Josh Brunner, Lily Chung외 5명|arXiv (Cornell University)|2020. 01. 01.

Embedded Systems Design Techniques참고 문헌 9인용 수 1

한 줄 요약

이 논문은 고정 블록이 있는 1×1 러쉬아워가 Nondeterministic Constraint Logic(NCL)으로부터의 축소를 통해 PSPACE-완전임을 증명한다. 이는 새로운 두 색상, 방향성 있는 지하철 셰플러 변형을 통해 이루어지며, 저자들은 이 게임의 메커니즘을 고정된 블록이 있는 격자 기반의 1×1 러쉬아워 퍼즐에 통합함으로써, 방향 이동 제약 조건 하에서 단위 크기의 자동차를 사용하는 데 있어 첫 번째 PSPACE-완전성 결과를 확립한다. 이는 트롬프와 실리브라시(2005)가 제기한 15년간의 열린 문제를 해결한다.

ABSTRACT

Consider $n^2-1$ unit-square blocks in an $n imes n$ square board, where each block is labeled as movable horizontally (only), movable vertically (only), or immovable -- a variation of Rush Hour with only $1 imes 1$ cars and fixed blocks. We prove that it is PSPACE-complete to decide whether a given block can reach the left edge of the board, by reduction from Nondeterministic Constraint Logic via 2-color oriented Subway Shuffle. By contrast, polynomial-time algorithms are known for deciding whether a given block can be moved by one space, or when each block either is immovable or can move both horizontally and vertically. Our result answers a 15-year-old open problem by Tromp and Cilibrasi, and strengthens previous PSPACE-completeness results for Rush Hour with vertical $1 imes 2$ and horizontal $2 imes 1$ movable blocks and 4-color Subway Shuffle.

연구 동기 및 목표

• 트롬프와 실리브라시(2005)가 제기한, 고정 블록이 있는 1×1 러쉬아워가 PSPACE-완전인지 여부에 대한 오랜 동안의 열린 문제를 해결한다.
• 각 블록이 고정된 수평 또는 수직 이동 방향을 가진 1×1 단위 정사각형인 최소한의 러쉬아워 변형의 계산 난이도를 규명한다.
• 단위 크기의 자동차와 고정 블록만을 사용함에도 불구하고, 퍼즐이 여전히 계산적으로 비가역적임을 보여준다.
• Nondeterministic Constraint Logic(NCL)에서 고정 블록이 있는 1×1 러쉬아워로의 구성적 축소를 제공한다.

제안 방법

• 방향성과 두 색상이 있는 새로운 지하철 셰플러 변형을 사용하여 Nondeterministic Constraint Logic(NCL)에서 축소한다. 이 변형에는 한 개의 이동 가능한 토큰이 있다.
• 디 비아시와 오페르더스(2015)의 구성과 유사한 방법을 사용하여, 평면 그래프에서 방향성과 두 색상이 있는 지하철 셰플러가 PSPACE-완전임을 증명한다.
• 사이클 기반의 승리 기능과 정렬된 차량 행을 통한 엣지 시뮬레이션을 사용하여, 방향성과 두 색상이 있는 지하철 셰플러 게임을 격자 기반의 1×1 러쉬아워 인스턴스에 통합한다.
• 한 개의 '버블'(빈 공간)을 사용하여 엣지의 토큰 이동을 시뮬레이션하며, 차량의 위치는 정점으로, 엣지를 따라의 이동은 토큰 이동을 시뮬레이션한다.
• 목표 차량이 격자 경계를 통해 탈출하는 특수한 승리 기능을 설계하여, 해답 경로가 유효한 NCL 계산과 대응되도록 한다.
• 고정 블록이 없는 1×1 러쉬아워 인스턴스에서 버블의 접근 가능한 영역이 항상 직사각형임을 증명한다. 이는 시뮬레이션 설계에 핵심적인 위상적 제약 조건이다.

실험 결과

연구 질문

• RQ1 단일 차량이 이동할 수 있는지 여부를 결정하는 것이 P에 속함에도 불구하고, 고정 블록이 있는 1×1 러쉬아워가 PSPACE-완전인지 여부는 무엇인가?
• RQ2 Nondeterministic Constraint Logic(NCL)의 계산 난이도가 단지 1×1 차량과 고정 블록만을 가진 최소한의 슬라이딩 블록 퍼즐로 축소될 수 있는가?
• RQ3 고정 블록의 추가가, 고정 블록이 없는 경우에 비해 1×1 러쉬아워에서 PSPACE-완전성을 가능하게 하는가?
• RQ4 방향성과 두 색상이 있는 지하철 셰플러 게임을 중간 단계로 사용하여 NCL를 시뮬레이션하고, 이를 통해 1×1 러쉬아워의 난이도를 증명할 수 있는가?

주요 결과

• 고정 블록이 있는 1×1 러쉬아워가 PSPACE-완전임을 증명하였으며, 이는 트롬프와 실리브라시(2005)가 제기한 15년간의 열린 문제를 해결한다.
• 이 축소는 평면 그래프에서 PSPACE-완전임이 입증된 두 색상, 방향성 지하철 셰플러의 변형을 사용한다.
• 지하철 셰플러의 각 토큰 이동이 1×1 러쉬아워 격자에서 차량 이동의 시퀀스로 매핑되며, NCL의 논리가 유지된다.
• 승리 조건은 목표 차량이 격자 경계를 통해 탈출하는 특수한 기능을 통해 실현되며, 이는 성공적인 NCL 계산에 대응된다.
• 고정 블록이 없는 모든 1×1 러쉬아워 인스턴스에서 단일 빈 공간(버블)의 접근 가능한 영역은 항상 직사각형이며, 이는 핵심적인 위상적 제약 조건이다.
• 기존의 1×2 및 2×2 차량을 사용하는 러쉬아워의 난이도 결과를 강화하며, 단위 크기의 차량에 방향 제약 조건이 있더라도 PSPACE-완전성이 성립함을 보여준다.