Спор о равновесии Нэша с HUTrader


28.09.2014	Для начала я хотел бы извиниться перед Kishtaki и всеми, кто читал эту тему, за скучные, многостраничные споры об определениях. Я сам ненавижу буквоедство, придирки к словам и так далее. Не я начал этот спор. Мой оппонент многократно оскорблял меня, пытаясь вынудить поспорить, поэтому мне "пришлось" пойти на это. Так как считаю, что даже при буквоедстве моя позиция более выигрышная. Так как по моему мнению нормальной дискуссии не получилось, то мне остается только изложить свою позицию еще раз, добавив некоторые комментарии к позиции моего оппонента. 1) Техническая часть. Я ее излагал и раньше. Те, кто читал, могут спокойно это пропустить. При игре пуш-фолд в ху icmizer выдает неверные диапазоны Нэша, если эффективные стеки игроков лежат в диапазоне от 7 бб и до нескольких сотен бб. Пара скриншотов для демонстрации. 1) Нажимаем Calculate Nash equilibrium 2) После этого нажимаем calculate с sb Как мы видим диапазон бб не изменился, а у сб стал другой и он более +EV. Значит диапазон из первой картинки не является равновесием Нэша по определению. Такая же ситуация будет и для других значений стеков из диапазона. Причем ошибка может быть довольно существенна, особенно если рассматривать не ху, а что-то более сложное. Разница бывает в несколько процентов и даже больше. Связано это с тем, что Icmizer диапазоны Нэша вычисляет примерно и только дискретно, т.е. какую-то руку он либо играет 100%, либо не играет вообще. Правильные же диапазоны Нэша в основном состоят из микс стратегий, где некоторые карты играются с определенной вероятностью. Например, А2о мы играем 36% случаев и т.д. Так же небольшая ремарка о том, что Icmizer выдает неправильные диапазоны при эффективных стеках в интервале от 7 и условно до 800бб, что типа составляет меньшинство. А в большинстве случаев, он выдает правильные результаты. Даже опуская тот факт, что большинство интересующих нас на практике случаев лежит именно в этом интервале, я хочу напомнить, что, например, отрезок [7,8] равномощен множеству всех действительных чисел. То есть даже с формальной точки зрения "правильных" случаев не больше. 2) Спор о формулировке. Напомню ее. Как мы уже выяснили в этой теме раньше, вся стратегия моего оппонента состоит в том, чтобы показать, что мое утверждение идентично утверждению " Icmizer никогда не выдает правильные диапазоны Нэша ". Я же утверждал лишь то, что icmizer выдает неправильные диапазоны в случаях из моей первой цитаты ( когда сложно построить диапазон ). Для начала изложу свою позицию, а потом прокомментирую логику своего соперника. Для того, чтобы рассматривать слова и утверждения с точки зрения математической логики их вначале нужно правильно перевести в математические термины, в термины математической логики. Нет никакого общего правила как переводить сложные фразы на язык математической логики. Подобный перевод основывается в том числе на правилах и понимании логики русского языка, а она может быть разной у разных людей. Единого правила нет, но это не значит, что нельзя пытаться делать эти переводы. Во многих случаях будет перевод, с которым согласно большинство ( людей//разбирающихся людей. В нашем случае большинство заменяет судья ). В общем как правильно заметил Kishtaki спор превратился в спор о том "как точнее трактовать фразу Диапазон, который выдаст ICMizer при нажатие кнопки "Calculate Nash equilibrium", не будет равновесием Нэша: вариант soul: Диапазон, который выдаст ICMizer при нажатие кнопки "Calculate Nash equilibrium", не всегда будет равновесием Нэша вариант HUTrader: Диапазон, который выдаст ICMizer при нажатие кнопки "Calculate Nash equilibrium", никогда не будет равновесием Нэша" Disclaimer. Увага! Дальше я считаю, что спор идет в формулировке Kishtaki, так как мы оба согласились на нее. Единственное, я хотел бы напомнить то, как развивался разговор. Я написал о том, что в некоторых случаях такой диапазон построить сложно//я не понимаю как его просто построить. То есть по логике разговора речь шла именно о таких случаях. Если же рассматривать не только такие случаи, а фразу в общем, то делать это нужно в терминах множеств ( Если мы говорим не о каком-то конкретном диапазоне, то речь о диапазонах в целом, а значит о множестве диапазонов ). И тогда утверждение превращается в утверждение диапазон a (множество А ) не является b ( множеством B ). Что тождественно тому, что (A не является подмножеством B)//(А не равно B). Как мы видим в нашем случае это так. Это наиболее прямой перевод фразы в математические термины. Конечно, как я уже писал, тут всегда есть место различным толкованиям, но это наиболее прямой перевод, без использования каких-то предположений и изменения строения и смысла фразы. Вывод: Мой оппонент пытается сделать из моей фразы гораздо более сильное утверждение, без особых на то оснований. Теперь рассмотрим одно утверждение моего оппонента. Он сравнивает мое утверждение с утверждением "Завтра в Африке не будет дождя". И раз оно окажется истинным тогда и только тогда, когда дождя не будет во ВСЕЙ Африке, то и мое утверждение будет истинным, только тогда, когда диапазоны будут не совпадать во ВСЕХ случаях. Здесь произошла ровно та ошибка в переводе на язык математической логики, о которой я писал выше. Во фразе в Африке не будет дождя УЖЕ подразумевается, что если дождь будет хоть где-то, то утверждение неверно. В моем же случае подобная логика ниоткуда не следует, а даже наоборот. То есть мой оппонент вложил нужный ему вывод в изначальное условие и естественно получил нужные ему результаты. Это некорректно и эти два утверждения не являются идентичными. По-крайне мере он это не смог показать и хоть как-то аргументировать. Не сложно показать, что дело именно в условии и логике русского языка, которая используется при переводе фраз на язык математической логики. Возьмем фразу "В Африке не будет дождя" и возьмем ее отрицание. В Африке не не будет дождя. Это утверждение верно, если хотя бы где-то в Африке идет дождь. При этом по строению оно идентично утверждению "В Африке не будет дождя". То есть утверждение "В Африке не будет X" верно или не верно при разных условиях, в зависимости Х. То есть вывод о "И раз оно окажется истинным тогда и только тогда, когда дождя не будет во ВСЕЙ Африке" не является универсальным для любых фраз такого типа. А является следствием логики русского языка для конкретной версии фразы. А значит не может переноситься на произвольные утверждения А не является B. Получилось немного сумбурно и много раз об одном и том же, но я просто хочу разжевать свою мысль. Ну и несколько последних замечаний. Я понимаю, что фраза расплывчата и что 100%-го доказательства тут быть не может - это все вопрос формулировок. Именно поэтому я настоял на дополнительном условии:"Так как формулировка не точна и оставляет место для толкований, то для победы в споре будет достаточно того, что судья будет считать мою версию более правильной, чем твою. Не 100%-ой, так как это невозможно с такими расплывчатыми условиями, а просто более вероятной. ". То есть фактически вопрос свелся к тому, чья трактовка утверждения более близка судье, что он считает более верным. То есть нужно выбрать один из вариантов и только в случае полного 50 на 50 - расход. вариант soul: Диапазон, который выдаст ICMizer при нажатие кнопки "Calculate Nash equilibrium", не всегда будет равновесием Нэша вариант HUTrader: Диапазон, который выдаст ICMizer при нажатие кнопки "Calculate Nash equilibrium", никогда не будет равновесием Нэша И сразу отвечая на всевозможные примеры фраз, утверждений и так далее, которые мой оппонент наверняка будет приводить. Утверждая, что это утверждение идентично моему, а значит то и то. Так вот. Как и в случае с "Африкой" идентичность нужно доказывать, потому что похожие фразы при переводе на язык математической логики могут дать абсолютно разный результат. Поэтому я прошу судью игнорировать подобные аргументы, если идентичность не будет доказана в математическом смысле этого слова или хотя бы настолько близко к этому, насколько возможно.	+5
03.10.2014	Jumpy, Изначальная фраза некорректна, к ней в любом случае нужно что-то добавлять. По моему мнению наиболее близкая интерпретация - моя.	+1
02.10.2014	Глубоко	+1
27.09.2014	Khishtaki, Я согласен, но с одним дополнением. Если оппонент настаивает на том, что "диапазон, который выдаст icmizer" - это именно какой-то один конкретный диапазон, а не множество, как считаю я, то это в любом случае какой-то конкретный диапазон из моего первого комментария. То есть какой-то "мой" диапазон, в ситуации "где сложно найти равновесие Нэша на практике". А в таких ситуациях, как мы знаем, icmizer выдает неверное решение. Это еще один вариант, который меня устраивает.	+1
27.09.2014	Khishtaki, Окей. Начну на этот раз с другой стороны. Диапазоны, которые выдает icmizer во многих ситуациях для пуш-фолда в ху при стеках 7-100 бб, далеки от равновесия Нэша. Мой оппонент вроде с этим согласен, поэтому не буду тратить время на доказывания очевидного. Если по этому вопросу будут споры, то завтра вечером смогу остановиться на этом подробнее со скринами. Теперь перейдем к главному. Как я понимаю стратегия моего оппонента состоит в том, чтобы показать, что есть некоторые случаи ( например вырожденный, где у всех по 1 бб ), где icmizer выдает правильные диапазоны, и утверждать, что из этого следует, что я не прав. На это у меня есть два аргумента. 1) Ход дискуссии, где видно, что изначально мой оппонент утверждает, что icmizer всегда выдает правильные диапазоны. Напрямую там этих слов нет, но это следует из логики дискуссии. И что на новую стратегию он перестроился гораздо позже, поняв, что был не прав. Это конечно не является прямым доказательством, но достаточно красноречиво, на мой взгляд. 2) Если рассматривать вопрос исключительно формально, как это пытается делать мой оппонент, то все равно мое утверждение верно. Нужно помнить, что я пытался добиться более четкой формулировки спора от него, но он специально отказывался это делать, поэтому формулировка немного неточна и именно поэтому я настоял на том, что для победы в споре достаточного просто того, что моя версия более убедительная. 100%-ых доказательств не нужно. Так вот. Рассмотрим мое утверждение с формальной точки зрения, если рассматривать его без уточнения. Оно идентично утверждению, что множество диапазонов, полученных в icmizerе, не совпадает с множеством диапазонов Нэша. Об этом я более подробно написал в первом посте. Версия же моего оппонента в том, что мое утверждение тождественно тому, что диапазон icmizerа никогда не совпадает с равновесием Нэша. Мне она не кажется состоятельный. Его утверждение гораздо более сильное и никак не следует из моего. Ведь если я утверждаю, что "А не является B", то это не значит, что А и B не могут пересекаться. Могут и часто пересекаются. Просто они не тождественны.	+1

