avva: (Default)
avva ([personal profile] avva) wrote2011-12-22 12:35 am

задачка с решением (математическое)

Задачка такая: продолжить последовательность чисел 1,2,4,8,16...

Решение у нее немного нетривиальное, хотя в принципе ничего сложного нет. Я его дам под катом.


Понятно, что напрашивается предположение, что это значения какой-то не очень сложной функции, и если мы поймем, какой, то легко будет продолжить последовательность. Если мы обозначим эту функцию f, то можно предположить, что нам дали значения f(1), f(2), f(3), f(4), f(5), и если мы по ним сможем понять, что такое f(x), то следующее число будет просто f(6).

Самые логичные кандидаты на f(x), благодаря своей простоте - несомненно, многочлены. Поскольку у нас есть пять значений, можно надеяться, что есть единственный многочлен степени 4, который отвечает нашим условиям. И действительно, с помощью простых методов линейной алгебры (опускаю эту часть), легко видеть, что это многочлен

f(x) = x4/24 - x3/4 + 23x2/24 - 3x/4 + 1

Легко проверить, что его значения для x=1,2,3,4,5 как раз равны 1,2,4,8,16. А если подставить x=6, получим f(x)=31. Очевидно, это и есть правильный ответ.


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

источник: Carl E. Linderholm, Mathematics Made Difficult.

[identity profile] amigofriend.livejournal.com 2011-12-21 10:42 pm (UTC)(link)
Десять лет как жизни нет. Всё Колмогоровы, Линдерхольмы, Фихтенгольцы, всякие там Сканави.

(no subject)

[identity profile] amigofriend.livejournal.com - 2011-12-22 00:26 (UTC) - Expand

(no subject)

[identity profile] ok-66.livejournal.com - 2011-12-22 05:53 (UTC) - Expand

[identity profile] xxqs.livejournal.com 2011-12-21 10:42 pm (UTC)(link)
и чем же f=2^x не проще?

[identity profile] xxqs.livejournal.com 2011-12-21 10:43 pm (UTC)(link)
вру, 2^(x-1)

(no subject)

[identity profile] amigofriend.livejournal.com - 2011-12-21 22:43 (UTC) - Expand

(no subject)

[identity profile] xxqs.livejournal.com - 2011-12-21 22:44 (UTC) - Expand

(no subject)

[identity profile] tlkh.livejournal.com - 2011-12-22 10:15 (UTC) - Expand

(no subject)

[identity profile] xxqs.livejournal.com - 2011-12-22 17:28 (UTC) - Expand

[identity profile] tandem-bike.livejournal.com 2011-12-21 10:43 pm (UTC)(link)
однако шутник Карл!

[identity profile] amigofriend.livejournal.com 2011-12-21 10:55 pm (UTC)(link)
как у нас говорили - шалунишка.

[identity profile] dimrub.livejournal.com 2011-12-21 10:45 pm (UTC)(link)
Типичный overfit, кстати :).

[identity profile] avva.livejournal.com 2011-12-21 10:51 pm (UTC)(link)
:)

(no subject)

[identity profile] gwadelup.livejournal.com - 2011-12-21 23:08 (UTC) - Expand

(no subject)

[identity profile] zhenyach.livejournal.com - 2011-12-22 04:23 (UTC) - Expand

(Anonymous) 2011-12-21 10:46 pm (UTC)(link)
На мой взглад, утверждение "Самые логичные кандидаты на f(x), благодаря своей простоте - несомненно, многочлены" весьма спорно.

[identity profile] cema.livejournal.com 2011-12-21 11:50 pm (UTC)(link)
Спорно, но логично!

[identity profile] captain-tylor.livejournal.com 2011-12-21 10:46 pm (UTC)(link)
Правильный ответ - 32
Если считать простейший ответ по количеству символов в формуле.

[identity profile] oblomov-jerusal.livejournal.com 2011-12-22 04:46 am (UTC)(link)
Это если у вас в языке есть символ экспоненты, а если нету?

[identity profile] homotub.livejournal.com 2011-12-21 10:55 pm (UTC)(link)
это прекрасно)))

[identity profile] trurle.livejournal.com 2011-12-21 11:02 pm (UTC)(link)
Удивительно с какой точностью полиномиальная аппроксимация воспроизводит экспоненту.

