сайты - меню - вход - но­во­сти


Поиск
?


Скопировать ссылку на результаты поиска

Всего: 71    1–20 | 21–40 | 41–60 | 61–71

Добавить в вариант

В по­сле­до­ва­тель­но­сти из букв a и b в любом на­бо­ре под­ряд иду­щих сим­во­лов длины боль­ше 3 ко­ли­че­ство букв a не мень­ше, чем ко­ли­че­ство букв b.

До­ка­жи­те, что это усло­вие эк­ви­ва­лент­но тому, что в любом на­бо­ре из 5 или 7 под­ряд иду­щих сим­во­лов ко­ли­че­ство букв a боль­ше, чем ко­ли­че­ство букв b.

За­ме­че­ние: эта фор­му­ли­ров­ка со­дер­жит не­точ­ность. Ука­зан­ная эк­ви­ва­лент­ность имеет место для по­сле­до­ва­тель­но­стей хотя бы из 5 сим­во­лов.


По­строй­те граф, удо­вле­тво­ря­ю­щий сле­ду­ю­щим усло­ви­ям:

1)  Из каж­дой вер­ши­ны вы­хо­дит ровно 4 ребра

2)  В графе нет четырёх вер­шин, каж­дые две из ко­то­рых были бы со­еди­не­ны между собой

3)  Граф нель­зя по­кра­сить в три цвета "пра­виль­но", то есть так, чтобы любые две вер­ши­ны од­но­го цвета были не со­еди­не­ны.


На­пи­ши­те ло­ги­че­скую фор­му­лу, опи­сы­ва­ю­щую свой­ство, ко­то­рым об­ла­да­ет ком­би­на­ция фишек на левой кар­тин­ке, но не об­ла­да­ет ком­би­на­ция на пра­вой.

В фор­му­ле ис­поль­зу­ют­ся сле­ду­ю­щие обо­зна­че­ния:

Фишки обо­зна­ча­ют­ся пе­ре­мен­ны­ми x, y, z. Про­стые свой­ства опи­сы­ва­ют­ся та­ки­ми вы­ра­же­ни­я­ми как «x синяя», «y крас­ная», «x сосед y» (по­след­нее озна­ча­ет, что фишки стоят на раз­лич­ных клет­ках, у ко­то­рых есть общая сто­ро­на или угол). Для за­пи­си более слож­ных свойств ис­поль­зу­ют­ся ло­ги­че­ские связ­ки, ко­то­рые со­еди­ня­ют про­стые свой­ства: И, ИЛИ, НЕ ВЕРНО ЧТО, СЛЕ­ДО­ВА­ТЕЛЬ­НО, ТОГДА И ТОЛЬ­КО ТОГДА, ДЛЯ ВСЕХ x, СУ­ЩЕ­СТВУ­ЕТ x ТАКОЙ, ЧТО (вме­сто x можно ис­поль­зо­вать y или z). Для упо­ря­до­че­ния свя­зок ис­поль­зу­ют­ся круг­лые скоб­ки.


При по­мо­щи ло­ги­че­ских эле­мен­тов И, ИЛИ и НЕ по­строй­те ло­ги­че­скую схему, с тремя вхо­да­ми и одним вы­хо­дом. На вход по­да­ют­ся нули или еди­ни­цы; на вы­хо­де долж­на быть еди­ни­ца тогда и толь­ко тогда, когда зна­че­ния вхо­дов сов­па­да­ют.


Ло­ги­че­ский эле­мент ЭКВИ-3 ра­бо­та­ет так: на вход по­да­ют­ся нули или еди­ни­цы; на вы­хо­де ока­зы­ва­ет­ся еди­ни­ца тогда и толь­ко тогда, когда зна­че­ния вхо­дов сов­па­да­ют.

С по­мо­щью ло­ги­че­ско­го эле­мен­та ЭКВИ-3 по­строй­те ло­ги­че­скую схему с че­тырь­мя вхо­да­ми и одним вы­хо­дом, ре­а­ли­зу­ю­щую эле­мент ЭКВИ-4: на вы­хо­де ока­зы­ва­ет­ся еди­ни­ца тогда и толь­ко тогда, когда зна­че­ния всех четырёх вхо­дов сов­па­да­ют.


Ло­ги­че­ский эле­мент ЭКВИ-3 ра­бо­та­ет так: на вход по­да­ют­ся нули или еди­ни­цы; на вы­хо­де ока­зы­ва­ет­ся еди­ни­ца тогда и толь­ко тогда, когда зна­че­ния вхо­дов сов­па­да­ют.