28.09.2014

03.10.2014

Jumpy, Изначальная фраза некорректна, к ней в любом случае нужно что-то добавлять. По моему мнению наиболее близкая интерпретация - моя.

02.10.2014

Глубоко

27.09.2014

Khishtaki, Я согласен, но с одним дополнением. Если оппонент настаивает на том, что "диапазон, который выдаст icmizer" - это именно какой-то один конкретный диапазон, а не множество, как считаю я, то это в любом случае какой-то конкретный диапазон из моего первого комментария. То есть какой-то "мой" диапазон, в ситуации "где сложно найти равновесие Нэша на практике". А в таких ситуациях, как мы знаем, icmizer выдает неверное решение. Это еще один вариант, который меня устраивает.

27.09.2014

Khishtaki, Окей. Начну на этот раз с другой стороны. Диапазоны, которые выдает icmizer во многих ситуациях для пуш-фолда в ху при стеках 7-100 бб, далеки от равновесия Нэша. Мой оппонент вроде с этим согласен, поэтому не буду тратить время на доказывания очевидного. Если по этому вопросу будут споры, то завтра вечером смогу остановиться на этом подробнее со скринами. Теперь перейдем к главному. Как я понимаю стратегия моего оппонента состоит в том, чтобы показать, что есть некоторые случаи ( например вырожденный, где у всех по 1 бб ), где icmizer выдает правильные диапазоны, и утверждать, что из этого следует, что я не прав. На это у меня есть два аргумента. 1) Ход дискуссии, где видно, что изначально мой оппонент утверждает, что icmizer всегда выдает правильные диапазоны. Напрямую там этих слов нет, но это следует из логики дискуссии. И что на новую стратегию он перестроился гораздо позже, поняв, что был не прав. Это конечно не является прямым доказательством, но достаточно красноречиво, на мой взгляд. 2) Если рассматривать вопрос исключительно формально, как это пытается делать мой оппонент, то все равно мое утверждение верно. Нужно помнить, что я пытался добиться более четкой формулировки спора от него, но он специально отказывался это делать, поэтому формулировка немного неточна и именно поэтому я настоял на том, что для победы в споре достаточного просто того, что моя версия более убедительная. 100%-ых доказательств не нужно. Так вот. Рассмотрим мое утверждение с формальной точки зрения, если рассматривать его без уточнения. Оно идентично утверждению, что множество диапазонов, полученных в icmizerе, не совпадает с множеством диапазонов Нэша. Об этом я более подробно написал в первом посте. Версия же моего оппонента в том, что мое утверждение тождественно тому, что диапазон icmizerа никогда не совпадает с равновесием Нэша. Мне она не кажется состоятельный. Его утверждение гораздо более сильное и никак не следует из моего. Ведь если я утверждаю, что "А не является B", то это не значит, что А и B не могут пересекаться. Могут и часто пересекаются. Просто они не тождественны.


