Codeforces Round #586 (Div. 1 + Div. 2) D. Alex and Julian 数学 + 思维

传送门

题意：

给你一个无限个点的坐标轴，一个集合$B$，如果存在$|i-j|=b_k$的话，那么$i,j$之间就连边。现在问你至少要从集合$B$中去掉多少个数才能使得连完边之后这个图是二分图。
$n\le 2e5,B_i\le 1e18$

思路：

首先一个图是二分图的条件是不存在奇环，那么假设集合中有两个数$x,y$，如果存在两个正整数$a,b$使得$ax=by$且$(a+b)\mathrm{m}\mathrm{o}\mathrm{d}2=0$的话，那么这两个数是可以同时存在的。
转换一下就是$(\frac{lcm(x,y)}{x}+\frac{lcm(x,y)}{y})\mathrm{m}\mathrm{o}\mathrm{d}2=0$的时候才可以，即$\frac{x+y}{gcd(x,y)}\mathrm{m}\mathrm{o}\mathrm{d}2=0$。
现在分情况讨论一下：
$(1)x,y$都为奇数，由于只有 奇数$\ast$奇数$=$奇数，$\frac{x+y}{gcd(x,y)}\mathrm{m}\mathrm{o}\mathrm{d}2=0$显然成立。
$(2)x,y$一个奇数一个偶数，这里跟上面同理由于$gcd(x,y)$一定为奇数，多了一个 偶数$\ast$奇数=偶数，$\frac{x+y}{gcd(x,y)}\mathrm{m}\mathrm{o}\mathrm{d}2=1$显然不可以。
$(3)x,y$都为偶数，这个时候可以将两个数共同除$2$消去末尾$0$，之后转换成上面两种情况。

通过上面的规律可以发现，我们按照末尾$0$的个数来分组即可。

// Problem: D. Alex and Julian
// Contest: Codeforces - Codeforces Round #586 (Div. 1 + Div. 2)
// URL: https://codeforces.com/contest/1220/problem/D
// Memory Limit: 256 MB
// Time Limit: 2000 ms
// 
// Powered by CP Editor (https://cpeditor.org)

//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;

//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }

typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;

const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;

int n;
LL a[N];
vector<LL>v[100];

int get(LL x) {
	int id;
	for(int i=60;i>=0;i--) if(x>>i&1) id=i;
	return id;
}

int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);
		
	cin>>n;
	for(int i=1;i<=n;i++) {
		scanf("%lld",&a[i]);
		v[get(a[i])].pb(a[i]);
	}
	int id,mx=0;
	for(int i=0;i<=60;i++) if(v[i].size()>mx) mx=v[i].size(),id=i;
	printf("%d\n",n-mx);
	for(int i=0;i<=60;i++) {
		if(id==i) continue;
		for(auto x:v[i]) printf("%lld ",x);
	}

	
	
	



	return 0;
}
/*
*/