根据样例,首先这道题存在 5→55\to 55→5 的自环与说明/提示部分冲突。
其次如果按照题面展示的题意,样例在 k=4k=4k=4 时 (A,B)=(4,5)(A,B)=(4,5)(A,B)=(4,5) 也是合法的有序对,因为你选择 444 作为黑点无论如何都会染 555。不知道正确的题意是应添加限制 A,B≤kA,B\le kA,B≤k 或者说添加 Bob 也只能染 ≤k\le k≤k 的点的限制。