文件Open Access徽标

瞬态定向时间图的复杂性

作者 乔治·B·默齐奥斯 , 亨德里克·莫尔特 , 马尔特·伦肯 , 保罗·G·斯皮拉基斯 , 菲利普·佐什

PDF格式
缩略图PDF

文件

LIPIcs公司。MFCS.2021.75.pdf
  • 文件大小：0.84 MB
  • 18页

文件标识符

作者详细信息

乔治·B·默齐奥斯
  • 英国达勒姆大学计算机科学系
亨德里克·莫尔特
  • 以色列Beer Sheva内盖夫Ben-Gurion大学工业工程与管理系
  • 德国柏林理工大学算法与计算复杂性第四学院
马尔特·伦肯
  • 德国柏林理工大学算法与计算复杂性第四学院
保罗·G·斯皮拉基斯
  • 英国利物浦大学计算机科学系
  • 希腊帕特拉斯大学计算机工程与信息学系
菲利普·佐什
  • 德国柏林理工大学算法与计算复杂性第四学院

基金

  • 乔治·默齐奥斯（George B.Mertzios）。：由EPSRC拨款EP/P020372/1支持。
  • 亨德里克·莫尔特：由德国研究基金会（DFG）MATE项目（NI 369/17）和以色列科学基金会（ISF）资助，批准号1070/20。
  • 马尔特·伦肯：由德国研究基金会（DFG）支持的MATE项目（NI 369/17）。
  • 保罗·G·斯皮拉基斯。：由利物浦大学EEE和CS学院的NeST倡议和EPSRC拨款EP/P02002X/1支持。

引用为获取BibTex

George B.Mertzios、Hendrik Molter、Malte Renken、Paul G.Spirakis和Philipp Zschoche。瞬时定向时间图的复杂性。第46届计算机科学数学基础国际研讨会（MFCS 2021）。莱布尼茨国际信息学论文集（LIPIcs），第202卷，第75:1-75:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2021）
https://doi.org/10.4230/LIPIcs.MFCS.2021.75

摘要

在边缘上有离散时间标签的时间网络中，实体和信息只能沿着时间标签不减少（相对增加）的边缘序列“流动”，即沿着时间（相对严格的时间）路径流动。然而，在[Kempe，Kleinberg，Kumar，JCSS，2002]的时间网络模型中，单独的时间标记边仍然是无向的：带有时间标记t的边e={u，v}指定“u在时间t与v通信”。这是u和v之间的对称关系，可以解释为信息可以朝任何方向流动。在本文中，我们首次尝试了解一个边缘上的信息流方向如何影响另一个边缘上的信息流方向。更具体地说，自然地扩展了静态图中传递方向的经典概念，我们引入了时间传递方向的基本概念，并系统地研究了它在各种情况下的算法行为。时间图的方向称为时间传递，如果当u有一条指向v的有向边，时间标签为t₁，v有一条朝向w的有向边缘，时间标签t⁄≥t𔔋，那么u也有一条面向w的有向边，时间标记为t⁄≤t⁄。如果我们只是要求在t⁄>t \8321；时保持这一含义，方向被称为严格的时间传递，因为它基于从u到w有严格的有向时间路径这一事实。我们的主要结果是一个概念上简单但技术上相当复杂的多项式时间算法，用于识别给定的时间图𝒢是否是传递方向的。与之形成鲜明对比的是，我们证明，令人惊讶的是，很难识别𝒢是否是严格可传递定向的。此外，我们还介绍并研究了与时间传递性相关的进一步问题，尤其是时间传递完成问题，我们证明了算法和硬结果。

主题分类

ACM科目分类
  • 计算理论→图形算法分析
  • 计算数学→离散数学
关键词
  • 时间关系图
  • 传递性取向
  • 传递闭包
  • 多项式时间算法
  • NP硬度
  • 可满足性

韵律学

相关版本

