论文部分内容阅读
当一些数学家热衷于用电子计算机证明数学猜想的时候,美国休斯敦大学的西米恩·法耶特洛维茨(siemion Fajtlowicz)却反其道而行之——他设计了一个称为Graffiti的计算机程序,用以产生图论方面的数学猜想。Graffti主要是产生关于图的不变量的猜想。所谓图的不变量,
用计算机产生图论猜想
【摘 要】
：
当一些数学家热衷于用电子计算机证明数学猜想的时候,美国休斯敦大学的西米恩·法耶特洛维茨(siemion Fajtlowicz)却反其道而行之——他设计了一个称为Graffiti的计算机
【出 处】
：
自然杂志
【发表日期】
：
1991年5期
其他文献
随着我国建筑业的不断发展,高层建筑已经成为我国居民住宅的重要形式,在城市建设中占据十分重要的地位。我国城市化进程的加快,人口的不断激增,有限的城市住宅面积显然已经不
盐在人民生活和工业生产中是一种必不可少的物质。从盐资源中回收能,在目前技术水平下尚有一定困难,但是,一旦煤,石油等化石燃料告罄,盐度能便将以其独特的优势,发挥出它巨大
运用地球物探方法对煤田采空区进行勘探,能够有效地勘测出目标开采煤田区的地下地质情况是否存在采空区。文章对地球物探方法进行了简要的介绍,针对煤田采空区的现状提出了地
曹珍富在[1]中对我们建立的一类丢番图型公钥密码体制——DF公钥密码体制提出了一种破译方法,这种方法实际不能成立。DF公钥密码的构造如下。(1)选两个101位以上的大素数p、q
一、电子签名法的立法背景 电子签名法是以规范作为电子商务(也包括电子政务)信息载体的数据电文和当事人在数据电文上以电子数据形式“签名”为主要内容的法律制度。以计算
著名的诺贝尔物理学奖于1901年首次颁发至今恰好有90年的历史。在这90年间,除1916年因第一次世界大战,1931年和1934年因世界经济大萧条,以及1940年～1942年因第二次世界大战未
验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘
1970年,Johnson等发现,在仙台病毒的作用下,分裂期与间期的HeLa细胞发生融合,在间期细胞中出现了一种熟前凝集的染色体(prematurely condensed chromosome,PCC)。
1991年4月28日，香港船束杜甲出具委托害载明，杜甲委托蘖XX给固毅针雨艘铜蜇拖绸渔船，同意蘖XX的提藩，由深圳船舶工柴贸易公司(筒稻深圳船舶公司)承造及在x船廒建造，毅针费包括在造