两类约束 电路KCL、KVL方程的独立性