25、常量传播的复杂性分析

常量传播的复杂性分析

1 常量传播复杂性分类概述

常量传播是程序分析中的重要问题，不同类型的常量传播在不同控制流条件下具有不同的复杂性。以下是已知的常量传播复杂性分类结果：
| 常量类型 | 单值 | 多值 | 可能常量（May-Constants） | 必须常量（Must-Constants） |
| — | — | — | — | — |
| 复制常量（Copy Constants） | - | - | - | - |
| 线性常量（Linear Constants） | - | - | - | - |
| 普雷斯伯格常量（Pressburger Constants） | - | - | - | - |
| +,-, 常量 | - | - | - | - |
| 全常量（Full Constants） | - | - | - | - |
| 控制流类型 | 无环控制流 | 无限制控制流 | 无环控制流 | 无限制控制流 |
| 复制常量 | P | - | P | - |
| 线性常量 | - | NP - 完全 | - | PSPACE - 完全 |
| 普雷斯伯格常量 | P | - | P | - |
| +,-, 常量 | Co - NP 困难 | PSPACE - 困难 | Co - NP 困难 | PSPACE - 困难 |
| 全常量