Reduktion (beräkningskomplexitetsteori)
Reduktion av beräkningskomplexitetsteori är omvandlingen av ett problem till ett annat. I allmänhet, för en algoritm som konverterar instanser av ett problem till instanser av ett problem som har samma svar ("ja" eller "nej"), sägs den reducera till , så reducerbarhet är förhållandet mellan två problem. Med hjälp av en sådan anslutning kan beräkningsbarheten av problemet eller dess tillhörighet till en eller annan komplexitetsklass bevisas .
Vissa typer av information: Cooke- reduktion , Karp- reduktion , Levin- reduktion , Turing-reduktion . Turing-reduktion är den mest allmänna formen av reduktion: en viss algoritm (som kan beräknas på en Turing-maskin ) kan anropas hur många gånger som helst, och varje anrop kommer att betraktas som ett steg i algoritmen; för att formellt definiera Turing-reducerbarhet används konceptet med en Turing-maskin med ett orakel .
Litteratur
- John Hopcroft, Rajeev Motwani, Jeffrey Ullman. Introduktion till automatteori, språk och beräkningar. - M .: "Williams" , 2002. - S. 528. - ISBN 0-201-44124-1 .