本文探讨了拟合问题的计算和描述复杂性，特别是在处理无限结构上的基于逻辑的假设类时。它研究了如何确定给定的有限输入输出样本是否可以被特定类别内的函数解释。研究侧重于实有序域和Presburger算术等可判定结构，以及由组合或模型论性质定义的更广泛类别，并考察了查询在此拟合过程中的作用。 AI
排序理由 该集群包含一篇关于理论计算机科学概念的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2606.01107v1 Announce Type: cross Abstract: We study fitting problems, sometimes called ``training problems'', where we have a finite sample consisting of inputs and outputs, and we want to know whether there is a function in a certain class that could produce these outputs…