c3-	Тогда это не спор, а попытка цепляться за слова. Ага, ща.	+19
Khishtaki	последний мой пост в этой теме. Да конечно читал. Если я стану писать ВЕСЬ ход своих мыслей, разбирать КАЖДУЮ фразу твоего поста - то мне придётся написать тут в пять раз больше, чем вы с Ваней на пару написали. Поэтому я старался писать ОСНОВНОЕ. Похоже, зря. А на это отвечу одно: нехер заключать идиотские пари. Прости за прямоту, но я уже не судья - имею право.	+18
HUTrader	Поражение признаю. Поздравляю Соула с +950. Деньги перевел ему еще до спора. Из заключения арбитра я понял, что Хиштаки сделал вывод о победителе основываясь лишь на собственном понимание нашего диалога, приведенного уже в первом моем посте данного топика. Именно так я изначально и представлял себе его участие как арбитра. Правда надеялся, что он проконсультируется со специалистами математиками, как в пари alles vs pokerukr. Он решил этого не делать, и позиция Соула оказалась ему ближе, тут вопросов нет. Поставил, - проиграл, обычное дело, ГСЧ был сегодня не на моей стороне. Однако есть одна вещь, которая вводит меня в бешенный тильт: В выводе Хиштаки я не вижу ни одного свидетельства того, что то, что было написано после моего первого поста хоть как-то повлияло на его решение. Лично мне, абсолютно очевидно, что аргументацию я провел гораздо лучше оппонента. Я разбил все его аргументы, и строго доказал, что полностью прав он быть не может. Если внимательно прочитать его заключительный пост, а потом мой, то можно увидеть, что я был на шаг впереди. Но, оказывается, исход поединка был уже предрешен. Зачем было разводить этот "состязательны цирк", отнявший у меня 3 игровых дня и кучу умственной энергии, мне абсолютно непонятно. ЗАЧЕМ? Это единственно неприятный осадок от данного действа. Так как опыт, полученный в результате всего этого действа оцениваю гораздо дороже, чем проигранная 1000$. P.S. Надеюсь данная тема хоть немного позабавила форумчан, и все это не зря. Ну и бесплатный совет на 1000$: Если Вы, - успешный игрок в покер. Ваша логика проверенна миллионами раздач, где за каждую ошибку вы платите из собственного кармана. Берите в судьи такого же профессионального игрока, тогда у Вас будет больше шансов на то, что ваши мнения сойдутся. Я выделил слово профессионал, что бы не обидеть Хиштаки. Профессионал, как символ той боли, которая отличает каждую ошибку рега, от ошибки любителя покера, играющего фор фан. Боли, которая очень быстро учит нас мыслить с минимальным количеством ошибок. Человек, который не испытал эту боль тысячи раз редко Вас поймет.	+16
Khishtaki	Должен сказать, что в моей арбитражной практике это пока что самый сложный случай. Например, в пари alles vs pokerukr сами спорщики договорились о чёткой процедуре определения победителя, мне оставалось только найти троих респондентов и опросить их. Здесь же мне приходится самому выработать критерии, по которым я должен рассудить спорящих. При этом очевидно, что по сути у спорщиков нет разногласий, и если бы целью их первоначального разговора было установление истины и сближение позиций, то они бы за пару-тройку реплик пришли бы к устраивающему обоих компромиссу. Но вместо этого вышел конфликт и пари. Как модератор форума я считаю, что это - пример неправильного поведения. Есть два принципиально разных подхода к разбору подобных споров: подход формальный (читаем ровно то, что написано) и подход «по сути», когда заведомо абсурдные детали исключаются, т.е. включается режим «ну вы же понимаете, что я хотел сказать». Посмотрим, как выглядят позиции сторон в обеих парадигмах. С формальной точки зрения, как это ни парадоксально, прав именно Soul. Это показал мой следственный эксперимент, который я провёл в строгом ФОРМАЛЬНОМ соответствии с изложенным обеими сторонами текстом. Правда я не покупал ICMizer, но его автор заверил меня, что в этом смысле разницы между покупкой и просто заходом на сайт и разовым бесплатным вычислением нет. Итак, я ранее никогда не пользовался ICMizer, зашёл на сайт и, не делая ничего другого (в полном соответствии с инструкцией HUTrader), нажал на кнопку Calculate Nash equilibrium. В результате я получил некий диапазон для ситуации 15ББ для СБ на 6макс столе. Поскольку в пари речь шла о ХУ, я поменял 6макс стол в настройках на ХУ и снова увидел, что ICMizer рассматривает ситуацию с 15ББ. Таким образом, в обоих случаях полученный по инструкции HUTrader диапазон не был Нэшевским равновесием. Я не буду тут заморачиваться с доказательством, потому что HUTrader этого факта и не оспаривал. Однако, как я заявлял, мы ведём состязательный процесс. Soul в своих выступлениях этого аргумента не привёл. Следовательно, я не буду учитывать его, как аргумент в пользу правоты Soul. Но как аргумент НЕправоты (в формальной парадигме) HUTrader я его принимаю. Таким образом, в формальной парадигме победителя нет. Теперь рассмотрим ситуацию «по сути». По сути совершенно понятно, что обе стороны намеревались сказать, и фактическое разногласие лежит именно в применимости трактовки начального высказывания. Начальное высказывание неполно, для полноты в него необходимо добавить ровно одно слово. В версии HUTrader это слово «никогда», а в версии Soul – «всегда». Пример, приведённый HUTrader насчёт Африки и дождя не является прямой аналогией потому что в его примере фраза УЖЕ полна, её нет надобности уточнять. В нашей же фразе неполноту создаёт то, что в ней не указаны все необходимые вводные данные, а значит эти вводные данные необходимо откуда-то взять и добавить. Для того, чтобы понять, каким словом мы должны дополнить формулировку, обратимся к приведённым обеими сторонами цитатам из их диалога. Вот их диалог: 1. Покупаешь ICMizer и нажимаешь кнопочку "Calculate Nash equilibrium" . 2. И диапазон, который он выдаст, не будет равновесием Нэша. Ровно про это я и писал. Обратите внимание, что каждая из сторон в своей реплике цитирует реплику оппонента, тем самым не оставляя сомнений, что это ответ именно на предыдущую реплику. Лично мне из диалога очевидно, что Soul пишет именно про НЕКОТОРЫЕ случаи и не утверждает, что диапазон НИКОГДА не будет нэшевским. В этом смысле предлагаемая им трактовка спорной фразы полностью соответствует истории спора. А вот реплика HUTrader скорее воспринимается именно как обобщение: Вопрос-утверждение: Я не знаю, как построить нэшевский диапазон Ответ HUTrader: купи ICMizer и нажми на кнопку. Конечно можно домыслить в таком ответе и продолжение: «…и иногда в вырожденных случаях полученный тобой диапазон будет нэшевским», но, полагаю, это слишком сильное домысливание. Особенно учитывая, что HUTrader прямо цитирует текст Soul в том числе оборот «при разных блайндах в ху». Таким образом исходя из сути диалога я считаю более корректным дополнить формулировку словом «всегда» и соответственно утверждение истинно. Итоговое заключение: с формальной точки зрения победителя нет, с «сутевой» с учётом приведённых сторонами реплик Soul ближе к истине. Обе стороны высказали пожелание по возможности обойтись без расхода/делёжки и присудить кому-то весь банк, впрочем оставляя окончательное решение за мной. Думаю, что без такого единодушия в позициях оппонентов я бы ещё подумал о какой-то пропорции деления ставки, но раз это было общее изначальное желание спорщиков – я не буду его менять. Победителем объявляю Soul. Кстати отмечу, что даже если бы не эксперимент с 15ББ, которые по умолчанию стоят в ICMizer, то в формальной парадигме правота HUTrader вовсе не кажется мне столь очевидной. Истинно или ложно неполное утверждение? Это вопрос однозначно выходящий за пределы математической логики, а следовательно его вообще нельзя разбирать в её (логики) рамках. В этом смысле уловка с ICMizer просто упростила мне рассуждения, но не думаю, что принципиально изменила расклад сил в пари: интуитивно я полагаю, что по формальной части это и была бы ничья, просто мне пришлось бы потратить куда больше сил и времени на рассуждения и обоснование.	+14
tsov	согласен, что пример с африкой никуда не годится. но и пример Михея неверен. Фраза "И диапазон, который он выдаст, не будет равновесием Неша" закончена, в то время как фраза "И диапазон, который он выдаст, будет не равновесием Неша" - нет. "будет не Х" должно быть дополнено "а Y". в данном примере: "будет не равновесием Неша, а приближением к нему". Например фраза "Самолет не будет летать" закончена, а "Самолет будет не летать" - нет. должно быть "Самолет будет не летать, а ездить". Соответственно, фраза "И диапазон, который он выдаст, не будет равновесием Неша" закончена и обладает ровно таким же смыслом что и незаконченная фраза "И диапазон, который он выдаст, будет не равновесием Неша" без противопоставляющей части. И, соответственно, фраза "И диапазон, который он выдаст, не будет равновесием Неша" будет истинна тогда и только тогда, когда диапазон никогда не будет равновесием Неша. Также как и в примере с самолетом: фраза истинна тогда и только тогда, когда самолет никогда не полетит, не важно по какой причине он не полетит. То есть если я сказал: "И самолет, который ты сделаешь, не будет летать", а его привязали к другому самолету и он полетел, то моя фраза была ложью, так как в ней не было уточнения что самолет не полетит без чьей либо помощи, а только условие "ты его сделаешь". Так что, фактически, прав ХАтрейдер, так как фраза Соула закончена и несет в себе только одно условие: "который он выдаст" и если при выполнении этого единственного условия хоть в одном случае выдается равновесие Неша, то фраза Соула - ложь. ХАтрейдер именно на это и рассчитывал. О честности данного подхода судить не берусь, но не могу понять как можно было вынести вердикт в пользу Соула. ИМХО	+11

