论文部分内容阅读
本文得到了流图Ｇ可归约性判定的一个实用的充要条件，并给出了一个可归约性判定算法，该算法同时计算出Ｇ中各结点的必经结点集。对于不可归约流图，还可指出Ｇ中的所有向后边（ｒｅｔｒｅａｔｉｎｇｅｄｇｅｓ）。对于实际实用，其时间复杂性优于通用的计算必经结点集的算法。
流图可归约性判定的一个实用算法
【摘 要】
：
本文得到了流图Ｇ可归约性判定的一个实用的充要条件，并给出了一个可归约性判定算法，该算法同时计算出Ｇ中各结点的必经结点集。对于不可归约流图，还可指出Ｇ中的所有向后边（ｒｅｔｒｅａｔｉｎｇｅｄｇｅｓ）。对于实际
【机 构】
：
合肥工业大学微机所
【出 处】
：
合肥工业大学学报(自然科学版)
【发表日期】
：
1995年2期
其他文献
心房颤动合并急性冠脉综合征的发病率逐年增高,其治疗方案越来越受到人们的关注。由于冠脉血栓和房颤血栓的形成机制不同,因此抗栓治疗的难点在于如何平衡出血和血栓风险,以
目的：在有对照组的条件下观察欧维婷栓（雌三醇栓）治疗绝经后妇女老年性阴道炎的疗效及安全性。方法：采用随机对照分组，按病例接纳顺序随机分治疗组（欧维婷栓组）40例、对照组（倍美力阴
教师是推动教育发展的基础和动力,教育的快速发展和教育对象的复杂特性决定了特级教师教育教学工作的高度专业性和教学效果的独特性、高效性。本研究以江苏语文特级教师联盟
文章之翻译在乎信、达、雅,此严复先生在翻译实践中所得之理论。信,如实传达原文信息,可谓文字之转换。达,使译文行文流畅,译文合乎其语言之逻辑。但所谓雅,则未如前两者那样
该文拟就我国目前行政复议制度所存在的问题进行简单地梳理，结合我国的现实情况，从复议范围、复议机关及其管辖、复议程序以及行政复议与行政诉讼的衔接等几个方面提出对我国目
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正> “经济”的社会预示着“垃圾”的社会,伴随着日趋复杂化和多样化,与日俱增的生活垃圾成为当今世界各大城市在发展中所面临的共同难题。采取减量(reduce)、重复使用(reus
海图更新通常是局部要素更新、但是为了防止误操作或拓扑关系变化等原因造成未更新区域要素变化,需要对全图进行检查验收,大大降低了生产效率,同时也增加了人为出错概率。以海图未更新区域自动检测为研究对象,从局部要素更新海图的质量检查内容和特点出发,结合海图更新出版流程,提出了基于数字海图矢量数据比对的质量检查方法,设计了自动更新检测流程,实现了局部更新海图未更新区域要素数据的自动质量检查。应用实践证明,文
为了预防长时间的高温高压环境所产生的应力松弛现象,本文将传统应力松弛理论与Arrhenius理论相结合建立用于斜圈弹簧的应力松弛模型。通过在不同载荷和不同温度下的应力松弛
微课教学具有教学内容简洁、教学情境化、教学成果开放等特点,高校教师应深化认识微课建设,构建微课资源应用平台,完善学科微课教学评价标准,以实现资源共享,提高微课教学效