Ре­ше­ние.

Ко­ли­че­ство сим­во­лов до ра­бо­ты Ре­дак­то­ра:

X₀₁ + X₀₂ + X₀₃ + 2  =  S₀,

где X₀₁  — ко­ли­че­ство еди­ниц, X₀₂  — ко­ли­че­ство двоек, X₀₃  — ко­ли­че­ство троек.

Когда, ре­дак­тор начнёт свою ра­бо­ту: X₁ + X₃ + 2  =  S  — ко­ли­че­ство сим­во­лов после ра­бо­ты Ре­дак­то­ра.

По усло­вию за­да­чи X₂  =  0.

Рас­смот­рим це­поч­ки дей­ствий Ре­дак­то­ра и как они вли­я­ют на ко­неч­ное кол-во (еди­ниц и троек). По­нят­но, что двой­ки в этом ал­го­рит­ме убы­ва­ют.

Це­поч­ки для еди­ниц:

1)  01–1023–13103–131102–1311310 (ко­ли­че­ство еди­ниц после по­па­да­ния на 01  — 4, после пол­но­го фор­ма­та стро­ки 4 · X₀₁),

2)  02–310 (ко­ли­че­ство еди­ниц после по­па­да­ния на 02  — 1, после пол­но­го фор­ма­та стро­ки X₀₂),

3)  03–102–1310 (ко­ли­че­ство еди­ниц после по­па­да­ния на 03  — 2, после пол­но­го фор­ма­та стро­ки 2 · X₀₃).

За­пи­шем свя­зу­ю­щее урав­не­ние X₁, с на­чаль­ным ко­ли­че­ством (еди­ниц, двоек, троек):

4 · X₀₁ + X₀₂ + 2 · X₀₃  =  X₁,

где X₁  =  96 по усло­вию за­да­чи.

Це­поч­ки для троек:

1)  01–1023–13103–131102–1311310 (ко­ли­че­ство троек после по­па­да­ния на 01  — 2, после пол­но­го фор­ма­та стро­ки 2 · X₀₁),

2)  02–310 (ко­ли­че­ство троек после по­па­да­ния на 02  — 1, после пол­но­го фор­ма­та стро­ки X₀₂),

3)  03–102–1310 (ко­ли­че­ство троек после по­па­да­ния на 03  — 1, после пол­но­го фор­ма­та стро­ки X₀₃).

За­пи­шем свя­зу­ю­щее урав­не­ние X₃, с на­чаль­ным ко­ли­че­ством (еди­ниц, двоек, троек):

2 · X₀₁ + X₀₂ + X₀₃  =  X3,

где X₃  =  75  — по усло­вию за­да­чи.

Най­дем ми­ни­маль­ную длину ис­ход­ной стро­ки с по­мо­щью про­грамм­но­го кода на языке Python:

 

Ответ: 67.