包标记的算法

133个包裹有这个标签。

[合并标签](仅限受托人)

相关标签:图书馆(129),bsd3型(86),数学(24),程序(20),麻省理工学院(18),数据结构(12),优化(12),优化(11),数据(9),通用公共照明(8),逻辑(7),数论(7),数字的(6),阿帕奇(5),生物信息学(5),数据挖掘(5),图表(5),人工智能(4),机器学习(4),代数(3),绘图(3),数字(3),统计学(3),动画(2),群集(2),编译器-解释器(2),形式语言(2),游戏引擎(2),语言(2),单子(2),模式分类(2),公共域(2),文本(2),理论证明者(2),统一(2),自动测试系统(1),组合学(1),并发(1),约束(1),数据挖掘-----------(1), ...

姓名
数据链路
额定值
收入折旧
描述
标签
最后一个U/L
上次版本
维护者
ADP融合46015高效、高级的动态编程。(算法生物信息学bsd3型数据结构形式语言图书馆)2019-10-010.6.0.0克里斯蒂安·霍纳
ADP融合集100Set数据结构的动态编程。(算法生物信息学bsd3型数据结构形式语言图书馆)2017-10-190.0.0.2克里斯蒂安·霍纳
适应的901用于增量计算的库。(算法bsd3型图书馆程序)2013-01-280.23达斯汀·德韦斯马格努斯·卡尔森彼得·琼森
AlanDeniseEricLauren901找到满足某些性质的最小子集/子映射。(算法bsd3型图书馆)2016-08-240.1.0.1埃科诺兰
对齐算法1201对齐算法集合(算法生物信息学数据结构通用公共照明图书馆语言学)2017-03-140.1.0.0克里斯蒂安·霍纳
垃圾箱2101常见的装箱启发式。(算法bsd3型启发式图书馆)2014-02-070.4.1比约恩·布兰登堡大卫·冯
DP公司701动态编程的实用框架(算法bsd3型图书馆数学自然语言处理)2010-03-080.1.1萨沙拉什
决策树401离散属性决策树的一个非常简单的实现。(算法图书馆模式分类)2009-01-250阿德里安娜曼
差异317256纯Haskell中的Diff算法(算法bsd3型图书馆)2023-10-220.5戴维福克斯斯特林克洛弗
维度哈希3101使用莫顿数的n维散列。(算法bsd3型数据图书馆)2011-05-100.1.5.2加森哈姆鲁尼
通用航空公司1201遗传算法库(人工智能算法bsd3型图书馆优化)2011-09-271肯尼思·霍斯特
图SCC510计算图的强连通分量的Tarjan算法。(算法bsd3型图书馆)2013-07-221.0.4伊沃·迪亚奇基
格拉哈利泽520图论分析库。(算法图书馆)2017-05-030.15.0.0伊万·米尔杰诺维奇
隐马尔可夫模型501隐马尔可夫模型库(算法bsd3型数据挖掘图书馆机器学习)2012-03-250.2.1米凯兹比基
匈牙利马克雷2601线性和分配问题(LSAP)求解器(算法通用公共照明图书馆)2014年10月8日0.1.5开张
KMP公司1402Knuth–Morris–Pratt字符串搜索算法(算法bsd3型图书馆)2018-12-170.2.0.0辛迪·林兹
线性拆分701按照给定的顺序将项目序列划分为子序列(算法bsd3型图书馆)2011-03-050.2.1维塔利·鲁卡维什尼科夫
树状列表2101树和一元树表示为一元列表,其中底层的一元是一个列表(算法bsd3型图书馆)2016年12月26日0.2.3Yair Chuchem公司
MIP公司2002使用混合整数编程(MIP)的库(算法bsd3型图书馆数学优化优化)2020-12-260.1.1.0Masahiro酒井
MIP-glpk公司500MIP库的GLPK后端。(算法通用公共照明图书馆数学优化优化)2020-12-260.1.1.0Masahiro酒井
拓扑学1602Munkres赋值算法(匈牙利方法)(算法bsd3型图书馆)2008年12月07日0.1巴拉兹·科穆夫斯
Munkres示例601Munkres包上的简单且类型安全的层。(算法bsd3型图书馆)2014-09-130.1.0.1炒蛋
数字1401数论函数的分类(算法图书馆数论)2009-04-170.2.1阿德里安娜曼
PropLogic公司1802命题逻辑(算法bsd3型图书馆逻辑程序)2012-04-160.9.0.4戴维福克斯
TrieMap(试用地图)5502使用Template Haskell实现广义尝试的自动类型推理。(算法bsd3型图书馆)2013年4月18日4.1.0路易斯·瓦瑟曼
adp-multi公司1602多上下文无关语言的ADP(算法生物信息学bsd3型数据结构图书馆)2013-05-290.2.3麦科里切特
adp-多单体cp801使用monadicp的adp-multi子词构造(算法生物信息学bsd3型数据结构图书馆)2013-05-290.2.1麦科里切特
aeson-diff10325提取补丁并将其应用于JSON文档。(算法bsd3型杰森图书馆程序腹板)2022-05-261.1.0.13托马斯·萨顿贾纳斯天鹅绒
代数图2472.7521代数图构造和转换库(代数算法数据结构图书馆麻省理工学院)2022-06-200.7雪豹
算术140222有效的基本数论函数。(算法图书馆数学麻省理工学院数论)2023-07-290.13.0.0卡特·肖恩瓦尔德丹尼尔·费舍尔赫伯特·瓦莱里奥·里德尔Bodigrim公司
配料800Applicative Functor将操作推迟到以后的批处理中运行。(算法阿帕奇图书馆)2021-09-090.1.0.0安德鲁·普里查德
二进制搜索5104二进制和指数搜索(算法bsd3型图书馆)2021-02-222.0.0罗斯帕特森Takayuki Muranushi先生贾皮
博达山脉1601实施博尔达计数选举方法。(算法bsd3型图书馆)2017-09-010.1.0.0高压整流器
建造3221按购物车构建系统(算法数据结构图书馆麻省理工学院)2024-05-181.1雪豹
化学机械师协会3501Haskell中的CMA-ES包装(算法图书馆数字的优化)2020-10-100.2.3多米尼克·斯坦尼茨Takayuki Muranushi先生
整理700用于提取部分值流的实用函数(算法阿帕奇图书馆)2021-09-090.1.0.0安德鲁·普里查德
协和式飞机701针对旅行销售人员问题的协和式解决方案的简单界面(算法bsd3型图书馆)2011-10-210.1基根·麦卡利斯特
并发sa801并行模拟退火系统。(算法bsd3型并发图书馆)2010年4月7日1.0.1路易斯沃瑟曼
导管-电子管601简短描述(算法bsd3型图书馆)2022-03-020.1.0.1莱茵河
三次样条2321自然三次样条插值。(算法bsd3型图书馆数学)2015-10-180.1.2格肖姆巴泽曼
dgim公司701DGIM算法的实现(算法数据图书馆麻省理工学院)2015-04-040.0.3音乐_ut
域-lt1270Lengauer-Tarjan图支配算法。(算法bsd3型图书馆)2021-11-120.2.3马特·莫罗安德烈亚斯克
直接转矩控制1401(快速)动态时间扭曲(算法数据挖掘图书馆机器学习麻省理工学院)2016年7月21日1.0.3.0fho(飞行高度层)
编辑-距离165024Levenshtein和限制的Damerau-Levenshtein编辑距离(算法bsd3型图书馆)2015-07-120.2.2.1MaxBolingbroke公司法德吉
编辑-直径-线性700在线性存储器中高效实现Levenshtein编辑距离。(算法bsd3型图书馆)2019-12-080.2.0.20xd34df00d
编辑-实例向量360计算编辑距离并编辑矢量之间的脚本。(算法bsd3型数据数据结构图书馆)2016-05-241.0.0.4托马斯·萨顿
特征961.56特征C++库(线性代数:矩阵、稀疏矩阵、向量、数值求解器)。(代数算法bsd3型数据图书馆数学数字统计学)2018-12-113.3.7.0奥列格·西多尔金切萨伊
埃帕内特·哈斯克尔1301EPANET的Haskell绑定(算法通用公共照明水力学图书馆)2013-12-162.0.12.4心灵感应
等效1490使用STT维护作为union-find实现的等价关系。(算法bsd3型数据图书馆)2022-07-260.4.1安德烈亚斯·阿贝尔帕特里克·巴尔
人造的712使用可观察共享表示SAT或QSAT问题的单子。(算法bsd3型图书馆逻辑)2023-09-18年0.5爱德华·克米特埃里克默滕斯莱昂斯科特
替代玩具卫星1201作为ersatz后端的toysat驱动程序(算法bsd3型图书馆逻辑)2017-10-020.2.2.0Masahiro酒井
精确覆盖601高效精确覆盖求解器。(算法bsd3型图书馆数学)2017-04-220.1.0.0亚瑟
快速算术20921整数上的快速函数。(算法自动测试系统bsd3型组合学飞行情报局图书馆数学数论数值)2022-01-170.6.7.0vmchale公司
斐波那契1201快速计算斐波那契数。(算法bsd3型图书馆数字的)2010-12-180.2.0.1塞巴斯蒂安·费舍尔
funsat卫星1402现代DPLL型SAT解算器(算法bsd3型图书馆程序)2011-02-270.6.2丹尼斯·布埃诺
加西亚·瓦赫1201Garsia-Wachs算法的功能实现(算法bsd3型图书馆)2008-09-231.2尼古拉斯·波伊拉德
发电机程序1201遗传编程库(人工智能算法bsd3型图书馆优化)2013-08-310.1.0.2JanSnajder公司
图形生成器2221生成结构化或随机FGL图的函数(算法阿帕奇图书馆程序)2018-06-080.1.4.0乌利科勒
4501一个简单的一元图库(算法bsd3型数据结构图表图书馆)2022-05-070.7.2爱德华·克米特莱昂斯科特
gutenberg-fibonaccis公司2001第一批1001斐波那契数列,取自古腾堡项目。(算法通用公共照明图书馆数学数字数字的)2012-09-091.1.0贾斯汀·哈内科姆
heapsort公司01MArrays堆作为命令式编程的演示(算法bsd3型图书馆程序)2010年8月04日0.1.0巴顿·梅西
汞铝3002图的计算自同构群和正则标号库(算法数据结构图书馆)2023-05-122.0.0.3珍妮·菲利普·伯纳迪马塞卢斯
高分辨厘米621闭合频繁项集的快速挖掘算法(算法bsd3型数据挖掘-----------图书馆程序)2010-06-160.2.2亚历山大·特米尔
隐马尔可夫模型1701隐马尔可夫模型库(算法bsd3型数据挖掘图书馆机器学习)2012-03-260.2.1.1MaxRabkin公司米凯兹比基
hps-kmeans601k-Means算法的一个很好的实现。(算法群集数据挖掘通用公共照明图书馆数学模式再认知统计学)2012-07-100.1.0.0罗德里戈·加迪亚
htn(高温氮)701使用htn算法的旋转变压器(算法bsd3型图书馆)2016-11-250.1.0.0乌吉
超型1200类型化AST(算法bsd3型编译器-解释器语言图书馆逻辑统一)2023-07-250.2.2Yair Chuchem公司
imj-动画521动画框架(算法动画bsd3型游戏引擎绘图图书馆)2018-01-010.1.0.2奥利维尔·索恩
imj基础422游戏引擎具有几何、简化、动画文本、增量渲染。(算法动画bsd3型游戏引擎绘图图书馆数学优化优化程序终端用户界面)2018-01-010.1.0.2奥利维尔·索恩
增量卫星解算器260作为库的简单增量SAT求解(算法bsd3型图书馆)2016-08-310.1.8塞巴斯蒂安·费舍尔
无限搜索1401可穷尽搜索的无限集。(算法bsd3型数据图书馆单子搜索)2009-01-090.12卢克·帕尔默
整数算术239026整数对数。(算法图书馆数学麻省理工学院数论)2020-11-011.0.3.1法德吉
integer-roots公司5405整数根和完美幂(算法图书馆数学麻省理工学院数论)2021-11-221.0.2.0Bodigrim公司
IP路由308063IP路由表(算法bsd3型图书馆网络)2021-11-041.7.12山本一郎
K均值2022K-means聚类算法(算法bsd3型群集数据挖掘图书馆)2015-03-220.1.3格肖姆巴泽曼MaxRabkin公司
kmp-dfa公司601基于确定性有限状态自动机的KMP算法实现(算法bsd3型图书馆)2017年6月18日0.1.0.1保洛韦罗内利
生命周期评价2921O(log n)无需预处理的持久在线最低共同祖先搜索(算法bsd3型数据结构图书馆)2021-02-170.4爱德华·克米特莱昂斯科特
学习-hmm2901另一个隐马尔可夫模型库(算法图书馆机器学习麻省理工学院统计学)2015-04-050.3.2.2姆纳卡穆拉
图书馆图表410在图形中存储和操作数据。(算法bsd3型数据结构图书馆)2017-09-031.14法德根
大多数1101Boyer-Moore多数投票算法(算法图书馆公共域)2011-07-181.1尼斯·韦格曼
马可夫·查因3306生成具有用户可定义行为的随机序列的马尔可夫链。(算法图书馆)2016-07-140.0.3.4亨宁·泰勒曼
最大集团1622枚举图的所有最大团。(算法bsd3型图书馆)2015-03-220.1.1格肖姆巴泽曼
多学科发展计划1000求解马尔可夫决策过程的工具。(算法图书馆数学麻省理工学院程序)2016年11月29日0.1.1.0prsteele钢
1822遗传算法库(人工智能算法bsd3型图书馆优化优化)2018年11月13日1.2谢尔盖·阿斯坦宁
自然排序2922用户友好的文本排序(算法bsd3型图书馆)2012-08-070.1.2约翰米利金
非线性优化1901用于AD包的非线性优化包包装器(算法通用公共照明图书馆数学优化优化)2020-02-290.2.4Masahiro酒井
非线性优化支持700用于backprop包的非线性优化包的包装器(算法通用公共照明图书馆数学优化优化)2020-02-290.2.4Masahiro酒井
数字墙900创建数字墙并将其保存为图像(算法绘图形象图书馆数学麻省理工学院)2022-09-030.1.0.3欧文·贝克特尔
数值优化1002各种数值优化算法的统一接口(算法bsd3型图书馆数学数字数字的优化优化)2023-06-210.1.1.0Masahiro酒井
数值优化500用于AD包的数字优化包包装(算法bsd3型图书馆数学优化优化)2023-06-03年0.1.0.1Masahiro酒井
数字优化支持500用于backprop包的数字优化包包装(算法bsd3型图书馆数学优化优化)2023-06-03年0.1.0.1Masahiro酒井
输出600基于导管的外部分拣包(算法麻省理工学院程序)2019-07-110.1.0路易斯佩德罗
回文3101在字符串中查找回文(算法bsd3型图书馆程序)2012-12-280.4约翰·尤因
耐心3505耐心差异和最长增加子序列(算法bsd3型图书馆文本)2019-07-290.3基根·麦卡利斯特切萨伊
1201包来求解广义佩尔方程。(算法图书馆数学麻省理工学院数论)2019-11-120.1.3.0lbrunjes公司
pqueue-mtl(pqueue-mtl)(反对赞成排队的)2301具有排队功能的完全封装的monad转换器。(算法bsd3型已弃用图书馆单子)2009-03-131.0.7路易斯·瓦瑟曼
普雷斯伯格320无量词线性算法的一种决策过程。(算法bsd3型图书馆)2015-03-241.3.1条伊沃·迪亚奇基
原始的1121哈斯克尔的原始世界。(算法bsd3型图书馆)2021-01-220.3.0.0莱茵河
原始存储器1320用于内存管理的统一接口。(算法bsd3型图书馆)2021-01-220.3.0.0莱茵河
素数106217素数的高效、纯函数生成(算法bsd3型图书馆数字的)2011-04-290.2.1.0塞巴斯蒂安·费舍尔
素数类型1301类型安全的素数。(算法图书馆数字的)2017-10-090.2.0.3家族
原筛1200素数筛库的FFI绑定。(算法外国的图书馆数学麻省理工学院数论程序)2017年3月24日0.2.0现在叹息
纯松露1201(算法阿帕奇图书馆)2018-11-160.1.1.1伊格瑞普
qchas公司2420实现量子算法的库(算法bsd3型图书馆程序)2018-07-291.1.0.123个ar
二次有理的3001二次有理数的实现(算法数据图书馆数学麻省理工学院)2020-04-150.1.1离子Bodigrim公司
排队的2801一个类队列数据结构库,包括函数和状态。(算法bsd3型图书馆)2009-04-251.0.9路易斯·瓦瑟曼
量程最小值4801线性距离最小算法。(算法bsd3型图书馆)2010-05-312.2.2路易斯·瓦瑟曼
拉兹601随机存取拉链(算法图书馆麻省理工学院)2016-09-180.1.0.0利克西亚语
rspp公司601Rational Street Performer协议求解器(算法图书馆麻省理工学院)2015年8月23日0.1.0.1亚历克斯·查普曼
901CNF饱和器(算法程序)2007-11-221.1.1安德里兹沃里金
sat-micro-hs卫星701最小SAT解算器(算法程序)2008-02-270.1.1丹尼斯·布埃诺
satchmo-backends软件1701外部satchmo后端驱动程序(算法图书馆)2011-06-241.9.1约翰内斯·沃尔德曼
satchmo-示例1001演示如何使用satchmo的示例(算法程序)2011-01-121.8.1约翰内斯·沃尔德曼
satchmo-funsat卫星701funsat驱动程序作为satchmo的后端(算法图书馆)2009-04-211.4约翰内斯·沃尔德曼
萨奇莫玩具801作为satchmo后端的toysat驱动程序(算法bsd3型图书馆逻辑)2015-05-310.2.1.0Masahiro酒井
顺序排列2001序列对齐方式(算法bsd3型图书馆)2015-07-030.2.0.4卡拉汉
机顶盒4302解决数独、8皇后区、索玛立方体、俄罗斯方块等精确集合覆盖问题(算法bsd3型图书馆数学)2020-03-210.1.1亨宁·泰勒曼
智能组1201按常用单词对字符串或字节串进行分组(算法bsd3型图书馆)2011-02-190.3.0萨曼克勒萨里亚
填空901空间填充曲线生成器。(算法图书馆公共域)2015-01-100.1千赫
稳定婚姻1801围绕稳定婚姻的算法(算法bsd3型图书馆)2023-04-190.2.1.2KatsutoshiItoh先生
条状物901使用条带算法的旋转变压器(算法bsd3型图书馆)2016-11-140.1.0.0英国
svm-简单2001中级、简化、与libsvm的绑定(人工智能算法bsd3型图书馆模式分类支持向量机)2012年7月18日0.2.7.1维尔蒂尔隆
团队1601顺序团队的图形建模工具(算法图书馆随机控制)2009-10-050.0.2.3阿迪蒂亚·马哈詹
文本度量112212高效计算各种字符串度量(算法bsd3型图书馆文本)2021-12-300.3.2kkrp先生
玩具解决者4804SAT、SMT、Max-SAT、PB、MIP等的各种决策程序(算法bsd3型约束形式方法图书馆逻辑优化优化程序表面贴装理论证明者)2022-09-170.8.1Masahiro酒井
坦桑尼亚先令1200t-SNE公司(算法图书馆程序)2017-03-111.3.0罗巴加
二十七600魔方解算器(算法图书馆麻省理工学院程序)2016-03-160.0.0利克西亚语
统一-fd5224简单的通用统一算法。(代数算法bsd3型编译器-解释器语言图书馆逻辑统一)2022-05-260.11.2雷恩霍顿雷恩·罗曼诺
联合发现2704集的有效并集和等价性测试。(算法bsd3型数据图书馆)2012-06-230.2托马斯·席林
union-find数组500联合查找数据结构(算法数据图书馆麻省理工学院)2024-04-290.1.0.4伯特兰·费尔根豪尔马丁·阿文齐尼
矢量快速排序600可变向量的快速灵活排序实现(算法阿帕奇图书馆)2023-04-150.1谢尔盖·维诺库罗夫
单词搜索801单词搜索解算器库和可执行文件(算法bsd3型图书馆程序)2010-10-011.0.1拜伦·约翰逊
yices-easy(意译)801Yices SMT(SAT模理论)解算器的简单接口。(算法bsd3型图书馆数学理论证明者)2010-09-290.1基根·麦卡利斯特