首页    期刊浏览 2024年10月06日 星期日
登录注册

文章基本信息

  • 标题:Minimum 0-Extension Problems on Directed Metrics
  • 本地全文:下载
  • 作者:Hiroshi Hirai ; Ryuhei Mizutani
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2020
  • 卷号:170
  • 页码:46:1-46:13
  • DOI:10.4230/LIPIcs.MFCS.2020.46
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:For a metric μ on a finite set T, the minimum 0-extension problem 0-Ext[μ] is defined as follows: Given V âS‡ T and c:(V 2) â†' â"S+, minimize â^' c(xy)μ(γ(x),γ(y)) subject to γ:V â†' T, γ(t) = t (â^€ t â^^ T), where the sum is taken over all unordered pairs in V. This problem generalizes several classical combinatorial optimization problems such as the minimum cut problem or the multiterminal cut problem. The complexity dichotomy of 0-Ext[μ] was established by Karzanov and Hirai, which is viewed as a manifestation of the dichotomy theorem for finite-valued CSPs due to Thapper and Živný. In this paper, we consider a directed version 0â†'-Ext[μ] of the minimum 0-extension problem, where μ and c are not assumed to be symmetric. We extend the NP-hardness condition of 0-Ext[μ] to 0â†'-Ext[μ]: If μ cannot be represented as the shortest path metric of an orientable modular graph with an orbit-invariant "directed" edge-length, then 0â†'-Ext[μ] is NP-hard. We also show a partial converse: If μ is a directed metric of a modular lattice with an orbit-invariant directed edge-length, then 0â†'-Ext[μ] is tractable. We further provide a new NP-hardness condition characteristic of 0â†'-Ext[μ], and establish a dichotomy for the case where μ is a directed metric of a star.
  • 关键词:Minimum 0-extension problems; Directed metrics; Valued constraint satisfaction problems; Computational complexity
国家哲学社会科学文献中心版权所有