REVIEW FOR FINAL: REVIEWFORFINAL

CLIQUE TALK: CLIQUE

COMPLEXITY OF RAMSEY TALK: COMP

Syllabus is in three parts:

Documents and Slides

1. Proof of the infinite Ramsey theorem on graphs: TALK: inframseytalk.PDF, NOTE: inframsey.PDF,
2. Notes on computability. 650notes.PDF,
3. Computable Ramsey Theory. TALK:compramseytalk.PDF, NOTES:compramsey.PDF.
4. A Survey of Recursive combinatorics: reccomb.PDF Optional.
5. ``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,
6. Subsequence Languages: subseqtalk.PDF
7. Infinite 3-hypergraph Ramsey Talk: inf3talk.PDF Paper: hyper.PDF
8. Infinite Can Ramsey Theorem: An Exposition: TALK:infcanramseytalk.PDF NOTES:infcanramsey.PDF
9. Talk on Appliation to Data stuctures yaotalk.PDF Original paper by Yao: tables.PDF
10. Prob Method and some exact Ramsey Numbers: probtalk.pdf
11. The paper that does the Diff problem with sqrt(n) constructively: BoseChowla.PDF
12. Talk on The Complexity of Grid Problems gridnptalk.PDF Shortened version: gridnptalk.PDF
13. 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.)
14. Anagrams: misc.PDF
15. 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.
16. Poly VDW talk: pvdwtalk.pdf
17. VDW book: VDWbook.pdf
18. Bounds on polyvdw square case with c=4: cequal4.pdf
19. Can Ramsey on Polish spaces: CANRAMPOL.PDF
20. Draft of paper on distances- MIGHT BE INCORRECT BILLDIST.PDF

HOMEWORKS

PAPER YOU NEED TO READ BY TUESDAY: flipped.PDF,