半无限规划和互补问题是数学规划的重要研究课题,在工程设计、最优控制、信息技术、经济均衡等领域有着广泛的应用.随着研究的深入,半无限规划和互补问题得到了进一步推广,如带非紧致集的半无限规划、广义半无限规划及半无限互补问题.它们既是原有问题的延续又呈现出新的特征,并且与变分分析、集值分析、扰动分析等理论有着紧密联系.本文运用变分分析的工具和方法对上述问题展开研究,包括一阶最优性条件、极大值函数的微分性质、全局鞍点存在性定理、误差界、解集的弱强极小性质等.第一章简要介绍半无限规划和互补问题的研究历史与现状,概述本文的研究内容及主要成果,回顾相关概念和基本结论.第二章研究带有非紧致集的凸半无限极大极小规划.首先通过变分分析的工具和方法刻画凸极大值函数的次方向导数和次微分的解析式,进而建立了凸半无限极大极小规划的一阶最优性条件.由于广义半无限规划的指标集为一集值映射,这极大增加了其在理论分析和算法设计中的难度.因此在第三章我们感兴趣的是如何将广义半无限规划转化为标准半无限规划,为进一步利用已有的标准半无限规划的算法进行求解提供理论依据.通过对下层规划进行扰动分析,我们分别利用推广的基本二次修正Lagrangian函数和一类精确罚函数实现这一转化.相应的,建立广义半无限规划新的一阶最优性条件.第四章对一类新的问题-半无限互补问题-的基本理论展开研究,包括解集性质、问题的等价转化、误差界等.不但许多标准互补问题的重要概念得以推广,而且提出了两类新的误差界;即ω-误差界及弱误差界.半无限规划解集的局部弱强极小性质已利用Lower-C~1函数特殊的微分性质给出了等价描述.在第五章,我们对上述结论进行推广.首先提出一类新的不可微函数一下可微函数.它既包含光滑函数、凸函数、Lower-C~1函数、积分函数等,又同样可以利用切锥和次方向导数或者法锥和次微分等变分分析的工具对解集的局部弱强极小性质进行等价刻画.此外,鉴于变分不等式与互补问题有着密切联系,我们进一步考虑变分不等式解集的弱强极小性质,并建立它与误差界、MPS性质及线性正则性之间的等价关系.最后在解集具有弱强极小性质的条件下,给出算法具有有限步终止的充要条件.