НГУ

Всех приветствую! Читаю тут одну статейку на английском, встретилось незнакомое словечко multilog, причем его не знает ни один знакомый мне электронный переводчик. Так что прошу помощи у более опытных людей:) Вот собственно предложение:
A multilog M=(V,H) is a directed graph, consisting of a set of operations V={a,b,...} connected by happens-before relations H={(x,y): x->y}.
Подозреваю, что multilog - это мультиграф, но все же хочется знать стороннее мнение.[/tex]

Я бы лучше на dxdy.ru спросил. Там публика в гораздо большей степени, чем здесь, интересуется содержательными научными вопросами.

По теме --- ответ не знаю. Возможно, термин не общепринятый и был введён автором цитируемой статьи (а, возможно, и нет). Что-то типа "мультипротокола", запись производимых действий, но не линейная.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind

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

_________________
АФ

Пример такого мультилога: в предисловии к математическим книжкам часто рисуют схему зависимости глав.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind

О, раз уж такая тема, то кто-нибудь знает русский аналог для polytope (это многомерный многоугольник\многогранник)?

log еще "логарифм" и приставка, означающая "логарифмический". Но здесь, очевидно, не тот случай.

Apresyan English-Russian Dictionary: polytope [ʹpɒlıtəʋp] n мат. политоп, выпуклый многогранник
То же в словаре Коваленко. Явно "выпуклый" ошибочно добавлено.
Словарь под ред. П.С.Александрова: многогранник, политоп.

Политоп -- выпуклый многогранник с конечным числом вершин.
Если многогранник сферический (подмножество сферы), то "политоп"
до кучи означает, что он не содержит антиподальных точек сферы.

Взято из ненавистной мне книжки Ratcliffe "Foundations of hyperbolic manifolds".

интересно, а что это он выпуклый?

c невыпуклыми многогранниками много проблем. в более общем контексте требуют, чтобы многогранник являлся полиэдральной сферой, т.е. конечным CW-комплексом, гомеоморфным сфере. Все это для того, чтобы формула Эйлера работала.

То есть она и так работает, но получаться будет тогда не эйлерова характеристика сферы (2 в ечетных размерностях, 0 в четных), а другое число. Так, например, существует невыпуклый трехмерный евклидов многогранник, гомеоморфный тору. Эйлерова характеристика которого равна 0.

Если же мы хотим рассмотреть многогранники в пространстве трехмерной сферы, например, с метрикой постоянной секционной кривизны +1, то приходится в определении избавляться от антиподальных вершин. Потому что для них возникает проблема: такие вершины можно соединить двумя кратчайшими кривыми

Хотя невыпуклых мнгогранников в геометрии тоже завались. Но в хороших случаях они имеют достаточно простую комбнаторную природу. Выпуклых же гораздо больше и появляются они в гораздо более важном контексте -- так что ограничимся выпуклыми многогранниками.

Короче, меня интересует, скажем, куб в [tex]\mathbb{R}^3[/tex] с проведёнными диагоналями. Я же правильно понял, что это политоп?

с проведенными диагоналями где? что такое диагональ куба? или на каждой грани проведена диагональ в дополнение к ребрам куба?

А это существенно? Каждую вершину с каждой другой, с которой нет ещё ребра (связи).

если ребра будут внутри куба -- это не политоп. то есть "диагональ" Ваша ребром многогранника (политопа, елки-палки, московски русский) не назывется вообще

А это, уж извините, зависит от того, как этот самый политоп определять.
Можно определить как единый объект (многоугольник\многогранник\...), а можно и как некое разбиение. И судя по тому, что пишет википедия, и то и то будет политопом.