论文部分内容阅读
本文根据树的结构表达式，对于确定的顶点个数树，用计算机对每棵树给出优美标号。我们应用微型机计算机对于顶点个数Ｐ＜＝１３的每棵树，给出了优美标号。由于微型机的容量及速度有限，只能计算到顶点个数ｐ＜＝１３的情形，只局部地验证了“Ｒｏｓａ猜想”。
图论中“Rosa猜想”的计算机验证
【摘 要】
：
本文根据树的结构表达式，对于确定的顶点个数树，用计算机对每棵树给出优美标号。我们应用微型机计算机对于顶点个数Ｐ＜＝１３的每棵树，给出了优美标号。由于微型机的容量及速度有限，只能计算到顶点个数ｐ＜＝１３的情形，只局部地验证了“Ｒｏｓａ猜想”。
【机 构】
：
吉林大学,吉林省计算机技术研究所
【出 处】
：
计算机应用研究
【发表日期】
：
1996年03期
其他文献
在2003年10月12-14日湖南长沙举办的“第四届输配电技术国际会议2003”上，作为主要赞助商之一的国电南京自动化股份有限公司（以下简称国电南自）应邀出席了大会。
ZSLL1智能鉴相鉴幅漏电综合保护器是由上海上力电器有限公司开发生产的。产品是集鉴相鉴幅隔电继电器、漏电断路器、交流接触器及熔断器的功能于一体的多功能综合漏电保护器
本文介绍图形视窗式电子邮件系统Ｒ－ＭＡＩＬ的研制思想和方法。该系统在分析国内外十多种电子邮件系统的基础上进行设计，系统以ＷｉｎｄｏｗｓＮＴ作邮局服务器支持，以Ｗｉｎｄｏｗｓ作邮件客户机平台，采用客户机／服务模式，提
光盘上允许直接安装的软件另外一种安装的好方法李建华（解放军８１８９０部队指挥自动化工作站齐齐哈尔１６１０００）收稿日期：１９９７年７月２６日有些大型软件：如中文之星２．５，Ｐｗｉｎｄｏｗｓ９５等，均以文件的形式存放在光盘上的某一子目录下。安装时，可以...
ＯＯ—ＨＬＬ是我们设计的一个ＯＲＡＣＬＥＰＲＯ＊Ｃ应用软件开发工具，它以面向对象和第四代语言面向问题的非过程化方式定义用户需求，生成可嵌入ＳＱＬ语句到Ｃ程序中的ＰＲＯ＊Ｃ程序。本文介绍了ＯＯ－ＨＬＬ的基本思想、结构、工作流程、类和对象的定义方式，讨论了它的实现技术。
文章分析了ＥＳ研究开发的近况，提出了一些新的观点，旨在促进ＥＳ研究工作进一步发展。
计算机故障的急剧上升，使其成为计算机故障的主流。本文讨论了如何使用ＤＥＢＵＧ程序进行微机常见软故障的与排除，着重探讨了对系统配置类、磁盘文件类及计算机病毒等软故障的诊断、保护