Complessità di una macchina Turing codificata

Question

Questo è un esempio di domanda di assegnazione, ce ne sono 3, quindi ho creato il mio per capirlo meglio.

Innanzitutto, abbiamo la variabile m che è una codifica binaria come 100#001#010 che è tradotto in [4, 1, 2]

Il prossimo è la variabile n = la lunghezza totale dell'ingresso/codifica

E k che è il numero più grande nell'elenco (4 nell'elenco precedente)

Ora abbiamo impostato $ f (n) $ Come la macchina Turing che ha preso m come input, e voglio vedere se $ f (n) = o (g (n)) $ dove $ g (n) $ è un polinomio.

Come posso risolverlo $ f (n) = m (log (n)) (log (k)) $?