Слава Мировому Капиталу!
[Recent Entries][Archive][Friends][User Info]
Below are 20 entries, after skipping 20 most recent ones in the "tinyprince" journal:[<< Previous 20 entries -- Next 20 entries >>]
10:37 pm
[Link] |
Самоподобие сильно нестохастических строк Пусть X - (p,q) нестохастическая строка длины n, то есть если X \in A и K(A) < (q - \epsilon)n,то X не является типичным для A, то есть log(A) - K(X|A) > (p - \epsilon)n.
Если p + q = 1, то существует (p,q) нестохастические строки. Я буду рассматривать q << 1 (то есть объект описать не очень сложно, но он ни на что не похож), хотя это абсолютно не важно.
Запишем X = a_1a_2...a_n. Cтрока B - кусочек X - записывается в виде a_{i_1} ... a_{i_k}, где 0 < i_1 < ...< i_k < n + 1.
Будем называть кусочек \epsilon-нормальным, если K({i_1,...,i_k}) < \epsilon * n. (например, просто подстрока X). k - размер кусочка
Утверждение: если B - \epsilon-нормальный кусочек размера >qn, то K(X|B) < 3\epsilon*n.
То есть весь объект можно практически восстановить по любому нормальному кусочку того же размера, что и колмогоровская сложность объекта.
Поясню про "нормальность": можно извратиться и найти большой кусок человека, в котором не будет ДНК, по такому куску человека не восстановишь; нормальность требуется чтобы избежать подобных недоразумений.
Current Music: Wolvserpent – A Breath In The Shade Of Time
|
11:47 pm
[Link] | бля я идиот: правильное определение художественной ценности тут: http://youtu.be/lgHccF0kqh4?t=26m18s
ценность является положительным числом меньшим единицы, причем для любого эпсилон больше нуля существует произведение искусства ценности > 1 - эпсилон
Такие дела
|
09:39 pm
[Link] | 1)Откуда пошла истерия по поводу чрезвычайно низкой энтропии у живых организмов?
Это ж неверно, то есть по логике энтропия у взятых по отдельности белков и прочих углеводов должна быть меньше, чем если их сложным образом собрать вместе. У отдельно взятых азотов (и пр.) меньше, чем у белка, и т д.
[Здесь я исхожу из математического определения энтропии (до какой степени можно сжать информацию линейным образом), которое хорошо согласуется с термодинамическим, у физиков общего определения энтропии ("меры Хаоса") нет].
Вообще, у всех сложноструктурированных объектов (с большой Колмогоровской сложностью) высокая энтропия, а все почему-то думают, что энтропия это смерть.
2) Еще есть мнение, что с помощью Колмогоровской сложности можно считать Художественную Ценность. Однако последовательности случайных бит никого не интересуют, также как и последовательность одних нулей, а с помощью их комбинаций можно получить любую Колмогоровской сложность (любое отношение сложности к размеру текста). Фишка в том, что в обоих случаях сами программы получаются примитивными, только в одном случае она маленькая, а в другом - большая.
Лучше взять время работы минимальной программы и разделить на количество выходящих символов. Так получиться что-то вроде выстраданности худ. произведения.
|
09:38 pm
[Link] |
|
09:38 pm
[Link] |
|
10:10 pm
[Link] | еще один сумасшедший пытается объяснить Второй Закон: http://www.jetpletters.ac.ru/ps/2015/article_30391.pdf
Расстояние D(\psi_1|\psi_2) между состояниями \psi_1 и \psi_2 мы определим как минимальное время, которое необходимо для перехода из состояния \psi_1 к состоянию \psi_2. Необычайность такой меры заключается в том, что она ассиметрична. Например, если \psi_2 есть результат естественной эволюции \psi_1 то в типичном случае D(\psi_1|\psi_2) << D(\psi_2|\psi_1) (что и означает необратимость). Расстояние D(\phi_1|\phi_1^*) в типичном случае экспоненциально велико (иначе говоря, изготовление комплексно-сопряженного состояния, как мы уже обсуждали, почти всегда невозможно или сложно)
Ничего не доказывается естественно. Но отсутствие какой-то магической величины, которая должна неприменно увеличиваться, привлекает. Скажем, классическая "односторонняя функция" в криптографии - возведение в степень - по сути является перестановкой, то есть никакого подобного инварианта здесь нет и не может быть в принципе.
Жизнь тоже должна развиваться по таким односторонним функциям, то есть вернуться назад нельзя, но всякого гавна, типа Тепловой Смерти Вселенной, не происходит.
|
11:59 pm
[Link] |
Законы физики нарушать нельзя! Универсальные законы физики, я так понимаю, нужно воспринимать не как аксиомы, а как что-то, что должно выполняться в рамках Уважающей Себя Теории. Еще круче, когда их там удается доказать (типа закон сохранения энергии - соотв. первый интеграл можно доказать в рамках классической теории механики)
Если кто-то скажет вам, что выстраданная вами теория устройства Вселенной противоречит уравнениям Максвелла, - то можно ответить, что тем хуже для уравнений Максвелла. Если окажеться, что она не согласуется с результатами наблюдений, - ну что ж, и экспериментаторы могут ошибаться. Но если ваша теория окажеться в противоречии со Вторым Законом Термодинамики, то я не могу оставить вам никакой надежды, и вашей теории придеться признать свое поражение. (ссылка из книжки Пенроуза, спасибо polytheme)
Так вот, удается ли где-нибудь доказать 2-ой закон?
|
12:26 pm
[Link] | Вдогонку: аналогией энергии в comptuter science является таки колмогоровская сложность. Мы не можем сильно изменить энергию с помощью небольшого взаимодействия, аналогично под действием (вычислимой) функции колмогоровская сложность меняется лишь на константу.
Эту связь в какой-то умной форме нашел (ясное дело) Манин: http://arxiv.org/abs/1302.6695
Вообще аналогия между физикой и вычислимостью скоро перестанет удивлять. Потому что машина Тьюринга - это же блять реально машина, а еще её можно смоделировать на игре "Жызнь" как учит нас один из десяти лучших математиков мира (что-то ржу) John Horton Conway.
Возвращаясь к нашим баранам: именно живые организмы почему-то уменьшают энтропию (вроде бы). Это должно что-то значить.
Current Music: Oneohtrix Point Never - R Plus Seven
|
04:03 pm
[Link] | В Сочи открылся олимпийский IT-центр Разработчики компьютерной системы утверждают, что общий объем информации, который ей по силам обработать, равен 37 миллионам гигабайт. Это равноценно двадцати пяти миллионам кинофильмов в отличном качестве, передает "Коммерсант".
|
05:04 pm
[Link] | (нужно записать эту хуйню пока я в состоянии)
В терминах алгоритмов можно выразить много важных утверждений\гипотез математики (в т. ч. первокультурной): существует ли алгоритм нахождения рациональных точек на эллиптической кривой, алгоритм распознования односвязности 4-х мерного многообразия и т д.
То есть с вопросами вычислимости математика в принципе дружит.
Гораздо хуже, если дело касается быстрой вычислимости.
Получается что-то уродливое, всякие красивые факты об объектах не помогают, а только мешают (Коблиц кстати примерно об этом писал).
Суммируя выше сказанное, можно сделать вывод, что чистые математики создают понятия и теоремы в мире с бесконечнобыстрым компьютером.
Возникает мысль, что можно переделать всю математику так, чтобы в ней, все то, что есть сейчас - это какая-та предельная точка, а все численные методы были бы красивыми и естественными.
Можно, например, переделать саму формальную систему математики, типа вместо "существует", нужно писать "такой-то алгоритм построения, время, точность", но так это получится Конструктивизм, который даже нашу предельную точку не содержит.
Нужна новая теория гомотопий! хуй знает, что нужно; я дальше полетел
Current Music: Klaus Schulze - Shadowlands
|
05:21 pm
[Link] | "Проблема останова для бедных":
Есть программа длины n, которая на входе получает также n бит, а еще есть многочлен P. Вопрос: существует ли такой вход, что программа остановиться за P(n) шагов?
Принадлежность задачи классу NP очевидна, докажем NP-полноту. Рассмотрим какую-нибудь задачу из NP, например задачу о Гамильтоновом цикле.
Рассмотрим программу состоящую из: графа, получения информации, и выяснения, является ли полученная информация гамильтоновом циклом в этом графе. Если не является - хуячим бесконечный цикл. (в качестве P берем оценку сложности вычисления, чтения т д. - все полиномиально по определению NP)
Вот. Заодно доказано, что NP-полные задачи вообще существуют (гораздо проще и понятнее, чем эта архаика с электросхемами).
Вообще, предчувствую аналогию между невычислимыми задачами и соответствующими "задачами для бедных". Например, Колмогоровская сложность со времененем (правильно определенная) не должна быть полиномиально вычислима.
Что значит, что у Колмогоровской сложности самая сильная невычислимость (http://www.youtube.com/watch?v=nnZPqnwoD64&feature=youtu.be&t=15m39s)?
Вообще нужно бороться за права заключенных и социализм вообще. Ну про Толокно все видели, а сегодня адвокат Стомахин рассказал всяких историй про то, как люди за деньги соглашаются получать условные сроки например. Грустно все это.
МЫ ВСЕ ТАКИЕ ТРАГИЧЕСКИЕ ЛИЧНОСТИ ДАВАЙТЕ ЕБАТЬСЯ!!!!!!
|
12:16 pm
[Link] | Колмогоровская сложность K числа n - длина наименьшей программы, которая печатает это число.
Она невычислима: есть тривиальная оценка K(n) < ln(n) + const, то есть существует только конечное число программ, которые нужно перебрать, чтобы найти нужную, однако программы могут работать очень долго, и мы хуй поймем напечатается ли в конце концов n или нет.
Также, если программа работает квадриллион лет, но сама она маленькая, то мы и сложность соответствующего числа считаем маленькой (это странно(?)).
Можно ввести "Колмогоровскую сложность со временем" KT например так: берется минимум не по длинам всех программ, а по длинам программ, умноженных на время их работы.
Такое определение решает перечисленные выше "проблемы".
Философскими аспектами К занимался(-ется) Ю. И. Манин. Ну например: Мы производим научные знания в порядке увеличения его Колмогоровской сложности, ни в каком-нибудь другом. Более того, эти знаменитые научные описания, которые являются вехами в истории человечества - эф равно эм один эм 2 на эр квадрат, е равно эм цэ квадрат, уравнения Максвелла - это компактнейшие описания огромной сжатой части Вселенной...
Ок.
А какой философской смысл KT? Для начала представим себе минимальную программу в обычном колмогоровском смысле. Допустим, там есть процедура, которая умножает чиселки. Если что, кроме как столбиком, есть еще куча хитрых алгоритмов которые перемножают числа за O(nlog(n)loglog(n)) и даже меньше операций. Какой метод будет реализован? Ответ: столбиком (время нас не ебет совершенно, а место нужно экономить). В KT же будет реализован самый охуенный алгоритм(ну если требуется перемножать достаточно большие числа).
Вообще для K вся наука про то как быстро чего-нибудь посчитать оказывается совершенно бесполезной. Далее, можно придумать пример числа для которого K-сложность очевидно оч маленькая, а для KT это можно доказать только средствами сложных алгоритмов 21-го века.
Я веду к тому, что Колмогоровская сложность отвечает за теоретическую науку, а Колмогоровская_сложность_со_временем за науку, пропущенную через призму реальности (и, как часто бывает, здесь все не так гладко, как в теории).
То есть для Манина е давным давно равно эм цэ квадрат, а для реальности так будет только когда можно будет получить стопицот джоулей из любого куска дерьма.
P. S. Активная нелюбовь чистых математиков к математике прикладной объясняется тем, что такие вещи совершенно бесполезны с точки зрения минимальных программ для K (написанием которых ученые-теоретики все время занимаются).
P. P. S. Несмотря на вычислимость, KT оказалась гораздо более сложным объектом для исследований, чем K (со временем вообще никто толком работать не умеет).
|
02:27 pm
[Link] | А где можно прочитать рассуждение о неправильности борьбы "за все хорошее против всего плохого"? Ницше?
Current Music: Гражданская Оборона - Я не верю в анархию
|
01:57 pm
[Link] | ...Как уже отмечалось, в современных компонентных формах, наряду с композиционными принципами, имеющими многовековую историю, все большое значение играют ряд относительно новых и в том числе: принцип геометрической композиции, принцип прогрессийной композиции и принцип серийной композиции. Действие принципа геометрической композиции приводит к образованию двух типов формы: строгой геометрической формы, "графический облик" которой напоминает определенные геометрические фигуры (напр.: трапеции, треугольники, четырехугольники, полушария, эллипсисы и др.), и свободно-геометрической или, иначе, рельефной формы, чей "графический облик" ассоциируется с конфигурацией горного релье-фа, рельефа морского дна и др.
Строгие геометрические формы
В современной музыкальной ткани строгие геометрические формы представлены рядом относительно индивидуальных по своему "векторно-графическому" решению структур, которые обычно вызывают различные аллюзии на ту или иную геометрическую фигуру, что, собственно, и позволяет определять эти формы как "геометрические". Организация их композиционного процесса, его динамика может быть связана с разными конструктивно-геометрическими принципами, в том числе, принципом трапеции (трапеционная компонентная форма – форма, имеющая конфигурацию трапеции – К52. Успение – плотностно-голосовая трапеция), треугольника (треугольная компонентная форма – диапазонный и звукоплотностной равнобедренный треугольник в К13. Ave Maria), четырехугольника (четырехугольная – статическая громкостная форма – громкостной прямоугольник в К16. Ноктюрны), эллипсиса (эллиптическая компонентная форма ), пирамиды...
________________________________________________________
Что-то захотелось во всем этом разобраться. Я когда-то изучал сольфеджио в муз. школе, но там все как-то элементарно было.
А есть какая-нибудь книжка типа "Теория музыки для математиков" ))?
Послушал кстати неплохую лекцию Аргонова http://www.youtube.com/watch?v=2jAq0YaWwEI Довольно банальная мысль, что восприятие музыки очень зависит от звуков, которые мы слышим в "обычной жизни". То есть 300 лет назад в музыке было гораздо меньше басовых состовляющих, потому что не было индастриала...
|
03:40 pm
[Link] | Noam Elkies сочинил: http://www.youtube.com/watch?v=G8yvFZpxZ2M http://www.youtube.com/watch?v=1BjmXcL5ZbM http://www.youtube.com/watch?v=DiqgjVsP0xM
Радует; не знаю даже почему.
|
11:23 pm
[Link] |
блеять как огромное стадо овец Ходил на выставку Петрушевской и Норштейна. Среди прочего посмотрел видеофильм:
«Патриотические басни» – одна из наиболее известных работ Алюса, отсылающая к ключевому событию в волне студенческих простестов в Мексике в конце 1960-х
28 августа 1968 года тысячи госслужащих вышли на площадь Сокало в Мехико-сити, скандируя антистуденческие лозунги и обвиняя молодых протестантов в посягательстве на национальные святыни. Крича и протестуя, бюрократы начали «блеять как огромное стадо овец» (Алюс), призывая власти разогнать студенческую манифестацию при помощи танков и пехоты
|
02:32 am
[Link] |
Хуй знает, что за группа; вконтактике нашел.
Current Music: Max & Intro – Beogradska Devojka (1985)
|
09:58 am
[Link] |
|
06:00 pm
[Link] | Начнем с того, что экономику/социологию относят к гуманитарным "наукам" чисто условно, ведь на самом деле это та же биология, просто слишком уж сложная.
То есть 200 лет назад может и следовало забить на естественно-научную составляющую, но сейчас этого делать не стоит.
Хотя ключевое понятие экономики - потребность - восходит от биологии/психологии. Но оно очень хуевое с научной точки зрения: не понятно, какие есть потребности, как их сравнивать между собой... ну и вообще: важно ведь не само удовлетворение потребности, а сколько счастья это удовлетворение приносит.
Ну а счастье - понятно, что такое: химия, гормоны, нейромедиаторы, "мозговые центры удовольствий". На основе этого можно построить Правильную Теорию и дарить людям Радость и Свет.
А тут я прочитал, что изучено очень мало этих центров удовольствий, и вообще нихуя не понятно. То есть посчитать счастье нельзя даже статистически.
Расстроился.
Current Mood: sad Current Music: Love – Wonder People (I Do Wonder)
|
04:28 pm
[Link] |
|
[<< Previous 20 entries -- Next 20 entries >>] |