Anche se alcune prove di teoremi teorico-complessità assumono regolarmente una qualche scelta concreta di codifica in ingresso, si cerca di mantenere la discussione abbastanza astratta da essere indipendente dalla scelta di codifica. Questo obiettivo può essere raggiunto garantendo che le diverse rappresentazioni possano essere trasformate in modo efficiente l' una nell' altra.
Nel tentativo di mantenere un livello di astrazione, quale scelta viene generalmente lasciata indipendente?
codifica codifica codifica