Graph Colouring and the Probabilistic Method 论文
2001引用 291
Model-Driven Software Engineering TechniquesTeaching and Learning Programming
详细信息
- 发表日期
- 2001-11-20
- 发表年份
- 2001
关键词
Model-Driven Software Engineering TechniquesTeaching and Learning Programming
摘要
The term Probabilistic Method refers to the proof of deterministic statements using probabilistic tools. The method has been successfully applied to a number of problems in the field of graph colouring. We survey some of the results thereby obtained. The talk is intended to be accessible and short on details. We will first define graph colouring, explain the type of graph colouring problems which tend to attract interest. We then explain the probabilistic tools which are used to solve them, and why we would expect the type of tools that are used to be effective for solving the types of problems typically studied.