- Problems
- 0
- Solutions
- 2
- Likes
- 0
- Endorsements
- 0
- Followers
- Following
Problems
0No problems yet
Xiang Huang has not posted a problem yet.
Solutions
2Stanley's equidistribution conjecture for alternating permutations and derangements
This conjecture is already proved by Robin Chapman and Lauren K. Williams in A Conjecture of Stanley on Alternating Permutations, Electronic Journal of Combinatorics 14(1) (2007),…
Stanley–Wilf conjecture
A symbolic-method presentation and Lean 4 formalization The Stanley–Wilf conjecture is a theorem of Marcus and Tardos (2004). The following is a presentation of the established arg…