Reduktion (beregningskompleksitetsteori)

Reduktion  i beregningsmæssig kompleksitetsteori  er transformationen af ​​et problem til et andet. Generelt for en algoritme, der konverterer forekomster af et problem til forekomster af et problem , der har det samme svar ("ja" eller "nej"), siges den at reducere til , så reduktionsbarhed  er forholdet mellem to problemer. Ved hjælp af en sådan forbindelse kan beregningsevnen af ​​problemet eller dets tilhørsforhold til en eller anden kompleksitetsklasse bevises .

Nogle typer information: Cooke- reduktion , Karp- reduktion , Levin- reduktion , Turing-reduktion . Turing-reduktion er den mest generelle form for reduktion: en eller anden algoritme (som kan beregnes på en Turing-maskine ) kan kaldes et vilkårligt antal gange, og hvert opkald vil blive betragtet som et trin i algoritmen; for formelt at definere Turing-reducerbarhed, bruges konceptet med en Turing-maskine med et orakel .

Litteratur

Links