红方先行
全明考虑
超时判负

首先，我觉得这个残局的结果应该是红先胜。当然个人水平有限，在军旗上的造诣可能还不够，所以非常欢迎不同的意见以及批评指证。也许这个残局最终的解法离我的想法还有很远。。。
我用的是qq军旗的复盘，紫色代表红方，橙色代表黑方，紫色先行。
为了叙述上的方便，我们分别用①，②代表紫方和橙方的两子，把紫方工兵飞到自己家旗上的动作叫作PARK。把紫方工兵走闲棋称为
WANDER。对于橙色，把朝向九宫的行棋称为“进”，把朝向橙色军旗方向的行棋称为“退”。对于紫色，把朝向橙色军旗方向的行棋
成为“进”，朝向九宫的行棋成为“退”。
如下图所示




图中可知，橙①只能在进退五步之间行棋，活动范围只有5，而橙②只能在进退七步之间行棋，活动范围只有7。我们把紫色PARK位同
橙方第一线两边兵站视为相连，当然，*这种相连是OR的关系*。这样，我们把紫色与橙色子之间空出的兵站数算作为他们之间的距离。
如下图：


图中紫①与橙①距离为2，而紫②与橙②距离为4。值得注意的是他们之间为or的关系。

为便于大家理解，我首先将考虑一个简化一点的模型
如图所示



在这种情况下，我们可以看出紫方只能有四种选择，紫①进一，紫①PARK，紫②进一，紫②PARK。分别对其进行分析：

紫①进一，此时橙①只能往后退，而对方完全可以紧贴橙①，橙①最末只能退到旗角，不能继续退到军旗上了，否则紫①可以下到旗
角让你与他对，紫胜。因此我们看橙②，橙②可以选择进或退，但是最末只能退到脐部，否则原因同上，如果橙②后退，对方依然可以紧贴，这样最终橙色无棋可走，超时判负。所以，橙②只能进一。然后紫色可以有三种走法：紫①退一，紫①PARK，紫②PARK。紫①退一依然会被橙①紧贴，因此我们试着走紫①PARK，此时橙方的应法应该是橙②退二（后面论述）或者橙①进二。因为橙①如果后退，马上又会被PARK的紫①飞回来紧贴，橙①进一也会有相同的结果。而橙②退一则PARK飞回来的紫①可以飞到原始的位置。该橙色行棋，但是橙色任何子不敢进，因为一旦进某子，紫色会进另一边的子，结果还是被紫色步步跟退，而退的话紫色只要保持和橙色任何子距离为1即可。同样会被步步跟退。
如下图所示




同样，橙②退三，退四，退五，会分别被紫②进一，进二，进三应，导致紫②与橙②距离为2，同时紫①与橙①距离为2，因此，距离
相等时候该橙色行棋，橙色必败。

只有橙②退二或者橙①进二可以应。

先讨论橙②退二，这时候紫②应该WANDER，那么对于橙②，你就只能橙②进一，因为橙②进二是不行的，这样紫②封住左边口，与橙
①距离为1，而橙②此时距离PARK的紫①也为1，会被步步跟退。而橙②进三也是不行的，这样等于对方可以直接拿紫②贴住你的橙①
，直接步步跟退。而橙②不动也是不行的，紫②封死右边口，与橙②距离为2，而此时紫色PARK的紫①与橙①距离也是2，依然会被步
步跟退。橙②退一，退二，退三，会分别被紫②逼到距离紫②为2，与紫①距离橙①相同，而此时该橙色行棋，橙色败。因此橙②进
一是唯一之选。
对于橙①，不能进一，进二，不能不动，上述行棋会导致紫②可以试图与橙②的距离正好等于紫①与橙①，橙①不能退二，因为这样
会使紫②试图与橙①的距离为3，等于紫①与橙②的距离。所以橙①可走的只能是橙①退一。
下面分别讨论橙②进一和橙①退一两种情况。
局势如图


首先，橙②进一，则紫②继续WANDER，对于橙②，不能进一，进二，否则紫②能和橙①调整距离正好等于紫①与橙②，可以不动，不
能后退，否则紫②能与橙②调整距离正好等于紫①与橙①。所以橙②不能动。【A】对于橙①，则是差不多的情况。也不能动。因此
抛弃此种解法。
第二种，橙①退一，紫②继续WANDER，橙①，橙②都不能动了。分析道理同【A】。
至此，橙②退二情况讨论完毕，回头讨论橙①进二。
局势如图


显然，紫方无棋可走，除了紫②WANDER，橙方的应法：对于橙②，可以进一，退是不能的，会被WANDER的紫②把距离逼为0，就失败
了。对于橙①，可以退一，但是不能退二或者以上，否则，紫②会努力调整与橙①距离等于2，即当前橙②同紫①的距离。下面讨论
两种情况。
一，橙②进一，这时候大家就知道为什么开头我们规定OR的关系了，看似橙色两子都与紫色两字保持0的距离，实际上，他们只能存
在一个。因此，紫②WANDER，橙色将不得不使任一子后退，则紫②只需到后退子前面就行了。
二，橙①退一，则紫②WANDER，橙色将无子可走，分析道理同前面【A】
至此，橙①进二讨论完毕。
紫①PARK情况讨论完毕。紫②PARK情况也大同小异。总之都是橙必输的。

下面是紫②PARK一种走法的例胜示范：


回到开头我们关于紫①进一的讨论结束了，下面是关于紫①PARK的讨论。
紫①PARK，橙色应法只有橙①进一或者橙②退一，不论如何走，紫色都能够通过紫②WANDER达到使对方只能让橙①，橙②距离紫①相
等，但是由于OR的关系，我们知道接下来紫②继续WANDER便可以让橙色无子可动。
下面是紫①PARK的一种走法的例胜示范：

紫②进一和紫②PARK的情况我粗略演算了一遍，应该是同紫①进一和紫①PARK差不多。所以省略