「DROI」Round 2 构造与取模

Luogu
IDLGP9373
Time1000ms
Memory64MB
DifficultyP2
Special Judge构造
对于整数 $n,k$,若存在**非负整数** $x$ 与 **正整数** $y$ 满足: $$x + y = n\ \land\ x \bmod y =k$$ 则我们称有序数对 $(x,y)$ 是 $n$ 的一个 **优秀拆分**(其中 $\land$ 是**并且**的意思)。 现给定非负整数 $n,k$,请你构造**任意**一组 $n$ 的优秀拆分,并分别输出你构造方案中的 $x$ 和 $y$。特殊地,若不存在这样的拆分,则输出 `-1`。 ## Input **本题有多组数据。** 第一行一个正整数 $T$,表示数据组数。 接下来 $T$ 行,每行两个非负整数,分别为 $n,k$。 ## Output 输出共 $T$ 行,第 $i$ 行表示第 $i$ 组数据的答案。 [samples] ## Background 与其编写苍白无力的背景,不如出更有质量的题。 ## Note #### 样例解释 对于第一组数据,只存在唯一的构造方式。 对于第二组数据,$(3,10)$ 也是一组合法的构造。 对于第三组数据,可以证明不存在一组合法的构造。 ------------ #### 数据范围 **「本题采用捆绑测试」** - $\operatorname{Subtask} 1(20\%)$:$n \leq 10^6$。 - $\operatorname{Subtask} 2(40\%)$:$n \leq 10^{12}$。 - $\operatorname{Subtask} 3(40\%)$:无特殊限制。 对于 $100\%$ 的数据:$T \leq 5$,$0 \leq n,k \leq 10^{18}$。
Samples
Input #1
3
1 0
13 3
198818800000 122122200000
Output #1
0 1
8 5
-1
API Response (JSON)
{
  "problem": {
    "name": "「DROI」Round 2 构造与取模",
    "description": {
      "content": "对于整数 $n,k$,若存在**非负整数** $x$ 与 **正整数** $y$ 满足: $$x + y = n\\ \\land\\ x \\bmod y =k$$ 则我们称有序数对 $(x,y)$ 是 $n$ 的一个 **优秀拆分**(其中 $\\land$  是**并且**的意思)。 现给定非负整数 $n,k$,请你构造**任意**一组 $n$ 的优秀拆分,并分别输出你构造方案中的 $x$ 和 ",
      "description_type": "Markdown"
    },
    "platform": "Luogu",
    "limit": {
      "time_limit": 1000,
      "memory_limit": 65536
    },
    "difficulty": {
      "LuoguStyle": "P2"
    },
    "is_remote": true,
    "is_sync": true,
    "sync_url": null,
    "sign": "LGP9373"
  },
  "statements": [
    {
      "statement_type": "Markdown",
      "content": "对于整数 $n,k$,若存在**非负整数** $x$ 与 **正整数** $y$ 满足:\n\n$$x + y = n\\ \\land\\ x \\bmod y =k$$\n\n则我们称有序数对 $(x,y)$ 是 $n$ 的一个 **优秀拆分**(其中 $\\land$  是**并且**的意思)。\n\n现给定非负整数 $n,k$,请你构造**任意**一组 $n$ 的优秀拆分,并分别输出你构造方案中的 $x$ 和 ...",
      "is_translate": false,
      "language": "English"
    }
  ]
}
Full JSON Raw Segments