Parity and arity17 Mar 2020 ⇐ Notes archive
(This is an entry in my technical notebook. There will likely be typos, mistakes, or wider logical leaps — the intent here is to “let others look over my shoulder while I figure things out.”)
The former is the odd or even-ness of an integer.
The latter describes the number of arguments a function accepts.
Example usage of parity:
The proof rests on parity. Specifically, if you sum the degrees of every vertex in a graph, you’ll double count each edge. And that double counting implies the sum is even, and even parity is only maintained if there is an even—including zero—number of vertices with an odd degree.
Put arithmetically, a sum can only be even if its components contain an even number of odd terms.