# Check if there is a cycle with odd weight sum in an undirected graph

Given a weighted and undirected graph, we need to find if a cycle exist in this graph such that the sum of weights of all the edges in that cycle comes out to be odd.

Examples:

Input : Number of vertices, n = 4,
Number of edges, m = 4
Weighted Edges =
1 2 12
2 3 1
4 3 1
4 1 20
Output : No! There is no odd weight
cycle in the given graph

Input : Number of vertices, n = 5,
Number of edges, m = 3
Weighted Edges =
1 2 1
3 2 1
3 1 1
Output : Yes! There is an odd weight
cycle in the given graph

## Recommended: Please try your approach on {IDE} first, before moving on to the solution.

The solution is based on the fact that “If a graph has no odd length cycle then it must be Bipartite, i.e., it can be colored with two colors

The idea is to convert given problem to a simpler problem where we have to just check if there is cycle of odd length or not. To convert, we do following

1. Convert all even weight edges into two edges of unit weight.
2. Convert all odd weight edges to a single edge of unit weight.

Let’s make an another graph for graph shown above (in example 1)

Here, edges [1 — 2] have be broken in two parts such that [1-pseudo1-2] a pseudo node has been introduced. We are doing this so that each of our even weighted edge is taken into consideration twice while the edge with odd weight is counted only once. Doing this would help us further when we color our cycle. We assign all the edges with weight 1 and then by using 2 color method traverse the whole graph. Now we start coloring our modified graph using two colors only. In a cycle with even number of nodes, when we color it using two colors only, none of the two adjacent edges have the same color. While if we try coloring a cycle having odd number of edges, surely a situation arises where two adjacent edges have the same color. This is our pick! Thus, if we are able to color the modified graph completely using 2 colors only in a way no two adjacent edges get the same color assigned to them then there must be either no cycle in the graph or a cycle with even number of nodes. If any conflict arises while coloring a cycle with 2 colors only, then we have an odd cycle in our graph.

## C++

 // C++ program to check if there is a cycle of  // total odd weight #include using namespace std;    // This function returns true if the current subpart // of the forest is two colorable, else false. bool twoColorUtil(vectorG[], int src, int N,                                    int colorArr[]) {            // Assign first color to source     colorArr[src] = 1;            // Create a queue (FIFO) of vertex numbers and     // enqueue source vertex for BFS traversal     queue q;     q.push(src);            // Run while there are vertices in queue      // (Similar to BFS)     while (!q.empty()){                    int u = q.front();         q.pop();                    // Find all non-colored adjacent vertices         for (int v = 0; v < G[u].size(); ++v){                     // An edge from u to v exists and             // destination v is not colored             if (colorArr[G[u][v]] == -1){                                // Assign alternate color to this                  // adjacent v of u                 colorArr[G[u][v]] = 1 - colorArr[u];                 q.push(G[u][v]);             }                //  An edge from u to v exists and destination             // v is colored with same color as u             else if (colorArr[G[u][v]] == colorArr[u])                            return false;         }     }     return true; }    // This function returns true if graph G[V][V] is two // colorable, else false        bool twoColor(vectorG[], int N){                   // Create a color array to store colors assigned      // to all veritces. Vertex number is used as index     // in this array. The value '-1' of  colorArr[i]      // is used to indicate that no color is assigned     // to vertex 'i'.  The value 1 is used to indicate      // first color is assigned and value 0 indicates      // second color is assigned.     int colorArr[N];     for (int i = 1; i <= N; ++i)         colorArr[i] = -1;            // As we are dealing with graph, the input might     // come as a forest, thus start coloring from a      // node and if true is returned we'll know that     // we successfully colored the subpart of our      // forest and we start coloring again from a new      // uncolored node. This way we cover the entire forest.     for (int i = 1; i <= N; i++)         if (colorArr[i] == -1)            if (twoColorUtil(G, i, N, colorArr) == false)              return false;                     return true; }    // Returns false if an odd cycle is present else true // int info[][] is the information about our graph // int n is the number of nodes // int m is the number of informations given to us bool isOddSum(int info[][3],int n,int m){            // Declaring adjacency list of a graph     // Here at max, we can encounter all the edges with      // even weight thus there will be 1 pseudo node     // for each edge     vector G[2*n];            int pseudo = n+1;     int pseudo_count = 0;     for (int i=0; i

