#include <bits/stdc++.h>
using namespace std;
int n;
vector<bool> used;
vector<int> order, comp;
void dfs1 (int v,const vector<vector<int>>& g) {
used[v] = true;
for (size_t i=0; i<g[v].size(); ++i) {
int to = g[v][i];
if (!used[to])
dfs1 (to,g);
}
order.push_back (v);
}
void dfs2 (int v, int cl,const vector<vector<int>>& gt) {
comp[v] = cl;
for (size_t i=0; i<gt[v].size(); ++i) {
int to = gt[v][i];
if (comp[to] == -1)
dfs2 (to, cl,gt);
}
}
int main() {
int q1,q3;
cin>>q1>>n>>q3;
n*=2;
vector < vector<int> > g(n), gt(n);
vector< vector< int> > adj(q1+5);
int o,oo;
for(int i=0;i<q3;i++){
cin>>o>>oo;
if(oo<0){
oo+=1;
adj[o].push_back((oo*-1)*2+1);
} else{
oo-=1;
adj[o].push_back(oo*2);
}
}
for(int i=1;i<=q1;i++){
for(int j=0;j<adj[i].size();j++){
for(int k=0;k<adj[i].size();k++){
if(j!=k){
g[adj[i][j]^1].push_back(adj[i][k]);
gt[adj[i][k]].push_back(adj[i][j]^1);
}
} }
}
used.assign (n+1, false);
for (int i=0; i<n; ++i)
if (!used[i])
dfs1 (i,g);
comp.assign (n+1, -1);
for (int i=0, j=0; i<n; ++i) {
int v = order[n-i-1];
if (comp[v] == -1)
dfs2 (v, j++,gt);
}
for (int i=0; i<n; ++i)
if (comp[i] == comp[i^1]) {
cout<<-1;
return 0;
}
vector<int> answ;
for (int i=0; i<n; i+=2) {
int ans = comp[i] > comp[i^1] ? i : i^1;
if(ans%2==0){
ans/=2;
ans++;
answ.push_back(ans);
}
}
cout<<answ.size()<<endl;
for(int i=0;i<answ.size();i++){
cout<<answ[i]<<endl;
}
}
这是解决与2SAT相关的问题的代码。当输入值n = 200 000时,此代码超出了512 mB的内存限制。我可以使用哪些技巧来减少内存使用量?我已经尝试在主代码中分配向量g和gt,然后在dfs和dfs2函数中放入g和gt,但这给了我时间限制问题。我如何优化此代码?
答案 0 :(得分:0)
您没有同时使用g和gt。因此清除g并在其后保留gt。
(comp.assign (n+1, -1);
在此行之前)
与二手车和二手车相同。
used
和adj
不能同时使用。在行adj
之前清除used.assign (n+1, false);
尝试将adj
用作C样式矢量(int**
),并将其用作各个尺寸的另一个矢量。