思维构造+匹配——cf1199E

直接枚举每条边，如果边加到图中后还是个匹配图，就直接加，反之就不加

这样加完所有边后，剩下的点必定可以组成一个独立集：因为如果剩下的点中还有互相匹配的，那么这对点应该在加边时就被算到匹配图中

所以要么是>=n的匹配图，要么是>=n的独立集，所以必定有解

#include<bits/stdc++.h>

using namespace std;
#define N 500005

struct Edge{int u,v;}e[N];
int n,m,f[N];
vector<int>ans;

int main(){
    int t;cin>>t;
    while(t--){
        ans.clear();
        scanf("%d%d",&n,&m);
        n*=;
        for(int i=;i<=n;i++)f[i]=;
        for(int i=;i<=m;i++){
            scanf("%d%d",&e[i].u,&e[i].v);
            if(!f[e[i].u] && !f[e[i].v]){
                ans.push_back(i);
                f[e[i].v]=f[e[i].u]=;
            }
        }

        if(ans.size()>=n/){
            puts("Matching");
            for(int i=;i<n/;i++)
                cout<<ans[i]<<" ";
        }
        else {
            puts("IndSet");
            int cnt=;
            for(int i=;i<=n;i++){
                if(!f[i]){
                    cout<<i<<" ";
                    cnt++;
                    if(cnt==n/)break;
                }
            }
        }
        puts("");
    }
}