期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
非确定有限自动机的最短D1-同步字求解 被引量:1
1
作者 朱凯 毋国庆 +1 位作者 袁梦霆 杨磊 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2021年第2期68-73,共6页
研究了非确定有限自动机的最短D1-同步字的计算问题。针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP。利用均匀分布模型随机生成大量的非确定的... 研究了非确定有限自动机的最短D1-同步字的计算问题。针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP。利用均匀分布模型随机生成大量的非确定的有限自动机进行实验,结果表明:在定长的参数下几乎所有随机产生的自动机实例都不是D1-可同步的,一旦将自动机上每个状态和字母的变迁函数的像数量限制在2以内,会出现少量的D1-可同步的自动机,且绝大多数最短同步字长不超过状态数的2倍。 展开更多
关键词 非确定有限自动机 同步字 固定参数易解的归约 可满足问题 参数化复杂性 参数化算法
原文传递
An Overview of Kernelization Algorithms for Graph Modification Problems
2
作者 Yunlong Liu Jianxin Wang Jiong Guo 《Tsinghua Science and Technology》 SCIE EI CAS 2014年第4期346-357,共12页
Kernelization algorithms for graph modification problems are important ingredients in parameterized computation theory. In this paper, we survey the kernelization algorithms for four types of graph modification proble... Kernelization algorithms for graph modification problems are important ingredients in parameterized computation theory. In this paper, we survey the kernelization algorithms for four types of graph modification problems, which include vertex deletion problems, edge editing problems, edge deletion problems, and edge completion problems. For each type of problem, we outline typical examples together with recent results, analyze the main techniques, and provide some suggestions for future research in this field. 展开更多
关键词 graph modification problem fixed-parameter tractable kernelization algorithm
原文传递
Parameterized Algorithmics for Computational Social Choice:Nine Research Challenges
3
作者 Robert Bredereck Jiehua Chen +3 位作者 Piotr Faliszewski Jiong Guo Rolf Niedermeier Gerhard J.Woeginger 《Tsinghua Science and Technology》 SCIE EI CAS 2014年第4期358-373,共16页
Computational Social Choice is an interdisciplinary research area involving Economics, Political Science,and Social Science on the one side, and Mathematics and Computer Science(including Artificial Intelligence and ... Computational Social Choice is an interdisciplinary research area involving Economics, Political Science,and Social Science on the one side, and Mathematics and Computer Science(including Artificial Intelligence and Multiagent Systems) on the other side. Typical computational problems studied in this field include the vulnerability of voting procedures against attacks, or preference aggregation in multi-agent systems. Parameterized Algorithmics is a subfield of Theoretical Computer Science seeking to exploit meaningful problem-specific parameters in order to identify tractable special cases of in general computationally hard problems. In this paper, we propose nine of our favorite research challenges concerning the parameterized complexity of problems appearing in this context. This work is dedicated to Jianer Chen, one of the strongest problem solvers in the history of parameterized algorithmics,on the occasion of his 60 th birthday. 展开更多
关键词 NP-hard problems parameterized complexity fixed-parameter tractability kernelization exact algorithms voting decision making cake cutting
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部