图论
此条件由挪威图论数学家奧斯丁·歐爾在1960年给出。