理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- hydrolytic precipitation
- hydrolyze cleaning furnace
- hydrolyzer
- hydromagnetic
- hydro-magnetic bearing
- hydromagnetic bubble
- hydromagnetic cavity
- hydromagnetic disturbance
- hydromagnetic dynamo
- hydromagnetic dynamo mechanism
- hydromagnetic instability
- hydromagnetics
- hydromagnetic shock-wave
- hydromagnetic wave
- hydromagnetism
- hydromagnetodynamo
- hydromagnetodynamo mechanism
- hydromanometer
- hydromatic
- hydro-mechanical transmission
- hydromechanics
- hydromechanics, fluid mechanics
- hydrometallation
- hydrometallurgy
- hydrometallurgy of Rare earth