Advance theory in algorithms and computation