成本矩阵 - 类别

建议的

Warning

下一版本的拟议功能。

  • 它们并未正式出现在当前版本中。

  • 它们可能会正式成为下一个版本的一部分:

    • 这些函数使用 ANY-INTEGER 和 ANY-NUMERICAL

    • 名字可能不会改变。(但仍然有可能改变)

    • 签名可能不会改变。(但仍然有可能改变)

    • 功能可能不会改变。(但仍然有可能改变)

    • pgTap 测试已经完成。 但可能需要更多。

    • 文档可能需要完善。

一般信息

概要

Traveling Sales Person - 函数族 需要一个对称成本矩阵作为输入,并且没有边 (u, v) 必须值为 \(\infty\)

该函数集合将以表格形式返回成本矩阵。

特征

主要特点是:

  • 可用作 pgr_TSP 的输入。

    • 当得到的矩阵是对称且没有 \(\infty\) 值时直接使用。

    • 用户有责任使矩阵对称。

      • 通过使用非对称值的几何平均或调和平均。

      • 通过使用 max 或 min 非对称值。

      • 通过将上三角形设置为下三角形的镜像。

      • 通过将下三角形设置为上三角形的镜像。

    • 确定 \(\infty\) 值也是用户的责任。

  • 每个函数都是其所属家族的一部分。

  • 它不返回路径。

  • 返回图中节点对组合的最短路径的成本总和。

  • 仅在具有正成本的边进行处理。

  • 当存在路径时返回值。

    • 当起始顶点和结束顶点相同时,就没有路径。

      • 未包含值 (v, v) 中的总成本为 0

    • 当起始顶点和结束顶点不同且不存在路径时。

      • 未包含值 (u, v) 中的总成本为 \(\infty\)

  • 假设返回的值存储在表中:

    • 唯一索引将是一对: (start_vid, end_vid)

  • 根据函数及其参数,结果可能是对称的。

    • (u, v) 的总成本与 (v, u) 相同。

  • start vids 中的任何重复值都会被忽略。

  • 返回值是有序的:

    • start_vid 升序

    • end_vid 升序

参数

用于:

类型

描述

Edges SQL

TEXT

Edges SQL 如下所述

start vids

ARRAY[BIGINT]

起始顶点的标识符数组。

用于:

类型

描述

Edges SQL

TEXT

Edges SQL 如下所述

Points SQL

TEXT

Points SQL 如下所述

start vids

ARRAY[BIGINT]

起始顶点的标识符数组。

可选参数

类型

默认

描述

directed

BOOLEAN

true

  • true 时,该图被视为有 有向

  • 如果为 false ,则该图被视为 无向

内部查询

Edges SQL

用于:

类型

默认

描述

id

ANY-INTEGER

边的标识符。

source

ANY-INTEGER

边的第一个端点顶点的标识符。

target

ANY-INTEGER

边的第二个端点顶点的标识符。

cost

ANY-NUMERICAL

边(source, target)的权重

reverse_cost

ANY-NUMERICAL

-1

边(target, source)的权重

  • 当为负时:边( target, source )不存在,因此它不是图的一部分。

其中:

ANY-INTEGER:

SMALLINT, INTEGER, BIGINT

ANY-NUMERICAL:

SMALLINT, INTEGER, BIGINT, REAL, FLOAT

Points SQL

参数

类型

默认

描述

pid

ANY-INTEGER

value

点的标识符。

  • 使用正值,因为内部将转换为负值

  • 如果列存在,则它不能为 NULL。

  • 如果列不存在,将自动给出连续的负

edge_id

ANY-INTEGER

距离该点“最近”的边的标识符。

fraction

ANY-NUMERICAL

<0,1> 中的值指示距边缘第一个端点的相对位置。

side

CHAR

b

[b, r, l, NULL] 中的值指示该点是否为:

  • r 在右边,

  • l 在左边,

  • b, NULL 在两边

其中:

ANY-INTEGER:

SMALLINT, INTEGER, BIGINT

ANY-NUMERICAL:

SMALLINT, INTEGER, BIGINT, REAL, FLOAT

结果列

(start_vid, end_vid, agg_cost) 的集合

类型

描述

start_vid

BIGINT

起始顶点的标识符。

end_vid

BIGINT

结束顶点的标识符。

agg_cost

FLOAT

start_vidend_vid 的总成本。

另请参阅

索引和表格