next up previous
Next: About this document ...

REVIEW FOR FINAL: REVIEWFORFINAL

CLIQUE TALK: CLIQUE

COMPLEXITY OF RAMSEY TALK: COMP

Syllabus is in three parts:

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,




next up previous
Next: About this document ...
Bill Gasarch 2021-09-26