Версия для копирования в MS Word
PDF-версии: горизонтальная · вертикальная · крупный шрифт · с большим полем
РЕШУ ОЛИМП — математика
Задания
i

П. В. Би­би­ков, тре­нер сбор­ной Моск­вы на Все­рос­сий­ской олим­пиа­де школь­ни­ков по ма­те­ма­ти­ке, пред­ла­га­ет вам ре­шить сле­ду­ю­щую за­да­чу: Дан клет­ча­тый пря­мо­уголь­ник 2m × 2n, раз­би­тый про­из­воль­ным об­ра­зом на до­ми­нош­ки 2 × 1. Если две до­ми­нош­ки об­ра­зу­ют квад­рат 2 × 2, раз­ре­ша­ет­ся по­вер­нуть их обе на 90° (сде­лать флип). Наша цель  — по­сле­до­ва­тель­но­стью фли­пов сде­лать все до­ми­нош­ки го­ри­зон­таль­ны­ми (кир­пич­ная клад­ка) за как можно мень­шее ко­ли­че­ство опе­ра­ций.

Рас­кра­сим наш пря­мо­уголь­ник в шах­мат­ную рас­крас­ку, счи­тая левый ниж­ний угол чер­ным. На­пра­вим по сто­ро­нам квад­ра­ти­ков стре­лоч­ки так, чтобы чер­ные квад­ра­ти­ки об­хо­ди­лись бы про­тив ча­со­вой стрел­ки, а белые  — по ча­со­вой стрел­ке.

Пусть нам дано не­ко­то­рое за­мо­ще­ние пря­мо­уголь­ни­ка до­ми­нош­ка­ми, ко­то­рое мы обо­зна­чим через T. Со­по­ста­вим за­мо­ще­нию его функ­цию вы­со­ты  — это будет функ­ция на вер­ши­нах кле­ток на­ше­го пря­мо­уголь­ни­ка, ко­то­рую мы будем обо­зна­чать HT(υ). Опре­де­лим ее сле­ду­ю­щим об­ра­зом.

Вы­бе­рем левую ниж­нюю вер­ши­ну υ0 пря­мо­уголь­ни­ка и по­ло­жим ее вы­со­ту рав­ной нулю; далее, каж­дую вер­ши­ну υ со­еди­ним с υ0 путем, ко­то­рый про­хо­дит по ли­ни­ям сетки и не пе­ре­се­ка­ет до­ми­но­шек. Этот путь со­сто­ит из стре­лок, каж­дая из ко­то­рых про­хо­дит­ся либо в по­пут­ном на­прав­ле­нии (т. е. со­на­прав­ле­на с путем), либо в про­ти­во­по­лож­ном. По­ло­жим вы­со­ту HT(υ) рав­ной раз­но­сти числа по­пут­ных и про­ти­во­по­лож­но на­прав­лен­ных стре­лок.

Пусть H(υ)  — функ­ция на вер­ши­нах графа G, удо­вле­тво­ря­ю­щая сле­ду­ю­ще­му свой­ству: для любых со­сед­них вер­шин u и υ, ребро между ко­то­ры­ми на­прав­ле­но от u к υ, либо H левая круг­лая скоб­ка v пра­вая круг­лая скоб­ка =H левая круг­лая скоб­ка u пра­вая круг­лая скоб­ка плюс 1, либо H левая круг­лая скоб­ка v пра­вая круг­лая скоб­ка =H левая круг­лая скоб­ка u пра­вая круг­лая скоб­ка минус 3. До­ка­жи­те, что H(υ) яв­ля­ет­ся функ­ци­ей вы­со­ты един­ствен­но­го за­мо­ще­ния T.

P. Bibikov, coach of the Moscow team at the All-Russian Olympiad in mathematics, suggests you the

following problem:

There is a checkered rectangle 2m × 2n given, arbitrarily divided into rectangles 2 × 1 («dominoes»). If two dominoes form a 2 × 2 square, it is allowed to rotate them both by 90° (make a flip). Our goal is to make all dominoes horizontal (brickwork) by a sequence of flips in as few operations as possible.

Let’s color our rectangle in a chessboard color, assuming the bottom left corner to be black. Let’s draw the arrows along the sides of the squares so that the black squares go counterclockwise, and the white ones go clockwise.

Let us be given some tiling of a rectangle with dominoes, which we denote by T. Let us associate the tiling with its height function  — it will be the function at the vertices of the cells of our rectangle, which we will denote by HT(υ). We define it as follows. Select the lower left vertex of the υ0 rectangle and set its height to zero; further, each vertex υ is connected to υ0 by a path that passes along the grid lines and does not intersect the dominoes. This path consists of arrows, each of which is traversed either in the same direction (i. e., co-directed with the path), or in the opposite direction. Let the height of HT(υ) be equal to the difference in the number of trailing and oppositely directed arrows.

Let H(υ) be a function on the vertices of the graph G satisfying the following property: for any connected vertices u and υ, the edge between which is directed from u to υ there is H левая круг­лая скоб­ка v пра­вая круг­лая скоб­ка =H левая круг­лая скоб­ка u пра­вая круг­лая скоб­ка плюс 1 or H левая круг­лая скоб­ка v пра­вая круг­лая скоб­ка =H левая круг­лая скоб­ка u пра­вая круг­лая скоб­ка минус 3. Prove that H(υ) is a function of the height of the unique tiling T.