可行域不连通论文