The problem of computing minimally sparse solutions of under-determined linear systems is $NP$ hard in general. Subsets with extra properties, may allow efficient algorithms, most notably problems with the restricted isometry property (RIP) can be solved by convex $\ell_1$-minimization. While these classes have been very successful, they leave out many practical applications. In this paper, we consider adaptable classes that are tractable after training on a curriculum of increasingly difficult samples. The setup is intended as a candidate model for a human mathematician, who may not be able to tackle an arbitrary proof right away, but may be successful in relatively flexible subclasses, or areas of expertise, after training on a suitable curriculum.
翻译:计算低定线性系统最稀少的解决方案的问题通常很难解决。 具有额外特性的子集可能允许有效的算法,最明显的是限制的等量性属性(RIP)问题可以通过convex$\ell_1$1$-最小化来解决。 虽然这些分类非常成功,但是它们遗漏了许多实际应用。 在本文中,我们认为适应性课程在经过关于日益困难的样本的课程培训后是可以推广的。 设置的目的是作为人类数学家的候选模型,他们可能无法立即处理任意的证据,但在经过适当课程培训后,在相对灵活的子类或专业领域可能取得成功。