In general, a problem in NP is called self-reducible if its function variant can be solved in polynomial time using an oracle deciding the original problem.
Загалом, проблема в NP називається самозбуджуваною, якщо її функціональний варіант може бути вирішено в поліноміальний час, використовуючи оракул, що вирішує оригінальну проблему.