ОБҐРУНТУВАННЯ ГІПОТЕЗИ ПРО ЧОТИРИ ФАРБИ
С.В. Листровий , О.С. Листрова
È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 г. Область научных исследований — применение информационных систем в экономической сфере деятельности.