• DocumentCode
    896917
  • Title

    A new proof of the colored branch Theorem

  • Author

    Muetze, Torsten

  • Author_Institution
    Dept. of Electr. Eng. & Inf. Technol., Dresden Univ. of Technol., Germany
  • Volume
    53
  • Issue
    4
  • fYear
    2006
  • fDate
    4/1/2006 12:00:00 AM
  • Firstpage
    286
  • Lastpage
    288
  • Abstract
    The colored branch theorem is a result from graph theory that has been described first by Minty. It states the existence of certain meshes and cuts in a graph, whose edges are colored red, green and blue, respectively. The theorem, sometimes also referred to as the lemma of the colored arcs, can be utilized to give short and elegant proofs of many other theorems in graph and circuit theory and has therefore turned out to be of vital importance. We present a new set theoretic proof of the colored branch theorem, that reveals its relationship to the orthogonality theorem, another well-known fundamental result about meshes and cuts in a graph.
  • Keywords
    graph colouring; theorem proving; circuit theory; colored arcs; colored branch theorem; graph theory; meshes; orthogonality theorem; theorem proving; Circuit theory; Circuit topology; Graph theory; Information technology; Mathematical analysis; Colored branch theorem; cuts; graph theory; meshes; orthogonality theorem;
  • fLanguage
    English
  • Journal_Title
    Circuits and Systems II: Express Briefs, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1549-7747
  • Type

    jour

  • DOI
    10.1109/TCSII.2005.862177
  • Filename
    1618898