一只持仓今天不能卖，其他权重还能满足原行业约束吗

不能把不可交易持仓从候选名单删除后假装它不存在。本例A已经占净资产四十五个百分点且今日固定，A与B所属行业上限却只有四十；即使把B卖到零，也仍超出五个百分点，因此今日原约束无解。先把固定头寸代入约束，剩下的才是可调整空间。

固定的是已有数量，还是某个会漂移的权重

以下是四资产构造账户，教学日零当前权重依次四十五、十五、二十、二十，合计一百个百分点；原目标为二十五、十五、三十、三十。A今日不能交易，B、C、D可自由连续调整，全部非负，A与B同属甲行业。为了单独观察冻结限制，日内价格、净资产、汇率及费用均保持不变，故固定A的数量也就固定其四十五个百分点权重。没有对停牌、涨跌停或任何真实证券给出法律判断。

资产	今日状态	当前百分点	原目标百分点
A	固定数量折合权重	45	25
B	自由变量	15	15
C	自由变量	20	30
D	自由变量	20	30

真实多期情景下，冻结数量不等于冻结权重：其他资产价格变动、现金流与费用会改变分母，冻结资产本身也可能换估值。本例之所以能把A直接写成常数四十五，正因为同时冻结了价格和总值。把这个简化带到次日行情中，需要重新由数量乘价格得到金额，再除以更新的净资产；不能机械地沿用四十五作为永久权重。

将冻结行移到右边，剩余额度为何变成负数

原行业约束是A加B不超过四十，代入A等于四十五，得到B不超过负五。另一条非负要求又说B至少零，两者立即矛盾。这是连续变量的代数证据，不依赖用什么收益模型，也不依赖网格搜索是否足够细。总资金等式则变成B加C加D等于五十五；这个总量本来可以分配，但行业残余额度已经先行堵死了可行集合。

要复核一个更复杂的组合，可以先区分固定集合和可交易集合，逐条计算固定资产对行业、因子、现金要求的贡献，再从原右端扣除。剩余额度为负并不普遍表示无解，例如约束允许空头时可能通过负B抵消；本例明确为非负权重，因此负额度才构成矛盾。必须把背景中的方向限制也写进证据，不能只报一个负数字而省掉推理条件。

改成五十的行业上限，怎样留下完整证人

下面的搜索只用于列出教学网格内的候选数量及最近目标证人。四项权重以五个百分点为步长、非负且合计一百，目标偏离定义为各项权重与原目标差的平方和，按未舍入结果比较；若并列，按A到D字典序取第一个。这里没有计算预期收益，所谓最近只针对这一个距离指标，不代表投资最优。

A固定	行业上限	留给B的额度或未固定组额度	网格可行数	最接近目标证人	相对原目标残差
是	40	-5	0	缺失	缺失
是	50	5	23	[45.0,5.0,25.0,25.0]	[20.0,-10.0,-5.0,-5.0]
否	40	40	705	[25.0,15.0,30.0,30.0]	[0.0,0.0,0.0,0.0]

将行业上限提高到五十后，固定A占四十五，留给B最多五个百分点。该场景有二十三个网格可行点，其中最近目标证人为四十五、五、二十五、二十五。它与原目标的残差为正二十、负十、负五、负五个百分点；行业合计五十，总资金一百。B从十五降到五，C与D各提高五，A没有发生任何交易，所有余额能在同一张表核对。

这个证人证明新限制至少有一个解，但并不使原目标变得可达。A目标二十五与冻结四十五之间的二十个百分点差仍然存在，无法靠在可交易资产之间搬钱消掉。若系统必须返回一个目标，应保留原目标、冻结后的候选、各项残差和目标距离，不要覆盖原目标列；否则下游会把受限替代方案当成模型原本希望持有的组合。

次日解冻为什么必须重新解整个问题

构造对照把A改为可以交易，行业上限恢复原四十，价格和净资产仍固定，其他条件不变。原目标二十五、十五、三十、三十本身就是可行证人，行业恰为四十，总资金一百，目标残差全部为零。网格中有七百零五个可行点，距离最小者就是原目标。这一对照只改变交易状态，能够说明当天的困难来自被冻结的旧持仓，而不是四只资产数量不足。

次日解冻不是自动补执行旧指令的理由。如果价格、信号、分类或者其他限制发生变化，就应把它们作为新输入整体重算；本例保持不变只是为了隔离单个条件。尤其要区分曾计划卖出二十与今日确实能卖二十，卖出能力需要来自真实可交易状态与额度。目标残差的存在可以触发人工核查，但不能让优化程序擅自把冻结标记删掉。

另一种常见错误是直接从模型变量和行业映射中剔除A，再把B、C、D重新归一到一百。这样既漏记了A仍在账户里，也把可分配资金从五十五变成一百，重复使用了已经锁在A中的资金。若需要仅对可交易子组合做归一，应另外标示子组合分母，并在回到全账户时乘回五十五个百分点；子组合比例并不能替代全账户行业约束。

冻结核验单如何处理未知状态与容差

实际输入至少要包含持仓数量、估值价格、交易状态、状态适用日期、资产行业与净资产来源。未知状态不等于可交易，缺价格也不等于持仓为零。若无法确认数量或估值，本例这种确定的四十五贡献便无从建立，应报告字段不足，而非随意填一个有利于可行性的数。检验先使用金额和固定数量，最后再换成权重，有助于发现分母被重复调整的问题。

CVXPY入门关于约束与不可行状态的说明支持将不同约束集分别建模，本文的负额度证明来自构造矩阵。来源并不替本文确认实际停牌规则。表中数值单位均为净资产百分点，搜索结果显示六位；可行数仅属于五个百分点网格，不能据此判断连续解的数量。今日原约束无解则有独立的负额度反证，因而不会因换成更细网格而消失。

冻结后的审计交付应把哪项动不了、已占多少、剩下还能放多少并排保存，既能交给约束制定者，也能供执行层核对。它不承诺未来恢复交易，更不以目标重新可行为理由建议卖出某资产；能确定的是在这些输入成立时，哪些方程相容，以及哪一部分偏离必须明确留在结果里。

从分数到持仓的母题可了解组合构建背景；组合波动率基础工具只核给定输入的基础风险，本页新增模型在教学表中核算，不表示工具已增加优化能力。相关条件可继续核对金额中性贝塔中性区别与组合换手约束最低调整量，分别保留各题输入，避免把不同约束的结论混用。

道积君编辑组，AI辅助编写与核算。本文编号DJ4-081，构造教学数据不对应真实账户；来源支持所注明方法，不证明参数、预测或执行条件真实成立。

复算资料

本篇编号DJ4-081。下载Python复算脚本（文本）与构造输入输出JSON，按编号核对本篇。脚本改存为.py后可用Python标准库运行，数据不是实际用户记录。