题解

思路

若所有比值 $A_i/B_i$ 都相同，则 $A$ 与 $B$ 成正比例，对任意 $X$，两个点积也保持同号或同时为零，因此一定无解。

做法

反之，只要找到两个下标 $i,j$ 满足 $A_iB_j>A_jB_i$，令 $X_i=A_j+B_j$、$X_j=-(A_i+B_i)$，其余位置为 $0$。此时两个点积分别为 $A_iB_j-A_jB_i>0$ 与 $B_iA_j-B_jA_i<0$，而构造出的数绝对值至多为 $2\times10^5$，必然满足范围限制。

扫描序列并将每个比值与第一个比值用交叉相乘比较；若始终相等就输出 No，否则根据交叉乘积的正负确定两个下标的先后，再按上述公式输出即可。

复杂度

交叉乘积和点积计算使用 64 位整数，算法对每组数据的时间复杂度为 $O(N)$，空间复杂度为 $O(N)$。