c3-

Тогда это не спор, а попытка цепляться за слова. Ага, ща.

+19

Khishtaki

последний мой пост в этой теме. Да конечно читал. Если я стану писать ВЕСЬ ход своих мыслей, разбирать КАЖДУЮ фразу твоего поста - то мне придётся написать тут в пять раз больше, чем вы с Ваней на пару написали. Поэтому я старался писать ОСНОВНОЕ. Похоже, зря. А на это отвечу одно: нехер заключать идиотские пари. Прости за прямоту, но я уже не судья - имею право.

+18

HUTrader

Поражение признаю. Поздравляю Соула с +950. Деньги перевел ему еще до спора. Из заключения арбитра я понял, что Хиштаки сделал вывод о победителе основываясь лишь на собственном понимание нашего диалога, приведенного уже в первом моем посте данного топика. Именно так я изначально и представлял себе его участие как арбитра. Правда надеялся, что он проконсультируется со специалистами математиками, как в пари alles vs pokerukr. Он решил этого не делать, и позиция Соула оказалась ему ближе, тут вопросов нет. Поставил, - проиграл, обычное дело, ГСЧ был сегодня не на моей стороне. Однако есть одна вещь, которая вводит меня в бешенный тильт: В выводе Хиштаки я не вижу ни одного свидетельства того, что то, что было написано после моего первого поста хоть как-то повлияло на его решение. Лично мне, абсолютно очевидно, что аргументацию я провел гораздо лучше оппонента. Я разбил все его аргументы, и строго доказал, что полностью прав он быть не может. Если внимательно прочитать его заключительный пост, а потом мой, то можно увидеть, что я был на шаг впереди. Но, оказывается, исход поединка был уже предрешен. Зачем было разводить этот "состязательны цирк", отнявший у меня 3 игровых дня и кучу умственной энергии, мне абсолютно непонятно. ЗАЧЕМ? Это единственно неприятный осадок от данного действа. Так как опыт, полученный в результате всего этого действа оцениваю гораздо дороже, чем проигранная 1000$. P.S. Надеюсь данная тема хоть немного позабавила форумчан, и все это не зря. Ну и бесплатный совет на 1000$: Если Вы, - успешный игрок в покер. Ваша логика проверенна миллионами раздач, где за каждую ошибку вы платите из собственного кармана. Берите в судьи такого же профессионального игрока, тогда у Вас будет больше шансов на то, что ваши мнения сойдутся. Я выделил слово профессионал, что бы не обидеть Хиштаки. Профессионал, как символ той боли, которая отличает каждую ошибку рега, от ошибки любителя покера, играющего фор фан. Боли, которая очень быстро учит нас мыслить с минимальным количеством ошибок. Человек, который не испытал эту боль тысячи раз редко Вас поймет.

