An Alternative Proof of Dilworth's Theorem via Local Chain Merges
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}'