[identity profile] kblcbka.livejournal.com 2011-12-21 11:23 pm (UTC)(link)
:)))

(no subject)

[identity profile] dmpogo.livejournal.com - 2011-12-22 23:02 (UTC) - Expand

(no subject)

[identity profile] trurle.livejournal.com - 2011-12-23 07:35 (UTC) - Expand

(no subject)

[identity profile] avzel.livejournal.com - 2011-12-25 23:33 (UTC) - Expand

[identity profile] grur.livejournal.com 2011-12-21 11:07 pm (UTC)(link)
Чуть менее нетривиальная Хофштадтеровская последовательность: 0, 1, 2, ... ?

(правильный ответ: 720 факториал)

(Anonymous) 2011-12-22 11:58 am (UTC)(link)
Лол что? А функция какая?

(no subject)

[identity profile] avva.livejournal.com - 2011-12-22 12:00 (UTC) - Expand

(no subject)

[identity profile] grur.livejournal.com - 2011-12-22 12:04 (UTC) - Expand

(no subject)

(Anonymous) - 2011-12-22 13:33 (UTC) - Expand

(no subject)

[identity profile] grur.livejournal.com - 2011-12-22 14:14 (UTC) - Expand

(no subject)

(Anonymous) - 2011-12-22 16:24 (UTC) - Expand

(no subject)

[identity profile] avva.livejournal.com - 2011-12-22 16:56 (UTC) - Expand

[identity profile] olkab.livejournal.com 2011-12-21 11:14 pm (UTC)(link)
Ах как хорошо!

[identity profile] avzel.livejournal.com 2011-12-21 11:15 pm (UTC)(link)
Ну да. А разве бывают другие решения? :)

[identity profile] ilya-dogolazky.livejournal.com 2011-12-22 04:28 pm (UTC)(link)
Вообще-то да. Тут этот многочлен вылезает как рояль из кустов. Пропедевтически правильнее было бы решение с разностями.

(no subject)

[identity profile] avzel.livejournal.com - 2011-12-25 23:34 (UTC) - Expand

[identity profile] bugabuga.livejournal.com 2011-12-22 12:00 am (UTC)(link)
Напоминает систему предложения маршрута от Амтрака :)
Где при попытке съездить из Остина в Лос Анжелес предлагается не Остин-Сан Антонио-Лос Анжелес, а упорно рекоммендуется маршрут через штат Иллиноис или через Монтану :)

[identity profile] kcmamu.livejournal.com 2011-12-22 12:18 am (UTC)(link)
В таких задачах более естественным представляется вычислять не отдельный элемент последовательности, а все подряд по очереди; при этом нам оказывается доступен набор ранее вычисленных предыдущих значений. В этом смысле вычислительная схема f(t)=2f(t-1) проще многочлена с кучей коэффициентов: для вычисления очередного значения нужно выполнить всего одно арифметическое действие.

[identity profile] vaniusha.livejournal.com 2011-12-22 08:44 am (UTC)(link)
+1. Задача сформулирована некорректоно. "ПРодолжить последовательность" <> "отыскать функцию от аргумента, гдле аргументом служит порядковый номер значения функции в приведенной последовательности".
Простейший ответ на вопрос "продолжить последовательрность" - это 32. который получается умножением предыдущего члена последовательности на 2.
поскольку это работает для всех приведенных членов последовательности то это и является именно ПРОСТЕЙШИМ решением. притом - корректным :)

[identity profile] vdinets.livejournal.com 2011-12-22 12:37 am (UTC)(link)
очаровательно :-)

[identity profile] kirenenko.livejournal.com 2011-12-22 12:56 am (UTC)(link)
Думал, что будет про это

Place n points along a unit circle, in such a way that when you draw all lines connecting every pair of points, no more than two lines pass through any interior point. How many regions does this divide the unit disk into?
(гуглится)

А тут какие-то многочлены 4й степени, которых не бывает в природе...

[identity profile] spamsink.livejournal.com 2011-12-22 02:38 am (UTC)(link)
Вариантов масса: https://oeis.org/search?q=1,2,4,8,16,31

[identity profile] amok-life.livejournal.com 2011-12-22 02:09 am (UTC)(link)
Это что-то феерично прекрасное...

явный вид полиномов

