Мне метод April не понравился сразу. Чувствовал, что там что-то не то. Доказать этого не мог, так как долго не мог разобраться с методой по причине отвращения к ней. Все происходило постепенно.
Первое, что мне удалось доказать это ложность гипотезы Эйприл ниже. Обзовем ее "гипотеза 1".
Возьмем складывающийся 36 карточный расклад и определим по таблице разность валентностей его первой и последней карты. Получили, к примеру (-2). А потом посчитаем разность валентностей между всеми картами расклада, получим тоже (-2).
К своему калькулятору я добавил пару строк кода и узнал, что:
1. Гипотеза верна не для всех ЦС. Потому что сумма РВ часто выходит за рамки диапазона -4..0..+4.
2. РВ между первой и последней картой почему-то кратна сумме всей ЦП.
Пояснения:
1) ПЦ - цепочка перемен.
2) сумма всей ЦП - это чисто математическая сумма всех РВ
3) РВ - разница валентностей.
4) кратность означает, что, приведя сумму всей ЦП в диапазон от -4 до +4 она будет равняться перемене между первой и последней картой.
Гипотезу №1 Эйприл использовала как доказанное утверждение, на основе которого она сделала вывод:
Получается, что с точки зрения разности валентностей, две карты или 36 – все одно.
То есть может это и правда, но это недоказанная правда.
Далее, на основе этой ложно доказанной теоремы создан экспресс метод Эйприл. Многие люди проверили, и он работает.
И я проверял - работает. С глюками но работает.
Первое правило экспресс методы:
Правило Сохранения Разности Валентности :
Подстановка (вставка) между двумя картами не должна нарушать значение разностей валентностей между этими картами.
Это означает, что результирующая, суммарная разность валентностей подстановки, включая те карты, между которыми мы ее подставляем, должна быть равна разности валентности этих двух карт.
Это ее первое правило подстановки приводит к безукоризненному выполнению гипотезы №1. Но не все сходящиеся ЦС по закону ПМ соответствуют гипотезе №1. По этому с помощью метода Эйприл отсекается множество сходящихся цепочек событий, которые не выполняют данное правило. А таких ЦС
намного больше, чем попадающих под правило Апрельки.
Но я не мог успокоится не поняв, почему правила Эйприл работают?
Примерчики подстановки с сохранением сходимости (по методе Эйприл):
8ч 7б Кч => 8ч
Хч 7б Кч
или
8ч 7б Кч => 8ч
Кк 7б Кч
Но метод эйприл не позволяет делать такое:
Хч 7б Кч =>
8ч Хч 7б Кч
Сходимость не нарушена, результат тот же, а механизм другой, ибо другое правило подстановки, которого нет в правилах Апрельки. Если существует правило подстановки для формирования сходящегося рассклада, что не включено в методу, значит метод Апрельки не покрывает все множество сходящихся раскладов пасьянса Медичи.
На этом проблемы не заканчиваются.
Примерчик: 8б 7б 8ч.
Сделать одну элементарную подстановку Эйприл между 8б и 7б невозможно, чтоб не возник еще один транзит. Это немного ограничивает. Мне так не нравится. И есть способ подстановки, что, сохраняя сходимость, позволяет такие маневры.