求高手帮忙翻译一下英语？来自论文的，比较专业，个人能力有限！

it searches for solutions y, but in order of increasing complexity Kt, not increasing
length: short solutions may be much harder to find than long ones. Kt(y|x) can
be defined as the minimal sum of the bit-length of a prefixless program p
transforming x into y and the log of the running time of p.
翻译：
它的搜索解决方案，但在日益复杂的KT秩序，不增加

长度：短解可以找到比长的更难。KT（Y | x）可以

被定义为一个prefixless程序P比特长度的总和最小

将X到Y和P的运行时间的日志

搜索解决方案,但为了增加复杂性Kt,不是increasinglength:短期解决方案可能更难找到比长句子。Kt(y | x)可以定义为最小的金额就prefixless程序ptransforming x到y和p的运行时间的日志。