Algorithm 回答'；是'；或'；也许'；？

我想知道一个决策算法的名称是什么，它不返回“是”或“否”，但只能对输入的真实子集决定“是”，而不能为其余部分提供最终决策

一个合适的例子是一个判断矩阵可逆性的算法——我的算法正确地回答了矩阵子类的“是”，但不能确认或否定其余部分

在我看来，这是（某种）接近真实答案的声音，但维基百科只在优化领域定义了近似算法

---

谢谢你的意见

您可能指的是随机/概率算法或随机数据结构

概率确定一个数是否为素数（a）的算法就是这种随机算法的例子。Miller-Rabin算法就是一个具体的例子

可以构建数据结构，以便在某些操作中使用概率。A就是这样一种概率数据结构。

非常相似：如果拉斯维加斯算法终止，结果是正确的。如果没有，那就是你的“可能”

---

实际上，在现实生活中，这些算法会在一段时间后被中断而没有结果。

“不完整”？顺便说一句，矩阵可逆性是“可判定的”，所以可以判定可逆性的算法是完全存在的；）“这个问题可能比StackOverflow更适合。”Lagerber（我认为）OP更关心实际算法的术语，而不是问题。可判定、半可判定等都可以用于问题分类。矩阵示例不是这里的重点；）另外：对于任意结构上的矩阵，如果我的相关子类的答案是“是”，那么复杂性可能会让我更喜欢“不完整”算法。是的，这与术语有关。我仍然会选择“不完整”，因为有一部分输入的算法没有给出答案。不，这个算法没有概率方面——对于某些输入，算法的结果总是相同的。