Towards the specification of the class of tractable computing problems

Unser ziel4是es,苏珥大幅减退auf diesem Gebiet军队静脉新Konzept和一张Anderung der bisherigen Schwerpunkte beizutragen。新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念，新概念。在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国。非正式的ausgedr<e:1> ckt, ist ein approximation salgalgorithm f<e:1> r eine Eingabemenge L stabil bezeineentfernungsma ßes M, falling er auch ein approximation salgalgorithm f<e:1> r eineeingabemenge Le ist, wobei Le alle Eingaben aus L und alle diejenigen Eingaben enthält, die sich bez<s:1> glich M nicht viel von Eingaben aus L unterscheiden。Dieses Konzept ermöglicht das Erzielen阳性和每个阴性结果和trägt zueiner genaueren Ermittlung der Grenze zwischen praktisch lösbaren和praktisch unlösbaren Aufgaben bei。

Unser Ziel ist es, zur Forschung auf diesem Gebiet durch ein neues Konzept und eine Änderung der bisherigen Schwerpunkte beizutragen. Das neue Konzept, das wir für dieses Projekt vorschlagen, baut auf der Einführung des Begriffes der Stabilität der Approximation auf. Die Idee basiert auf der Beobachtung, daß die Berechnungsschwierigkeit vieler Optimierungsaufgaben stark von der Menge der zulässigen Eingaben abhängt. Informal ausgedrückt, ist ein Approximationsalgorithmus für eine Eingabemenge L stabil bezüglich eines Entfernungsmaßes M, falls er auch ein Approximationsalgorithmus für eine Eingabemenge Le ist, wobei Le alle Eingaben aus L und alle diejenigen Eingaben enthält, die sich bezüglich M nicht viel von Eingaben aus L unterscheiden. Dieses Konzept ermöglicht das Erzielen positiver und auch negativer Resultate und trägt zu einer genaueren Ermittlung der Grenze zwischen praktisch lösbaren und praktisch unlösbaren Aufgaben bei.