首页> 中文会议>2008年全国开放式分布与并行计算学术年会 >三划分问题可多项式归约为唯一可达向量Petri网可达性问题

三划分问题可多项式归约为唯一可达向量Petri网可达性问题

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了对基于唯一可达向量Pe试网(URV-PN)的密码体制进行密码分析工作,有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研究.定义了扩展的三划分问题,三划分问题是扩展的三划分问题的一种特殊情况;给出了一个一般的多项式时间复杂度算法构造扩展的三划分问题的Pem网模型;证明扩展的三划分问题有解当且仅当所构造的Petri网模型中某个标识可达;从而说明三划分问题可多项式归约为唯一可达向量Petri网系统的可达性问题,从而给出了求解唯一可达向量网系统可达性问题的一个复杂度下界.

著录项

来源
《2008年全国开放式分布与并行计算学术年会》|2008年|144-146|共3页
会议地点扬州
作者

展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类一般性问题;
关键词
Petri网; 三划分问题; 可达性; 唯一可达向量;

相似文献

中文文献
外文文献
专利

1. 三划分问题可多项式归约为唯一可达向量Petri网可达性问题 [J] . 岳昊 . 微电子学与计算机 . 2008,第10期
2. 基于Petri网的可达树与可达图的构造与算法实现 [J] . 宫蓉蓉 . 计算机与数字工程 . 2006,第001期
3. 利用可达性图判断petri网的可达性以及活性 [J] . 郭长友 ,郑文艳 ,周智刚 . 中国科技信息 . 2006,第012期
4. Petri网的可达图与可达树的比较 [J] . 周建涛 ,叶新铭 . 内蒙古大学学报：自然科学版 . 2000,第1期
5. 价格着色Petri网的最小成本可达问题 [J] . 张伟 ,刘峰 . 计算机工程 . 2009,第001期
6. Petri网模型参数化可达图研究 [C] . 宋佳兴 ,林闯 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. Petri网的改良可达树及可达性判定 [A] . 邱经华 . 2004

三划分问题可多项式归约为唯一可达向量Petri网可达性问题

摘要

著录项

相似文献

相关主题

期刊订阅