nsg21: (Default)
На работе уплотняют трудящихся, поэтому меня переселяют (под лестницу, и степлер не дают с собой взять). В связи с этим я перебирал свои старые заметки и черновики и нашёл там такую типа задачку.

Как известно хорошо известно, самого большого передаточного числа от планетарной передачи можно добиться если зафиксировать "солнце", а входом/выходом сделать водило и внешнюю. В этом случае оно будет равно 1+Nr/Ns (где Nr  и Ns число зубьев, или, что то же самое, радиусы, соответственно "солнца" и внешней шестерни).
Кстати самую большую шестерёнку иногда называют внешней (external), иногда внутренней (inner, потому что зубцами внутрь), но недоразумений это обычно почему-то не вызывает.

Отвлёкся. Чисто формально это число можно сделать сколь угодно большим уменьшая Ns или увеличивая Nr. Проблема в том что между ними нужно разместить хотя бы 3 шестерни водила, как на картинке. (солнце должно вписаться в маленькую лунку посередине).

Nr/Ns в этом случае равно (2/sqrt(3)+1)/(2/sqrt(3)-1) ~ 13.9. То есть число будет 14.9. На практике ещё меньше, так как шестерни водила касаться друг друга всё таки не должны, а то крутиться не будет. Что делать если нужен редуктор с большим числом? Поставить несколько каскадов, конечно же, один за другим: два, три, сколько надо. При этом есть  некоторая свобода к чему подключать выход предыдущего каскада и какой компонент фиксировать, да и сами каскады могут иметь разные значения Nr/Ns.

Собственно, загадка: оцените/угадайте какое теоретически максимальное число можно получить от двух каскадов? 


nsg21: (Default)
Мартин Гарднер цитирует следующее рассуждение. Предположим у нас есть колода карт, и нас подрядили (а мы с энтузиазмом взялись) проверить гипотезу "в этой колоде нет карт зелёной масти". Мы решили проверять эту гипотезу индуктивно, открывая карты по одной и рассматривая их цвет на предмет их не-зелёности. По мере того как мы открывем только чёрные и красные карты наша уверенность в истинности нашей гипотезы растёт. Но вот мы вытаскиваем очередную карту и она оказывается синей масти. Формально, синяя -- не зелёная, так что и этот эксперимент, точно также как предыдущие, подтверждает нашу гипотезу. Но чисто по человечески наша вера в то что в колоде нет карт зелёной масти резко падает. Логично? Как же объяснить этот кажущийся парадокс?

В 1938 году на волне популярности бриджа и покера были выпущены колоды с пятью мастями -- четырьмя привычными и одной дополнительной. Уж не знаю, как можно играть в бридж такой колодой, но, наверное, как-то можно. Колоды выпускались в двух интернационализациях. В Британии новая масть называлась Royals и была синего цвета, в Америке она называлась Eagles и была зелёного цвета. Эта информация фундаментально меняет интерпретацию нашей гипотезы. Во первых, постановка вопроса становится осмысленной (бывают колоды с картами зелёной масти и имеется ненулевая вероятность напороться именно на такую). Во вторых, вытащив карту синей масти, мы практически достоверно идентифицируем колоду как британскую локализацию пятимастной колоды выпускавшейся в конце 30-х. Никаких карт зелёной масти в такой колоде нет, так что синяя карта подтверждает нашу гипотезу даже больше чем чёрная или красная.

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

http://www.playingcardforum.com/index.php?topic=7550.0
https://en.wikipedia.org/wiki/Suit_(cards)#Five-suit_decks

nsg21: (Default)

http://i.imgur.com/6huvRS2.gifv

На видео (ускоренном в несколько раз) биоморфы Пиковера вступают во взаимодействие друг с другом в результате чего они обмениваюся внутриклеточными симбионтами. Вначале жгутики мембраны находят соседнюю клетку, после чего после нескольких пробных попыток запускается процесс слияния мембран и образования общего объёма. В этой фазе пара симбионтов меняет хозяев, в то время как нуклеоморфные образования находят и кратковременно соединяют щупальца. Возможно, эти два процесса связаны между собой. Может даже можно это объяснить с эволюционных позиций -- типа генетическим материалом обмениваюся, или ещё чего.

На самом деле, конечно же нет никаких организмов, только семейство множетсв "модифицированой стабильности" отображения z^6+2z+c где параметр c описыват фигуру Лиссажу внутри маленького прямоугольничка.

