File:Dilworth-via-König.svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file(SVG file, nominally 800 × 494 pixels, file size: 21 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary[edit]

Description
English: Proof of Dilworth's theorem via König's theorem. On far left is shown the Hasse diagram of a partial order, and center left a bipartite graph derived from that order. A maximum matching in that graph (center right) leads to a partition of the order into chains (far right).
Date 13 September 2006 (original upload date); colorized and vectorized August 23, 2007.
Source Transferred from en.wikipedia to Commons.
Author David Eppstein at English Wikipedia

Licensing[edit]

Public domain This work has been released into the public domain by its author, David Eppstein at English Wikipedia. This applies worldwide.
In some countries this may not be legally possible; if so:
David Eppstein grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

Original upload log[edit]

The original description page was here. All following user names refer to en.wikipedia.
  • 2006-09-13 16:02 David Eppstein 794×487×8 (20944 bytes) Proof of [[Dilworth's theorem]] via [[König's theorem (graph theory)]]. On far left is shown the [[Hasse diagram]] of a partial order, and center left a [[bipartite graph]] derived from that order. A maximum matching in that graph (center right) leads to

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current06:27, 24 August 2007Thumbnail for version as of 06:27, 24 August 2007800 × 494 (21 KB)David Eppstein (talk | contribs){{Information |Description=Proof of Dilworth's theorem via König's theorem. On far left is shown the Hasse diagram of a partial order, and center left a [[:en:bipart

The following page uses this file:

File usage on other wikis

The following other wikis use this file: