（一）
如果存在符合條件的構造的話，\(x=k,y=n-k\) 肯定是其中一組。
此時只要判斷 \(y\) 是否大於 \(x\)。
（二）
AC 程式碼。
#include<bits/stdc++.h>
#define int long long
using namespace std;
int n,x,y;
signed main(){
scanf("%lld",&n);
while(n--){
scanf("%lld%lld",&x,&y);
int p=x-y;
if(p>y)printf("%lld %lld\n",y,p);
else printf("-1\n");
}
return 0;
}