Tag: anagram

Frama-C anagram函数行为validation

我写了一个C函数，检查两个给定的字符串（C风格）是否是字谜。 我尝试用Frama-Cvalidation它，但它不能validation函数的最终行为（其他规范是有效的）。 第一个进入超时（即使WP中的超时值非常高），第二个未知。 这是代码： #include //@ ghost char alphabet[26] = {‘a’, ‘b’, ‘c’, ‘d’, ‘e’, ‘f’, ‘g’, ‘h’, ‘i’, ‘j’, ‘k’, ‘l’, ‘m’, ‘n’, ‘o’, ‘p’, ‘q’, ‘r’, ‘s’, ‘t’, ‘u’, ‘v’, ‘w’, ‘x’, ‘y’, ‘z’}; /*@ // Takes a character and return it to lowercase if it’s uppercase axiomatic ToLower { logic char to_lower(char […]

字谜 – 在C中用链接和探测进行哈希

我的标题被编辑了，所以我想确保每个人都知道这是作业。 问题只是优化程序，哈希是我的想法。 – 我正在努力优化一个C程序，它将相互字谜的单词组合在一起，然后将它们打印出来。 目前，该程序基本上是链表的链表。 外部列表中的每个链接都是一组相互字谜的单词。 程序的配置文件显示，到目前为止，执行时间的最大部分是函数wordLookup 。 这是因为它必须搜索每个节点，并且从文件读入可能的100k字，这可能需要很长时间。 例如，这里是用于读取40k字的gprof输出： Each sample counts as 0.01 seconds. % cumulative self self total time seconds seconds calls us/call us/call name 100.31 1.48 1.48 40000 37.12 37.12 wordLookup 0.00 1.48 0.00 78235 0.00 0.00 newnode 0.00 1.48 0.00 40000 0.00 0.00 sort_string 0.00 1.48 0.00 38235 0.00 0.00 […]