设A，B都是n阶正定矩阵，P为n×m矩阵，证明：P^T(A+B)P正定的充分必要条件是r(P)=m．

实现比较两个字符串大小的函数是_____。