「杂题乱刷2」CF1738F Connectivity Addicts

合集 - 构造(25)

1.「算法笔记」构造选讲2023-12-152.「杂题乱刷」CF1221B2023-11-233.「杂题乱刷」CF468A2023-11-234.「杂题乱刷」AT_abc337_e2024-01-215.「杂题乱刷」洛谷 P88662024-02-256.「杂题乱刷」CF1937C & CF1936A2024-03-017.「杂题乱刷」CF1934D22024-03-038.「杂题乱刷」at_abc092_d & AT_arc093_b2024-04-019.「杂题乱刷」CF74E2024-04-0110.「杂题乱刷」AT_abc096_d2024-05-0511.「杂题乱刷」CF1973D2024-05-2012.「杂题乱刷」CF1977B2024-05-2813.「杂题乱刷」P82792024-05-3114.「杂题乱刷」P106782024-07-0215.「杂题乱刷2」CF1015D Walking Between Houses2024-07-1516.「杂题乱刷2」CF1889A Qingshan Loves Strings 22024-07-2617.「杂题乱刷2」CF1567D2024-08-2318.「杂题乱刷2」CF1493C2024-08-2419.「杂题乱刷2」CF862C2024-08-2920.「杂题乱刷2」CF1365G2024-08-3021.「杂题乱刷2」AT_arc184_a2024-09-2222.「杂题乱刷2」CF1370F22024-11-1023.「杂题乱刷2」CF2040D2024-12-10

24.「杂题乱刷2」CF1738F Connectivity Addicts02-13

25.「杂题乱刷2」CF109D02-18

收起

题目链接

CF1738F Connectivity Addicts

解题思路

我们发现取度数大的点可以建的图显然最优秀，具体原因下面会讲，并且同一个连通块内的节点染成一种颜色一定合法。那么此时我们将所有节点从大到小排序，然后直接暴力建图即可，我们每次询问会存在两种情况，我们设询问到的节点为 $x$：

• 若 $x$ 已经被染上颜色了，那么直接将此节点与 $x$ 节点连边，退出此节点查询。

• 若 $x$ 没有被染上颜色，那么直接将此节点与 $x$ 节点连边，继续进行此节点的查询。

那么此时由于度数是从大到小连边，此时必定有 $s_c\le d_c^2$，因为此时点已经与 $s_c$ 个节点连边，此时设询问的节点为 $x$，$i$ 与为 $x$ 连通的点，设 $d_x$ 为节点 $x$ 的度数，由于是从大到小枚举的，那么此时一定有 $d_i\le d_x$，而连入的点可能会变多，但绝不会变小，若新连入的点为 $y$，则也必有 $d_y\le d_x$，此时根据完全平方公式可知原条件一定仍满足，因此该构造方式是正确的。

参考代码

ll ask(ll x)
{
    cout<<"? "<<x<<endl;
    ll y;
    cin>>y;
    return y;
}
ll n;
pii a[1000010];
ll col[1000010];
ll id;
void solve()
{
    id=0;
    cin>>n;
    forl(i,0,n+5)
        col[i]=0;
    forl(i,1,n)
        cin>>a[i].x,
        a[i].y=i;
    sort(a+1,a+1+n);
    reverse(a+1,a+1+n);
    forl(i,1,n)
        if(!col[a[i].y])
        {
            vector<ll>v;
            ll num=0;
            forl(j,1,a[i].x)
            {
                num=ask(a[i].y);
                v.pb(num);
                if(col[num])
                    break;
            }
            ll Col=col[num]?col[num]:++id;
            col[a[i].y]=Col;
            for(auto j:v)
                col[j]=Col;
        }
    cout<<"! ";
    forl(i,1,n)
        cout<<col[i]<<' ';
    cout<<endl;
}