不对称直接求解器