Сложность

редактировать
Свойства систем, которые нельзя просто описать или смоделировать

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

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

Наука с 2010 г. использует несколько подходов к характеристике сложности; Зайед и др. отражают многие из них. Нил Джонсон утверждает, что «даже среди ученых нет единого определения сложности - и научное понятие традиционно передавалось с помощью конкретных примеров...» В конечном итоге Джонсон принимает определение «науки о сложности» как « изучение явлений, возникающих из совокупности взаимодействующих объектов ».

Содержание
  • 1 Обзор
  • 2 Неорганизованное или организованное
  • 3 Источники и факторы
  • 4 Разнообразные значения
  • 5 Исследование
  • 6 Темы
    • 6.1 Поведение
    • 6.2 Механизмы
    • 6.3 Моделирование
    • 6.4 Системы
    • 6.5 Данные
    • 6.6 В молекулярном распознавании
  • 7 Приложения
  • 8 См. Также
  • 9 Ссылки
  • 10 Дополнительная литература
  • 11 Внешние ссылки
Обзор

Определения сложности часто зависят от концепции «системы » - набора частей или элементы, отношения между которыми отличаются от отношений с другими элементами вне режима отношений. Многие определения имеют тенденцию постулировать или предполагать, что сложность выражает состояние множества элементов в системе и многочисленные формы отношений между элементами. Однако то, что кажется сложным, а то, что кажется простым, относительно и меняется со временем.

Уоррен Уивер в 1948 году постулировал две формы сложности: неорганизованную сложность и организованную сложность. Явления «неорганизованной сложности» рассматриваются с использованием теории вероятностей и статистической механики, в то время как «организованная сложность» имеет дело с явлениями, которые избегают таких подходов и противостоят «одновременному рассмотрению значительного числа факторов, которые взаимосвязаны в единое целое». Статья Уивера 1948 года повлияла на последующие размышления о сложности.

Подходы, которые воплощают концепции систем, множественных элементов, множественных реляционных режимов и пространств состояний, можно резюмировать как подразумевающие, что сложность возникает из множества различимых реляционных режимов ( и связанные с ними пространства состояний) в определенной системе.

Некоторые определения относятся к алгоритмической основе для выражения сложного явления, модели или математического выражения, как изложено ниже.

Неорганизованные и организованные

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

Уивер осознал и обратился к этой проблеме, по крайней мере в предварительном порядке, проведя различие между «неорганизованной сложностью» и «организованной сложностью».

По мнению Уивера, неорганизованная сложность возникает из-за того, что конкретная система имеет очень большое количество частей, скажем, миллионы частей или многие другие. Хотя взаимодействия частей в ситуации «неорганизованной сложности» можно рассматривать как в значительной степени случайные, свойства системы в целом можно понять с помощью вероятностных и статистических методов.

Ярким примером неорганизованной сложности является газ в контейнере, в котором молекулы газа являются его частями. Некоторые предполагают, что систему неорганизованной сложности можно сравнить с (относительной) простотой планетных орбит - последнюю можно предсказать, применив законы движения Ньютона. Конечно, большинство реальных систем, включая планетные орбиты, в конечном итоге становятся теоретически непредсказуемыми даже с использованием ньютоновской динамики; как обнаружено современной теорией хаоса.

Организованная сложность, с точки зрения Уивера, заключается ни в чем другом, кроме неслучайного или коррелированного взаимодействия между частями. Эти коррелированные отношения создают дифференцированную структуру, которая может как система взаимодействовать с другими системами. Скоординированная система проявляет свойства, не поддерживаемые или не продиктованные отдельными частями. Можно сказать, что организованный аспект этой формы сложности по отношению к другим системам, кроме системы субъекта, «возникает» без какой-либо «направляющей руки».

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

Источники и факторы

Обычно существуют правила, которые можно использовать для объяснения происхождения сложности в данной системе.

Источником неорганизованной сложности является большое количество частей в интересующей системе и отсутствие корреляции между элементами в системе.

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

Сложность объекта или системы - относительное свойство. Например, для многих функций (задач) такая вычислительная сложность, как время вычислений, меньше, когда используются многоленточные машины Тьюринга, чем когда используются машины Тьюринга с одной лентой. Машины произвольного доступа позволяют еще больше снизить временную сложность (Greenlaw and Hoover 1998: 226), в то время как индуктивные машины Тьюринга могут снизить даже класс сложности функции, языка или множества (Burgin 2005). Это показывает, что инструменты деятельности могут быть важным фактором сложности.