工具书类

  1. Eleni C.Akrida、Leszek Gasieniec、George B.Mertzios和Paul G.Spirakis。链路随机可用的星际网络：快速网络的情况。《并行与分布式计算杂志》，87:109-1202016。谷歌学者
  2. Eleni C.Akrida、Leszek Gasieniec、George B.Mertzios和Paul G.Spirakis。时间连通图优化设计的复杂性。计算系统理论，61（3）：907-9442017。谷歌学者
  3. Eleni C.Akrida、George B.Mertzios、Sotiris E.Nikoletseas、Christoporos L.Raptopoulos、Paul G.Spirakis和Viktor Zamaraev。在随机时间图中，我们能以多快的速度到达目标顶点？《计算机与系统科学杂志》，114:65-832020年。扩展摘要出现在2019年ICALP上。谷歌学者
  4. Eleni C.Akrida、George B.Mertzios、Paul G.Spirakis和Viktor Zamaraev。具有滑动时间窗口的时间顶点覆盖。《计算机与系统科学杂志》，107:108-1232020。谷歌学者
  5. 乔什·阿尔曼（Josh Alman）和弗吉尼亚·瓦西列夫斯卡·威廉姆斯（Virginia Vassilevska Williams）。改进的激光方法和更快的矩阵乘法。《2021年ACM-SIAM离散算法（SODA）研讨会论文集》，第522-539页，2021年。谷歌学者
  6. Bengt Aspvall，Michael F.Plass和Robert Endre Tarjan。一种用于测试某些量化布尔公式真实性的线性时间算法。信息处理快报，8（3）：121-1231979。谷歌学者
  7. Kyriakos Axiotis和Dimitris Fotakis。关于最小时间连通子图的大小和逼近性。第43届国际自动化、语言和编程学术讨论会（ICALP）会议记录，第149:1-149:14页，2016年。谷歌学者
  8. 马蒂亚斯·本特（Matthias Bentert）、安妮·索菲·希梅尔（Anne-Sophie Himmel）、亨德里克·莫尔特（Hendrik Molter）、马可·莫里克（Marco Morik）、罗尔夫·尼德梅尔（Rolf Niedermeier）和雷内·塞滕马赫。列出时序图中的所有最大k丛。ACM实验算法杂志，24（1）：13:1-13:272019。谷歌学者
  9. 马蒂亚斯·本特（Matthias Bentert）、安妮·索菲·希梅尔（Anne-Sophie Himmel）、安德烈·尼切特林（AndréNichterlein）和罗尔夫·尼德梅尔（Rolf Niedermeier）。等待时间约束下最优时间游动的有效计算。应用网络科学，5（1）：732020。谷歌学者
  10. Robert Bredereck、Christian Komusewicz、Stefan Kratsch、Hendrik Molter、Rolf Niedermeier和Manuel Sorge。评估多层子图检测的计算复杂性。网络科学，7（2）：215-2412019。谷歌学者
  11. Binh Minh Bui Xuan、Afonso Ferreira和Aubin Jarry。计算动态网络中最短、最快和最重要的行程。国际计算机科学基础杂志，14（02）：267-2852003。谷歌学者
  12. 塞巴斯蒂安·布（Sebastian Buß）、亨德里克·莫尔特（Hendrik Molter）、罗尔夫·尼德迈尔（Rolf Niedermeier）和马西耶·瑞马（Maciej Rymar）。时间介数的算法方面。《第26届ACM SIGKDD知识发现和数据挖掘（KDD）会议论文集》，第2084-2092页。ACM，2020年。谷歌学者
  13. 阿诺德·卡斯提格茨和保拉·弗洛奇尼。动态网络中的确定性算法：形式模型和度量。技术报告，加拿大国防研发部，2013年4月。网址：https://hal.archives-ouvertes.fr/hal-00865762.
  14. 阿诺德·卡斯提格茨和保拉·弗洛奇尼。动态网络中的确定性算法：问题、分析和算法工具。技术报告，加拿大国防研发部，2013年4月。网址：https://hal.archives-ouvertes.fr/hal-00865764.
  15. 阿诺德·卡斯泰格茨（Arnaud Casteigts）、保拉·弗洛奇尼（Paola Flocchini）、沃尔特·夸特罗西奥奇（Walter Quattrociocchi）和尼古拉·桑托罗（Nicola Santoro）。时间变化图和动态网络。国际并行、应急和分布式系统杂志，27（5）：387-4082012。谷歌学者
  16. 阿诺德·卡斯泰格茨（Arnaud Casteigts）、安妮·索菲·希梅尔（Anne-Sophie Himmel）、亨德里克·莫尔特（Hendrik Molter）和菲利普·兹乔什（Philipp Zschoche）。在等待时间约束下寻找时间路径。第31届国际算法与计算研讨会（ISAAC），第30:1-30:18页，2020年。谷歌学者
  17. 阿诺德·卡斯提格斯（Arnaud Casteigts）、约瑟夫·彼得斯（Joseph G.Peters）和杰森·斯科特斯（Jason Schoeters）。时间派系承认稀少的扳手。第46届国际自动化、语言和编程学术讨论会（ICALP）会议记录，第132卷，第134:1-134:14页，2019年。谷歌学者
  18. 陈洁华（Jiehua Chen）、亨德里克·莫尔特（Hendrik Molter）、曼努埃尔·索尔吉（Manuel Sorge）和昂德伊·索尔（Ondřej Sosue \345]。在多层和时间图中进行聚类编辑。2018年第29届国际算法与计算研讨会（ISAAC）论文集，第24:1-24:13页。谷歌学者
  19. J.Enright、K.Meeks、G.B.Mertzios和V.Zamaraev。删除边以限制时态网络中流行病的大小。《计算机与系统科学杂志》，119:60-772021。谷歌学者
  20. 杰西卡·恩赖特、基蒂·米克斯和菲奥娜·斯凯尔曼。分配时间以最小化时间图中的可达性。计算机与系统科学杂志，115:169-1862021。谷歌学者
  21. 托马斯·埃勒巴赫（Thomas Erlebach）、迈克尔·霍夫曼（Michael Hoffmann）和弗兰克·坎默（Frank Kammer）。时间图形探索。第42届国际自动化、语言和编程学术讨论会（ICALP）会议记录，第444-455页，2015年。谷歌学者
  22. Till Fluschnik、Hendrik Molter、Rolf Niedermeier、Malte Renken和Philipp Zschoche。时态图类：通过时态分隔符的视图。理论计算机科学，806:197-2182020。谷歌学者
  23. 马丁·查尔斯·格伦比奇。算法图论和完美图。Elsevier，第二版，2004年。谷歌学者
  24. 路易斯·哈基米、爱德华·舒梅切尔和尼尔·杨。确定图形方向以优化可达性。信息处理信件，63（5）：229-2351997。谷歌学者
  25. Anne-Sophie Himmel、Hendrik Molter、Rolf Niedermeier和Manuel Sorge。采用Bron-Kerbosch算法枚举时间图中的最大团。《社会网络分析与挖掘》，7（1）：35:1-35:16，2017年。谷歌学者
  26. 彼得·霍尔姆和贾里·萨拉马基。时间网络理论，第2卷。斯普林格，2019年。谷歌学者
  27. David Kempe、Jon M.Kleinberg和Amit Kumar。时态网络的连通性和推理问题。计算机与系统科学杂志，64（4）：820-8422002。谷歌学者
  28. Hyongshick Kim和Ross Anderson。复杂网络中的时间节点中心性。物理评论E，85（2）：0261072012。谷歌学者
  29. Ross M.McConnell和Jeremy P.Spinrad。线性时间模块分解和可比图的有效传递方向。第五届ACM-SIAM离散算法（SODA）年会论文集，第536-545页，1994年。谷歌学者
  30. Ross M.McConnell和Jeremy P.Spinrad。线性时间传递方向。第八届ACM-SIAM离散算法（SODA）年度研讨会论文集，第19-25页，1997年。谷歌学者
  31. Ross M.McConnell和Jeremy P.Spinrad。模块分解和传递定向。离散数学，201（1-3）：189-241999。谷歌学者
  32. David B McDonald和Daizaburo Shizuka。优势网络中的比较传递性和时间有序性。行为生态学，24（2）：511-5202013。谷歌学者
  33. 乔治·默齐奥斯（George B.Mertzios）。简单三角图和线性区间阶的识别是多项式的。SIAM离散数学杂志，29（3）：1150-11852015。谷歌学者
  34. 乔治·默齐奥斯（George B.Mertzios）、奥托·米凯尔（Othon Michail）、伊奥尼斯·查齐亚纳基斯（Ioannis Chatziganakis）和保罗·斯皮拉基斯（Paul G.Spirakis）。受连接约束的时间网络优化。第40届国际自动化、语言和编程学术讨论会（ICALP）会议记录，第657-668页，2013年。谷歌学者
  35. George B Mertzios、Hendrik Molter、Rolf Niedermeier、Viktor Zamaraev和Philipp Zschoche。计算时态图中的最大匹配。《第37届计算机科学理论方面国际研讨会论文集》，第154卷，第27:1-27:142020页。谷歌学者
  36. George B.Mertzios、Hendrik Molter、Malte Renken、Paul G.Spirakis和Philipp Zschoche。传递定向时序图的复杂性。arXiv预印本，2021年。网址：网址：http://arxiv.org/abs/2102.06783.
  37. George B Mertzios、Hendrik Molter和Viktor Zamaraev。滑动窗口时间图着色。《第31届AAAI人工智能会议论文集》，第33卷，第7667-7674页，2019年。谷歌学者
  38. Othon Michail和Paul G.Spirakis。动态网络理论基础。ACM通讯，61（2）：72-722018。谷歌学者
  39. 罗伯特·莫斯科维奇和尤瓦尔·沙哈尔。基于时间抽象的医学时间知识发现。《AMIA年度研讨会论文集》，第452页，2009年。谷歌学者
  40. 罗伯特·莫斯科维奇和尤瓦尔·沙哈尔。利用时间关系的及物性进行快速时间间隔挖掘。知识与信息系统，42（1）：21-482015。谷歌学者
  41. V.Nicosia、J.Tang、C.Mascolo、M.Musolesi、G.Russo和V.Latora。时序网络的图形度量。在时间网络中。施普林格，2013年。谷歌学者
  42. 托马斯·谢弗（Thomas J.Schaefer）。可满足性问题的复杂性。第十届ACM计算机理论研讨会（STOC）论文集，第216-226页，1978年。谷歌学者
  43. 杰里米·斯宾拉德。关于可比性和置换图。SIAM计算机杂志，14（3）：658-6701985。谷歌学者
  44. 杰里米·斯宾拉德。有效的图形表示，《菲尔德研究所专著》第19卷。美国数学学会，2003年。谷歌学者
  45. 泽维尔·坦尼尔（Xavier Tannier）和菲利普·穆勒（Philippe Muller）。通过传递性约简评估从文本构建的时间图。《人工智能研究杂志》（JAIR），40:375-4132011。谷歌学者
  46. 蒂芬·维亚德（Tiphaine Viard）、马蒂厄·拉塔比（Matthieu Latapy）和克莱门斯·马尼根（Clémence Magnien）。计算链路流中的最大团。理论计算机科学，609:245-2522016。谷歌学者
  47. 吴欢欢（Huanhuan Wu）、程振英（James Cheng）、柯一平（Yiping Ke）、黄思璐（Silu Huang）、黄玉珍（Yuzhen Huang，音译）和吴和军（Hejun Wu）。时间路径计算的高效算法。IEEE知识与数据工程汇刊，28（11）：2927-29422016。谷歌学者
  48. Philipp Zschoche、Till Fluschnik、Hendrik Molter和Rolf Niedermeier。在时序图中查找分隔符的复杂性。《计算机与系统科学杂志》，107:72-92200年。谷歌学者
问题/备注/反馈
X

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人