题意:n个点m条边的有向无环图,最多添加k条边,保持为有向无环图,其最小字典序的拓扑排序结果最大。
分析:
所有入度为0的点放入set,每次取出最小元素,加一条入度。这样可以晚点拓扑出,最小节点排得尽可能靠后。
但是,这些情况不可再加边。
1,如果当前只有一个入度为0的点,如果把它也加上一条前导边,会导致出现环。
2,如果当前最后一个入度为0的点,而且它比当前所有已经被加边的点的编号要大,直接拓扑出。
3,没有边的时候
已经加边的点放入另一个set,选取编号最大的节点拓扑出去。
#include<iostream>
#include<algorithm>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<string>
#include<vector>
#include<cctype>
#include<set>
#include<map>
#include<queue>
#include<stack>
#include<iomanip>
#include<sstream>
#include<limits>
#define ll long long
#define inf 0x3f3f3f3f
using namespace std;
const int maxn = 2e5+10;
const ll INF = 1e18;
const int MOD = 1e9+7;
const double EPS = 1e-10;
const double Pi = acos(-1.0);
int ind[maxn],ord[maxn]; //入度个数 拓扑序
vector<int> G[maxn];
vector<pair<int,int> > ans; //加边
set<int> v,edge; //v 当前入度为零的点 edge 未拓扑出 但加了边的点
int cur,pre; //当前节点 前节点
void topo(int x)
{
ord[++cur] = x;pre = x;
for(int i = 0; i < G[x].size(); i++)
{
int nx = G[x][i];
if (--ind[nx] == 0) v.insert(nx);
}
}
int main(){
#ifdef LOCAL
freopen("C:\\Users\\lanjiaming\\Desktop\\acm\\in.txt","r",stdin);
//freopen("output.txt","w",stdout);
#endif
ios_base::sync_with_stdio(0);
freopen("graph.in","r",stdin);
freopen("graph.out","w",stdout);
int n,m,k;
while(cin>>n>>m>>k)
{
ans.clear();
for(int i = 0; i <= n; i++)
ind[i] = 0, G[i].clear();
for(int i = 0; i < m; i++)
{
int u,v;
cin>>u>>v;
G[u].push_back(v);
ind[v]++;
}
v.clear(); edge.clear();
for(int i = 1; i <= n; i++)
if (ind[i] == 0) v.insert(i);
pre= 0, cur = 0;
while(cur < n)
{
if (v.size() == 0)
{
int x = *--edge.end();
ans.push_back(make_pair(pre,x));
topo(x);
edge.erase(x);
}else
if ( !k || v.size() == 1 && (edge.size() == 0 || *v.begin()> *--edge.end())) //这里容易想不清楚,会漏情况
{
int x = *v.begin();
topo(x);
v.erase(x);
}else {
k--;
int x = *v.begin();
v.erase(x);
edge.insert(x);
}
}
for(int i = 1; i <= n; i++)
if (i == 1) cout<<ord[i];
else cout<<" "<<ord[i];
cout<<endl;
cout<<ans.size()<<endl;
for(int i= 0; i < ans.size(); i++)
cout<<ans[i].first<<" "<<ans[i].second<<endl;
}
return 0;
}