Ich frage mich, was der Name eines Entscheidungsalgorithmus ist, dass nicht "ja" oder "nein" zurückgibt, aber kann nur "ja" für eine echte Teilmenge von Eingaben entscheiden und kann keine endgültige Entscheidung für den Rest bieten . Ein geeignetes Beispiel wäre ein Algorithmus, um die Invertierbarkeit einer Matrix zu bestimmen - mein Algorithmus antwortet richtigerweise mit "Ja" für eine Unterklasse von Matrizen, kann aber für den Rest weder bestätigen noch leugnen.Wie lautet der Name eines Entscheidungsalgorithmus, der mit "Ja" oder "Vielleicht" beantwortet wird?
Meiner Meinung nach ist dies eine Art Unterschätzung der wirklichen Antwort, aber Wikipedia definiert einen Approximationsalgorithmus nur im Bereich der Optimierung.
Vielen Dank für Ihre Eingabe!
"Unvollständig"? Btw, Matrix Invertierbarkeit ist "entscheidbar", so dass Algorithmen, die darüber entscheiden können, vollständig existieren;) – Lagerbaer
Diese Frage könnte besser für [cs.SE] als StackOverflow geeignet sein. –
@Lagerbaer (ich denke), dass OP sich eher mit der Terminologie des Algorithmus beschäftigt als mit dem Problem. Entscheidbar, halbentscheidbar etc. usw. sind alle gut für die Problemklassifizierung. – miradulo