+16

Khishtaki

Должен сказать, что в моей арбитражной практике это пока что самый сложный случай. Например, в пари alles vs pokerukr сами спорщики договорились о чёткой процедуре определения победителя, мне оставалось только найти троих респондентов и опросить их. Здесь же мне приходится самому выработать критерии, по которым я должен рассудить спорящих. При этом очевидно, что по сути у спорщиков нет разногласий, и если бы целью их первоначального разговора было установление истины и сближение позиций, то они бы за пару-тройку реплик пришли бы к устраивающему обоих компромиссу. Но вместо этого вышел конфликт и пари. Как модератор форума я считаю, что это - пример неправильного поведения. Есть два принципиально разных подхода к разбору подобных споров: подход формальный (читаем ровно то, что написано) и подход «по сути», когда заведомо абсурдные детали исключаются, т.е. включается режим «ну вы же понимаете, что я хотел сказать». Посмотрим, как выглядят позиции сторон в обеих парадигмах. С формальной точки зрения, как это ни парадоксально, прав именно Soul. Это показал мой следственный эксперимент, который я провёл в строгом ФОРМАЛЬНОМ соответствии с изложенным обеими сторонами текстом. Правда я не покупал ICMizer, но его автор заверил меня, что в этом смысле разницы между покупкой и просто заходом на сайт и разовым бесплатным вычислением нет. Итак, я ранее никогда не пользовался ICMizer, зашёл на сайт и, не делая ничего другого (в полном соответствии с инструкцией HUTrader), нажал на кнопку Calculate Nash equilibrium. В результате я получил некий диапазон для ситуации 15ББ для СБ на 6макс столе. Поскольку в пари речь шла о ХУ, я поменял 6макс стол в настройках на ХУ и снова увидел, что ICMizer рассматривает ситуацию с 15ББ. Таким образом, в обоих случаях полученный по инструкции HUTrader диапазон не был Нэшевским равновесием. Я не буду тут заморачиваться с доказательством, потому что HUTrader этого факта и не оспаривал. Однако, как я заявлял, мы ведём состязательный процесс. Soul в своих выступлениях этого аргумента не привёл. Следовательно, я не буду учитывать его, как аргумент в пользу правоты Soul. Но как аргумент НЕправоты (в формальной парадигме) HUTrader я его принимаю. Таким образом, в формальной парадигме победителя нет. Теперь рассмотрим ситуацию «по сути». По сути совершенно понятно, что обе стороны намеревались сказать, и фактическое разногласие лежит именно в применимости трактовки начального высказывания. Начальное высказывание неполно, для полноты в него необходимо добавить ровно одно слово. В версии HUTrader это слово «никогда», а в версии Soul – «всегда». Пример, приведённый HUTrader насчёт Африки и дождя не является прямой аналогией потому что в его примере фраза УЖЕ полна, её нет надобности уточнять. В нашей же фразе неполноту создаёт то, что в ней не указаны все необходимые вводные данные, а значит эти вводные данные необходимо откуда-то взять и добавить. Для того, чтобы понять, каким словом мы должны дополнить формулировку, обратимся к приведённым обеими сторонами цитатам из их диалога. Вот их диалог: 1. Покупаешь ICMizer и нажимаешь кнопочку "Calculate Nash equilibrium" . 2. И диапазон, который он выдаст, не будет равновесием Нэша. Ровно про это я и писал. Обратите внимание, что каждая из сторон в своей реплике цитирует реплику оппонента, тем самым не оставляя сомнений, что это ответ именно на предыдущую реплику. Лично мне из диалога очевидно, что Soul пишет именно про НЕКОТОРЫЕ случаи и не утверждает, что диапазон НИКОГДА не будет нэшевским. В этом смысле предлагаемая им трактовка спорной фразы полностью соответствует истории спора. А вот реплика HUTrader скорее воспринимается именно как обобщение: Вопрос-утверждение: Я не знаю, как построить нэшевский диапазон Ответ HUTrader: купи ICMizer и нажми на кнопку. Конечно можно домыслить в таком ответе и продолжение: «…и иногда в вырожденных случаях полученный тобой диапазон будет нэшевским», но, полагаю, это слишком сильное домысливание. Особенно учитывая, что HUTrader прямо цитирует текст Soul в том числе оборот «при разных блайндах в ху». Таким образом исходя из сути диалога я считаю более корректным дополнить формулировку словом «всегда» и соответственно утверждение истинно. Итоговое заключение: с формальной точки зрения победителя нет, с «сутевой» с учётом приведённых сторонами реплик Soul ближе к истине. Обе стороны высказали пожелание по возможности обойтись без расхода/делёжки и присудить кому-то весь банк, впрочем оставляя окончательное решение за мной. Думаю, что без такого единодушия в позициях оппонентов я бы ещё подумал о какой-то пропорции деления ставки, но раз это было общее изначальное желание спорщиков – я не буду его менять. Победителем объявляю Soul. Кстати отмечу, что даже если бы не эксперимент с 15ББ, которые по умолчанию стоят в ICMizer, то в формальной парадигме правота HUTrader вовсе не кажется мне столь очевидной. Истинно или ложно неполное утверждение? Это вопрос однозначно выходящий за пределы математической логики, а следовательно его вообще нельзя разбирать в её (логики) рамках. В этом смысле уловка с ICMizer просто упростила мне рассуждения, но не думаю, что принципиально изменила расклад сил в пари: интуитивно я полагаю, что по формальной части это и была бы ничья, просто мне пришлось бы потратить куда больше сил и времени на рассуждения и обоснование.

