結果

問題 No.1324 Approximate the Matrix
ユーザー kotatsugamekotatsugame
提出日時 2020-12-22 03:45:54
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 76 ms / 2,000 ms
コード長 2,663 bytes
コンパイル時間 1,029 ms
コンパイル使用メモリ 88,108 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-09-21 13:42:13
合計ジャッジ時間 3,178 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 73 ms
5,376 KB
testcase_04 AC 70 ms
5,376 KB
testcase_05 AC 73 ms
5,376 KB
testcase_06 AC 70 ms
5,376 KB
testcase_07 AC 71 ms
5,376 KB
testcase_08 AC 9 ms
5,376 KB
testcase_09 AC 6 ms
5,376 KB
testcase_10 AC 11 ms
5,376 KB
testcase_11 AC 22 ms
5,376 KB
testcase_12 AC 6 ms
5,376 KB
testcase_13 AC 4 ms
5,376 KB
testcase_14 AC 24 ms
5,376 KB
testcase_15 AC 10 ms
5,376 KB
testcase_16 AC 2 ms
5,376 KB
testcase_17 AC 14 ms
5,376 KB
testcase_18 AC 5 ms
5,376 KB
testcase_19 AC 5 ms
5,376 KB
testcase_20 AC 4 ms
5,376 KB
testcase_21 AC 2 ms
5,376 KB
testcase_22 AC 6 ms
5,376 KB
testcase_23 AC 12 ms
5,376 KB
testcase_24 AC 30 ms
5,376 KB
testcase_25 AC 17 ms
5,376 KB
testcase_26 AC 15 ms
5,376 KB
testcase_27 AC 7 ms
5,376 KB
testcase_28 AC 1 ms
5,376 KB
testcase_29 AC 2 ms
5,376 KB
testcase_30 AC 1 ms
5,376 KB
testcase_31 AC 2 ms
5,376 KB
testcase_32 AC 2 ms
5,376 KB
testcase_33 AC 1 ms
5,376 KB
testcase_34 AC 2 ms
5,376 KB
testcase_35 AC 2 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 73 ms
5,376 KB
testcase_38 AC 73 ms
5,376 KB
testcase_39 AC 76 ms
5,376 KB
testcase_40 AC 75 ms
5,376 KB
testcase_41 AC 75 ms
5,376 KB
testcase_42 AC 10 ms
5,376 KB
testcase_43 AC 10 ms
5,376 KB
testcase_44 AC 10 ms
5,376 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
a.cpp:8:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]

ソースコード

diff # 

#line 1 "a.cpp"
#include<iostream>
#include<cassert>
using namespace std;
#line 1 "/home/kotatsugame/library/graph/MCF.cpp"
//Minimum Cost Flow O(FE log V)
//Minimum Cost Flow with negative cost O(NE+FE log V)
#include<algorithm>
#include<utility>
#include<vector>
#include<queue>
#include<limits>
#line 9 "/home/kotatsugame/library/graph/MCF.cpp"
template<typename T>
struct MCF{
	struct edge{
		int to,rev,cap;
		T cost;
	};
	int n;
	bool negedge,ok;
	vector<vector<edge> >G;
	vector<T>h,d;
	vector<int>pv,pe;
	MCF(int n_=0):n(n_),negedge(false),G(n_),h(n_),d(n_),pv(n_),pe(n_){}
	void add_edge(int from,int to,int cap,T cost)
	{
		if(cost<0)negedge=true;
		G[from].push_back({to,(int)G[to].size(),cap,cost});
		G[to].push_back({from,(int)G[from].size()-1,0,-cost});
	}
	T min_cost_flow(int s,int t,int f)//ans or -1
	{
		ok=false;
		if(negedge)
		{
			fill(h.begin(),h.end(),numeric_limits<T>::max());
			h[s]=0;
			for(int tm=0;tm<n;tm++)
			{
				bool ch=false;
				for(int i=0;i<n;i++)if(h[i]<numeric_limits<T>::max())
				{
					for(const edge&e:G[i])
					{
						if(e.cap>0&&h[e.to]>h[i]+e.cost)
						{
							h[e.to]=h[i]+e.cost;
							ch=true;
						}
					}
				}
				if(!ch)break;
				assert(tm<n-1);//negative cycle
			}
		}
		T ret=0;
		while(f>0)
		{
			fill(d.begin(),d.end(),numeric_limits<T>::max());
			d[s]=0;
			priority_queue<pair<T,int>,vector<pair<T,int> >,greater<pair<T,int> > >P;
			P.push(make_pair(0,s));
			while(!P.empty())
			{
				pair<T,int>p=P.top();P.pop();
				if(d[p.second]<p.first)continue;
				for(int i=0;i<G[p.second].size();i++)
				{
					edge&e=G[p.second][i];
					if(e.cap>0&&d[e.to]>d[p.second]+e.cost+h[p.second]-h[e.to])
					{
						d[e.to]=d[p.second]+e.cost+h[p.second]-h[e.to];
						pv[e.to]=p.second;
						pe[e.to]=i;
						P.push(make_pair(d[e.to],e.to));
					}
				}
			}
			if(d[t]==numeric_limits<T>::max())return -1;
			for(int u=0;u<G.size();u++)h[u]+=d[u];
			int d=f;
			for(int u=t;u!=s;u=pv[u])d=min(d,G[pv[u]][pe[u]].cap);
			f-=d;
			ret+=d*h[t];
			for(int u=t;u!=s;u=pv[u])
			{
				G[pv[u]][pe[u]].cap-=d;
				G[u][G[pv[u]][pe[u]].rev].cap+=d;
			}
		}
		ok=true;
		return ret;
	}
	operator bool()const{return ok;}
};
#line 5 "a.cpp"
int N,K;
int A[200];
int ans=0;
main()
{
	cin>>N>>K;
	MCF<int>Q(2*N+2);
	int st=2*N,go=st+1;
	for(int i=0;i<N;i++)
	{
		cin>>A[i];
		Q.add_edge(st,i,A[i],0);
	}
	for(int i=0;i<N;i++)
	{
		int B;
		cin>>B;
		Q.add_edge(N+i,go,B,0);
	}
	for(int i=0;i<N;i++)for(int j=0;j<N;j++)
	{
		int P;
		cin>>P;
		ans+=P*P;
		for(int k=1;k<=A[i];k++)Q.add_edge(i,N+j,1,(P-k)*(P-k)-(P-k+1)*(P-k+1));
	}
	ans+=Q.min_cost_flow(st,go,K);
	assert(Q);
	cout<<ans<<endl;
}
0