期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
基于CSP的配电网大面积断电供电恢复模型和算法 被引量:20
1
作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多
关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法
在线阅读 下载PDF
卫星测控资源调度CSP模型研究 被引量:6
2
作者 凌晓冬 武小悦 +2 位作者 刘冰 薛国虎 吴金美 《系统工程与电子技术》 EI CSCD 北大核心 2012年第11期2275-2279,共5页
对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的... 对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem,CSP)模型,并针对模型进行了求解方法研究。 展开更多
关键词 卫星测控 资源调度 约束满足问题
在线阅读 下载PDF
最小冲突启发式辅助离散的海洋捕食者求解RB模型
3
作者 杨易 王晓峰 +2 位作者 华盈盈 杨澜 庞立超 《郑州大学学报(理学版)》 北大核心 2025年第4期71-79,共9页
修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法... 修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法的三个核心阶段进行优化。有针对性地将当前候选解向最优解方向引导搜索,最终阶段借助局部搜索方法,当所得当前最优解无法满足RB模型实例解时,传递至退火策略的最小冲突启发式,进一步提升算法求解效能。实验证明,与多种启发式算法相比,所提算法在精度与时间效率方面均呈现明显提升,即便在接近可满足性相变点的情形下仍展现出高概率求解的潜力。 展开更多
关键词 RB模型 约束可满足问题 海洋捕食者算法 元启发式 最小冲突启发式
在线阅读 下载PDF
采用二元CSP引擎求解RTL数据通路的可满足性
4
作者 吴为民 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期442-447,共6页
针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个... 针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个数据通路器件建立环境;二元CSP建模则根据该环境和各个数据通路器件的功能,将数据通路的可满足性问题转化为二元CSP描述;该二元CSP问题的描述被送入到二元CSP引擎,并采用冲突引导的回跳搜索策略进行求解,获得有解的例证或无解的判定.实验结果表明,即使在没有采取很多优化策略的条件下,该方法仍有较好的性能,并优于基于线性规划(LP)的求解方法. 展开更多
关键词 寄存器传输级 数据通路 可满足性 约束满足问题 模型检验
在线阅读 下载PDF
弧一致性符号ADD算法及在CSP求解中的应用 被引量:3
5
作者 王腾飞 徐周波 古天龙 《计算机科学》 CSCD 北大核心 2013年第12期243-247,共5页
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术... 约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一条约束上的一个值对;而借助ADD技术来压缩问题搜索空间,可以一次处理多条约束。算法首先通过01编码将CSP问题描述成伪布尔函数,并由ADD进行表示。然后基于传统弧一致性技术的算法思想,利用ADD的交、并和提取操作来实现约束传播和变量域过滤。最后将弧一致性的符号ADD算法嵌入到BT搜索算法中来实现对CSP的求解。对标准库中的测试用例以及随机生成的测试用例进行了实验仿真,结果表明,该算法求解CSP的时间既优于带弧一致性维护的回跳算法MAC3+BJ和MAC2001+BJ,也优于采用传统数据结构进行预处理的CSP求解算法BT+MPAC和BT+MPAC*。 展开更多
关键词 约束满足问题(csp) 代数决策图(ADD) 弧一致性(AC)
在线阅读 下载PDF
基于学习-推理的约束求解方法研究进展
6
作者 邹悦 赖家洋 张永刚 《软件学报》 EI CSCD 北大核心 2024年第1期220-235,共16页
机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束... 机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束满足问题求解的新方法,这些基于“学习-推理”的新方法为约束满足问题求解开辟了新方向并展示出巨大发展潜力,方法的突出优点是适应性强、可在线优化并具有更强的可扩展性.将当前的“学习-推理”方法分为基于消息传递神经网络、基于序列到序列和基于最优化等3类进行综述,详细分析各类方法的特点和在不同的问题集上求解效果,尤其对每类方法所涵盖的相关工作进行多角度的对比分析.最后,对基于“学习-推理”的约束求解方法进行总结和展望. 展开更多
关键词 约束满足问题 消息传递神经网络 序列到序列 强化学习 最优化
在线阅读 下载PDF
卫星任务调度问题的约束规划模型 被引量:28
7
作者 陈英武 方炎申 +1 位作者 李菊芳 贺仁杰 《国防科技大学学报》 EI CAS CSCD 北大核心 2006年第5期126-132,共7页
卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完... 卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。 展开更多
关键词 卫星 任务调度 约束满足问题 约束规划 变邻域禁忌搜索算法
在线阅读 下载PDF
基于约束满足问题的应急决策 被引量:5
8
作者 董存祥 王文俊 杨鹏 《计算机工程》 CAS CSCD 北大核心 2010年第7期276-278,共3页
针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生... 针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生成满足约束规则的应急处置方案。以国家地震应急预案为例进行分析,结果证明了该方法在应急决策中的可行性。 展开更多
关键词 应急决策 约束满足问题 应急预案 约束 应急方案
在线阅读 下载PDF
非二元约束满足问题求解 被引量:16
9
作者 孙吉贵 景沈艳 《计算机学报》 EI CSCD 北大核心 2003年第12期1746-1752,共7页
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 . 展开更多
关键词 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法
在线阅读 下载PDF
可满足问题中的模型计数 被引量:3
10
作者 谷文祥 朱磊 +1 位作者 黄平 殷明浩 《智能系统学报》 北大核心 2012年第1期33-39,共7页
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满... 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望. 展开更多
关键词 人工智能 约束可满足问题 命题可满足问题 模型计数
在线阅读 下载PDF
基于AER模型的配电网大面积断电供电恢复算法 被引量:11
11
作者 徐玉琴 张丽 王增平 《电网技术》 EI CSCD 北大核心 2009年第12期66-71,共6页
针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种... 针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种因素被表示为AER模型中的Agent、环境和环境更新规则。该模型结合多主体系统(MAS),构造了一个格子环境,所有Agent均可感知局部环境并在环境中进行移动。文章提出的算法在离线状态下计算与故障形式无关的基础数据,并使用异步回溯算法通过Agent间的交互和Agent与环境间的相互影响来不断地更新每个Agent在解空间的位置,使其能够快速地搜索到最优解。算例结果表明了该算法的有效性和优越性。 展开更多
关键词 配电网 供电恢复 主体-环境-规则(AER)模型 约束满足问题(csp) 异步回溯算法
在线阅读 下载PDF
一种产生可满足性难解实例的模型 被引量:2
12
作者 沈静 任耀峰 +1 位作者 梅丹 杨美妮 《海军工程大学学报》 CAS 北大核心 2016年第3期5-8,共4页
在d-k-CSP模型的基础上,给出了产生可满足性难解实例的两种方法。利用概率论分析了d-k-CSP模型在这两种方法下解的平均个数和解的分布情况,并用数值实验对两种方法产生的可满足性实例的求解难度进行了对比分析。结果表明:强迫有解实例... 在d-k-CSP模型的基础上,给出了产生可满足性难解实例的两种方法。利用概率论分析了d-k-CSP模型在这两种方法下解的平均个数和解的分布情况,并用数值实验对两种方法产生的可满足性实例的求解难度进行了对比分析。结果表明:强迫有解实例和非强迫有解实例的求解难度相当,但产生强迫有解实例的方法更简单有效。 展开更多
关键词 约束满足问题 强迫有解实例 相变
在线阅读 下载PDF
基于问题结构的启发式策略在析取时态问题求解中的应用 被引量:4
13
作者 刘越畅 姜云飞 钱红 《计算机研究与发展》 EI CSCD 北大核心 2008年第11期1840-1849,共10页
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以... 智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP. 展开更多
关键词 时态推理 析取时态问题 约束可满足问题 值选择 变量排序 智能规划和调度
在线阅读 下载PDF
一种新的基于完全独立相容性的预处理技术 被引量:3
14
作者 朱兴军 孙吉贵 +1 位作者 张永刚 李莹 《自动化学报》 EI CSCD 北大核心 2009年第1期71-76,共6页
研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行... 研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行了详细证明.基于此概念和性质,提出了一种基于完全独立相容性的预处理算法:SAC-ESC算法,并给出了正确性证明.最后,本文采用分治思想,根据不同问题的论域自适应地合理划分其子论域.实验结果表明,对于随机问题、鸽巢问题、N皇后问题和基准用例,算法SAC-ESC的执行效率大约是目前流行算法SAC-SDS和SAC-3的3~20倍. 展开更多
关键词 约束满足问题 预处理技术 完全独立相容性 分治策略
在线阅读 下载PDF
基于实例化次数的约束求解方法研究 被引量:5
15
作者 李占山 张乾 张良 《计算机研究与发展》 EI CSCD 北大核心 2015年第5期1091-1097,共7页
启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求... 启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法. 展开更多
关键词 人工智能 约束满足问题 启发式 变量实例化失败次数 值实例化成功次数
在线阅读 下载PDF
基于GPU的约束网络模型和并行弧相容算法 被引量:4
16
作者 李哲 李占山 李颖 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期514-528,共15页
弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模... 弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模型N-E,给出其生成算法BuildNE.结合细粒度的弧相容算法——AC4,基于N-E模型提出AC4的并行化算法AC4^(GPU)与改进算法AC4^(GPU)+,使弧相容算法得以扩展到GPU上执行.实验结果验证了该算法的可行性,与AC4算法的比较,其在一些规模较小的问题上取得了10%~50%的加速,在一些规模较大的问题上则加速1~2个数量级.为今后进一步在GPU上以并行形式解决其他约束满足问题提供了一种核心算法方案. 展开更多
关键词 人工智能 约束满足问题 弧相容 图形处理器 计算统一设备架构
在线阅读 下载PDF
基于邻居信息聚合的子图同构匹配算法 被引量:7
17
作者 徐周波 李珍 +1 位作者 刘华东 李萍 《计算机应用》 CSCD 北大核心 2021年第1期43-47,共5页
图匹配在现实中被广泛运用,而子图同构匹配是其中的研究热点,具有重要的科学意义与实践价值。现有子图同构匹配算法大多基于邻居关系来构建约束条件,而忽略了节点的局部邻域信息。对此,提出了一种基于邻居信息聚合的子图同构匹配算法。... 图匹配在现实中被广泛运用,而子图同构匹配是其中的研究热点,具有重要的科学意义与实践价值。现有子图同构匹配算法大多基于邻居关系来构建约束条件,而忽略了节点的局部邻域信息。对此,提出了一种基于邻居信息聚合的子图同构匹配算法。首先,将图的属性和结构导入到改进的图卷积神经网络中进行特征向量的表示学习,从而得到聚合后的节点局部邻域信息;然后,根据图的标签、度等特征对匹配顺序进行优化,以提高算法的效率;最后,将得到的特征向量和优化的匹配顺序与搜索算法相结合,建立子图同构的约束满足问题(CSP)模型,并结合CSP回溯算法对模型进行求解。实验结果表明,与经典的树搜索算法和约束求解算法相比,该算法可以有效地提高子图同构的求解效率。 展开更多
关键词 子图同构 约束满足问题 图卷积神经网络 信息聚合 图匹配
在线阅读 下载PDF
多值传播的相容性技术 被引量:2
18
作者 朱兴军 张永刚 +1 位作者 李莹 张长胜 《自动化学报》 EI CSCD 北大核心 2009年第10期1296-1301,共6页
相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合... 相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合,得到多值传播算法SAC-MP,并证明其完备性和正确性.通过对随机问题、N皇后、鸽巢问题及基准用例的测试表明,算法SAC-MP的执行效率是已有算法SAC-SDS和SAC-3的2~3倍. 展开更多
关键词 约束满足问题 相容性技术 多值传播 Singleton弧相容
在线阅读 下载PDF
一类树型知识库的更新算法 被引量:2
19
作者 马绍汉 hotmail.com +1 位作者 陶雪红 hotmail.com 《软件学报》 EI CSCD 北大核心 1999年第11期1174-1179,共6页
知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发,给出了一种当知识库对应的约束图为树时的多项式时间更新算法.在树型约束图中,算法... 知识库的更新意即向知识库中添加新知识,同时为维护相容性而删除旧知识.已有的知识库更新方法在通常情况下都是难解的.该文从限制问题的结构出发,给出了一种当知识库对应的约束图为树时的多项式时间更新算法.在树型约束图中,算法通过一个自底向上的过程,得到更新后的知识库. 展开更多
关键词 人工智能 知识库 算法复杂性 约束图
在线阅读 下载PDF
一类约束满足问题及其算法 被引量:2
20
作者 蒋本铁 毕世飞 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第12期1169-1172,共4页
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究... 针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系· 展开更多
关键词 约束满足问题(csp) 不定方程 整数规划 偏移方程 时间复杂度
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部