+14

tsov

+11


HUTrader	73
mihhhhey	24
Khishtaki	23
tsov	10
Jumpy	9

По дате По рейтингу

Только автор

1 2 3 4 12 →

Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

Пока просто создам тему, после перевода денег гаранту напишу свою версию, а мой оппонент свою.

Update. Деньги переведены, судья Kishtaki.

Сообщение отредактировал Soul - 26.9.2014, 14:44

1/62

Ссылка скопирована
26.09.2014 15:34

Ответить Цитировать

0
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

В связи с тем, что по моему мнению формулировка спора не точна и может привести к двойному толкованию, то я поставил условие, на которое мой оппонент согласился. Условие такое:" Так как формулировка не точна и оставляет место для толкований, то для победы в споре будет достаточно того, что судья будет считать мою версию более правильной, чем твою. Не 100%-ой, так как это невозможно с такими расплывчатыми условиями, а просто более вероятной. ". И сделал я это именно из-за не совсем корректной формулировки, поэтому первый пост будет исключительно о моем понимании формулировки.

Под спойлером цитаты из-за которых разгорелся спор:

Цитата (Soul)
С этим я и не спорю. Выразился неверно в изначальном посте просто. Меня больше интересует практика. Я не знаю насколько просто построить диапазон Нэша при разных блайндах в ху

Цитата
Покупаешь ICMizer и нажимаешь кнопочку "Calculate Nash equilibrium" .

Цитата (Soul)
И диапазон, который он выдаст, не будет равновесием Нэша. Ровно про это я и писал.

Цитата (HUTrader)
Доказать можешь? Или просто языком ляпаешь?

Почему формулировка расплывчата? Потому что о равновесие Нэша можно говорить в какой-то конкретной игре. То есть в применении к покеру мы должны знать количество игроков, стеки, тип игры ( в данном случае пуш-фолд ). Здесь же это четко не сформулировано, поэтому и остается простор для толкований.

