One definition for an efficient program is that it runs within the required resource constraints.

One definition for an efficient program is that it requires fewer resources than known alternatives.

Many efficient programs require more than linear time. Sometimes linear time is not efficient for a given problem.