Когда-то давно я уже писал такую программу. Как сейчас помню, картинка рисовалась точка за точкой, на кадр уходило минут пять. На MSX BASIC. Подкручивать параметры тоже было неудобно, поэтому полноценного исследования не получилось. Вспомнил и подумал, а не сделать ли такое же, только на javascript? Сделал и содрогнулся. Даже на моём не очень новом лаптопе картинка 256x256 отрисовывается практически в реальном времени, только успевай мышкой параметр c тягать.

Наверное не будет преувеличением сказать что любой человек имеющий доступ к компьютеру оборудованному хромом и кнопкой f12 имеет в своём распоряжении большую вычислительную мощность, чем всё человечество времён полётов на Луну.
nsg21: (Default)
Года не прошло как я решил ещё одну задачу с projecteuler. И только я собрался запостить решение, как оказалось что сайт лежит потому что его хакнули. То есть задачи видны и ответ проверить можно, но членомерка отключена, так что сижу и жду, пока включится чтобы увидеть заветное число 191.

Из новостей (это я успел увидеть до того как сайт упал) -- задачи теперь снабжены рейтингом (в %) что позволяет выбирать полегче (или потруднее, whom how). Средний рейтинг решённых мной задач -- 25%, максимальная задача -- 40%.
nsg21: (Default)
http://megamozg.ru/post/4556/ рассматривает интересную вариацию, о которой раньше не слышал.

А теперь решите вот какую задачку: вы заходите в бар и видите там четырех посетителей, которые что-то пьют. Вам точно известно, что первому из них 14 лет, второму — 25, третий пьёт виски, а четвёртый — колу. Кого из них нужно проверить, чтобы убедиться, что здесь не продали алкоголь несовершеннолетним?

...

Между тем, около 75% опрошенных не справляются с первой задачкой, хотя отлично решают вторую. Требования к собственно логическому мышлению, предъявляемые обеими задачами, абсолютно одинаковые. В чём же разница?


Что слегка опровергает теорию о том что "всякий человек имеет право обозначить".
nsg21: (Default)
Читаю книжку The signal and the noise: why so many predictions fail — but some don't. Предсказания, особенно правильные, нужны и полезны. И прогнозы тоже. Но некоторые вещи "мы" умеем предсказывать, а некоторые -- нет, даром что дармоедов у кормушки много собралось и каждый спрогнозировать норовит. С удивлением узнал что с прогнозом погоды обстоит лучше всего. В разумных пределах. До десяти дней вперёд получается предсказывать температуру и осадки лучше чем если брать среднеисторические значения для данного месяца данной местности. Опять же узнал что когда они говорят "вероятность дождя 30%", то это не просто отмазка чтобы можно было оправдать любой результат, а действительно, если взять все прошлые прогнозы когда обещали 30% дождя, то где-то в 30% случаев дождь был, а в 70 его не было. Не у всех, конечно, такая точность. Местные новости любят завышать вероятность дождя, из, цитирую, "политических соображений".

Если с погодой хорошо, то с землетрясениями хуже. Ничего лучше правила Гутенберга-Рихтера (кратко: чем землетрясения сильнее, тем они реже, примерно в соответсвии с power law, причём правило выполняется как для планеты в целом, так и для отдельных его регионов, только с разными коеффициентами) не получается. Это правило позовляет примерно прикинуть сколько лет в среднем между очень сильными землетрясениями (которых пока даже не видели) по нескольким наблюдённым слабым, но совсем не позволяет сказать когда именно. И никакие взволнованные домашние животные, квакающие лягушки, усиление выхода радона ни с чем не коррелируют. Заодно узнал что до 2004 года было зафиксировано только 3 землетрясения c силой больше 9 баллов.

Наводнения и пути ураганов предсказывать более-менее умеют, но никто не слушает. Парадоксально, пережившие прошлый необычно сильный ураган более склонны игнорировать предупреждения о следующем: зачем беспокоиться, предыдущий же пережили. Survival bias в чистом незамутнённом виде.

Предсказания экономики и процентного изменения GDP в частности, не работают, можно сказать, вообще. Дело даже не в том что редко угадывают, а в том что при этом щёки слишком сильно надувают, преувеличивая собственную проницательность: в половине случаев GDP не попадает в 90%-й confidence interval от прошолгоднего предсказания, как хотите так этот факт и интерпретируйте.

Ещё было про покер, бэйсбол с баскетболом (ничего не запомнил потому что заснул пока читал) и ещё будет про рынки, терроризм, войну и климат (пока не дочитал).

