如何在python中打印树形结构的Trie？
在Python中打印树形结构的Trie可以通过递归的方式实现。Trie，也称为字典树或前缀树，是一种用于高效存储和搜索字符串的数据结构。
下面是一个示例代码，展示如何在Python中打印树形结构的Trie：
class TrieNode:
def __init__(self):
self.children = {}
self.is_end_of_word = False
def insert(root, word):
node = root
for char in word:
if char not in node.children:
node.children[char] = TrieNode()
node = node.children[char]
node.is_end_of_word = True
def print_trie(node, prefix):
if node.is_end_of_word:
print(prefix)
for char, child in node.children.items():
print_trie(child, prefix + char)
# 创建一个空的Trie树
root = TrieNode()
# 插入一些单词
insert(root, "apple")
insert(root, "banana")
insert(root, "application")
insert(root, "book")
# 打印树形结构的Trie
print_trie(root, "")这段代码首先定义了一个TrieNode类，表示Trie树的节点。每个节点包含一个字典children，用于存储子节点，以及一个布尔值is_end_of_word，表示该节点是否是一个单词的结尾。
接下来，insert函数用于向Trie树中插入单词。它从根节点开始遍历单词的每个字符，如果字符不存在于当前节点的子节点中，则创建一个新的子节点。最后，将最后一个字符所对应的节点标记为单词的结尾。
最后，print_trie函数用于打印树形结构的Trie。它使用递归的方式遍历Trie树，并打印每个节点的字符。当遍历到一个单词的结尾时，打印当前的前缀。
以上代码可以在Python中实现打印树形结构的Trie。对于更复杂的Trie操作，可以使用Trie相关的库或者自行扩展代码。
相关·内容
2回答
如何在散列对象中获取键
、、、、
hash = {
"d" => {
"o" => {
"g" => {
"s" => {}
},
"l" => {
"l" => {}
},
"o" => {
"m" => {}
}
}
},
"b" => {
"o"=>{
浏览 2提问于2014-12-07得票数 0
回答已采纳
我已经阅读了python中trie的以下实现：
并试着为它做移除功能。基本上，我甚至在开始的时候都有问题:如果你想从trie中删除一个单词，它可以有子“单词”，也可以是另一个单词的“子单词”。
如果你用"del dictkey“删除，你也就删除了上面提到的这两种单词。有人能在这方面帮助我吗?如何正确地删除所选的单词(假设它在trie中)
浏览 2提问于2013-03-30得票数 1
回答已采纳
这篇博客文章()包含了在Haskell和Python语言中自动完成的实现，以比较这两种编程语言的可读性。
我很想知道如何在Clojure中实现同样的功能。Clojure代码会因为其更强的抽象能力而变得更具可读性吗？
浏览 0提问于2012-02-27得票数 2
回答已采纳
2回答
对于以下trie数据结构的实现，我有两个疑问。
怀疑1:
我很难理解trie中的插入函数。这是插入word函数：
def add(self, word):
cur = self.head
for ch in word:
if ch not in cur:
cur[ch] = {}
cur = cur[ch]
# * denotes the Trie has this word as item
# if * doesn't exist, Trie doesn't have this word
浏览 3提问于2019-12-17得票数 2
回答已采纳
5回答
我有一个trie实现，我想把trie打印出来，这样我就可以看到里面有什么。最好是在深度优先遍历中，这样单词才有实际意义。下面是我的代码：
package trie;
public class Trie {
public TrieNode root;
public Trie(){
root = new TrieNode();
}
/*
public Trie(char c){
TrieNode t = new TrieNode(c);
root = t;
}*/
public void
浏览 0提问于2012-07-29得票数 2
3回答
我收到了一个关于struct元素的错误。
struct trie {
char ch;
bool isEnd;
struct trie arr[4];
struct trie *next;
};
错误：
error: field ‘arr’ has incomplete type
浏览 4提问于2013-12-07得票数 0
回答已采纳
3回答
设计牛津英语词典
、、
在一次面试中，我被问到如何设计“牛津英语词典”。
我告诉他我将使用树形数据结构，但他回答说这将占用大量内存。那么应该使用哪种其他数据结构呢？
浏览 0提问于2011-12-10得票数 6
回答已采纳
3回答
我一直在尝试快速找到一个好方法，但我不确定什么是最优的，我希望你们中一些更有经验的开发人员可以通过你们的数据结构知识提供帮助:-)
基本上，我有一个路径列表(例如，C：\inetpub\，C:\www\websites\vhosts\somesite.com\，D:\www-mirror\websites\vhosts\somesite.co.uk)，我必须检查我正在处理的当前文件(比如C:\inetpub\wwwroot\styles\style.css)是否存在于预先配置的路径列表中。
所以我最初的想法是对我的项目列表进行有趣的操作，然后做一个CurrentFilename.StartsW
浏览 6提问于2010-01-26得票数 2
回答已采纳
3回答
我想在我的swing中将html显示为树形视图，类似于firebug。寻找社区的帮助来实现这一点。找到了类似的东西(不完全是) 。但我不能继续使用链接中的信息。
浏览 1提问于2011-10-21得票数 1
回答已采纳
因此，在Rust中，我可以使用枚举定义递归类型，如下所示： enum Trie {
Child(HashMap<char, Box<Trie>>)
} 然而，考虑到这个枚举只有一个成员，这有点冗长。 我可以知道如何使它更简单吗？假设像这样使用类型别名？ // This code does not compile in rustc 1.55.0
type Trie = HashMap<char, Box<Trie>>;
浏览 11提问于2021-10-30得票数 0
回答已采纳
2回答
我正在使用python开发一个类似字典的应用程序。在我的代码中，有一个由排序后的字符串集组成的列表。当用户给出一些文本时，我希望获得以给定字符串开头的所有字符串。换句话说，我只是想在用户输入的时候给出一些建议。
例如:如果用户输入单词"sub"，我想从列表中获取从子字符串"sub“开始的所有字符串。
有人能给我一个算法来做这件事吗？谢谢大家。
浏览 6提问于2012-03-21得票数 0
回答已采纳
1回答
我需要在jsp页面中的树视图，在它的帮助下，用户可以选择多个树节点，然后单击提交按钮，其中的操作将被执行。但是我不能在jsp中嵌入树形视图，因为我不知道如何将它嵌入到jsp页面中。我已经在jFrame中使用树视图，我想在jsp中使用与节点选择类似的功能，所以请帮助我如何做到这一点。我所做的jTree图像如下所示，并希望类似于我的jsp页面。
浏览 1提问于2016-05-05得票数 0
3回答
我有一张10万字的单子。如果我读到的单词存在于这个已知的单词列表中，我希望能够非常有效地搜索。在用Python实现时，我可以在Trie或Set中以哪种数据结构搜索得更快？
浏览 9提问于2020-09-16得票数 0
有没有CPAN模块可以读取这样的字符串：
"[[<asdf>, <foo>], (abc, def, ghi), ({'jkl'})]"
...and将其解析成某种易于遍历和美观打印的树形结构？
浏览 0提问于2008-12-09得票数 6
我有一个结构化的foo。声明foo*类型的成员是有效的：
typedef struct foo
{
struct foo* children[26];
} foo;
但是，如果我试图声明一个类型为foo的成员，就会得到一个错误：
typedef struct foo
{
struct foo children[26];
} foo;
这个声明给了我错误
“struct”的定义直到结束“}”才能完成。
浏览 5提问于2014-04-05得票数 2
回答已采纳
2回答
.net中水平树视图控件
、、、
我正在寻找一个水平树形视图控件，它以以下方式创建节点-
|_______|
|
_______________________
| |
|_______| |_______|
浏览 1提问于2010-08-31得票数 1
回答已采纳
2回答
我希望能够为python源代码生成一个解析树。这段代码不必是可编译的，例如
if x == 5:
应该变成某种树形表示。我可以使用Python编译器包来创建树，但这只适用于可编译的代码，例如
if x == 5: print True
浏览 1提问于2016-05-04得票数 3
我正在尝试从单词列表中创建一个trie，["Patrick",'Pete','Peter']。
为什么下面的代码是return {}？以及如何在建造后打印trie本身？
def trieSetUpForWords(words):
trie = {}
for word in range(len(words)):
currentWord = words[word]
for char in range(len(currentWord)):
currentLetter = curre
浏览 6提问于2022-01-01得票数 0
回答已采纳
1回答
我的理解是，类似于的算法适用于迭代序列，也就是说，对于任何x，succ(x) = x0。
我想实现一个算法，它可以检测确定性和非确定性无限重复序列中的循环。
序列可以具有非重复前缀子序列，例如在序列1666666...中具有前缀1和重复模式6。
该算法将返回序列中最长的重复模式。001100110011...的重复模式为0011，22583575837583758...的重复模式为58357。
我的想法是从那里开始猜测最长的模式长度，但我不能把事情搞清楚。
浏览 1提问于2015-09-07得票数 2
回答已采纳
我是个新手，不擅长用C编程，因为我刚开始学。请对我耐心一点。我目前正在尝试解决这个难题：。在网站中，您可以单击标记为“测试用例”的框上带有三个点符号的三行来查看测试用例，然后单击每个测试用例以查看左侧框中的字母和数字网格，然后在右侧框中查看预期输出。
我知道我必须做什么，那就是在字母网格中水平，垂直，对角线上搜索，反之亦然，去掉数字，不要打印重复的字母，把其余的字母组合起来，打印出来，作为预期的输出。
除了标题中描述的最重要的部分之外，我知道如何编写其他部分。我不知道如何检查字母的水平，垂直，对角线，以及它们的反转，因为测试用例有不同的列数和行数。我想我应该使用数组，但我真的不擅长写数组代码。
浏览 0提问于2021-01-25得票数 1
3回答
我需要打印所有独特的子字符串。因此，我构建了一个trie，但无法知道如何打印所有的子字符串。例如，如果输入是aab和aac，那么我希望它打印"a", "aa", "aab", "aac", "ab", "ac", "b", "c"。
本质上，我需要找出一种方法，从一组字符串中获得一个独特的子字符串。我认为trie是个好方法，因为构建trie需要O(n)
下面是我构建一个trie的代码。
#include <string>
#include <iost
浏览 4提问于2012-01-18得票数 3
回答已采纳
1回答
我遇到过这样的情况：
搜索引擎存储的核心信息是字典，称为倒排索引或倒排文件，存储键值对( w，L)，其中w是单词，L是包含单词w的页面集合，词典中的键(词)称为索引术语，应该是一组尽可能大的词汇条目和专有名词。本词典中的元素称为出现列表，应该覆盖尽可能多的Web页面。
我们可以有效地实现由以下数据结构组成的倒排索引：
存储术语的出现列表的数组(没有特定的顺序)。A压缩了索引项集的trie，其中每个叶存储关联项的出现列表的索引。在trie之外存储事件列表的原因是为了将trie数据结构的大小保持足够小，以适应内部内存。相反，由于它们的总大小很大，出现列表必须存储在磁盘上.。
我也不明白。如果使用
浏览 1提问于2020-02-15得票数 0
假设我有一个包含嵌套值的大型字典，如下所示：
large_dic ={
...
"key":{"sub-key1" :{"sub-key2": "Test"}},
"0key":{"0sub-key1": "0Test"},
"1key":{"1sub-key1":{"1sub-key2":{"1sub-key3":"1Test"}}}
...
}
例如，我想要做的是能够从最后的值中得到：
"1T
浏览 6提问于2022-10-18得票数 0
回答已采纳
2回答
我有一行字符串：
"specificationsinaccordancewithqualityaccreditedstandards"
它需要被拆分成标记化的单词，例如：
"specifications in accordance with quality accredited standards"
我试过nltk的word_tokenize，但它无法转换，
Context：我正在将一个PDF文档解析为文本文件，这是我从pdf转换器中得到的文本，用于将pdf转换成使用PDFminer in Python的文本。
浏览 3提问于2017-09-05得票数 3
回答已采纳
2回答
我有一个定义如下的TrieNode类：
class TrieNode {
public:
map<char, TrieNode*> children;
bool isLeaf = false; // if node represents end of word
int wordCount = 0; // How many times the word appears
TrieNode();
};
我正在尝试打印trie中的所有单词(最好是按字母顺序，尽管我可以在这一点上满足于任何东西)。我一直在尝试实现一个递归解决方案，但是我还没能有一个好的开始。
浏览 0提问于2017-04-08得票数 1
在我的Lucene索引(v7.2)中创建文档时，我向其中添加一个uid字段，其中包含唯一的id/key (字符串)：
doc.add(new StringField("uid",uid,Field.Store.YES))
为了稍后检索该文档，我为给定的唯一id创建了一个TermQuery，并使用一个IndexSearcher搜索它：
searcher.search(new TermQuery(new Term("uid",uid)),1)
作为一名Lucene“新手”，我想知道以下几点：
如何改进这种方法以获得最佳的查找性能?例如，如果我将唯一的id存储为字
浏览 6提问于2018-01-01得票数 6
回答已采纳
2回答
我目前正在进行一个项目，在这个项目中，我需要打印出与给定前缀匹配的trie中的单词，这个前缀是由用户使用字符串向量打印出的。然而，我在开始这方面有困难，并希望任何建议，你们可以给我。
这就是我的意思
trie { app，address，add，beg，cow，address }前缀中的单词使用向量打印出包含前缀ad: address的单词
非常感谢您提供的任何帮助。
浏览 0提问于2019-04-08得票数 1
回答已采纳
2回答
快速筛选列表
、、
每个人都熟悉这个功能。如果打开outlook通讯簿并开始键入姓名，搜索框下面的列表将立即筛选为只包含与您的查询匹配的项目。当你浏览类型时，.NET反射器也有类似的功能...你开始输入，不管你浏览的底层程序集有多大，它几乎是瞬间完成的。
我一直在想这里的秘方是什么。怎么会这么快呢？我想，如果数据存在于内存中，或者如果它们需要从一些外部源(即，DB、搜索某些文件等)。
我不确定这是否相关，但如果有资源，我特别感兴趣的是如何使用WinForms实现这一点……但如果您了解一般资源，我也会对这些资源感兴趣:-)
浏览 2提问于2008-11-20得票数 1
回答已采纳
3回答
获取前缀数量最多的字符串
、、、、
我有一个字符串列表，例如：
py
python
co
comp
computer
我只想得到一个字符串，它包含尽可能多的前缀。结果应该是'computer‘，因为它的前缀是'co’和'comp‘(2个前缀)。
我有这样的代码(单词列表是一个字典)：
for i in wordlist:
word = str(i)
for j in wordlist:
if word.startswith(j):
wordlist[i] += 1
result = max(wordlist, key=wordlist.get)
有没
浏览 0提问于2017-02-14得票数 0
2回答
您将得到一个没有任何空格的字符串示例“I困扰学生”。您将得到一个预定义的字典函数，该函数验证给定的单词是否存在于字典中。使用此函数，您必须在字符串中插入空格，然后将其打印为“我是学生”。
这是我的面试问题，并告诉我在c++中也解决了，我用动态规划来解决，但他不满意我给出的解决办法与下面的问题相同。
他让我用、trie、或后缀数组来做这件事，但我想不出有谁能帮我解决这个问题
浏览 3提问于2013-07-21得票数 1
我理解这些树是如何分开工作的，但我无法想象如何将它放在一个结构中。
从伊瑟姆的维基：
each中的所有大量数据都存储在一个名为Patricia Merkle树的数据结构中，这种树结构中的每个节点都是其子节点的散列。每组键/值对映射到唯一的根哈希，只需要一小部分节点就可以证明特定的键/值组合在对应于特定根哈希的树中。
此外，检查这图时，无法看到每个节点都是它的childs的散列。
从正式规格，不能理解下面的部分。在当前示例中，<>是什么意思？
<64 6f> : 'verb'
<64 6f 67> : 'puppy'
<6
浏览 0提问于2018-04-09得票数 2
4回答
我远程地记得，尝试并不存储每个节点的全部数据，只存储父节点的后缀。
其中树确实存储了整个数据，但仅根据前缀进行组织。
因此尝试变得更小，这使得例如可以很好地压缩字典。
这真的是唯一的区别吗？
从实际应用程序中，我记得在范围查询中尝试的速度更快。甚至还有特殊的solr/lucene trie字段来加速范围查询。但这是怎么回事呢？
the和tree的实际区别是什么，它们的优缺点是什么？
浏览 0提问于2011-01-20得票数 65
回答已采纳
8回答
因此，如果我必须在哈希表或前缀树之间进行选择，那么导致我选择一个而不是另一个的判别因素是什么。从我自己天真的观点来看，使用trie似乎有一些额外的开销，因为它不是作为数组存储的，但是在运行时(假设最长的键是最长的英文单词)，它基本上可以是O(1) (相对于上界)。也许最长的英语单词是50个字符？
哈希表一旦得到索引就会立即查找。然而，用哈希键来获得指数似乎很容易就能完成近50步。
有人能给我提供一个更有经验的视角吗？谢谢!
浏览 19提问于2008-10-29得票数 164
回答已采纳
嗨，我是C++的初学者，试图实现基本的trie结构.Someone，请帮助。任何反馈都是受欢迎的。我得到一个运行时错误
Line 15: Char 25: error: no member named 'children' in 'Trie'
if(present->children[word[i]-'a']==NULL)
在过去的两天里，我一直试图解决这个问题。还是不知道。
class Trie {
public:
/** Initialize your data structure here
浏览 3提问于2021-05-15得票数 0
回答已采纳
当前代码是数据结构在C++中的实现。
对我来说，在内存中，Trie包含两个项，一个指向尝试表的指针和一个bool。
问题是单个字符存储在内存中的位置。如果node包含node*和bool
class Trie {
public:
bool isLeaf;
Trie* character[CHAR_SIZE];
//contructor
Trie() {
this->isLeaf = false;
for (int i = 0; i < CHAR_SIZ
浏览 11提问于2022-03-18得票数 -1
1回答
我正在尝试使用Mozilla Deepspeech转录(语音到文本)，使用Python子进程中的以下代码来执行此命令此命令在终端中工作，也在Python子进程中执行，并且没有错误，但当result.txt生成时，它是空的。 #!C:\Program Files\Python36\python.exe
print("Content-type: text/html\n")
import subprocess,os,sys
with open("C:/result.txt", mode="wb") as fd:
subprocess.run([&#
浏览 75提问于2021-10-31得票数 0
我在Haskell中定义了以下抽象数据类型：
data Trie = Leaf
| Node [(Char, Trie)]
deriving (Eq)
Node类型是元素(c, t)的列表，其中c是从当前节点到t的边缘的标签。
现在我要打印出树的邻接列表。具体来说，我需要打印每一行的一条边，其中边是格式的：
n1 n2 c
使用n1作为源，n2为目标，c为边缘的标签。
我可以将根节点的边缘打印为
instance Show Trie where
show = show' 2 1
where show' _
浏览 0提问于2014-07-10得票数 5
回答已采纳
1回答
我试图使用这个lib 来操作中文文本。
但我遇到了一个问题--编解码中国unicode有问题：
import datrie
text = htmls_2_text(input_dir)
trie = datrie.Trie(''.join(set(text))) # about 2221 unique chars
trie['今天天气真好'] = 111
trie['今天好'] = 222
trie['今天'] = 444
print(trie.items())
[('今义', 444), ('今义义傲
浏览 4提问于2017-12-19得票数 3
回答已采纳
2回答
我正在尝试用C语言编写一个打印trie中所有单词的函数。我尝试了很多不同的方法，但没有得到任何输出。
下面是我的结构：
typedef struct TNode
{
char letter;
struct TNode * children[ALPHABET_SIZE];
int count;
}TNode;
下面是我创建trie的方法。它获取一个url，从网页上的单词创建一个char数组，并从数组中生成一个trie。
TNode * indexPage(const char* url)
{
char buffer[BUFFER_SIZE]; //Holds the chara
浏览 0提问于2018-10-30得票数 0
抱歉，标题太复杂了，我尽力让它清醒了。好吧，如果你有更好的主意，就改变它！
不要混淆您，这是Emacs loop，而不是Common：
(defun hxswfml-build-trie (alist)
"Builds a trie (a list, containing number of hash-maps, each hash-map
uses single character for a key, except for `t' symbol, which, if present
as a key is the key for the value one has to
浏览 6提问于2012-11-10得票数 4
回答已采纳
4回答
我有一个很大的urls集，我想实现一个自动完成。我不喜欢朴素方法的复杂性，因为它与集合大小是线性的：
for(String url: urls) if(url.startsWith(input) {doSomething();}
现在我知道在哈希集，函数"contains()“在"O(1)”中工作，但没有"containsPrefix()“。有没有一种简单的方法，不用使用像Lucene这样的大型库，也不用自己编写代码？我这样做没有问题，但对于这样一个简单的问题，它似乎有点过头了，所以我想知道是否有现有的简单解决方案:-)
在我的计算机科学课上，我记得有一棵树，它由字符串
浏览 3提问于2012-03-27得票数 5
回答已采纳
15回答
我对the和DAWGs (直接非循环单词图)很感兴趣，我读了很多关于它们的文章，但我不明白输出trie或DAWG文件应该是什么样子。
应该是嵌套字典的对象吗？其中每个字母被分成字母，依此类推？如果有100k或500k条目，在这样的字典上执行查找是否会很快？如何实现由-或空格分隔的多个单词组成的词块？如何将一个单词的前缀或后缀链接到结构中的另一个部分？(针对DAWG)
我想了解最好的输出结构，以便弄清楚如何创建和使用它。
我也希望能得到DAWG和trie的输出。
我不想看到带有相互链接的气泡的图形表示，我想知道一组单词转换为tries或DAWGs后的输出对象。
浏览 202提问于2012-06-13得票数 141
回答已采纳
2回答
我正在尝试实现无序的前缀字符串匹配。这方面最好的例子是Quora，它使用无序前缀匹配对输入到搜索框中的字符串进行查询(但并不完全是google搜索，因为google搜索匹配了到目前为止键入的所有字符串)。
例如:查询："sat“可能返回：
你能得到的最高的SAT分数是多少？
土星离地球有多远？
他坐在长凳上
但是搜索“核心”(单词得分的最后4个字母)不会返回任何结果。
对于这个问题，你会推荐什么算法和数据库？我正计划在AJAX中的一个网站上使用这个(因此，当用户输入字母时，结果将不断得到改进。)我对任何类型的数据库都没意见，这是一个宠物项目。谢谢!
浏览 1提问于2012-02-27得票数 0
回答已采纳
在基于工作的块链的证明中，每个块包含对其父块的引用，因此不可能修改一个块而不必再次挖掘它的所有后代。
现在，在桩的证明算法中，由于每个块没有复杂的哈希运算，如何防止这种情况发生呢？一个块是否连到它的父块上？
浏览 2提问于2022-09-02得票数 0
我正在使用模块来构建关键字树。我想按原始数组中的顺序打印数组的元素。
use strict;
use warnings;
use Tree::Trie;
my @ar = ('foo', 'great','food', 'banana','apple', 'fish');
my ($trie) = new Tree::Trie;
$trie->add(@ar);
my @ms = $trie->lookup('f');
print join(","
浏览 1提问于2012-12-06得票数 3
我正在寻找一个命令行脚本，甚至是一个python编码的脚本，用于已经压缩的文件的树型函数。我会将文件刻录到光盘上，并根据工作需要对其进行定稿。有些文件需要压缩后才能传输。
当使用“树/f /a”时，我得到了我正在寻找的文件的良好输出，但如果压缩文件在光盘上，它不会分解压缩文件中的内容。我没有看到树的任何其他修饰符可以树形压缩文件。有谁知道我可以通过管道(或者帮助我用python或C构建一个脚本)来对一个目录和该目录中的压缩文件进行树操作吗？
我不擅长编码，所以请原谅我在编码方面的新手能力。我知道python代码必须将目录提取出来，并将其树状显示出来。当它找到一个zip文件时，它将需要一些“if
浏览 3提问于2020-02-26得票数 0
1回答
我有一个由N个值组成的元组集合。值可以是通配符(匹配任何值)，也可以是具体的值。在集合中查找与特定元组匹配的所有元组而不扫描整个集合并逐个测试项目的最佳方法是什么？
例如，1.2.3匹配1.*.3和*.*.3，但不匹配1.2.4或*.2.4。
我在这里寻找的是什么数据结构？
浏览 1提问于2011-03-14得票数 1
3回答
我需要一个可以存储嵌套数字列表的数据结构的高效C++实现，例如：
0:
1:
3
4
7
5:
10
13
15
7:
2
1:
1:
2
3
6:
7
9
我希望能够以一种非常有效的方式遍历最深的元素，这样我就可以按嵌套列表中出现的顺序访问三个数字的集合：
(0,1,3)
(0,1,4)
(0,5,10)
...
我还希望通过传递一组三个数字并将适当的数字添加到树的每个级别来向树中添加元素。我认为我应该使用某种类
浏览 2提问于2013-06-07得票数 1
回答已采纳
1回答
我很难说服Agda终止--检查下面的函数fmap和在Trie结构上递归定义的类似函数。Trie是一个，其域是一个Type，一个由单元、产品和不动点组成的对象级类型(为了使代码最小化，我省略了辅助产品)。这个问题似乎与我在Trie定义中使用的类型级替换有关。(表达式const (μₜ τ) * τ意味着将替换const (μₜ τ)应用于τ类型。)
module Temp where
open import Data.Unit
open import Category.Functor
open import Function
open import Level
o
浏览 2提问于2014-02-02得票数 3
回答已采纳
这就是我目前的处境：
我有一个2.5MB文本文件，大约250 k字符串，按字母顺序排列
每个字符串都是唯一的。
我不需要修改文本文件中的条目:一旦加载了文本文件，就不会对其进行编辑
文本文件在开始时加载，然后我只需要在其中搜索字符串。
最后一点是问题。实际上，我需要搜索字符串的完全匹配和部分匹配。我编写的算法只是涉及正则表达式的使用，以及一些使处理更快的尝试:例如，我将识别字母表中单数字母的字典索引硬编码到脚本中，然后将大文本文件fictionary拆分为26个较小的字典。那是完全没用的，剧本仍然非常慢。在这里浏览一些帖子时，我确信要尝试mmap:但是如果给出正则表达式
浏览 2提问于2013-02-22得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
