REVIEW FOR FINAL: REVIEWFORFINAL

CLIQUE TALK: CLIQUE

COMPLEXITY OF RAMSEY TALK: COMP

Syllabus is in three parts:

• Content of Course:
• Policy of Course:
• Project for the Course:

Documents and Slides

1. Finite Ramsey theory: NOTE: ramsey.PDF,
2. Proof of the infinite Ramsey theorem on graphs: TALK: inframseytalk.PDF, NOTE: inframsey.PDF,
3. Notes on computability. 650notes.PDF,
4. Computable Ramsey Theory. TALK:compramseytalk.PDF, NOTES:compramsey.PDF.
5. A Survey of Recursive combinatorics: reccomb.PDF Optional.
6. ``Application'' of Ramsey theory to proving programs terminate. TALK: ramseypltalk.PDF, NOTES: ramseypl.PDF, A program that I proved terminated using Ramsey Theory that Douglas Ulrich did it by traditional methods! His writeup is here: ULRICH.PDF,
7. Subsequence Languages: subseqtalk.PDF
8. Infinite 3-hypergraph Ramsey Talk: inf3talk.PDF Paper: hyper.PDF
9. Infinite Can Ramsey Theorem: An Exposition: TALK:infcanramseytalk.PDF NOTES:infcanramsey.PDF
10. Talk on Appliation to Data stuctures yaotalk.PDF Original paper by Yao: tables.PDF
11. Prob Method and some exact Ramsey Numbers: probtalk.pdf
12. The paper that does the Diff problem with sqrt(n) constructively: BoseChowla.PDF
13. Talk on The Complexity of Grid Problems gridnptalk.PDF Shortened version: gridnptalk.PDF
14. Finite Can Ramsey Theory Talks (1) Intro and PROOF ONE by Erdos-Rado Original Proof: fcrertalk.PDF (2) PROOF TWO: Mileti's: fcrmilonetalk.PDF (3) PROOF THREE: Mileti's: fcrmiltwotalk.PDF The paper by Mileti that has the proof I asked about on the hw is at my website on Can Ramsey: canramsey.html Look for the paper The Canonical Ramsey Theorem and Compuability by Mileti. What you want is Section 3. (I think my slides are better.)
15. Anagrams: misc.PDF
16. BEST PROOF OF CAN RAMSEY FOR GRAPHS IN TERMS OF BOUNDS: The three Lemmas Needed for Can Ramsey: threelemmas.PDF My notes on BEST CAN RAMSEY BOUND: bestcanramsey.PDF Original paper on this: goto the website dedicated to Can Ramsey (I don't know why I build that) canramsey.html and look for the paper On Erdos-Rado Numbers by Lefmann and Rodl.
17. Poly VDW talk: pvdwtalk.pdf
18. VDW book: VDWbook.pdf
19. Bounds on polyvdw square case with c=4: cequal4.pdf
20. Can Ramsey on Polish spaces: CANRAMPOL.PDF
21. Draft of paper on distances- MIGHT BE INCORRECT BILLDIST.PDF
22. NEW Draft of paper on distances- MIGHT BE INCORRECT NEWBILLDIST.PDF A work in progress.
23. Talk on Distance Problem for Erdos Conf ERDOSTALK.PDF
24. Grid Coloring GRID.PDF

HOMEWORKS

hw01.PDF,

hw01sol.PDF,

hw02.PDF,

hw03.PDF,

hw04.PDF,

hw05.PDF,

hw06.PDF,

hw07.PDF,

hw08.PDF,

reviewmid.PDF,

hw09.PDF,

hw10.PDF,

hw10sol.PDF,

hw11.PDF,

hw12.PDF,