理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- light rail vehicle
- light railway
- Light rain
- light-ranging
- light ray
- light reaction
- light reddish brown
- light red tongue
- light reflecting element
- light-reflection devices
- light region
- light regulator
- light relay
- light resistor
- light resources
- light ring
- light saturation
- light saturation point
- light scattering
- light-scattering
- light scattering analysis
- light scattering detector
- light scattering in solids
- light scattering measurement technology for two-phase flow
- light scattering of colloid