正规图

discharging

放电

Heesch)除了用计算机来试很多正规图的可约性之外还提出一套放电(discharging)理论(后文会较详细地谈到;放电只是比拟,与电学无关. )来寻找不可避图象组,总算在四色问题的研究方面打了一剂强心针. 有一次赫希在德国基尔(Kiel)大学的讨论会上谈他的方法,

weakly ergodicity

弱遍历性

正规锥:Weakly sequentially complete | 弱遍历性:weakly ergodicity | 弱泛圈图:weakly pancylic

regular left ideal

正则左理想

regular layout 有规则布局图 | regular left ideal 正则左理想 | regular lightship 正规灯船

Petri net

佩特里网

在许多学科中,各种形式的概念地图已被用来作为正规的知识表征系统,例如:人工智能中的语义网、机械和电子工程中的键合图(Bond Graph)、运筹学中的CPM图、通信学中的佩特里网(Petri net)以及数学中的类图(category graph).

reducibility

可约性

为了研究着色问题,康沛引进了可约性(reducibility)的观念. 我们举一个例子来说明. 若正规图含有一个三边区,如图十二的A. 将A缩成一点,得到新的正规图. 根据引理,任何一个正规图必含有一边区、二边区、三边区、四边区及五边区这组图象的一个成员.

code walkthrough

代码走查

●代码走查(code walkthrough) 和代码审查(code inspection) 是两种不同的代码评审方法,这两种方法的主要区别是____(14)____ . ●某一确定有限自动机(DFA) 的状态转换图如下图所示,该DFA接受的字符串集是____(28)___ ,与之等价的正规式是___(29)___ .

industrial ventilation：三下 專業必修 工業通風

三年級下學期 專業必修 作業環境控制技術 ControllingTechnology for Working Place 3 3 | 三下 專業必修 工業通風 Industrial Ventilation 2 2 | 三下 專業必修 風險評估 Risk Assessment 2 2

If I stand starry-eyed：如果我站着空想

A stranger in paradise 一个天堂中的陌生人 | If I stand starry-eyed 如果我站着空想 | That's the danger in paradise 那会是天堂中的危难