Теория графов в системе Maple
Теория графов в системе Maple 8,9
(76 функций и операторов)
acycpoly(G,p) - ациклический полином графа G
с переменной p
addedge([{1,2},[3,4]],G)
- добавить в граф G ребра или дуги. Ребра в неографе задаются как
множества - с вершинами в фигурных скобках, дуги в орграфе
списком вершин в квадратных скобках.
addvertex(seq(i,i=1..n),G) -
добавить к графу G вершины 1,2 ... n
adjacency(G) - матрица смежности
графа G
allpairs(G) - матрица расстояний между вершинами
графа G
ancestor(n,T) - вершина-отец вершины n в
ориентированном дереве T
arrivals(v,G) - множество ребер, входящих в вершину v
орграфа G
charpoly(G, x) - характеристический полином графа
(переменная x)
chrompoly(G,x) - хроматический полином графа
G (переменная x)
complement(G) - дополнение графа G
complete(n) - полный граф Kn
complete(n,m) - полный двудольный граф Kn,m
components(G) - список вершин в связных компонентах графа
connect(u,v,'weights'=L1,'names'=L2,'directed',
G)
- соединить две вершины u, v. Можно указать вес, имя и выбрать
орграф (directed) или неограф
counttrees(G) - вычисление числа остовов графа G
cycle(n) - циклический граф с n вершинами
cyclebase(G) - множество фундаментальных циклов графа G
daughter(n,T) - сын1 вершины n в
ориентированном дереве T
delete(z,G) - удаление ребра или вершины z из графа G
degreeseq(G) - степенная последовательность графа G
departures(v,G) - множество ребер, выходящих из вершины v
орграфа G
diameter(G) - диаметр графа G
draw(G) - нарисовать граф G
duplicate() - создание копии графа. Изменение
оригинала не влияет на копию
edges(G) - множество ребер графа G
flow(G, s, t, eset, comp, maxflow=f) - определяет
максимальный поток в сети из вершины s (источник) в вершину
t (сток) графа G. После выполнения процедуры список
насыщенных дуг помещается в переменную eset, а в переменную
comp - вершины, входящие в насыщенную сеть.
Необязательная опция maxflow=f ограничивает поток значением
f. Замечена ошибка Maple. В переменную eset часто
помещаются лишние дуги.
fundcyc(e,G) - определяет цикл из
подмножества e ребер графа G. Предполагается, что
e содержит только один цикл
getlabel(G) - определяет порядковый номер графа
girth(G,scyc) - определяет длину кратчайшего цикла
в графе G или возвращает "бесконечность", если циклов нет.
Номера ребер цикла помещает в переменную scyc.
graph(V,E) - граф, заданный списком вершин V
и ребер E
gsimp(G) - создает простой граф из псевдографа или мультиграфа G.
Удаляет кратные ребра и петли
head(e1,G) - конец дуги e1 (направленного ребра) орграфа G
icosahedron - создает икосаэдр - регулярный
(однородный) граф порядка 12 степени 5.
incidence(G) - матрица инцидентности графа G (строки
- вершины, столбцы - ребра)
incident(v,G,In) - множество ребер, инцидентных
вершине v. В орграфе можно уточнить
incident(v,G,In) - входящие дуги,
incident(v,G,Out) - исходящие дуги.
indegree(v,G) - полустепень захода вершины v.
induce(Eset, G) - по данному множеству вершин графа G или
ребер создает подграф.
isplanar(G) - проверяет планарность графа G
maxdegree(G) - максимальная степень вершин графа G
mindegree(G) - минимальная степень вершин графа G
mincut(G, s, t, vf) - минимальный разрез,
отделяющий вершины s и t. В переменной vf -
величина потока
neighbors(v,G) - множество вершин графа G,
соседних с вершиной v
new(G) - создать новый граф G
nops(edges(G)) - число ребер графа
outdegree(v,G) - полустепень исхода вершины
v
petersen() - граф Петерсена
random(n) - создание случайного
графа с n вершинами
shortpathtree(G,v) - выделение из графа G
дерева минимальных путей из вершины v
show(G) - иннформация о графе: названия вершин, ребер, таблица весов ребер и др.
spantree(G,s,w) - определение остова наименьшего
веса графа G. Корень дерева в вершине s, суммарный вес
в переменной w
tail(e1,G) - начало дуги e1 орграфа G
vdegree(v,G) - степень
вершины
vertices(G) - множество вершин графа G
void(n) - создание пустого графа с n вершинами.
Возможно обращение по списку вершин, например,
void({$1..n})
Программы
из книги
Кирсанова М.Н.Графы в Maple - М.:ФИЗМАТЛИТ, 2007.
File translated from
TEX
by
TTH,
version 3.64. 19.8.2005