[identity profile] falcao.livejournal.com 2011-12-22 03:51 am (UTC)(link)
Интересно, что это верно для любого количества членов.

Если начать с последовательности 1, 2, то "очевидно", что далее идёт 3, что соответствует линейной функции. Далее, если даны члены 1, 2, 4, то из их разностей формируется последовательность 1, 2, и потому следующая разность должна быть равна 3, то есть продолжение имеет вид 1, 2, 4, 7. Это соответствует квадратичной функции. Далее по тому же принципу после 1, 2, 4, 8 с разностями 1, 2, 4 должно идти 7, то есть следующий член равен 15, и так для любой степени.

Можно при этом "сходу" выписать сам полином f(x) степени n, значения которого в точках 0, 1, 2, ..., n равны степеням двойки. Это будет сумма вида C_x^0+C_x^1+C_x^2+...+C_x^n, где C_x^k равно x(x-1)(x-2)...(x-(k-1))/k!

Здесь ясно как то, почему сначала будут идти 2^0, 2^1, ... вплоть до 2^n, так и то, почему далее пропадает единичка (не хватает числа сочетаний из n+1 по n+1). Интерполяционный многочлен из условия задачи, соответственно, будет равен f(x-1).

Re: явный вид полиномов

[identity profile] avzel.livejournal.com 2011-12-26 12:25 am (UTC)(link)
Я не заметил этого Вашего замечания, и запостил у себя http://avzel.blogspot.com/2011/12/polynomial-interpolation-for-powers-of.html то же самое.

[identity profile] diana-shipilova.livejournal.com 2011-12-22 05:56 am (UTC)(link)
У Гарднера в «Математических досугах» было похоже: он показывал, что ряд 0, 1, 2, 3... можно продолжить числом 5 (по формуле n + 1/24*n(n − 1)(n − 2)(n − 3)).

[identity profile] http://users.livejournal.com/_winnie/ 2011-12-22 12:43 pm (UTC)(link)
Решение у Аввы забавно тем, что выбирается некий разумный вариант бритвы Оккама, который приводит к неочевидному результату.

0,1,2,3 приближается многочленом (n-1) который проще чем n + 1/24*n(n − 1)(n − 2)(n − 3) по всем разумным метрикам.

[identity profile] aleiner.livejournal.com 2011-12-22 06:40 am (UTC)(link)
good

21 или 10^21

[identity profile] muchkap.livejournal.com 2011-12-22 08:28 am (UTC)(link)
Если записать по-английски и посчитать буквы, получится ряд Фибоначчи плюс два. Значит следом идет число, записываемое 10 буквами: twenty-one. Если без дефисов и пробелов – sextillion.

[identity profile] iq-21.livejournal.com 2011-12-22 09:52 am (UTC)(link)
Обжигался на подобных вопросах во время IQ-теста.
По-видимому создатели теста в упор не замечали самых элементарных функций.

(Anonymous) 2011-12-22 10:49 am (UTC)(link)
Если интересны математические шутки, то Математическая смесь Литтлвуда гораздо интереснее,

дежавю формат

http://www.krelib.com/nauchnopopuljarnaja_literatura/2512

[identity profile] http://users.livejournal.com/_winnie/ 2011-12-22 12:44 pm (UTC)(link)
Авва, а можете посмотреть этот современный вариант бритвы Оккама? http://users.livejournal.com/_foreseer/54671.html?style=mine

[identity profile] http://users.livejournal.com/_winnie/ 2011-12-22 12:51 pm (UTC)(link)
Эпикур: нельзя исключать любую гипотезу, объясняющую явление (включая рака за горой?)
Байес: Да, все но некоторые надо рассматривать с меньшими весами. (как выбрать веса, что бы не зависеть от единиц измерения?)
Оккам: Лучше выбрать самую простую (что значит простую?)
Колмогоров: Простую - значит для которой нужна самая маленькая машина Тьюринга.
Соломонов: Вероятность гипотезы в байесовской методике пропорцинальна 2^-сложность гипотезы

(no subject)

[identity profile] avva.livejournal.com - 2011-12-22 13:03 (UTC) - Expand

[identity profile] crazyhome.livejournal.com 2011-12-22 12:57 pm (UTC)(link)
Ну, я так и подумал ;)

Page 1 of 2