Xml 运行时间是否取决于输入的大小?

Xml 运行时间是否取决于输入的大小?,xml,xsd,ocaml,coq,Xml,Xsd,Ocaml,Coq,我有一个用OCaml编写的解析器函数,然后我有一个输入文件is.xsd,输出是Coq格式 我用两种不同的输入(.xsd)测试了我的解析器,一种大小为60.2KB,另一种大小为121.0KB。我使用time返回运行时间,结果如下: xsd有60.2KB个镜头:用户:0m2.792s xsd具有121.0KB获取:用户:0m37.838s 很明显,时间取决于输入文件的大小 我有一个愚蠢的问题,只是想确定运行时间是否确实取决于输入文件的大小 在我的解析函数中,我使用了很多具有结构的函数,例如: let

我有一个用OCaml编写的解析器函数,然后我有一个输入文件is.xsd,输出是Coq格式

我用两种不同的输入(
.xsd
)测试了我的解析器,一种大小为
60.2KB
,另一种大小为
121.0KB
。我使用
time
返回运行时间,结果如下:

xsd有
60.2KB
个镜头:
用户:0m2.792s

xsd具有
121.0KB
获取:
用户:0m37.838s

很明显,时间取决于输入文件的大小

我有一个愚蠢的问题,只是想确定运行时间是否确实取决于输入文件的大小

在我的解析函数中,我使用了很多具有结构的函数,例如:

let  genr_type b = function
| Elt (n, Some t, _, _) -> ...
| Group (n, Some t, _, _) -> ...
| ... -> ...
这会使解析器花费更多的时间吗?
非常感谢

如果不解释“解析器”的作用,没有人能回答解析器的运行时间取决于输入大小或输入的其他因素。假设您正在读取文件的每个字符并执行某些操作,更多的字符将花费更多的时间我想他是在暗示解析器的运行时间与文件的大小不是线性的。请提供更多信息!