Различные значения

В некоторых областях науки «сложность» имеет точное значение:

  • В теории вычислительной сложности количество ресурсов необходимые для выполнения алгоритмов изучены. Самыми популярными типами вычислительной сложности являются временная сложность задачи, равная количеству шагов, необходимых для решения экземпляра задачи, как функция размера входных данных (обычно измеряется в битах), с использованием наиболее эффективного алгоритма и пространственной сложности задачи, равной объему памяти , используемой алгоритмом (например, ячейки ленты), который требуется для решения экземпляра задачи. в зависимости от размера ввода (обычно измеряемого в битах) с использованием наиболее эффективного алгоритма. Это позволяет классифицировать вычислительные проблемы по классу сложности (например, P, NP и т. Д.). Аксиоматический подход к вычислительной сложности был разработан Мануэлем Блюмом. Это позволяет вывести многие свойства конкретных мер вычислительной сложности, таких как временная сложность или пространственная сложность, из свойств аксиоматически определенных мер.
  • В теории алгоритмической информации, Колмогоровский сложность (также называемая описательной сложностью, алгоритмической сложностью или алгоритмической энтропией) строки - это длина самой короткой двоичной программы, которая выводит эту строку. Минимальная длина сообщения - это практическое применение этого подхода. Изучаются различные виды колмогоровской сложности: равномерная сложность, префиксная сложность, монотонная сложность, ограниченная по времени сложность по Колмогорову и ограниченная по пространству сложность по Колмогорову. Аксиоматический подход к колмогоровской сложности, основанный на аксиомах Блюма (Blum 1967), был представлен Марком Бургином в статье, представленной для публикации Андреем Колмогоровым. Аксиоматический подход включает другие подходы к колмогоровской сложности. Можно рассматривать различные виды колмогоровской сложности как частные случаи аксиоматически определенной обобщенной колмогоровской сложности. Вместо того, чтобы доказывать аналогичные теоремы, такие как основная теорема инвариантности, для каждой конкретной меры, можно легко вывести все такие результаты из одной соответствующей теоремы, доказанной в аксиоматической ситуации. Это общее преимущество аксиоматического подхода в математике. Аксиоматический подход к сложности Колмогорова получил дальнейшее развитие в книге (Burgin 2005) и был применен к программным метрикам (Burgin and Debnath, 2003; Debnath and Burgin, 2003).
  • В теории информации, сложность флуктуации информации - это флуктуация информации об информационной энтропии. Он является производным от флуктуаций преобладания порядка и хаоса в динамической системе и использовался в качестве меры сложности во многих различных областях.
  • В обработке информации сложность - это мера от общего количества свойств, переданных объектом и обнаруженных наблюдателем. Такой набор свойств часто упоминается как состояние.
  • В физических системах сложность является мерой вероятности вектора состояния системы. Не следует путать с энтропией ; это особая математическая мера, в которой два различных состояния никогда не объединяются и не считаются равными, как это делается с понятием энтропии в статистической механике.
  • В динамических системах, статистические меры сложности размер минимальной программы, способной статистически воспроизвести шаблоны (конфигурации), содержащиеся в наборе данных (последовательности). Хотя алгоритмическая сложность подразумевает детерминированное описание объекта (оно измеряет информационное содержание отдельной последовательности), статистическая сложность, такая как сложность прогнозирования, подразумевает статистическое описание и относится к ансамблю сгенерированных последовательностей. по определенному источнику. Формально статистическая сложность восстанавливает минимальную модель, содержащую совокупность всех историй, разделяющих аналогичное вероятностное будущее, и измеряет энтропию распределения вероятностей состояний в этой модели. Это вычислимая и независимая от наблюдателя мера, основанная только на внутренней динамике системы, и использовалась в исследованиях возникновения и самоорганизации.
  • в математике, Сложность Крона – Родса является важной темой при изучении конечных полугрупп и автоматов.
  • В теории сетей сложность является продуктом богатство связей между компонентами системы, определяемое очень неравномерным распределением определенных показателей (некоторые элементы сильно связаны, а некоторые очень мало, см. сложная сеть ).
  • В разработка программного обеспечения, сложность программирования - это мера взаимодействия различных элементов программного обеспечения. В отличие от описанной выше вычислительной сложности, это мера конструкции программного обеспечения.
  • В абстрактный смысл - абстрактная сложность, основанная на визуальных структурах восприятие Это сложность двоичной строки, определяемой как квадрат количества признаков, деленный на количество элементов (нули и единицы). Характеристики включают здесь все отличительные расположения нулей и единиц. Хотя количество функций всегда должно быть приблизительным, определение точное и соответствует интуитивному критерию.

