An Alternative Proof of Dilworth's Theorem via Local Chain Merges
Source: arxiv.org/abs/2606.06513
Several elegant proofs of Dilworth's theorem for finite posets already exist in the literature. In this note, we present an alternative inductive proof using a local legal merge lemma on chain ends. By combining this lemma with the bound established by Dilworth's theorem, we observe a direct consequence: every chain decomposition can be transformed into a minimal chain decomposition through a finite sequence of such legal merges
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.06513
curl -X POST /api/v1/records/arxiv/2606.06513/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.06513/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'