Через всю книжку красной нитью проходит утверждение что фишерианский подход к статистике реакционен и в корне порочен, а вот байесианский, зато, духовен и ведёт к процветанию.

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

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

P(A|X) — вероятность события A при условии что событе X тоже произошло.

P(A|X)=P(A&X)/P(X), аналогично:
P(X|A)=P(X&A)/P(A), отсюда:
P(A&X)=P(X&A)=P(X|A)*P(A), подставляем:
P(A|X)=P(X|A)*P(A)/P(X)
Обычно P(X) содержательного смысла не имеет и неизвестно, зато имеет смысл и известно P(X|~A).
В этом случае, по формуле полной вероятности P(X)=P(X|A)*P(A)+P(X|~A)*(1−P(A)) и окончательно:
P(A|X)=P(X|A)*P(A)/(P(X|A)*P(A)+P(X|~A)*(1−P(A)))

Это интерпретируют так: A — гипотеза которую мы хотим проверить. X — это тест который может сработать или нет, P(X|A) — вероятность срабатывания теста если А таки действительно true, P(X|~A) — вероятность ложного срабатывания, известного прогрессивному человечеству как false positive. То есть до теста мы думали что вероятность A равна чему-то, решили проверить, провели тест, ура, тест сказал да, соответсвенно новая обновлённая вероятность должна увеличиться. Теорема Байеса позволяет вычислить насколько именно.

Тут две неочевидности. Во первых все, так называемые, нормальные люди полагают, что если известно что тест X говорит "да" в 99% (=P(X|A)) случаях когда A, и тест только что нам сказал "да", то вероятность A теперь 99% (P(A|X)=P(X|A)). Это в корне неверно. На самом деле существенную роль играет также вероятность false positive (P(X|~A)), а также, что ещё менее очевидно, априорная вероятность A, вероятность, которую мы приписывали A до теста. И формула Байеса это всё описывет количественно, но совершенно неинтуитивно.

А вот на что обратил внимание http://yudkowsky.net/rational/bayes

E. T. Jaynes, in "Probability Theory With Applications in Science and Engineering", suggests that credibility and evidence should be measured in decibels.

Decibels?

Перепишем
P(A|X)=P(X|A)*P(A)/(P(X|A)*P(A)+P(X|~A)*(1−P(A))), поделим числитель и знаменатель на P(X|~A):
P(A|X)=[P(X|A)/P(X|~A)]*P(A)/([P(X|A)/P(X|~A)]*P(A)+(1−P(A)))
Обозначим [P(X|A)/P(X|~A)]=F. Это будет "сила" теста X. Интуитивно -- это очень понятная величина, отношение true positive к false positives. Понятно, что чем оно больше, тем тест "сильнее". Тест который говорит правду в 10 раз чаще чем врёт, ровно в 5 раз лучше теста который говорит правду только в 2 раза чаще чем врёт. Если F=1, то такой тест врёт так же часто как и говорит правду, поэтому бесполезен.
Обозначим также P(A)=p0 (вероятность до теста), P(A|X)=p1 (вероятность после теста) чтобы буковок меньше было.

p1=F*p0/(F*p0+(1−p0))
p1*F*p0+p1-p1*p0=F*p0
p1*(1−p0)=F*p0*(1−p1)
p1/(1−p1)=F*p0/(1−p0)

Величина p/(1−p), где p -- вероятность, тоже довольно интуитивна. Это отношение "выигрышных событий" к "проигрышным событиям", в то время как p -- отношение "выигрышных событий" ко всем событиям вообще. Просто так исторически сложилось что вероятность используется чаще. Но и так иногда тоже говорят: шанс три к двум -- это 60% на наши деньги. В английском языке даже слово специальное есть, odds, применяется всякими букмекерами и как раз это и обозначает. В общем, если вместо "вероятности" говорить о "шансах", то формула Байеса выглядит так:
[новый шанс A]=["сила" свидетельства X]*[старый шанс A]
То есть если раньше мы думали что шансы A 1:2980, потом выполнили тест который правдив в 10 раз чаще чем лжив и он сказал да, то теперь нам есть полный смысл считать что шансы A возросли в 10 раз, то есть стали 1:298 (а не 10:1, как можно было бы подумать если сильно не думать). В качестве дополнительного бонуса, если проведём ещё один независимый от первого тест с силой 2:1 и он тоже скажет "да", то новый шанс A станет 1:149 и этот процесс можно продолжать пока не исчерпаются независимые тесты.
В такой формулировке ничего неочевидного не остаётся, непонятно нужно ли это вообще называть теоремой. Почему так в школе не объясняют, почему я это должен в интернете прочитать 20 лет спустя?

