arXiv:2512.24037cs.DScs.AI2025-12中稿 · as a full paper in…被引 1

提出更快的肾交换匹配算法并证明其参数复杂性下限

Kidney Exchange: Faster Parameterized Algorithms and Tighter Lower Bounds

  • 基于患者数设计新确定性算法,时间复杂度降至约10.88^t
  • 首次证明路径宽参数下问题为W[1]-难,打破可高效求解猜想
  • 适用于需优化小规模肾交换匹配的医疗资源规划者

肾交换机制使原本不相容的患者-捐献者配对可通过循环交换肾脏。由于基础设施与法律限制,实践中仅能进行小规模循环交换。此外,存在无配对患者的慈善捐献者,可发起从其开始的路径式交换。然而,该计算任务为NP完全问题。现有最快确定性固定参数可解(FPT)算法的时间复杂度为O^∗(14^t),其中t为获得肾脏的患者数。本文改进该算法,提出运行时间为O^∗((4e)^t)≈O^∗(10.88^t)的确定性FPT算法。该问题已被证明在参数化于底层无向图的树宽时为W[1]-难。本文进一步回答了自然问题:是否可在路径宽参数下得到FPT算法?答案是否定的——我们证明该问题在路径宽参数下同样为W[1]-难。同时,本文还提供了若干参数化不可行性结果,深化了对该问题在参数化复杂性框架下的理解。

原文摘要 · Abstract (English)

The kidney exchange mechanism allows many patient-donor pairs who are otherwise incompatible with each other to come together and exchange kidneys along a cycle. However, due to infrastructure and legal constraints, kidney exchange can only be performed in small cycles in practice. In reality, there are also some altruistic donors who do not have any paired patients. This allows us to also perform kidney exchange along paths that start from some altruistic donor. Unfortunately, the computational task is NP-complete. To overcome this computational barrier, an important line of research focuses on designing faster algorithms, both exact and using the framework of parameterized complexity. The standard parameter for the kidney exchange problem is the number $t$ of patients that receive a healthy kidney. The current fastest known deterministic FPT algorithm for this problem, parameterized by $t$, is $O^\star\left(14^t\right)$. In this work, we improve this by presenting a deterministic FPT algorithm that runs in time $O^\star\left((4e)^t\right)\approx O^\star\left(10.88^t\right)$. This problem is also known to be W[1]-hard parameterized by the treewidth of the underlying undirected graph. A natural question here is whether the kidney exchange problem admits an FPT algorithm parameterized by the pathwidth of the underlying undirected graph. We answer this negatively in this paper by proving that this problem is W[1]-hard parameterized by the pathwidth of the underlying undirected graph. We also present some parameterized intractability results improving the current understanding of the problem under the framework of parameterized complexity.

肾交换参数化算法复杂性理论

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。