性质1
行动自由:指一定可以保证在有限步数内将全部进攻子力移动至给定位置(例如初始位置)。
性质2
仕相将帅典型位置:原位帅+可以由顺仕相通过减少仕相得到的全部仕相位置。
性质3
不受攻击位置:指任意子力不在对方任意子力攻击范围内(包括将帅,即不被将军),不被叫杀、叫抽。
定义1
强例胜: 本方具有性质1+性质2+性质3的局面,可以保证取胜。
定义2
强例和:本方具有性质1+性质2+性质3的局面,可以保证成和。
定义3
胜:不属于强例胜、强例和,但对于双方均具有性质1+性质2+性质3的局面,胜率超过95%。
定义4
强守和阵型:此阵型可以保证在本方具有性质3的前提下,对对方具有性质1+性质2+性质3的全部局面均可以成和。
定义5
弱例和:对方属于“胜”, 但只存在一种强守和阵型(位置不同但等价的守和阵型算成一种)。
定义6
弱守和阵型:此阵型可以保证在本方具有性质3的前提下,对对方一部分具有性质1+性质2+性质3的局面可以成和。
定义7
偏例胜:属于“胜”, 但对方只存在一种弱守和阵型(位置不同但等价的守和阵型算成一种)。
定义8
准例胜: 属于“胜”,但不属于偏例胜,对方也不属于弱例和。
有个技术问题:守和阵型的等价性如何定义?