Compilare: user.cpp: In function ‘void dfs1(int)’: user.cpp:11:34: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (int j = 0; j<graph[i].size(); j++) ^ user.cpp: In function ‘void dfs2(int)’: user.cpp:26:35: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (int j = 0; j<graphT[j].size(); j++) ^ user.cpp: In function ‘void initialize()’: user.cpp:40:18: warning: unused variable ‘c1’ [-Wunused-variable] int val1, val2, c1, c2; ^ user.cpp:40:22: warning: unused variable ‘c2’ [-Wunused-variable] int val1, val2, c1, c2; ^ user.cpp: In function ‘void solve()’: user.cpp:102:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] while (j < v2[i].size()) ^ user.cpp: In function ‘int main()’: user.cpp:136:18: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] print("2sat.out"); ^