Я спросил после на mathOverflow, но после обмена электронной почтой с профессором математики в моем университете, было предложено, что stackOverflow может быть более подходящим.
Я также немного пересмотрю формулировку, потому что пост оригинал был немного беспорядочным, но вы можете обратиться к оригиналу для дополнительного контекста.
Я бы хотел алгоритм, который принимает в качестве входных данных набор из 4-многогранников, представленных в виде списка обеих вершин (указанных в 4d-пространстве, например (0,0,1,2)) и ребрасписок соединений, например, v1-v2, v2, v7 и выводит другой многогранник, представленный таким же образом, который является границей объединения множества многогранников.
Многогранники выпуклые, но объединения любых двух может и не быть (вероятно, не будет).Два многогранника могут быть непересекающимися в моем реальном приложении, но в ответе, предполагающем, что пересечение любых двух здесь запрашивается.
По сути, я ищу алгоритм конструктивной твердой геометрии в 4-х местах.Мне удалось найти несколько примеров в 3D , но это редко (невозможно?) Найти их в 4-пространстве.