Suppose we define a summation graph as follows:
Each vertex has a unique but unknown value ascribed to it. Each edge is labelled with the sum of the values of the two vertices it joins.
This construction corresponds to a system of equations where each equation is of the form where and correspond to the unknown values of two vertices and , and the value of the edge joining the two.
Now, if there is any odd cycle, it's known that there will always be a unique solution for just that cycle. But with an even cycle, there are either an infinite number of possible values, or an inherent contradiction in the values of the edges that make a solution impossible.
So my question is this: is it possible that there is some bipartite graph (which has no odd cycles, but can have a bunch of even cycles joined together) that has a configuration of values with a unique solution?