合作对策考虑的中心问题是如何将联盟的整体收益(费用)公平合理地分配给联盟中的每个成员。不同的合理性要求产生了不同的对策解的概念，如核心，稳定集等。对具有稳定核心的对策进行刻画是合作对策理论中最著名的困难问题之一。本论文讨论的对策模型是建立在最优填装与覆盖问题(packing andcovefing problem)基础上的组合合作对策。组合合作对策模型的特点是：其特征函数值由相应的组合优化问题所确定，并且模型中组合优化问题的结构性质与对策解之间有密切关系。基于线性规划对偶理论，多面体理论和图论中相关结果，本文主要研究了匹配对策、顶点覆盖对策核心稳定性的刻画及相关的算法问题。主要结果有： ●核心稳定性的充要条件及其相应判定问题的多项式时间算法：匹配对策有稳定核心当且仅当其基础二部图具有完美匹配；顶点覆盖对策有稳定核心当且仅当其基础图中任_边都属于一个最大匹配。 ●三个与核心稳定性密切相关的性质(核心的包容性、对策的精确性和可扩性)的等价条件及其相应判定问题的多项式时间算法：对于定义在二部图上的匹配对策，上述三个性质等价且等价于条件“每个顶点覆盖包含一个最小顶点覆盖”：对于定义在二部图上的顶点覆盖对策，上述三个性质也是等价的，且等价于条件“每个匹配都包含在一个最大匹配中”。 ●匹配对策和顶点覆盖对策核心稳定性的结果在其它填装与覆盖对策上的推广，如独立集对策、集合覆盖对策等。