а)  До­ка­жи­те, что при по­мо­щи эле­мен­та ЭКВИ-3 можно по­стро­ить схему с одним вы­хо­дом и любым ко­ли­че­ством вхо­дов, вы­да­ю­щую ана­ло­гич­ный ре­зуль­тат: на вы­хо­де ока­зы­ва­ет­ся еди­ни­ца тогда и толь­ко тогда, когда зна­че­ния всех вхо­дов сов­па­да­ют.

б)  До­ка­жи­те, что такую схему с n вхо­да­ми можно по­стро­ить, ис­поль­зо­вав не более n эле­мен­тов ЭКВИ-3.


Гра­фом на­зы­ва­ет­ся ри­су­нок, со­сто­я­щий из точек (вер­шин), со­единённых от­рез­ка­ми (рёбрами). При этом нам не важно, как имен­но на­ри­со­ван граф, важно толь­ко, какие вер­ши­ны с ка­ки­ми со­еди­не­ны.

а)  Учи­тель на­ри­со­вал на доске граф. Три уче­ни­ка пе­ре­ри­со­ва­ли его в тет­рад­ки (воз­мож­но, не со­хра­нив рас­по­ло­же­ние вер­шин), при этом каж­дый из них по­те­рял по одной вер­ши­не (каж­дый  — свою) и все вы­хо­дя­щие из неё рёбра.

Ока­за­лось, что по ри­сун­кам ребят нель­зя вос­ста­но­вить на­ри­со­ван­ный учи­те­лем граф. Как такое могло быть? По­строй­те при­мер трёх ри­сун­ков уче­ни­ков и двух воз­мож­ных ри­сун­ков учи­те­ля.

б)  Верно ли, что для лю­бо­го n можно при­ду­мать набор из n таких ри­сун­ков, по ко­то­рым ис­ход­ный граф вос­ста­нав­ли­ва­ет­ся не­од­но­знач­но (то есть су­ще­ству­ет два и более ва­ри­ан­та)?


Гра­фом на­зы­ва­ет­ся ри­су­нок, со­сто­я­щий из точек (вер­шин), со­единённых от­рез­ка­ми (рёбрами). При этом нам не важно, как имен­но на­ри­со­ван граф, важно толь­ко, какие вер­ши­ны как со­еди­не­ны.

Под­граф, ко­то­рый по­лу­ча­ет­ся из графа уда­ле­ни­ем одной вер­ши­ны, назовём кар­той, а набор всех карт графа  — ко­ло­дой.

В за­да­че от­бо­роч­но­го тура мы уже до­ка­зы­ва­ли, что по ко­ло­де можно вос­ста­но­вить общее ко­ли­че­ство рёбер графа. Также легко до­ка­зать, что можно уста­но­вить сте­пе­ни всех вер­шин (ко­ли­че­ство вы­хо­дя­щих из неё рёбер): сте­пень вер­ши­ны, ко­то­рой не хва­та­ет на карте  — это в точ­но­сти ко­ли­че­ство от­сут­ству­ю­щих на ней рёбер.

До­ка­жи­те, что граф, сте­пе­ни всех вер­шин ко­то­ро­го чётны, од­но­знач­но вос­ста­нав­ли­ва­ет­ся по своей ко­ло­де.


По­строй­те ко­неч­ный ав­то­мат, рас­по­зна­ю­щий те и толь­ко те слова в ал­фа­ви­те {a, b, c}, ко­то­рые со­дер­жат все три буквы ал­фа­ви­та.


По­строй­те ре­гу­ляр­ное вы­ра­же­ние, рас­по­зна­ю­щее те и толь­ко те слова в ал­фа­ви­те {a, b, c}, ко­то­рые со­дер­жат все три буквы ал­фа­ви­та.


По­строй­те ма­ши­ну Тью­рин­га, рас­по­зна­ю­щую все слова в ал­фа­ви­те {a, b, c}, со­дер­жа­щие все три буквы ал­фа­ви­та.

Рас­по­зна­ва­ние про­ис­хо­дит сле­ду­ю­щим об­ра­зом: если слово рас­по­зна­но, к нему спра­ва до­пи­сы­ва­ет­ся буква a, в про­тив­ном слу­чае  — буква b.

Всего: 71    1–20 | 21–40 | 41–60 | 61–71