×
塞拉利昂，皮埃尔;史蒂夫·阿尔珀恩

会合搜索问题的符号规划方法。 （英语） Zbl 1484.91005号

序号操作。Res.论坛 3，第1号，第9号论文，29页（2022年）.
小结：在本文中，我们解决了当玩家之间的初始距离（D）已知时，可以在选定的时间丢弃标记的线上交会问题。在一个标记的情况下，即\（M_1\）游戏，该标记在游戏开始时由玩家II持有，一旦掉落并被玩家I找到，则指示玩家I必须向哪个方向移动。在有两个标记的情况下，即（M_2）游戏，每个玩家持有一个标记，并且下降时间可能不同。问题的初始配置存在不确定性，目标是最小化预期的会合时间，我们分别称之为（M_1）和（M_2）游戏的会合值（游戏的），分别表示为（R_1和（R_2）。我们提出了一种算法，该算法精确计算了作为投放时间（z）函数的（M_1）游戏的集合值，即（zmapsto R_1（z））。然后，我们证明了函数（R_1（z））是局部仿射函数，并计算了函数的局部表示的参数。最后，游戏的集合值（R_1=min_z-R_1（z））和最佳投放时间可以用表达式（R_1（z））来确定。同样的过程可以扩展到适用于问题（M_2）。程序的符号执行是计算机科学中一种经典的程序测试技术，参见J.C.金[委员会ACM 19，385–394（1976；Zbl 0329.68018号)]在这项工作中，我们采用符号执行技术来解决优化问题。据我们所知，这是第一次尝试这样做，特别是为了处理会合问题。

理学硕士：

91A05型 2人游戏
91A68型 算法博弈论与复杂性
68瓦30 符号计算和代数计算

关键词：

在线约会搜索游戏;符号编程;与标志物会合;最优策略枚举

引文：

Zbl 0329.68018号
PDF格式BibTeX公司 XML格式引用
\textit{P.Leone}和\textit{S.Alpern}，SN Oper。Res.Forum 3，No.1，论文No.9，29 p.（2022；Zbl 1484.91005）
全文： 内政部

参考文献：

