一级建造师矿业:一个有关弦论的问题