Cтраница 2
В статье Харари и Палмера 112 ] мы определили п-плекс как га-мерный симплициальный комплекс, в котором каждый fe - сим-плекс l ( k - га) содержится в некотором га-симплексе. Мы будем оперировать только с 2-плексами и для удобства называем 0-сим-плексы, 1-симплексы и 2-симплексы соответственно вершинами, ребрами и ячейками. [16]
Как показано Харари и Палмером [4], разница между выражением для С ( х) в ТПСГ ( в форме степенного ряда) и выражением, включающим частные производные и приведенным в утверждении де Брейна, относящемся к тому же самому результату, является чисто формальной. [17]
![]() |
Запрещенные графы для внешней планарности. [18] |
Баттлу, Харари и Кодаме [1] принадлежит следующая ниже теорема о пленарных графах, дающая достаточное условие того, что дополнение планарного графа планарно. [19]
Баттл, Харари, Кодама и Янгс ( 1 ] показали, что род графа равен сумме родов его блоков. [20]
Берж [1958] и Харари [19159] излагают теорию графов. Кнут [1968] дает информацию о деревьях и их прохождении. [21]
Однако Балабан и Харари [16] опровергли утверждения Спи-альтера и показали, что различные неизоморфные графы могут иметь одинаковые характеристические полиномы. Такие графы называются изоспектральными или коспектральными. Следовательно, ни характеристический полином, ни спектр графа не способны дать простую и редуцированную форму матрицы смежности, однозначно характеризующую топологию молекулы. [22]
![]() |
Две полные раскраски графа. [23] |
Теорема 12.28 ( Харари, Хедетниеми, Принс [1]) обобщает более ранний результат Хайоша [2], который будет приведен как ее следствие. [24]
Следующая теорема ( Харари и Палмер [15]) дает ответ на вопрос: когда группы Г ( G) и I ( G) изоморфны. [25]
Перечисление орграфов ( Харари [2]) было завершено так же, как для графов: была найдена формула для циклового индекса при соответствующей группе конфигураций и затем была применена теорема Пойа. Множество VW состоит из упорядоченных пар различных элементов множества V. По определению группа 5р2 ] действует на множестве V как индуцированная группой Sp: каждая подстановка а из Sp индуцирует такую подстановку а из 5р2, что а ( i, /) ( ai, а /) для ( г /) из 1 4 Применяя теорему Пойа к цикловому индексу группы S [ P2 получаем многочлен dp ( x), в котором коэффициент при х9 равен числу орграфов с q ориентированными ребрами. [26]
Следующий результат из статьи Харари и Принса [1] полезен при нахождении числа ориентированных деревьев. [27]
![]() |
Асимметрические корневые деревья с небольшим числом вершин. [28] |
Следующая теорема из работы Харари и Принса [1 ] устава вливает взаимосвязь между рядами для корневых и некорневы; асимметрических деревьев. [29]
Следуя Партасарати [1] и Харари и Палмеру [3], мы можем описать перечисление локально ограниченных графов. Разбиение графа представляет собой последовательность степеней его вершин, обычно записываемую в порядке невозрастания. Локально ограниченный граф - это граф с данным разбиением. [30]