基元和棋---把简单的必然和棋称 基元和棋。或称“规和”,规和---依照行规 行棋 就可和棋。
在习惯说法中,还有:定和、天和、死和、绝对和、无奈和
关于证明,
严密证明,可用 完全归纳法。
简单时 用 反证法,就是 看是否有 不和的反例。
关于应用
应用时,可以视为不加证明 即为真 的“公理”。另外,它也是 证明 复杂和棋的基础。
==========================================================================
下面列出四组49式,正确性完备性 可以讨论
1.仕相组-- 45式()
九元仕相 的独立组合 .或从 9个元素中 任取 2个 的 可重复组合.可与 乘法口诀类比
具体式 略。
-------------------------------
2.单炮组--2式
单炮对 “孤将”或 “单炮”
-----------------------------------------------
3.炮单相组--1式
炮单相 对 “孤将”
-------------------------------------------
4.炮双相 组--1式
炮双相 对 孤将
-----------------------------
又,也可分两组
甲:无攻组(没有攻子)
乙:有攻组
----------------------------------------------------------
注:底兵对 底卒 系列 也有 必和;但有“底”字,就不是 任意 位置,故 未入选。