Во втором посте я покажу, что в ху при эффективных стеках больше 6-7-8 бб ( сейчас нет времени проверить точно ) icmizer при нажатии на кнопку "Calculate Nash equilibrium" очень часто выдает диапазоны, которые не являются равновесием Нэша. Я считаю, что существование таких ситуаций уже доказывает мое утверждение. Но можно пойти и чуть дальше. Допустим что x - это размер стека 1-го игрока, а y - стек второго. f(x,y) - это множество равновесий Нэша в зависимости от x и y, а F(x,y) - это множество "Calculate Nash equilibrium" в icmizer в зависимости от x и y. Так вот f(x,y)!=F(x,y) , а значит и в более общем смысле я прав.

Сообщение отредактировал Soul - 26.9.2014, 22:55

2/62

Ссылка скопирована
26.09.2014 15:58

Ответить Цитировать

1
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

Для второго поста мне нужно делать скриншоты из icmizer-а, а это проблематично, я сейчас не дома. Дома буду завтра вечером и напишу второй пост, но там все тривиально. И все споры будут из-за первой части, я уверен.

3/62

Ссылка скопирована
26.09.2014 16:00

Ответить Цитировать

1
Q
Профиль Личное сообщение

ICMIZER Boss

Модератор

На сайте: 14 лет

4,248
9,783

Если что, я сразу могу сказать, что ICMIZER находит приближение к равновесию Нэша.
В том числе, и во многих спотах в ХУ.

1/1

Ссылка скопирована
26.09.2014 16:05

Ответить Цитировать

3
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Поскольку Иван не написал даже сути спора. А согласился он спорить на моих условиях. Я опишу все по порядку:

Вот история возникновения пари. Между мной и Иваном состоялся такой диалог:
Цитата (Soul)
Я не знаю насколько просто построить диапазон Нэша при разных блайндах в ху

Цитата (HUTrader)
Покупаешь ICMizer и нажимаешь кнопочку "Calculate Nash equilibrium" .

Цитата (Soul)
И диапазон, который он выдаст, не будет равновесием Нэша.

Цитата (HUTrader)
Доказать можешь?

Цитата (Soul)
Да могу конечно.

Итак, я утверждаю :"Твое утверждение:

"И диапазон, который он выдаст, не будет равновесием Нэша"

- ложно.

ставка 1000$.

Дальше Иван делал вид, что не понимает суть предложенного спора, но в конце концов написал:

Цитата (Soul)
Ладно. В тщетной надежде хоть что-то заработать я согласен на твою формулировку при одном условии. Так как формулировка не точна и оставляет место для толкований, то для победы в споре будет достаточно того, что судья будет считать мою версию более правильной, чем твою. Не 100%-ой, так как это невозможно с такими расплывчатыми условиями, а просто более вероятной. Тогда я согласен поспорить и без уточнения формулировки.

Я решил немного выторговать и себе:

Цитата (HUTrader)
Ладно.Давай тогда если судья будет считать мою версию (что утверждение ложно) более правильным (пусть и не полностью правильным) чем твою то выиграл я? Если согласен - создавай тему.

На что последовало:

Цитата (Soul)
HUTrader, Окей. Создаю тему, а ты тогда переведи ему 1к, я тоже переведу.

Итак, суть спора в том, что я утверждаю что утверждение Ивана

Цитата (Soul)
И диапазон, который он выдаст, не будет равновесием Нэша.

в данном контексте ложно, а он, что оно истинно.
Иван, подтверди плз, что ты принимаешь это.

Сообщение отредактировал HUTrader - 26.9.2014, 15:36

1/73

Ссылка скопирована
26.09.2014 16:05

Ответить Цитировать

0
mihhhhey
Профиль Личное сообщение

New

Король пушфолда

На сайте: 12 лет

6,903
12,295

