makinson一个公开问题的注记

公式集的essential原子在逻辑中扮演了重要角色，如在sat问题中可以去掉非essential原子，从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点，2005年makinson提出一个关于essential原子的公开问题。现解决了这个公开问题，即证明了结论：任何原子都不是赋值集v的essential原子当且仅当等价的赋值都属于v或者都不属于v。