Compilare: user.cpp: In function ‘void dfs1(int)’: user.cpp:12: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:27: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:41:18: warning: unused variable ‘c1’ [-Wunused-variable] int val1, val2, c1, c2; ^ user.cpp:41:22: warning: unused variable ‘c2’ [-Wunused-variable] int val1, val2, c1, c2; ^ user.cpp: In function ‘void solve()’: user.cpp:103:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] while (j < v2[i].size()) ^ user.cpp: In function ‘int main()’: user.cpp:137:18: warning: deprecated conversion from string constant to ‘char*’ [-Wwrite-strings] print("2sat.out"); ^