architkarandikar/Proof-of-the-Erdos-Szekeres-Theorem
A proof of the Erdos-Szekeres theorem based on the O(n(log n)) algorithm to find the longest increasing subsequence.
Discovered public repositories for architkarandikar in the GitHub catalog.
A proof of the Erdos-Szekeres theorem based on the O(n(log n)) algorithm to find the longest increasing subsequence.
Public repository.
Public repository.
Just testing!