|
|
|
| 词汇列表 |
| 翻译词汇 |
|
最右派生 rightmost derivation
|
|
|
|
最右派生 rightmost derivation
道 track
输入字母表 input alphabet
输入带 input tape
输入符号 input symbol
输出字母表 output alphabet
输出带 output tape
端记号 endmarker
瞬时描述 instantaneous description
0 型文法 0-type grammar
1 型文法 1-type grammar
2 型文法 2-type grammar
3 型文法 3-type grammar
乔姆斯基范式 Chomsky normal form
乔姆斯基谱系 Chomsky hierarchy
CYK算法 CYK algorithm
格雷巴赫范式 Greibach normal form
克林闭包 Kleene closure
LR(0)文法 LR(0) grammar
LR(k)文法 LR(k) grammar
米利机[器] Mealy machine
摩尔机[器] Moore machine
复杂性 complexity
计算复杂性 computation complexity
公理复杂性 axiomatic complexity
科尔莫戈罗夫复杂性 Kolmogrov complexity
复杂性类 complexity class
可满足性问题 satisfiability problem
3元可满足性 three-satisfiability
哈密顿回路问题 Hamilton circuit problem
团集覆盖问题 clique cover problem
并定理 union theorem
加速定理 speed-up theorem
旅行商问题 traveling salesman problem
间隙 gap
间隙定理 gap theorem
完全集 complete set
标签集 tally set
禁集 immune set
度 degree
稀疏集 sparse set
度量 measure
指数时间 exponential time
多项式空间 polynomial space
多项式时间 polynomial time
时间有界图灵机 time-bounded Turing machine
时间复杂性 time complexity
时间复杂度 time complexity
时间谱系 time hierarchy
空间有界图灵机 space-bounded Turing machine
空间复杂性 space complexity
空间复杂度 space complexity
空间谱系 space hierarchy
非确定计算 non-deterministic computation
非确定时间复杂性 non-deterministic time complexity
非确定时间谱系 non-deterministic time hierarchy
非确定空间复杂性 non-deterministic space complexity
线性加速定理 linear speed-up theorem
恰当覆盖问题 exact cover problem
难解型问题 intractable problem
离线图灵机 off-line Turing machine
真值表归约 truth-table reduction
调度问题 scheduling problem
着色数目问题 chromatic number problem
强连通问题 strong connectivity problem
整数线性规划 integer linear programming
谕示 oracle
谕示机 oracle machine
P完全问题 P-complete problem
可归约性 reducibility
多一可归性 many-one reducibility
图灵可归约性 Turing reducibility
纯正可归约性 honest reducibility
真值表可归约性 truth-table reducibility
库克可归约性 Cook reducibility
卡普可归约性 Karp reducibility
并行计算论题 parallel computation thesis
多项式可归约[的] polynomial reducible
多项式可转换[的] polynomial transformable
多项式有界[的] polynomial-bounded
多项式时间归约 polynomial time reduction
多项式对数时间 polylog time
多项式对数深度 polylog depth
多项式谱系 polynomial hierarchy
性能保证 performance guarantee
性能比 performance ratio
伪多项式变换 pseudo polynomial transformation
相对化 relativization
语言识别 language recognition
NP完全问题 NP-complete problem
NP困难问题 NP-hard problem
邻接表结构 adjacency list structure
邻接矩阵 adjacency matrix
邻接关系 adjacency relation
先辈 ancestor
近似算法 approximation algorithm
关节点 articulation point
平均性态分析 average-behavior analysis
回边 back edge
性态 behavior
双分支 bicomponent
双连通分支 biconnected components
双连通性 biconnectivity
双连通度 biconnectivity
装箱问题 bin packing
二分插入 binary insertion
二路归并 binary merge
二元关系 binary relation
二分搜索 binary search
二叉树 binary tree
穿线二叉树 tread binary tree
边界条件 boundary condition
广度优先搜索 breadth-first search
冒泡排序 bubble sort
桶排序 bucket sort
二叉排序树 binary sort tree
二叉查找树 binary search tree
二分图 bipartite graph
检索树 trie tree
随机存取机器 random access machine
最优归并树 optimal merge tree
分治[法] divide and conquer
贪心[法] greedy
动态规划[法] dynamic programming
回溯[法] backtracking
分支限界[法] branch and bound
概率算法 probabilistic algorithm
哈密顿回路 Hamilton circuit
哈密顿路径 Hamilton path
欧拉回路 Euler circuit
欧拉路径 Euler path
遗传规划算法 genetic programming algorithm
着色数 chromatic number
算法类 class of algorithms
团集 clique
闭合式 closed form
比较-交换 compare-exchange
完全二叉树 complete binary tree
完全图 complete graph
凝聚 condensation
连通性 connectivity
强连通图 strongly connected graph
弱连通图 weakly connected graph
连通分支 connected components
算法正确性 correctness of algorithm
横跨边 cross edge
割点 cutpoint
回路 cycle
子孙 descendant
有向图 digraph, directed graph
加权图 weighted graph
定义域 domain
边覆盖 edge cover
八皇后问题 eight queens problem
交换排序 exchange sort
外路长度 external path length
外排序 external sorting
递归算法 recursive algorithm
可行解 feasible solution
反馈边集合 feedback edge set
图的着色 graph coloring
停机问题 halting problem
堆 heap
堆排序 heap sort
原地 in-place
关联 incident
输入规模 input size
插入排序 insertion sort
内排序 internal sort
k连通度 k-connectivity
KMP算法 KMP algorithm
背包问题 knapsack problem
链表 linked list
循环链表 circular linked list
双向链表 doubly linked list
简单链表 simply linked list
表头 list head
归并 merge
归并插入 merge insertion
最小生成树 minimal spanning tree
最小回路 minimal tour
最优性 optimality
划分-交换排序 partition-exchange sort
路径 path
排列 permutation
平面性 planarity
前序 preorder
优先队列 priority queue
快速排序 quicksort
基数排序 radix sorting
可达性 reachability
可达性关系 reachability relation
递推关系 recurrence relation
替代选择 replacement selection
顺串 run
虚顺串 dummy run
锦标赛算法 tournament algorithm
顺序搜索 sequential search
谢尔排序 Shell sort
最短路径 shortest path
汇点 sink
空间需要[量] space requirement
占用空间 space usage
时空权衡 space versus time trade-offs
生成树 spanning tree
稳定的排序算法 stable sorting algorithm
[字符]串匹配 string matching
强连通分支 strongly connected components
子图 subgraph
子集覆盖 subset cover
传递闭包 transitive closure
传递性 transitivity
图的遍历 traversal of graphs
树 tree
三连通分支 triconnected component
顶点覆盖 vertex cover
最坏情况分析 worst case analysis
并行算法 parallel algorithm
树网[格] mesh of trees
正交树 orthogonal tree
树连接结构 tree-connected structure
金字塔结构 pyramid structure
超立方体 hypercube
立方连接结构 cube-connected structure
q维网格 q-dimensional lattice
立方[连接]环 cube-connected cycles
混洗交换 shuffle-exchange
蝶形[结构] butterfly
比较器网络 comparator network
同步算法 synchronized algorithm
异步算法 asynchronous algorithm
分布式算法 distributed algorithm
VLSI并行算法 VLSI parallel algorithm
“VLSI”意为“超大规模集成电路”。
概率并行算法 probabilistic parallel algorithm
并行排序算法 parallel sorting algorithm
并行选择算法 parallel selection algorithm
并行外排序 parallel external sorting
分布式选择算法 distributed selection algorithm
分布式定序算法 distributed ranking algorithm
分布式排序算法 distributed sorting algorithm
选择网络 selection network
排序网络 sorting network
流水线算法 pipelining algorithm
划分算法 partitioning algorithm
松弛算法 relaxed algorithm
最优并行算法 optimal parallel algorithm
异步并行算法 asynchronous parallel algorithm
并行图论算法 parallel graph algorithm
同步并行算法 synchronized parallel algorithm
宏流水线算法 macropipelining algorithm
脉动算法 systolic algorithm
预调度算法 prescheduled algorithm
自调度算法 self-scheduled algorithm
路径折叠技术 path doubling technique
迭代改进 iterate improvement
树压缩技术 tree contraction technique
零知识 zero-knowledge
零知识证明 zero-knowledge proof
完美零知识证明 perfect zero-knowledge proof
零知识交互式证明系统 zero-knowledge interactive proof system
随机归约[性] random reducibility
平均归约[性] average reducibility
随机自归约[性] random self-reducibility
交互式协议 interactive protocol
交互式证明协议 interactive proof protocol
证明者 prover
验证者 verifier
加密协议 cryptographic protocol
位提交 bit commitment
模拟者 simulator
证据 witness
知识交互式证明系统 knowledge interactive proof system
语言成员证明系统 language membership proof system
完全性 completeness
知识提取器 knowledge extractor
安全识别 secure identification
平方剩余 quadratic residue
图同构 graph isomorphism
离散对数 discrete logarithm
身份验证 identification
报文加密 message passwording
交互式论证 interactive argument
完美零知识 perfect zero-knowledge
交互式证明 interactive proof
计算零知识 computational zero-knowledge
统计零知识 statistic zero-knowledge
量化知识复杂度 quantify knowledge complexity
零知识交互式论证 zero-knowledge interactive argument
验证算法 verification algorithm
签名模式 signature scheme
签名算法 signature algorithm
证明 proof
伪造算法证明 proof of forgery algorithm
知识证明 knowledge proof
协议失败 protocol failure
平方非剩余 quadratic non-residue
平方剩余交互式证明系统 quadratic residues interactive proof system
伪造算法 forging algorithm
图同构的交互式证明系统 graph isomorphism interactive proof system
图的非同构 graph non-isomorphism
模糊集 fuzzy set
佩特里网 Petri net
网 net
无向网 indirected net
出现网 occurrence net
基网 underlying net
纯网 pure net
逆网 reverse net
对偶网 dual net
简单网 simple net
连通网 connected net
公平网 fair net
安全网 safe net
有界网 bounded net
K有界网 K-bounded net
自由选择网 free choice net
有限网 finite net
无限网 infinite net
关系网 relation net
加标图 marked graph
子网 subnet
外延网 extension net
非对称选择网 asymmetric choice net
网元 net element
位置 place
变迁 transition
事件 event
流关系 flow relation
多重集 multiset
多重关系 multirelation
|
|
|
|
|
|
|
| 发表评论 好友推荐 |
|
|
|
|
|
|
|