Другие поля вводят менее точно определенные понятия сложности:

  • A сложная адаптивная система имеет некоторые или все следующие атрибуты:
    • Количество частей (и типов частей) в системе и количество отношений между частями нетривиально - однако нет общего правила, чтобы отделить «тривиальное» от «нетривиального»;
    • Система имеет память или включает обратную связь ;
    • Система может адаптироваться в соответствии с ее историей или отзывами;
    • Отношения между системой и ее средой нетривиальны или нелинейный;
    • На систему может влиять окружающая среда или она может адаптироваться к ней;
    • Система очень чувствительна к начальным условиям.
Исследование

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

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

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

Темы

Поведение

Часто говорят, что поведение сложной системы обусловлено возникновением и самопознанием. организация. Теория хаоса исследовала чувствительность систем к изменениям начальных условий как одну из причин сложного поведения.

Механизмы

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

Моделирование

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

Системы

Теория систем давно используется занимается изучением сложных систем (в последнее время теория сложности и сложные системы также используются в качестве названия области). Эти системы используются в исследованиях различных дисциплин, в том числе биологии, экономики, социальных исследований и технологий. В последнее время сложность стала естественной областью интереса социо-когнитивных систем реального мира и новых системных исследований. Сложные системы имеют тенденцию быть размерными, нелинейными и их сложно моделировать. В определенных обстоятельствах они могут демонстрировать низкоразмерное поведение.

Данные

В теории информации алгоритмическая теория информации связана со сложностью строк данных.

Сложные строки сложнее сжать. Хотя интуиция подсказывает нам, что это может зависеть от кодека , используемого для сжатия строки (кодек теоретически может быть создан на любом произвольном языке, включая тот, в котором очень маленькая команда «X» может заставить компьютер вывести очень сложную строку вроде «18995316»), любые два Тьюринговых языка могут быть реализованы друг в друге, а это означает, что длина двух кодировок на разных языках будет отличаться не более чем на длину символа " перевод "язык", который в конечном итоге будет незначительным для достаточно больших строк данных.

Эти алгоритмические меры сложности обычно присваивают высокие значения случайному шуму. Однако те, кто изучает сложные системы, не считают случайность сложностью.

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

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

Меры сложности в целом охватывают:

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

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

В молекулярном распознавании

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

Приложения

Теория вычислительной сложности - это исследование сложности проблем, то есть трудности их решения. Проблемы можно классифицировать по классу сложности в зависимости от времени, которое требуется алгоритму - обычно компьютерной программе - для их решения в зависимости от размера проблемы. Одни проблемы решить сложно, другие - легко. Например, для решения некоторых сложных задач требуются алгоритмы, требующие экспоненциального количества времени с точки зрения размера проблемы. Возьмем, к примеру, задачу коммивояжера . Ее можно решить за время O (n 2 2 n) {\ displaystyle O (n ^ {2} 2 ^ {n})}O (n ^ { 2} 2 ^ {n}) (где n - размер сети для посещения - количество городов, которые коммивояжер должен посетить ровно один раз). По мере роста размера сети городов время, необходимое для поиска маршрута, увеличивается (более чем) экспоненциально.

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

Существует определенный класс проблем, которые, хотя в принципе решаемы, требуют так много времени или пространства, что пытаться их решить непрактично. Эти проблемы называются неразрешимыми.

. Существует еще одна форма сложности, называемая иерархической сложностью. Он ортогонален обсуждаемым до сих пор формам сложности, которые называются горизонтальной сложностью.

См. Также
Ссылки
Дополнительная литература
Внешние ссылки
Викицитатник содержит цитаты, связанные с: Сложность
Найдите сложность в Wiktionary, бесплатном словаре.
Последняя правка сделана 2021-05-15 08:17:18
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте