Citat:
Ursprungligen postat av manne1973
Så uppfattade jag också uppgiften.
Vad jag inte förstår är hur det kommer in i din lösning att det handlar om skadlig kod.
Jag antar att det finns en algoritm eller orakel för att hitta skadlig kod, gör en polynomiell reduktion och visar att detta medför existens av ett orakel för haltingproblemet.
Egentligen måste det inte handla om skadlig kod, utan snarare om en delmängd program som uppfyller vissa egenskaper. Enda kravet här är att delmängden är ett ideal (motsvarande begreppet i algebra) under konkatenering med ett godtyckligt program från haltingmängden. Ursäkta om det är knasigt formulerat, tröttheten kommer krypande.