巴丁-古柏-施里弗理論;BCS理論