Lukas' Notes

Definition

Non-constructive Algorithm

An algorithm is called non-constructive if it merely decides whether an object satisfying the required properties exists, rather than building the object explicitly.