版权	（c）安德烈·莫霍夫2016-2022
许可证	MIT（请参阅文件LICENSE）
维护人员	andrey.mokhov@gmail.com
稳定性	实验的
安全哈斯克尔	无
语言	哈斯克尔2010

代数。图表。标签

描述

阿尔加是用于图的代数构造和操作的库在哈斯克尔。请参见这篇论文对于图书馆背后的动机、基础理论和实施细节。

此模块提供用于表示边缘的基本数据类型和类型类边标记图形中的标签，例如，请参见代数。图表。贴标签于.

简介

班(单体a、，半群a） =>半环一哪里
- 一：：a
- (<.>)：：a->a->a
零::单体a=>a
(<+>)::半群a=>a->a->a
班半环a=>StarSemiring公司一哪里
- 明星：a->a
班半环a=>二元体一
数据非阴性一
有限的，有限的:: (号码a、，订单a） =>a->也许吧(非阴性a）
有限字::单词->非阴性单词
不安全有限：：a->非阴性一
无限的::非阴性一
getFinite（有限）::非阴性a->也许吧一
数据距离一
距离::非阴性a->距离一
获取距离::距离a->非阴性一
数据容量一
容量::非阴性a->容量一
获取容量::容量a->非阴性一
数据计数一
计数::非阴性a->计数一
获取计数::计数a->非阴性一
新类型动力装置一个=动力装置{
- 获取PowerSet::设置一
}
数据最小值一
获取最小值::最小值a->也许吧一
无最小值::最小值一
类型路径a=[（a，a）]
数据标签一
为零::标签a->布尔
类型正则表达式一个=标签一
数据最佳的o a公司=最佳的{
- 获得最佳：：o
- 获取参数：：a
}
类型最短路径电子商务=最佳的(距离e）(最小值(路径a））
类型所有最短路径电子商务=最佳的(距离e）(动力装置(路径a））
类型计数最短路径电子=最佳的(距离e）(计数整数)
类型最宽路径电子商务=最佳的(容量e）(最小值(路径a））

半环和dioid

班(单体a、，半群a） =>半环一哪里来源 #

A类半环扩展了可交换的单体带操作<.>起作用的类似于基础（加法）幺半群上的乘法，并且具有一作为身份。此模块还提供了两个方便的别名：零对于记忆、和<+>对于<>，使界面更加统一。

此类型类的实例必须满足以下半环定律：

的关联性<+>和<.>:

x（y）==（x）x<.>（y<.>z）==（x<.>y）<.>z（z）

的标识<+>和<.>:
```
零<+>x==x==x<+>零一个<.>x==x==x一
```
的交换性<+>:
```
x<+>y==y<+>x
```
毁灭零:
```
x<.>零==零零<.>x==零
```

分布性：

x<.>（y<+>z）==x<.>y<+>x<.>z（z）（x<+>y）<.>z==x<.>z<+>y<.>z（z）

方法

一：：a来源 #

(<.>)：：a->a->a中缀7 来源 #

实例

实例详细信息

半环任何来源 #
实例详细信息定义于代数。图表。标签方法一::任何来源 # (<.>)::任何->任何->任何来源 #
半环(标签a）来源 #
实例详细信息定义于代数。图表。标签方法一::标签一来源 # (<.>)::标签a->标签a->标签一来源 #
(单体a、，订单a） =>半环(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法一::动力集一来源 # (<.>)::动力装置a->动力装置a->动力装置一来源 #
(单体a、，订单a） =>半环(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法一::最小值一来源 # (<.>)::最小值a->最小值a->最小值一来源 #
(号码a、，订单a） =>半环(距离a）来源 #
实例详细信息定义于代数。图表。标签方法一::距离一来源 # (<.>)::距离a->距离a->距离一来源 #
(号码a、，订单a） =>半环(计数a）来源 #
实例详细信息定义于代数。图表。标签方法一::计数一来源 # (<.>)::计数a->计数a->计数一来源 #
(号码a、，订单a） =>半环(容量a）来源 #
实例详细信息定义于代数。图表。标签方法一::容量一来源 # (<.>)::容量a->容量a->容量一来源 #
(等式o、，半环a、，半环o） =>半环(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法一::最佳的o a公司来源 # (<.>)::最佳的o a->最佳的o a->最佳的o a公司来源 #

零::单体a=>a来源 #

的别名记忆.

(<+>)::半群a=>a->a->a中缀6 来源 #

的别名<>.

班半环a=>StarSemiring公司一哪里来源 #

A类星半环是一个半环使用附加的一元运算符明星满足以下两条定律：

星号a=1星号a星a=一星一

方法

明星：：a->a来源 #

实例

实例详细信息

StarSemiring公司任何来源 #
实例详细信息定义于代数。图表。标签方法明星::任何->任何来源 #
StarSemiring公司(标签a）来源 #
实例详细信息定义于代数。图表。标签方法明星::标签a->标签一来源 #
(号码a、，订单a） =>StarSemiring公司(距离a）来源 #
实例详细信息定义于代数。图表。标签方法明星::距离a->距离一来源 #
(号码a、，订单a） =>StarSemiring公司(计数a）来源 #
实例详细信息定义于代数。图表。标签方法明星::计数a->计数一来源 #
(号码a、，订单a） =>StarSemiring公司(容量a）来源 #
实例详细信息定义于代数。图表。标签方法明星::容量a->容量一来源 #
(等式o、，StarSemiring公司a、，StarSemiring公司o） =>StarSemiring公司(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法明星::最佳的o a->最佳的o a公司来源 #

班半环a=>二元体一来源 #

A类二元体是一个幂等半环，即满足以下条件幂等性除了法律半环法律：

x<+>x==x

实例

实例详细信息

二元体任何来源 #
实例详细信息定义于代数。图表。标签
(单体a、，订单a） =>二元体(动力装置a）来源 #
实例详细信息定义于代数。图表。标签
(单体a、，订单a） =>二元体(最小值a）来源 #
实例详细信息定义于代数。图表。标签
(号码a、，订单a） =>二元体(距离a）来源 #
实例详细信息定义于代数。图表。标签
(号码a、，订单a） =>二元体(容量a）来源 #
实例详细信息定义于代数。图表。标签
(等式o、，二元体a、，二元体o） =>二元体(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签

边缘标签的数据类型

数据非阴性一来源 #

非负值，可以是有限的，有限的或无限的注：电流实施号码实例在负文本上引发错误和上的否定方法。

实例

实例详细信息

莫纳德非阴性来源 #
实例详细信息定义于代数。图表。标签方法 (>>=)::非阴性a->（a->非阴性b） ->非阴性b# (>>)::非阴性a->非阴性b->非阴性b# 返回：：a->非阴性一#
Functor（仿真器）非阴性来源 #
实例详细信息定义于代数。图表。标签方法功能性维修计划：：（a->b）->非阴性a->非阴性b# (<$)：：a->非阴性b->非阴性一#
适用非阴性来源 #
实例详细信息定义于代数。图表。标签方法纯净的：：a->非阴性一# (<>)::非阴性（a->b）->非阴性a->非阴性b# 升降机A2：：（a->b->c）->非阴性a->非阴性b->非阴性c（c）# (>)::非阴性a->非阴性b->非阴性b# (<*)::非阴性a->非阴性b->非阴性一#
号码a=>有边界(非阴性a）来源 #
实例详细信息定义于代数。图表。标签方法最小界限::非阴性一# 最大界限::非阴性一#
等式a=>等式(非阴性a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::非阴性a->非阴性a->布尔 # (/=)::非阴性a->非阴性a->布尔 #
(号码a、，订单a） =>号码(非阴性a）来源 #
实例详细信息定义于代数。图表。标签方法 (+)::非阴性a->非阴性a->非阴性一# (-)::非阴性a->非阴性a->非阴性一# (*)::非阴性a->非阴性a->非阴性一# 否定::非阴性a->非阴性一# 防抱死制动系统::非阴性a->非阴性一# 符号::非阴性a->非阴性一# from整数::整数->非阴性一#
订单a=>订单(非阴性a）来源 #
实例详细信息定义于代数。图表。标签方法比较::非阴性a->非阴性a->订购 # (<)::非阴性a->非阴性a->布尔 # (<=)::非阴性a->非阴性a->布尔 # (>)::非阴性a->非阴性a->布尔 # (>=)::非阴性a->非阴性a->布尔 # 最大值::非阴性a->非阴性a->非阴性一# 最小值::非阴性a->非阴性a->非阴性一#
(号码a、，显示a） =>显示(非阴性a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->非阴性a->显示 # 显示::非阴性a->字符串 # showList（显示列表）:: [非阴性a] ->显示 #

有限的，有限的:: (号码a、，订单a） =>a->也许吧(非阴性a）来源 #

有限非负值或没有什么如果论点是否定的。

有限字::单词->非阴性单词来源 #

有限的单词.

不安全有限：：a->非阴性一来源 #

一个非负的有限值，创建不安全的：参数不是检查为非阴性，因此不安全有限（-1）编译得很好。

无限的::非阴性一来源 #

（非负）无限值。

getFinite（有限）::非阴性a->也许吧一来源 #

获取有限值或没有什么如果值是无限的。

数据距离一来源 #

A类距离是一个非负值，可以是有限的，有限的或无限的.距离形成a二元体如下：

零=距离 无限的
一= 0(<+>) =最小值(<.>) = (+)

实例

实例详细信息

号码a=>有边界(距离a）来源 #
实例详细信息定义于代数。图表。标签方法最小界限::距离一# 最大界限::距离一#
等式a=>等式(距离a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::距离a->距离a->布尔 # (/=)::距离a->距离a->布尔 #
(号码a、，订单a） =>号码(距离a）来源 #
实例详细信息定义于代数。图表。标签方法 (+)::距离a->距离a->距离一# (-)::距离a->距离a->距离一# (*)::距离a->距离a->距离一# 否定::距离a->距离一# 防抱死制动系统::距离a->距离一# 符号::距离a->距离一# from整数::整数->距离一#
订单a=>订单(距离a）来源 #
实例详细信息定义于代数。图表。标签方法比较::距离a->距离a->订购 # (<)::距离a->距离a->布尔 # (<=)::距离a->距离a->布尔 # (>)::距离a->距离a->布尔 # (>=)::距离a->距离a->布尔 # 最大值::距离a->距离a->距离一# 最小值::距离a->距离a->距离一#
显示a=>显示(距离a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->距离a->显示 # 显示::距离a->字符串 # showList（显示列表）:: [距离a] ->显示 #
订单a=>半群(距离a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::距离a->距离a->距离一# 烤饼::非空(距离a） ->距离一# 斯提姆::完整的b=>b->距离a->距离一#
(订单a、，号码a） =>单体(距离a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::距离一# 地图挂起::距离a->距离a->距离一# 麦康卡特:: [距离a] ->距离一#
(号码a、，订单a） =>二元体(距离a）来源 #
实例详细信息定义于代数。图表。标签
(号码a、，订单a） =>StarSemiring公司(距离a）来源 #
实例详细信息定义于代数。图表。标签方法明星::距离a->距离一来源 #
(号码a、，订单a） =>半环(距离a）来源 #
实例详细信息定义于代数。图表。标签方法一::距离一来源 # (<.>)::距离a->距离a->距离一来源 #

距离::非阴性a->距离一来源 #

非负距离。

获取距离::距离a->非阴性一来源 #

获取距离的值。

数据容量一来源 #

A类容量是一个非负值，可以是有限的，有限的或无限的.容量构成二元体如下：

零= 0一=容量 无限的(<+>) =最大值(<.>) =最小值

实例

实例详细信息

号码a=>有边界(容量a）来源 #
实例详细信息定义于代数。图表。标签方法最小界限::容量一# 最大界限::容量一#
等式a=>等式(容量a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::容量a->容量a->布尔 # (/=)::容量a->容量a->布尔 #
(号码a、，订单a） =>号码(容量a）来源 #
实例详细信息定义于代数。图表。标签方法 (+)::容量a->容量a->容量一# (-)::容量a->容量a->容量一# (*)::容量a->容量a->容量一# 否定::容量a->容量一# 防抱死制动系统::容量a->容量一# 符号::容量a->容量一# from整数::整数->容量一#
订单a=>订单(容量a）来源 #
实例详细信息定义于代数。图表。标签方法比较::容量a->容量a->订购 # (<)::容量a->容量a->布尔 # (<=)::容量a->容量a->布尔 # (>)::容量a->容量a->布尔 # (>=)::容量a->容量a->布尔 # 最大值::容量a->容量a->容量一# 最小值::容量a->容量a->容量一#
显示a=>显示(容量a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->容量a->显示 # 显示::容量a->字符串 # showList（显示列表）:: [容量a] ->显示 #
订单a=>半群(容量a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::容量a->容量a->容量一# 烤饼::非空(容量a） ->容量一# 斯提姆::完整的b=>b->容量a->容量一#
(订单a、，号码a） =>单体(容量a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::容量一# 地图挂起::容量a->容量a->容量一# 麦康卡特:: [容量a] ->容量一#
(号码a、，订单a） =>二元体(容量a）来源 #
实例详细信息定义于代数。图表。标签
(号码a、，订单a） =>StarSemiring公司(容量a）来源 #
实例详细信息定义于代数。图表。标签方法明星::容量a->容量一来源 #
(号码a、，订单a） =>半环(容量a）来源 #
实例详细信息定义于代数。图表。标签方法一::容量一来源 # (<.>)::容量a->容量a->容量一来源 #

容量::非阴性a->容量一来源 #

非负容量。

获取容量::容量a->非阴性一来源 #

获取容量的价值。

数据计数一来源 #

A类计数是一个非负值，可以是有限的，有限的或无限的.计数形成a半环如下：

零= 0一= 1(<+>) = (+)(<.>) = (*)

实例

实例详细信息

号码a=>有边界(计数a）来源 #
实例详细信息定义于代数。图表。标签方法最小界限::计数一# 最大界限::计数一#
等式a=>等式(计数a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::计数a->计数a->布尔 # (/=)::计数a->计数a->布尔 #
(号码a、，订单a） =>号码(计数a）来源 #
实例详细信息定义于代数。图表。标签方法 (+)::计数a->计数a->计数一# (-)::计数a->计数a->计数一# (*)::计数a->计数a->计数一# 否定::计数a->计数一# 防抱死制动系统::计数a->计数一# 符号::计数a->计数一# from整数::整数->计数一#
订单a=>订单(计数a）来源 #
实例详细信息定义于代数。图表。标签方法比较::计数a->计数a->订购 # (<)::计数a->计数a->布尔 # (<=)::计数a->计数a->布尔 # (>)::计数a->计数a->布尔 # (>=)::计数a->计数a->布尔 # 最大值::计数a->计数a->计数一# 最小值::计数a->计数a->计数一#
显示a=>显示(计数a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->计数a->显示 # 显示::计数a->字符串 # showList（显示列表）:: [计数a] ->显示 #
(号码a、，订单a） =>半群(计数a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::计数a->计数a->计数一# 烤饼::非空(计数a） ->计数一# 斯提姆::完整的b=>b->计数a->计数一#
(号码a、，订单a） =>单体(计数a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::计数一# 地图挂起::计数a->计数a->计数一# 麦康卡特:: [计数a] ->计数一#
(号码a、，订单a） =>StarSemiring公司(计数a）来源 #
实例详细信息定义于代数。图表。标签方法明星::计数a->计数一来源 #
(号码a、，订单a） =>半环(计数a）来源 #
实例详细信息定义于代数。图表。标签方法一::计数一来源 # (<.>)::计数a->计数a->计数一来源 #

计数::非阴性a->计数一来源 #

非负计数。

获取计数::计数a->非阴性一来源 #

获取计数的值。

新类型动力装置一来源 #

这个动力装置在基础元素集上一.如果一是一个幺半群，则幂集形成二元体如下：

零=功率设置。空的
一=电源设置$Set。单子 记忆x个<+>y=功率设置$设置。联盟（获取功率设置x）（获取功率集y）x个<.>y=动力装置$cartesian产品 地图挂起（获取功率设置x）（获取功率集y）

建造师

动力装置
领域获取PowerSet::设置一

实例

实例详细信息

等式a=>等式(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::动力装置a->动力装置a->布尔 # (/=)::动力装置a->动力装置a->布尔 #
订单a=>订单(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法比较::动力装置a->动力装置a->订购 # (<)::动力装置a->动力装置a->布尔 # (<=)::动力装置a->动力装置a->布尔 # (>)::动力装置a->动力装置a->布尔 # (>=)::动力装置a->动力装置a->布尔 # 最大值::动力装置a->动力集a->动力集一# 最小值::动力装置a->动力集a->动力装置一#
显示a=>显示(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->动力装置a->显示 # 显示::动力装置a->字符串 # showList（显示列表）:: [动力装置a] ->显示 #
订单a=>半群(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::动力装置a->动力装置a->动力装置一# 烤饼::非空(动力装置a） ->动力装置一# 斯提姆::完整的b=>b->动力装置a->动力装置一#
订单a=>单体(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::动力装置一# 地图挂起::动力装置a->动力装置a->动力装置一# 麦康卡特:: [动力装置a] ->动力装置一#
(单体a、，订单a） =>二元体(动力装置a）来源 #
实例详细信息定义于代数。图表。标签
(单体a、，订单a） =>半环(动力装置a）来源 #
实例详细信息定义于代数。图表。标签方法一::动力装置一来源 # (<.>)::动力装置a->动力装置a->动力装置一来源 #

数据最小值一来源 #

如果一是一个幺半群，最小值 一形成以下内容二元体:

零=无最小值
一=纯净的 记忆(<+>) =提升A2 最小值(<.>) =提升A2 地图挂起

创建类型为的单一值最小值 一使用纯净的功能。例如：

获取最小值(纯净的“您好，”<+> 纯净的“世界！”）==只是“你好”获取最小值(纯净的“你好，”<.> 纯净的“世界！”）==只是“你好，世界！”

实例

实例详细信息

莫纳德最小值来源 #
实例详细信息定义于代数。图表。标签方法 (>>=)::最小值a->（a->最小值b） ->最小值b# (>>)::最小值a->最小值b->最小值b# 返回：：a->最小值一#
Functor（仿真器）最小值来源 #
实例详细信息定义于代数。图表。标签方法功能性维修计划：：（a->b）->最小值a->最小值b# (<$)：：a->最小值b->最小值一#
适用最小值来源 #
实例详细信息定义于代数。图表。标签方法纯净的：：a->最小值一# (<>)::最小值（a->b）->最小值a->最小值b# 提升A2：：（a->b->c）->最小值a->最小值b->最小值c（c）# (>)::最小值a->最小值b->最小值b# (<*)::最小值a->最小值b->最小值一#
IsList（IsList）a=>IsList（IsList）(最小值a）来源 #
实例详细信息定义于代数。图表。标签关联的类型类型项目(最小值a）# 方法来自列表:: [项目(最小值a） ]->最小值一# 来自ListN::国际-> [项目(最小值a） ]->最小值一# 到列表::最小值a->[项目(最小值a） ]#
等式a=>等式(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::最小值a->最小值a->布尔 # (/=)::最小值a->最小值a->布尔 #
订单a=>订单(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法比较::最小值a->最小值a->订购 # (<)::最小值a->最小值a->布尔 # (<=)::最小值a->最小值a->布尔 # (>)::最小值a->最小值a->布尔 # (>=)::最小值a->最小值a->布尔 # 最大值::最小值a->最小值a->最小值一# 最小值::最小值a->最小值a->最小值一#
显示a=>显示(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->最小值a->显示 # 显示::最小值a->字符串 # showList（显示列表）:: [最小值a] ->显示 #
订单a=>半群(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::最小值a->最小值a->最小值一# 烤饼::非空(最小值a） ->最小值一# 斯提姆::完整的b=>b->最小值a->最小值一#
(单体a、，订单a） =>单体(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::最小值一# 地图挂起::最小值a->最小值a->最小值一# 麦康卡特:: [最小值a] ->最小值一#
(单体a、，订单a） =>二元体(最小值a）来源 #
实例详细信息定义于代数。图表。标签
(单体a、，订单a） =>半环(最小值a）来源 #
实例详细信息定义于代数。图表。标签方法一::最小值一来源 # (<.>)::最小值a->最小值a->最小值一来源 #
类型项目(最小值a）来源 #
实例详细信息定义于代数。图表。标签类型项目(最小值a）=项目一

获取最小值::最小值a->也许吧一来源 #

提取最小值或没有什么如果它不存在。

无最小值::最小值一来源 #

与缺少最小值相对应的值，例如空集合。

类型路径a=[（a，a）]来源 #

A类路径是边的列表。

数据标签一来源 #

的类型免费标签在基本符号集上一.此数据类型是类的实例StarSemiring公司和二元体.

实例

实例详细信息

Functor（仿真器）标签来源 #
实例详细信息定义于代数。图表。标签方法功能性维修计划：：（a->b）->标签a->标签b# (<$)：：a->标签b->标签一#
IsList（IsList）(标签a）来源 #
实例详细信息定义于代数。图表。标签关联的类型类型项目(标签a）# 方法来自列表:: [项目(标签a） ]->标签一# 来自ListN::国际-> [项目(标签a） ]->标签一# 到列表::标签a->[项目(标签a） ]#
显示a=>显示(标签a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->标签a->显示 # 显示::标签a->字符串 # showList（显示列表）:: [标签a] ->显示 #
半群(标签a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::标签a->标签a->标签一# 烤饼::非空(标签a） ->标签一# 斯提姆::完整的b=>b->标签a->标签一#
单体(标签a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::标签一# 地图挂起::标签a->标签a->标签一# 麦康卡特:: [标签a] ->标签一#
StarSemiring公司(标签a）来源 #
实例详细信息定义于代数。图表。标签方法明星::标签a->标签一来源 #
半环(标签a）来源 #
实例详细信息定义于代数。图表。标签方法一::标签一来源 # (<.>)::标签a->标签a->标签一来源 #
类型项目(标签a）来源 #
实例详细信息定义于代数。图表。标签类型项目(标签a） =a

为零::标签a->布尔来源 #

检查是否有标签是零.

类型正则表达式一个=标签一来源 #

的类型同义词正则表达式，构建于免费标签.

组合边缘标签

数据最佳的o a公司来源 #

安最优半环通过组合半环获得哦定义了优化准则，和一个半环一描述了论据优化问题。例如，通过选择o个=距离国际和和一个=最小值(路径字符串），我们获得最短路径半环用于计算国际-带标签的图字符串顶点。

我们假设半环哦是选择性的即针对所有人x个和年:

x=x | | x=y

总之，操作<+>总是简单地选择一个参数。对于示例容量和距离半环是选择性的，而这个计数半环不是。

建造师

最佳的
领域获得最佳：：o 获取参数：：a

实例

实例详细信息

(等式o、，等式a） =>等式(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法 (==)::最佳的o a->最佳的o a->布尔 # (/=)::最佳的o a->最佳的o a->布尔 #
(订单o、，订单a） =>订单(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法比较::最佳的o a->最佳的o a->订购 # (<)::最佳的o a->最佳的o a->布尔 # (<=)::最佳的o a->最佳的o a->布尔 # (>)::最佳的o a->最佳的o a->布尔 # (>=)::最佳的o a->最佳的o a->布尔 # 最大值::最佳的o a->最佳的o a->最佳的o a公司# 最小值::最佳的o a->最佳的o a->最佳的哦#
(显示o中，显示a） =>显示(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法显示Prec::国际->最佳的o a->显示 # 显示::最佳的o a->字符串 # showList（显示列表）:: [最佳的o a]->显示 #
(等式o、，单体a、，单体o） =>半群(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法 (<>)::最佳的o a->最佳的o a->最佳的o a公司# 烤饼::非空(最佳的o a）->最佳的o a公司# 斯提姆::完整的b=>b->最佳的o a->最佳的o a公司#
(等式o、，单体a、，单体o） =>单体(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法记忆::最佳的o a公司# 地图挂起::最佳的o a->最佳的o a->最佳的o a公司# 麦康卡特:: [最佳的o a]->最佳的o a公司#
(等式o、，二元体a、，二元体o） =>二元体(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签
(等式o、，StarSemiring公司a、，StarSemiring公司o） =>StarSemiring公司(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法明星::最佳的o a->最佳的o a公司来源 #
(等式o、，半环a、，半环o） =>半环(最佳的o a）来源 #
实例详细信息定义于代数。图表。标签方法一::最佳的o a公司来源 # (<.>)::最佳的o a->最佳的o a->最佳的哦来源 #

类型最短路径电子商务=最佳的(距离e）(最小值(路径a））来源 #

这个最佳的半环专门用于寻找词典学上最小的最短路径.

类型所有最短路径电子商务=最佳的(距离e）(动力装置(路径a））来源 #

这个最佳的半环专门用于查找所有最短路径.

类型计数最短路径电子=最佳的(距离e）(计数整数)来源 #

这个最佳的半环专门用于计算所有最短路径.

类型最宽的路径电子商务=最佳的(容量e）(最小值(路径a））来源 #

这个最佳的半环专门用于寻找词典学上最小最宽的路径.