Ну я повторю то что уже писал. То, что показывает конкретно программа icmizer, действительно не является равновесием Нэша. Для многих ХА-ситуаций действительно можно подобрать диапазоны, играя которые на дистанции в несколько миллионов рук против диапазонов icmizer`а, мы окажемся в плюсе.

1/24

Ссылка скопирована
26.09.2014 16:06

Ответить Цитировать

0
Khishtaki
Профиль Личное сообщение

Местный

На сайте: 14 лет

11,525
15,570

Так, друзья... Если вы договоритесь о ЕДИНОЙ для обоих формулировке спора (пусть она даже будет расплывчатой), то я готов вас рассудить за символические $50.

Притом решение будет в диапазоне от {-размер ставки} до {+размер ставки}, включая в себя расход, если я решу, что там к расходу ближе, а моё вознаграждение я получаю в любом случае.
Так что согласовывайте формулировку спора и зовите.

1/23

Ссылка скопирована
26.09.2014 16:10

Ответить Цитировать

1
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

Цитата (Q @ 26.9.2014)
Если что, я сразу могу сказать, что ICMIZER находит приближение к равновесию Нэша.
В том числе, и во многих спотах в ХУ.

Ну или это может подойти вместо скриншотов :).

Равновесие Нэша (англ. Nash equilibrium) названо в честь Джона Форбса Нэша — так в теории игр называется тип решений игры двух и более игроков, в котором ни один участник не может увеличить выигрыш, изменив своё решение в одностороннем порядке, когда другие участники не меняют решения. Такая совокупность стратегий выбранных участниками и их выигрыши называются равновесием Нэша[1].

Для диапазонов из Icmizera - это условие не выполняется. То есть один из игроков может поменять свой диапазон и он будет выигрывать больше, в то время как второй свой диапазон не изменит. Если у вас есть icmizer, то вы можете сами это проверить выбрав ху, стеки по 10 бб и нажав кнопку Calculate Nash , а потом нажать просто calculate для пуша с СБ. Диапазон поменяется и он будет более +ЕВ для СБ, чем изначальный. То есть выданные диапазоны не являются равновесием Нэша.

Скриншоты я приложу завтра.

4/62

Ссылка скопирована
26.09.2014 16:14

Ответить Цитировать

1
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

Khishtaki, Формулировка согласована см пост HUTrader или мой, но она расплывчата. В этом и проблема. Было бы все четко, было бы точное решение.

5/62

Ссылка скопирована
26.09.2014 16:15

Ответить Цитировать

0
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Цитата (Khishtaki @ 26.9.2014)
Так, друзья... Если вы договоритесь о ЕДИНОЙ для обоих формулировке спора (пусть она даже будет расплывчатой), то я готов вас рассудить за символические $50.

Притом решение будет в диапазоне от {-размер ставки} до {+размер ставки}, включая в себя расход, если я решу, что там к расходу ближе, а моё вознаграждение я получаю в любом случае.
Так что согласовывайте формулировку спора и зовите.

В процессе диалога я многократно повторил мою формулировку, приведенную выше. А также несколько раз повторил, что ничего другого я не утверждаю. Иван долго юлил но в конце концов согласился на эту формулировку. Думаю скоро он это подтвердит.
Я согласен на 50$, но предпочел бы вариант без расхода и с полной выплатой.

2/73

Ссылка скопирована
26.09.2014 16:15

Ответить Цитировать

0
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Цитата (Soul @ 26.9.2014)
Khishtaki, Формулировка согласована, но на расплывчата. В этом и проблема. Было бы все четко, было бы точное решение.

Иван, то есть ты согласен, что если я докажу, что твое высказывание ложно, то ты проиграл?

3/73

Ссылка скопирована
26.09.2014 16:17

Ответить Цитировать

0
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

Цитата (HUTrader @ 26.9.2014)
Иван, то есть ты согласен, что если я докажу, что твое высказывание ложно, то ты проиграл?

Пусть судья решает. Наша задача предоставить доказательства.

На условия Киштаки я согласен, но тоже предпочел бы однозначного победителя.

6/62

Ссылка скопирована
26.09.2014 16:25

Ответить Цитировать

-1
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Что должен решать судья, если ты еще не слово не написал о сути спора? Ты написал, что согласен на мои условия. Это как минимум означает, что ты должен признать поражение если:
Цитата (HUTrader @ 26.9.2014)
если я докажу, что твое высказывание ложно

Определись быстрее, о чем мы спорим

Сообщение отредактировал HUTrader - 26.9.2014, 15:55

4/73

Ссылка скопирована
26.09.2014 16:29

Ответить Цитировать

0
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

HUTrader, Мы договорились о судье, пусть он решает. Формулировка спора в этом посте есть, что тут еще обсуждать.

7/62

Ссылка скопирована
26.09.2014 16:47

Ответить Цитировать

-2
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

ОК, обращаюсь к судье: Khishtaki, достаточно ли мне доказать, что утверждение "И диапазон, который он выдаст, не будет равновесием Нэша" - ложно?
Согласен ли судья на спор с расходом лишь в крайнем случае, как того хотят оба участника? 50$ с победителя.

5/73

Ссылка скопирована
26.09.2014 16:53

Ответить Цитировать

0
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

HUTrader, Не думаю, что такие вопросы задавать корректно. Ты должен изложить свою версию, я свою, потом может быть ответить на несколько вопросов судьи, что-то уточнить и все.

8/62

Ссылка скопирована
26.09.2014 16:55

Ответить Цитировать

-1
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Я уже изложил свою версию, ты на нее согласился:
Цитата (Soul)
я согласен на твою формулировку при одном условии.

Условия твое и мое мы тоже описали. Что еще излагать я не представляю. На вопросы судьи ответить готов.

6/73

Ссылка скопирована
26.09.2014 17:01

Ответить Цитировать

0
mihhhhey
Профиль Личное сообщение

New

Король пушфолда

На сайте: 12 лет

6,903
12,295

Никак не могу понять где же здесь подвох. Вроде как изи тысяча баксов для Соула.

2/24

Ссылка скопирована
26.09.2014 17:04

Ответить Цитировать

9
Автор темы
Soul Автор темы
Профиль Личное сообщение

Модератор

GIPSYTEAM

На сайте: 14 лет

32,900

HUTrader, Я согласился на твою формулировку, которая есть в твоем и моем первом посте. Я это уже 10 раз написал. Больше добавить мне нечего.

9/62

Ссылка скопирована
26.09.2014 17:06

Ответить Цитировать

0
HUTrader
Профиль Личное сообщение

Увлеченный

На сайте: 12 лет

440
2,378

Вот https://forum.gipsyteam.ru/index.php?viewtopic=48079 тоже пари на истинность/ложность высказывания, если кто не понимает суть спора.

7/73

Ссылка скопирована
26.09.2014 17:06

Ответить Цитировать

0

1 2 3 4 12 →

Подписаться на обновления темы по почте

1 человек читает эту тему (1 гость):

Форум GipsyTeam Вокруг покера Покерные пари и марафоны

Войти или зарегистрироваться

Зачем регистрироваться на GipsyTeam?

Вы сможете оставлять комментарии, оценивать посты, участвовать в дискуссиях и повышать свой уровень игры.
Если вы предпочитаете четырехцветную колоду и хотите отключить анимацию аватаров, эти возможности будут в настройках профиля.
Вам станут доступны закладки, бекинг и другие удобные инструменты сайта.
На каждой странице будет видно, где появились новые посты и комментарии.
Если вы зарегистрированы в покер-румах через GipsyTeam, вы получите статистику рейка, бонусные очки для покупок в магазине, эксклюзивные акции и расширенную поддержку.