Как реверсивная математика объясняет природу сложности задач
В рамках реверсивной математики ученые подменяют фундаментальные аксиомы теоремами, которые необходимо доказать, чтобы выявить скрытые взаимосвязи систем. Сталкиваясь с по-настоящему масштабными вычислениями, теоретики информатики нередко оказываются в тупике. Классическим примером служит задача о коммивояжёре — поиск кратчайшего пути через множество городов с возвратом в исходную точку. Несмотря на десятилетия поисков, все известные алгоритмы для этой...









