实现 solution(x: list[float], y: list[float]) -> float。函数计算两条等长 N 的因子序列之间的 Spearman 等级相关。Spearman 等级相关定义为排名变换后两序列的 Pearson 相关，因此工作自然分成两步：先对两个输入分别求排名，再在排名向量上套用教科书 Pearson 公式。