Децибелы тут притом что умножать трудно, поэтому мы прологарифмируем, умножим на 10 потому что все так делают, назовём это децибелами и будем складывать. Свидетельство силой 10 — это 10 децибел, 100 — 20 децибел, 1 — 0 децибел, 1:10 — −10 децибел и т.д.

Исходную вероятность тоже можно выразить в децибелах. Вот, я даже картинку нарисовал как это делать.
bayes-db
50% — это 0 децибел
30%= −3.7 децбел
75%= 4.8 децибел и т.д.
К априорной вероятности в децибелах добавляют результаты независимых тестов в децибелах же и при желании конвертируют результирующие децибелы в апостериорную вероятность.

Примерчик бы ещё сюда поинтересней.
nsg21: (Default)
Почти очевидно что угол в один радиан нельзя построить с помощью циркуля и линейки.
Чуть менее очевидно что угол в один градус тоже нельзя построить циркулем и линейкой.
Наименьшее целое число градусов, которое можно построить -- 3.
nsg21: (Default)
Давным-давно я "придумал" задачу на разрезание: из развёртки куба получить развёртку тетраэдра. Поджробности здесь: http://nsg.upor.net/puz/t2c/t2c.htm

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

В поисках этой общей развёртки я тогда особо не продвинулся, но интерес остался и я время от времени ищу в интернете, не появилось ли чего новенького. И вот сегодня натолкнулся на вот эту статью http://eurocg11.inf.ethz.ch/abstracts/8.pdf
Авторы нашли общую развёртку куба и сколь угодно близкого к правильному тетраэдра. В пределе получается фрактальная фигура про которую даже неочевидно (мне, по крайней мере) что она связная, но зато она является общей развёрткой куба и правильного тетраэдра.

Вроде бы окончательного ответа на мой вопрос это не даёт (хотелось бы многоугольную развёртку, а то знаем мы эти фракталы), но по-моему прогресс значительный.
nsg21: (Default)
Раз уж я сдул пыль с полоско-двигательной программки, начал искать чего бы ещё поразрезать.
Нашлась задача 342 из книги "520 головоломок" Генри Дьюдени под редакцией Мартина Гарднера. (Любопытно, что исходная книжка называлась "536 puzzles and curious problems". Очевидно, 16 головоломок не соответствовали моральному кодексу строителя коммунизма и в перевод не вошли.)
Задача состоит в том чтобы разрезать два равносторониих треугольника на три части каждый (итого 6) из которых сложить квадрат.

Посрамил классика, разрезал на пять частей:


Почти собрался откупоривать шампанское, но, прочитав в ответах примечание Гарднера "есть решение и с пятью частями", передумал.
nsg21: (Default)
Читаю книжку Evolution. The triumph of idea. Автор -- Carl Zimmer, тот самый, который про паразитов.
Книжка отличная, но я не о том.

В тексте упоминается Wason Test. Цитирую дословно:
"Imagine that someone lays 4 cards in front of you. They read Z, 3, E and 4. You are told that there are also symbols on the other sides of the cards, and that there's a general rule that a vowel card always has an even number on the other side. Which card do you need to turn over to see if rule holds?"

И тут же приводит ответ "The answer is that you need to check E and 3". Этот ответ неверный.
Википедия формулирует этот тест несколько иначе, так что, возможно это сам Зиммер переврал условие так что ответ стал неверным, но всё равно смешно.
nsg21: (Default)
Улучшил ещё одно решение с http://www.iread.it/Poly/dompe_diss_en.php
(L-пентамино в домино с 5 кусочков до 4-х, 2 варианта)

nsg21: (Default)
Немного улучшил 1/12 задачи отсюда http://knop.livejournal.com/281426.html (изначально отсюда
http://www.iread.it/Poly/dompe_diss_en.php )


nsg21: (Default)
Как известно, эллипс может быть задан двумя параметрами, например, двумя полуосями, или большой полуосью и эксцентриситетом. Иногда известна одна пара параметров, а надо найти другую. Мне надоело выводить каждый раз, поэтому сделал табличку.

таблица )
Page generated Sep. 3rd, 2025 02:14 am
Powered by Dreamwidth Studios