Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
K1b0rg |
|
|
Пусть [math]\mathcal{A}[/math], [math]\mathcal{B}[/math] две конечные структуры с двухзначным символом отношения [math]E[/math]. Показать: Если для Новатора в игре [math]\mathfrak{G}_m(\mathcal{A},\mathcal{B})[/math] существует победная стратегия тогда существует [math]m' \in \mathbb{N}[/math], такое что для Новатора в игре [math]\mathfrak{G}_{m'}(\mathcal{A},\mathcal{B})[/math] существует [math]\mathcal{A}[/math]-ограниченная или [math]\mathcal{B}[/math]-ограниченная победная стратегия. ([math]\mathcal{A}[/math] ограниченная (или [math]\mathcal{B}[/math] ) победная стратегия означает что Новатор берёт элементы только из соответствеющей структуры). То есть если есть победная стратегия для Новатора за m раундов, то для него существует и ограниченная победная стратегия (на одной из структур) за m' раундов. С этой игрой я в принципе, разобрался, как доказать это утверждение? Думаю это как то связано с частичным изоморфизмом. может сказать что m' это m'-значный частичный изоморфизм и поэтому такая ограниченная стратегия существует? (это моя последняя задача по логике, сдача сегодня вечером, кто поможет буду благодарен) |
||
Вернуться к началу | ||
K1b0rg |
|
|
Думаю доказывать"от противного", то есть предположим Новатор выигрывает за m раундов в этой игре и НЕ существует такого m' при котором Новатор выигрывает за m' раундов в A или B ограниченной стратегии.
Если на правильном пути, подскажите как дальше к противоречию придти из которого будет следовать что такое m' существует |
||
Вернуться к началу | ||
K1b0rg |
|
|
А, всё, додумались, там два случая рассмотреть, универсумы равны или один больше другого.
|
||
Вернуться к началу | ||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Задача на математическую игру | 1 |
221 |
12 июл 2020, 11:43 |
|
Игра Эренфойхта | 1 |
124 |
20 дек 2020, 13:49 |
|
Два мальчика играют в игру
в форуме Алгебра |
1 |
380 |
09 окт 2014, 22:07 |
|
Выиграть в игру несколько раз подряд
в форуме Комбинаторика и Теория вероятностей |
13 |
467 |
21 дек 2022, 18:08 |
|
Сделал словесную игру для эрудитов на Андроид
в форуме Объявления участников Форума |
0 |
246 |
14 окт 2015, 12:32 |
|
Какая вероятность, что игрок проиграет игру?
в форуме Теория вероятностей |
19 |
989 |
26 июл 2014, 00:08 |
|
Изучаем основные математические операции через игру
в форуме Объявления участников Форума |
0 |
295 |
01 мар 2016, 11:09 |
|
Не можем решить несколько задач на вероятность создавая игру
в форуме Объявления участников Форума |
0 |
454 |
11 сен 2015, 04:49 |
|
Теория вероятности: задача про шары и задача про точку
в форуме Теория вероятностей |
6 |
484 |
02 окт 2021, 01:43 |
|
Задача на построение. Корректна ли задача?
в форуме Геометрия |
9 |
663 |
19 июл 2020, 19:17 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |