С.В. Листровий , О.С. Листрова
Èlektron. model. 2018, 40(3):33-40
https://doi.org/10.15407/emodel.40.03.033
АНОТАЦІЯ
Дано обґрунтування машинного доказу гіпотези про чотири фарби, який виконано групою
математиків, очолюваною К. Аппелем і В. Хейкеном [1].
КЛЮЧОВІ СЛОВА:
хроматичне число, тріангуляція, щільність графа.
СПИСОК ЛІТЕРАТУРИ
1. Appel K., Haken W. Every Planar Map Four Colorable contemporary Mathematics // Amer. Math. Soc.,1989, Vol. 98, 308 p.
2. Берж К. Теория графов и её применение. М.: ИЛ, 1962.
3. Heesch H. Untersuchungen zum Vierfarbenproblem, Hochschilskriptum 810/a/b/Bibliographisches Institut, Mannheim 1969.
4. Харари Ф. Теория графов. М.: Мир, 1973. 2-е изд. М.: УРСС, 2003.
5. Емеличев В.Б., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. М.: Наука, 1990.
ЛИСТРОВОЙ Сергей Владимирович , д-р техн. наук, профессор Украинского государственного университета железнодорожного транспорта (г. Харьков). В 1972 г. окончил Харьковское высшее военное командно-инженерное училище. Область научных исследований — задачи дискретной оптимизации и теории графов и их приложения к анализу вычислительных систем
и сетей.
ЛИСТРОВАЯ Елена Сергеевна, канд. техн. наук, доцент кафедры экономики и маркетинга Национального аэрокосмического университета им. Н.Е.Жуковского (г. Харьков), который окончила в 1998 г. Область научных исследований — применение информационных систем в экономической сфере деятельности.