Гомотопические группы локально конечных симплициальных множеств (в частности, конечных симплициальных комплексов) алгоритмически вычислимы (E. H. Brown).
Какая алгоритмическая сложность? Ответ зависит от того, насколько большим окажется ответ
https://kleinex.mit.edu/research/undergraduate/urop-plus/documents/2021/Allen.pdf
На второй картинке используются оценки Хуанга-Ву (на число прямых слагаемых) и Джеймса+Коэна-Мура-Нейзендорфера (на экспоненту): как следствие, порядок i-ой гомотопической группы любой нечетномерной сферы — это O(exp(i^2)).
см также:
https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Какая алгоритмическая сложность? Ответ зависит от того, насколько большим окажется ответ
https://kleinex.mit.edu/research/undergraduate/urop-plus/documents/2021/Allen.pdf
На второй картинке используются оценки Хуанга-Ву (на число прямых слагаемых) и Джеймса+Коэна-Мура-Нейзендорфера (на экспоненту): как следствие, порядок i-ой гомотопической группы любой нечетномерной сферы — это O(exp(i^2)).
см также:
https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
group-telegram.com/sweet_homotopy/1960
Create:
Last Update:
Last Update:
Гомотопические группы локально конечных симплициальных множеств (в частности, конечных симплициальных комплексов) алгоритмически вычислимы (E. H. Brown).
Какая алгоритмическая сложность? Ответ зависит от того, насколько большим окажется ответ
https://kleinex.mit.edu/research/undergraduate/urop-plus/documents/2021/Allen.pdf
На второй картинке используются оценки Хуанга-Ву (на число прямых слагаемых) и Джеймса+Коэна-Мура-Нейзендорфера (на экспоненту): как следствие, порядок i-ой гомотопической группы любой нечетномерной сферы — это O(exp(i^2)).
см также:
https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Какая алгоритмическая сложность? Ответ зависит от того, насколько большим окажется ответ
https://kleinex.mit.edu/research/undergraduate/urop-plus/documents/2021/Allen.pdf
На второй картинке используются оценки Хуанга-Ву (на число прямых слагаемых) и Джеймса+Коэна-Мура-Нейзендорфера (на экспоненту): как следствие, порядок i-ой гомотопической группы любой нечетномерной сферы — это O(exp(i^2)).
см также:
https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
BY сладко стянул
Share with your friend now:
group-telegram.com/sweet_homotopy/1960