[1] King，JC，符号执行和程序测试，Commun ACM，19，7，385-394（1976）·Zbl 0329.68018号 ·doi:10.1145/360248.360252
[2] Alpern，S。；Gal，S.，《与可识别的玩家在线汇合搜索》，SIAM J Control Optim，33，4，1270-1276（1995）·Zbl 0837.90075号 ·doi:10.1137/S0363012993260288
[3] 塞拉利昂，P。；Alpern，S.，《可在选定时间丢弃标记的交会搜索》，海军研究后勤（NRL），65，6-7，449-461（2018）·兹比尔1419.91007 ·doi:10.1002/nav.21818
[4] Alpern，S.，《捉迷藏游戏》（1976年），维也纳：维也纳动物研究所
[5] Alpern，S.，《交会搜索：个人视角》，Oper Res，50，5772-795（2002）·Zbl 1163.91324号 ·doi:10.1287/opre.50.5.772.363
[6] Alpern S，Gal S（2006）《搜索游戏和交会理论》。美国施普林格大学Oper Res Manag Sci国际系列，https://books.google.ch/books？id=BBrvBwAAQBAJ ·Zbl 1034.91017号
[7] Alpern S、Fokkink R、Gasieniec L、Lindelauf R、Subrahmanian V（2013）《搜索理论》。施普林格·Zbl 1263.91001号
[8] Francis BA，Maggiore M（2016）《分布式机器人中的群集和会合》。施普林格·Zbl 1326.68006号
[9] Gu Z，Wang Y，Hua QS，Lau F（2017）《分布式系统中的会合》。施普林格·Zbl 1393.68006号
[10] 克拉纳基斯，E。；Krizanc，D。；Markou，E.，环中的移动代理会合问题，分布式计算理论综合讲座，1，1，1-122（2010）·doi:10.2200/S00278ED1V01Y201004DCT001
[11] Anderson EJ，Weber RR（1990）离散位置上的交会问题。应用探针杂志27（4）：839-851。http://www.jstor.org/stable/3214827 ·Zbl 0718.90047号
[12] Weber，R.，《三个位置上的最优对称交会搜索》，《数学运算研究》，37，1，111-122（2012）·Zbl 1238.91033号 ·doi:10.1287/门1110.0528
[13] Alpern，S.，《会合搜索问题》，SIAM J Control Optim，33，3，673-683（1995）·Zbl 0837.90074号 ·doi:10.1137/S0363012993249195
[14] EJ安德森；Essegaier，S.，《与无法区分的球员在线上进行交会搜索》，SIAM J Control Optim，33，6，1637-1642（1995）·Zbl 0843.90061号 ·doi:10.1137/S0363012993260707
[15] Baston，V.，注：线上的两个交会搜索问题，海军研究后勤（NRL），46，3，335-340（1999）·兹伯利0922.90152 ·doi:10.1002/（SICI）1520-6750（199904）46:3<335:：AID-NAV6>3.0.CO；第2季度
[16] Gal，S.，《线上交会搜索》，Oper Res，47，6，974-976（1999）·Zbl 1042.91517号 ·数字对象标识代码：10.1287/opre.47.6.974
[17] 韩，Q。；杜，D。；维拉，J。；Zuluaga，LF，线上对称交会值的改进界限，Oper Res，56，3，772-782（2008）·Zbl 1167.91322号 ·doi:10.1287/操作1070.0439
[18] Alpern，S。；Beck，A.，《有限资源线上的交会搜索：最大化会面概率》，Oper Res，47，6，849-861（1999）·Zbl 1042.91516号 ·doi:10.1287/opre.47.6.849
[19] Alpern，S。；Beck，A.，《初始距离未知的线上纯策略非对称交会》，Oper Res，48，3，498-501（2000）·doi:10.1287/opre.48.3498.12432
[20] 巴斯顿，V。；Gal，S.，当球员的初始距离由未知概率分布给出时，在线上会合，SIAM J Control Optim，36，6，1880-1889（1998）·Zbl 0909.90277号 ·doi:10.1137/S0363012996314130
[21] Ozsoyeller，D。；贝弗里奇，A。；Isler，V.，《初始距离未知线路上的对称交会搜索》，IEEE Trans-Rob，29，6，1366-1379（2013）·doi:10.1109/TRO.2013.2272252
[22] 巴斯顿，V。；Gal，S.，《在起点留下标记时的集合搜索》，海军研究后勤（NRL），48，8，722-731（2001）·Zbl 0992.90035号 ·doi:10.1002/nav.1044
[23] 霍华德，J.，《区间和圆圈上的交会搜索》，《Oper Res》，47，4，550-558（1999）·Zbl 0979.90065号 ·doi:10.1287/opre.47.4.550
[24] Kranakis E，Santoro N，Sawchuk C，Krizanc D（2003），《移动代理环中会合》，收录于：2003年第23届分布式计算系统国际会议。诉讼程序。，IEEE，第592-599页·Zbl 1196.68021号
[25] Alpern，S.，《标签网络上的交会搜索》，海军研究后勤（NRL），49，3，256-274（2002）·Zbl 1008.91011号 ·doi:10.1002/nav.10011
[26] EJ安德森；Fekete，SP，二维交会搜索，Oper Res，49，107-118（2001）·Zbl 1163.90525号 ·数字对象标识代码：10.1287/opre.49.1.107.11191
[27] 切斯特，EJ；TüTüncü，RH，标签线上的集合搜索，Oper Res，52，2，330-334（2004）·Zbl 1165.90478号 ·doi:10.1287/opre.1030.0085
[28] 基库塔，K。；Ruckle，WH，在有检查成本的星图上进行会合搜索，欧洲操作研究杂志，181，1298-304（2007）·Zbl 1121.90070 ·doi:10.1016/j.ejor.2006.06.017
[29] Chang，CS；Liao，W。；Lien，CM，《关于多通道交会问题：基本极限、最优跳跃序列和有界时间到交会》，《数学与运筹学研究》，40，1，1-23（2015）·Zbl 1348.49016号 ·doi:10.1287/门2014.0680
[30] Czyzowicz，J。；克拉纳基斯，E。；Krizanc，D。；Narayanan，L。；Opatrny，J.，《用故障机器人在线搜索》，《分布式计算》，32，6，493-504（2019）·Zbl 1440.68321号 ·doi:10.1007/s00446-017-0296-0
[31] Czyzowicz J、Killick R、Kranakis E（2018）《非对称时钟的线性交会》。参加：第22届分布式系统原理国际会议（OPODIS 2018）
[32] 班帕，E。；Czyzowicz，J。；Gąsieniec，L。；伊尔辛卡斯，D。；Klasing，R。；Kociumaka，T。；Pająk，D.，用一对不同速度的机器人进行线性搜索，算法，81，1，317-342（2019）·Zbl 1412.68019号 ·doi:10.1007/s00453-018-0447-0
[33] Chrobak M、Gąsieniec L、Gorry T、Martin R（2015）《在线集团搜索》。摘自：信息学理论与实践当前趋势国际会议，Springer，pp 164-176·Zbl 1410.68159号
[34] Czyzowicz J、Killick R、Kranakis E、Krizanc D、Narayanan L、Opatrny J、Pankratov D、Shende S（2021）具有不同通信能力的代理在线路上进行集体疏散。https://arxiv.org/abs/2109.12676 ·兹伯利07495140
[35] Fomin，FV；Thilikos，DM，《关于保证图搜索的注释书目》，《理论计算科学》，399，3，236-245（2008）·Zbl 1160.68007号 ·doi:10.1016/j.tcs.2008.02.040
[36] Hohzaki，R.，《搜索游戏：文献与调查》，日本Oper Res Soc杂志，59，1，1-34（2016）·Zbl 1352.90044号
[37] Leone P，Cohen N（2021）以不同的速度和标记在线路上会合，可以在选定的时间放下。https://arxiv.org/abs/2019.000905
[38] Leone P、Buwaya J、Alpern S（2021）搜救交会。欧洲J运营研究·Zbl 1487.90344号
[39] Bradley AR，Manna Z（2007）《计算演算：应用于验证的决策程序》。施普林格科学公司；amp；amp；amp；amp；amp；amp；商业媒体·Zbl 1126.03001号
[40] Kroening D，Strichman O（2016）《决策程序》。施普林格·兹比尔1358.68002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。