IC
In Cratis Map Editor [FORMAL VERIFIED]
실시간 수학적 무결 증명 맵 에디터 · 0.1ms Instant Solver
TIP

브러시를 선택한 뒤 보드 테두리를 클릭하면 해당 지형이 칠해집니다. 타일 클릭 시 P1 → P2 순서로 출격 위치가 지정됩니다. 랜덤 맵 생성으로 시드·복잡도·보드 크기를 바꿔가며 조건을 만족하는 맵을 자동 탐색할 수 있습니다.

5×5 보드

브러시 선택 후 테두리 클릭으로 지형 편집, 타일 클릭으로 출격 위치 지정

P1 — P2 —
브러시
크기 ×
시드
복잡도 35 (보통)
발판 (Platform)
벽 (Wall)
빈 공간 (Empty)
P1 출격
P2 출격
점프/상승: 1행 → 5행 · 1행 바닥은 파괴 불가능한 기본 바닥
5대 실시간 정형 검증 지표 solved in 0.1ms
1 SCC 강결합 보드 연결성
착지 타일 상호 도달 가능성 검증
프로모션 공평성 & 대칭성
P1 vs P2 최상단 도달 타임 비교
무적 사각지대 / 캠핑 타일
공격 0방향 노출 타일 부재 검증
지형 파괴 시 소프트락 내구성
단일 벽/발판 파괴 시뮬레이션
P1-P2 시작 거리 (FTK 안전 마진)
1턴 직접 처치 방지 안전 거리
복사되었습니다.