## Python3

 # Python3 program to check if there  # is a cycle of total odd weight     # This function returns true if the current subpart  # of the forest is two colorable, else false.  def twoColorUtil(G, src, N, colorArr):              # Assign first color to source      colorArr[src] = 1             # Create a queue (FIFO) of vertex numbers and      # enqueue source vertex for BFS traversal      q = [src]             # Run while there are vertices in queue      # (Similar to BFS)      while len(q) > 0:                     u = q.pop(0)                     # Find all non-colored adjacent vertices          for v in range(0, len(G[u])):                     # An edge from u to v exists and              # destination v is not colored              if colorArr[G[u][v]] == -1:                                 # Assign alternate color to this                  # adjacent v of u                  colorArr[G[u][v]] = 1 - colorArr[u]                  q.append(G[u][v])                              # An edge from u to v exists and destination              # v is colored with same color as u              elif colorArr[G[u][v]] == colorArr[u]:                          return False                 return True      # This function returns true if graph  # G[V][V] is two colorable, else false      def twoColor(G, N):             # Create a color array to store colors assigned      # to all veritces. Vertex number is used as index      # in this array. The value '-1' of colorArr[i]      # is used to indicate that no color is assigned      # to vertex 'i'. The value 1 is used to indicate      # first color is assigned and value 0 indicates      # second color is assigned.      colorArr = [-1] * N            # As we are dealing with graph, the input might      # come as a forest, thus start coloring from a      # node and if true is returned we'll know that      # we successfully colored the subpart of our      # forest and we start coloring again from a new      # uncolored node. This way we cover the entire forest.      for i in range(N):          if colorArr[i] == -1:              if twoColorUtil(G, i, N, colorArr) == False:                  return False                             return True      # Returns false if an odd cycle is present else true  # int info[][] is the information about our graph  # int n is the number of nodes  # int m is the number of informations given to us  def isOddSum(info, n, m):             # Declaring adjacency list of a graph      # Here at max, we can encounter all the      # edges with even weight thus there will      # be 1 pseudo node for each edge      G = [[] for i in range(2*n)]             pseudo, pseudo_count = n+1, 0      for i in range(0, m):                     # For odd weight edges, we          # directly add it in our graph          if info[i][2] % 2 == 1:                             u, v = info[i][0], info[i][1]              G[u].append(v)              G[v].append(u)                      # For even weight edges, we break it          else:              u, v = info[i][0], info[i][1]                 # Entering a pseudo node between u---v              G[u].append(pseudo)              G[pseudo].append(u)              G[v].append(pseudo)              G[pseudo].append(v)                             # Keeping a record of number              # of pseudo nodes inserted              pseudo_count += 1                # Making a new pseudo node for next time              pseudo += 1             # We pass number graph G[][] and total number      # of node = actual number of nodes + number of      # pseudo nodes added.      return twoColor(G, n+pseudo_count)      # Driver function  if __name__ == "__main__":              # 'n' correspond to number of nodes in our      # graph while 'm' correspond to the number      # of information about this graph.      n, m = 4, 3      info = [[1, 2, 12],              [2, 3, 1],              [4, 3, 1],              [4, 1, 20]]                             # This function break the even weighted edges in      # two parts. Makes the adjacency representation      # of the graph and sends it for two coloring.      if isOddSum(info, n, m) == True:          print("No")      else:         print("Yes")         # This code is contributed by Rituraj Jain

## C#

Output:

No

This article is contributed by Parth Trehan. If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

GeeksforGeeks has prepared a complete interview preparation course with premium videos, theory, practice problems, TA support and many more features. Please refer Placement 100 for details

My Personal Notes arrow_drop_up

Article Tags :
Practice Tags :

10

Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.