有向拟阵和横截

讨论有向拟阵的横截理论,给出了Rado-Hall定理、Edmonds-Fulkerson定理的有向情形,从而部分地回答了[1]中的两个问题。

一种基于Neo4j图数据库的模糊查询研究与实现

在数据库中进行查询时,数据库无法对形如"高的"、"很近"这种不精确的表达进行处理,关系数据库对于这方面的研究已经提出了很多方法,但是数据量呈指数级增长,关系数据库已经无法对这样庞大的数据量进行存储和处理。Neo4j图数据库不需要在表中存储结构化的数据,而是只需要将所有的节点通过关系连接起来,以网络的形式存储,将所有的节点通过关系形成一个很大的图,这样对数据节点和关系进行增删以及查找就非常容易。针对以上不足,提出一种使用Neo4j图数据库进行模糊查询扩展的方法。该方法通过添加一种领域特定语言对Neo4j图数据库的查询语言Cypher进行扩展,主要是基于图中节点的属性,对Cypher查询语言的WHERE子句进行扩展,通过隶属函数以及α截集相关知识,对不精确的查询条件进行去模糊化,并且将它们转换成精确的结果区间,然后通过这个确定的结果区间在数据库中进行查询,得到了所需的结果。最后设计了一个可以在Neo4j图数据库进行模糊查询的系统,并验证了该系统的可行性以及有效性。

信号码的一个性质

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。

极大前缀码的一个性质

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了极大前缀码的一个性质。

信号码的刻划及性质

设X*是字母表X上的自由幺半群,引入语言图Γ(X*)的共同横截集概念.利用语言图Γ(X*)的横截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A为语言图Γ(X*)的横截集,给出了信号码的一些刻划和性质.

极大前缀码的部分幂

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了极大前缀码的一些性质,给出了极大前缀码的部分幂的一些性质,并推广了相关文献的结果。

信号码的一个刻划

设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了信号码的一个刻划。

极大前缀码的刻划

设X*是字母表X上的自由幺半群,本文通过以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了极大前缀码的一个刻划.同时,证明了满足含有X中字母且长度有限的极大前缀码必是极大码.

前缀码的嵌入定理

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了前缀码嵌入到极大前缀码的一个构造.

关于极大前缀码的刻划的一个注记

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了前缀码为极大前缀码的一个刻划,并推广了相关文献的结果.

极大前缀码的一些刻划

设X~＊是字母表X上的自由幺半群,以X~＊为顶点集构造一个语言图Г（X~＊）,引入语言图Г（X~＊）的横截集的概念,给出了极大前缀码的一些刻划.

Kraft不等式的改进

首次引入前缀码的拟特征和序列的概念,给出了前缀码为极大前缀码的一些刻划,并对著名的Kraft不等式作了改进.