Complexity Analysis of Propositions and MATLAB Simulation Code for Running a Closed-loop Supply Chain for Power Battery Recycling under Government Subsidies, with Specific Code File Names Indicated.