大卫·罗伯茨。;查尔斯·朱恩·伊斯贝尔。;迈克尔·利特曼。 涉及依赖对象集合的优化问题。 (英语) Zbl 1179.05102号 安·Oper。物件。 163, 255-270 (2008). 摘要:我们描述了一类由许多现实世界应用程序驱动的问题,其中有一组既有成本又有价值的对象,但其中一些对象依赖于其他对象来获得其全部价值。应用程序包括在系统故障的威胁下找到传输文件的最佳顺序,由异构代理或机器人团队排序操作序列,选择最佳产品集存储在仓库中,选择要在大学学习的课程,或选择要从生产中削减的产品。我们将对象及其依赖关系表示为有向无环图(DAG)的问题形式化。我们定义了简单的公式来计算图顶点集和序列的效用。我们使用真实世界的例子来激发与我们提出的模型相关的问题分类。我们还证明了与我们的形式主义相关的两个问题变体是NP难的,并提出了一个有效的算法来解决第三个问题的限制版本。 MSC公司: 05C82号 小世界图形、复杂网络(图形理论方面) 05C20号 有向图(有向图),比赛 91B08型 个人偏好 90立方厘米 涉及图形或网络的编程 68层37 人工智能背景下的不确定性推理 关键词:表示对象;依赖关系;有向无圈图;DAG公司 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Roberts}等人,安·奥珀。第163、255-270号决议(2008年;Zbl 1179.05102) 全文: 内政部 参考文献: [1] Chakrabarti,P.P.、Ghose,S.和DeSarkar,S.C.(1988年)。和/或图形中的最佳优先搜索。1988年美国计算机学会第十六届计算机科学年会论文集(第256-261页)。纽约:计算机协会。机械。 [2] Das,S.和Kamenica,E.(2005年)。双面强盗和约会市场。《国际人工智能联合会议记录》(IJCAI-05)(第947-952页)。 [3] Desmedt,Y.和Wang,Y.(2002年)。和/或图中的最大流和关键顶点。计算与组合:第八届国际年会(第238-248页)。柏林:斯普林格·Zbl 1077.68723号 [4] Dignum,V.和Dignum的F.(2005年)。代理组织中的任务和社会协调。第四届国际联合会议关于自治代理和多代理系统的会议记录(第1183-1184页)。 [5] Faltings,B.和Nguyen,Q.H.(2005)。使用本地搜索进行多代理协调。《国际人工智能联合会议记录》(IJCAI-05)(第953–958页)。 [6] Feldman,R.(1988)。为约束传播设计依赖定向编译器。在IEA/AIE’88:第一届人工智能和专家系统工业和工程应用国际会议记录(第141-146页)。纽约:计算机协会。机械。 [7] Garey,M.R.和Johnson,D.S.(1979年)。计算机与难处理性:np完全性理论指南。纽约:弗里曼·Zbl 0411.68039号 [8] Gusfield,D.和Irving,R.W.(1989)。稳定婚姻问题:结构和算法。剑桥:麻省理工学院出版社·Zbl 0703.68046号 [9] Hunsberger,L.(2005)。指定群体决策机制的框架。第四届国际联合会议关于自治代理和多代理系统的会议记录(第1191-1192页)。 [10] Isbell,C.、Omojokun,O.和Pierce,J.(2004)。从设备到任务:个性化设备控制的自动任务预测。个人和无处不在的计算,3146-153。 [11] Kann,V.(2003)。最大边子图。在NP优化问题概要中。http://www.ensta.fr网站/\(\sim\)diam//ro/online/viggo_wwwcompendium/node46.html。 [12] 郭永康(Kwok,Y.-K.)和艾哈迈德(Ahmad,I.)(1998年)。对任务图调度算法进行基准测试。在关于并行和分布式处理的第一次合并国际会议和研讨会的会议记录中(第531-537页)。纽约:IEEE出版社。 [13] Mahanti,A.和Bagchi,A.(1985年)。和/或图启发式搜索方法。美国医学会杂志,32(1),28-51·Zbl 0633.68098号 ·doi:10.1145/2455.2459 [14] McCulloch,W.和Pitts,W.(1943年)。神经活动中内在思想的逻辑演算。《数学生物物理公报》,5,115–133·Zbl 0063.03860号 ·doi:10.1007/BF02478259 [15] 尼尔森,新泽西州(1980年)。人工智能原理。圣马特奥:摩根·考夫曼·Zbl 0422.68039号 [16] Pearce,J.P.、Maheswaran,R.T.和Tambe,M.(2004年)。多智能体协调的Dcop游戏。在CP 2004分布式约束推理研讨会(DCR-04)上。 [17] Roberts,D.L.、Bhat,S.、Isbell,C.L.、Cooper,B.F.和Pierce,J.S.(2006年)。约束对等设备网络中文件一致性的决策理论方法。在第五届国际联合会议关于自治代理和多代理系统的会议记录中。日本箱根。 [18] Zhu,D.、Mossé,D.和Melhem,R.(2004)。实时系统中用于和/或图形的Power-aware调度。在并行和分布式系统的IEEE事务中(第849-864页)。洛斯·阿拉米托斯:IEEE计算。Soc公司。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。