查询词典 directed graph

As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms.

基本图是一种描述并发交互系统的形式化方法，它具有描述简洁、清晰和直观的特点。在基本图中，进程以及进程间的交互行为，既可以用图表示方法(其中一个图对应一个进程，图之间的归约对应进程之间的交互行为)，又可以用项代数来表示。

With the popularization and application of computer-making-graph technique in all trades and professions, this new technical medium is widely used in graph of function teaching as auxiliary mathematical classroom teaching at home and abroad, as strongly advances an in-depth study in graph of function teaching.

伴随着电脑作图技术在各行业的普及与应用，国内外函数图像教学中普遍采用这一新的技术手段辅助数学课堂教学，有力的促进了函数教学向纵深阶段发展。

Let G = V(G,E be a simple graph with |V| vertices and |E| edges. Let |V|= p,|E|= q, if there exists f: V →{1,2,...,p} be an injective mapping, and define an inducedfunction f":E→{1,2,...,q} by setting f"=|f-f| for all∈E. If f maps E onto {1,2,...,q}, then f is said to be a Skolem-graceful labeling of G, the graph G is said to be a Skolem-graceful graph.

对一个给定的简单图G=V(G，E，|V|和|E|分别是图G的顶点数和边数，令|V|=p，|E|=q，如果存在一个一一映射f：V→{1，2，…，p}，使得对所有边∈E，由f′=|f-f|所导出的映射函数f′：E→{1，2，…，q}是一一对应关系，则称f是图G的一个Skolem优美标号，图G被称为Skolem优美图。

A graph G is edge reconstructible if every edge reconstruction of graph G is isomorphic to graph G.

如果图G的每个边重构图都与图G同构，则称图G是边可重构的。

And in the same paper, Rose proved that if G is a graph with q edges, then graph K_{2q+1} can be partitioned into 2q+1 graphs which are isomorphic to graph G.

Rose在文献[2]中指出了Ringel猜想的证明与优美树猜想有关，并给出了一般的结论：设G是一个q条边的优美图，那么K_2q+1可分解出2q+1个图都同构于G。

E. MCNG-ISOMAP (Minimal Connected Neighborhood Graph-based ISOMAP), which can prune effectively "shortcut" edges, existed possibly in the neighborhood graph, based on that the minimal connected neighborhood graph can avoid "shortcut" edges effectively.

该算法能在一定程度上避免邻域大小难以有效选取的问题，同时还能在不依赖于邻域大小的情况下发现数据真正的固有维数。

A free edge in a Ramsey graph of K n is defined as whatever does the edge to be colored by one of two colors respectively,the graph will keep to be a Ramsey graph of K n.

在 Ramsey图 Kn中一条自由边定义为，即使单独改变这条边的颜色，所得到的新图仍是一个二色 Ramsey图 Kn 。

To prove one edge union of k-shell graph is cordial, firstly fix the labeling of vertex of common edge(label u with 0 and v with 1), then according to the value of the graph order n module 4 to class the k shell gaphs to four cases, and to divide to small cases in every shell graph.

本文研究k-贝壳图的亲切标号时，在固定了公共边上的点的标号(对u标号0且v标号为1)之后，我们采用如下方法：首先，以每个贝壳图的顶点数对4取模的余数来分类，这样就得到了四种(来源：d1ABC论文网www.abclunwen.com)不同情况的贝壳图；然后在每个贝壳图中再分情形进行标号；最后，通过证明得到这种标号方法是满足亲切标号的定义的，从而证明了k-贝壳图的亲切性，成功的解决了Sethuramam和Selvaraju猜想，证明了其正确性。

This paper explained the function and the structure of graph symbolism in details, and proposed the special significance of the culture to the graph mark , it has proven the characteristic that the graph mark and the cultural is paragenesis altogether ,through the concrete socialphenomenon.

本文详细解读了图形符号系统的功能和结构，由此提出了文化之于图形符号的特殊意义，并通过具体的社会现象论证图形符号与文化的共生共融的特性。

By using the graph-theoretic method, the completion problems for a partial inverse Mmatrix with any order are discussed when its corresponding graph of the partial inverse M-matrix is a 2-chordal graph .

本文采用图论的方法对任意阶部分逆M矩阵，当其对应的图为2-弦图时，研究了其逆M矩阵的完备问题。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。