Re: Как же оперативно они работают!
не-не, погоди, то ли я тебя не понимаю, то ли ты меня не понял.

4-х мерную сферу, кажется, действительно нельзя распознать по произвольной триангуляции. но нетрудно задать триангуляцию, по которой её можно будет распознать :)

ну да, речь именно о том, что можно перечислить многообразия, при этом некоторые, вероятно, бесконечно много раз, но важно, чтобы все попали, и чтобы не попало ничего лишнего. хочется это сделать именно через триангуляции, потому что мне кажется, что так проще всего задавать многообразия "в файле". а что такое "кристаллизация" ?

при этом есть классы триангуляций, на которые а) все "гладкие" разрезаются б) которые (классы !) распознаются - типа - дали триангуляцию - ага, это хорошая триангуляция, значит, многообразие, - а вот эта плохая триангуляция, может, и многообразие, но нафиг-нафиг.

там мне написал товарищ из жж про триангуляции, у которых "все линки - подмножества стандартного симплекса" или что-то такое, я не въехал (все ли линки вообще имеются в виду, или только линки вершин), но переспросить не могу, так как Миша ещё вроде не расскринил.

то есть грубо говоря, хочется написать функцию Manifold randomManifold(); при этом совсем круто, если бы ещё все односвязные многообразия были бы рекурсивно перечислимы - Manifold randomSimplyConnectedManifold(); - при этом есть понимание, что топологическое четырёхмерие - это некий отдельный ад имени Фридмана, и вообще я девочка я не хочу E8-manifold, я хочу перечислять PL.

причем в верхних размерностях же односвязные многообразия как раз отлично классифицированы, т.е. препятствие - это ровно фундаментальная группа, которая может быть любой.

спасибо.