Редактирование: МОТП, Билеты (2009)

Материал из eSyr's wiki.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 71 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.

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

= Часть 1 (Ветров) =
== Метод максимального правдоподобия. Его достоинства и недостатки.==

* [http://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%BC%D0%B0%D0%BA%D1%81%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D0%B0%D0%B2%D0%B4%D0%BE%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%B8%D1%8F вики:Метод максимального правдоподобия]
* [http://www.nsu.ru/mmf/tvims/chernova/ms/lec/node14.html метода макс. правдоподобия по Черновой из НГУ]

''' Метод максимального правдоподобия ''' -- метод оценивания неизвестного параметра путём максимизации функции правдоподобия: <math>f_x (x|\theta) = \prod_{i=1}^n f_x(x_i | \theta)</math> для независимой выборки n величин

Недостатки:
* нужно знать априорное распределение (с точностью до параметров) наблюдаемой величины
* хорошо применим при допущении, что <math>n \rightarrow \infty </math> (асимптотически оптимален), что в реальности не так
* проблема выбора структурных параметров, позволяющих избегать переобучения (проблема вообще всех методов машинного обучения)
* необходима [http://ru.wikipedia.org/wiki/Регуляризация_(математика) регуляризация] метода

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

'''Несовместная СЛАУ''' -- система линейных уравнений, не имеющая ни одного решения.

'''Совместная СЛАУ''' -- система линейных уравнений, имеющая хотя бы одно решение.

''' Ридж-регуляризация''' (ридж-регрессия, [http://en.wikipedia.org/wiki/Tikhonov_regularization регуляризация Тихонова]) матрицы <math>A^T A</math> -- матрица <math>A^T A + \lambda I</math>, где <math>\lambda</math> -- коэффициент регуляризации. Всегда невырождена при <math>\lambda > 0</math>

''' Нормальное псевдорешение ''' СЛАУ <math>Ax = b</math> -- вектор <math> x = (A^T A + \lambda I )^{-1} A^T b </math>
* всегда единственно
* при небольших <math>\lambda</math> определяет псевдорешение с наименьшей нормой
* любое псевдорешение имеет минимальную невязку

== Задача восстановления линейной регрессии. Метод наименьших квадратов.==
* [http://www.nsu.ru/mmf/tvims/chernova/ms/lec/node60.html лекции Черновой из НГУ]
* [http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D0%BE%D0%BD%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7 вики:Регрессионный анализ]

'''Задача регрессионного анализа (неформально)'''.

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

'''Задача регрессионного анализа''' — определение наличия и характера (математического уравнения, описывающего зависимость) связи между переменными. В случае линейной регрессии, зависимость X от параметра t проявляется в изменении средних значений Y при изменении t (хотя при каждом фиксированном значении t величина X остается случайной величиной).

Искомая зависимость среднего значения X от значений Z обозначается через функцию f(t): <math>E(X | Z = t)=f(t).</math> Проводя серии экспериментов, требуется по значениям t1,...tn и X1,...,Xn оценить как можно точнее функцию f(t).

Однако, наиболее простой и изученной является линейная регрессия, в которой неизвестные настраиваемые параметры (wj) входят в решающее правило '''линейно''' с коэффициентами <math>\psi_j(x)</math>: <math>y(x,w)=\sum_{j=1}^m w_j \psi_j(x)=w^T \psi(x)</math>

'''Пример''' (''простой пример на пальцах''): [http://en.wikipedia.org/wiki/Linear_Regression#Example Linear Regression Example]

<math>S(t, \hat{t})</math> — функция потерь от ошибки. ''На пальцах: берем найденную путем регрессии функцию <math>\hat{t}(x)</math> и сравниваем её выдачу на тех же наборах <math>x</math>, что и заданные результаты эксперимента <math>t(x)</math>.''
* <math>S_1(t, \hat{t}) = (t - \hat{t})^2</math>
* <math>S_2(t, \hat{t}) = |t - \hat{t}|^2</math>
* <math>S_3(t, \hat{t}) = \delta^{-1}(t - \hat{t})</math>

Основная задача — минимизировать эту функцию, что значит минимизировать <math>\mathbb{E} S(t, \hat{t}(x,w)) = \int\int S(t, \hat{t}(x,w)) p(x,t) dx dt \rightarrow \min_{w}</math>

----

''' Метод наименьших квадратов ''' — минимизация функции потери ошибки <math>S(t, \hat{t}) = (t - \hat{t})^2</math>

Особенности квадратичной функции потерь:
* Достоинтсва
** гладкая (непрерывная и дифференцируемая)
** решение может быть получено в явном виде
* Недостатки
** решение неустойчиво
** не применима к задачам классификации

==Задача восстановления линейной регрессии. Вероятностная постановка.==

Представим регрессионную переменную как случайную величину с плотностью распределения <math>p(t|x)</math>.

В большинстве случаев предполагается нормальное распределение относительно некоторой точки y(x) : <math>t = y(x) + \varepsilon~;~~\varepsilon \sim N(\varepsilon | 0, \sigma^2)</math>.

Максимизируя правдоподобие (оно задается следующей формулой: <math>p(t|y)=\prod_{i=1}^n \dfrac{1}{\sqrt{2\pi\sigma^2}}\, \exp\left(-\dfrac{(t_i-y_i)^2}{2\sigma^2}\right) \rightarrow \max</math>), получаем эквивалентность данного метода методу наименьших квадратов, т.к. взяв логарифм от формулы выше, получаем:

<math>\sum_{i=1}^n (t_i-y_i)^2 = \sum_{i=1}^n (t_i-w^T \phi (x_i))^2 \rightarrow \min_w</math>

== Логистическая регрессия. Вероятностная постановка.==
''' Логистическая регрессия''' ([http://en.wikipedia.org/wiki/Logistic_regression en-wiki], [http://www.machinelearning.ru/wiki/index.php?title=%D0%9B%D0%BE%D0%B3%D0%B8%D1%81%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%80%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D1%8F machinelearning]) — метод [http://ru.wikipedia.org/wiki/Задача_классификации классификации объектов] на два класса, работающий при помощи логистической функции регрессии: <math>p(t|x, w) = \frac{1}{1 + e^{-t y(x)}}</math> ([http://en.wikipedia.org/wiki/Sigmoid_function сигмоид]).

Эта функция является функцией правдоподобия по w и распределением вероятности по t, т.к. <math>\sum_t p(t|x,w)=1, \ \ p(t|x,w)>0</math>.

== ЕМ-алгоритм для задачи разделения гауссовской смеси.==

Пусть имеется выборка <math>X \sim \sum_{j=1}^l w_j \mathcal{N} (x | \mu_j , \Sigma_j)</math>, где ''l'' - число компонент смеси.

EM-алгоритм:
# выбираем начальное приближение для параметров <math>\mu_j, \Sigma_j, w_j, j \isin [1, l]</math>
# E-шаг: вычисляем распределение скрытых переменных, которые определяют, к какой компоненте смеси на данном шаге отностися каждый объект
# M-шаг: с учетом вероятностей на предыдущем шаге пересчитываем коэффициенты начального шага
# переход к E шагу до тех пор, пока не будет достигнута сходимость

недостатки:
* (!!) не позволяет определить количество компонент смеси (''l'')
** величина ''l'' является структурным параметром
* в зависимости от выбора начального приближения может сходиться к разным точкам
* может сваливаться в локальный экстремум

==Основные правила работы с вероятностями. Условная независимость случайных величин.==

''' Случайная величина ''' -- это измеримая функция, заданная на каком-либо вероятностном пространстве. ([http://ru.wikipedia.org/wiki/%D0%A1%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D0%BB%D0%B8%D1%87%D0%B8%D0%BD%D0%B0 вики])

''' Функция распределения ''' <math>F_X(x)</math> -- вероятность того, что случайная величина X меньше x: <math>F_X(x) = \mathbb{P}(X \leqslant x)</math>

''' Плотность вероятности ''':
* в дискретном случае -- вероятность того, что X = x
* в непрерывном случае -- производная функции распределения

Пусть X, Y - случайные величины с плотностями вероятности <math>p(x), p(y)</math>

Случайные величины X,Y называются независимыми, если <math>p(x,y) = p(x) \cdot p(y)</math>

''' Условная плотность ''' -- <math>p(x|y) = \frac{p(x,y)}{p(y)}</math>
* в дискретном случае - вероятность того, что наступило событие x, при условие наступления события y

Правило суммирования: пусть <math>A_1, \dots, A_k</math> -- k взаимоисключающих события, одно из которых обязательно наступает. Тогда
* <math>\mathbb{P}(A_i \cup A_j) = \mathbb{P}(A_i) + \mathbb{P}(A_j)</math>
* <math>\sum_{i=1}^k \mathbb{P}(A_i) = 1</math>
* формула полной вероятности: <math>\sum_{i=1}^k \mathbb{P}(B|A_i) = 1</math>
* '''формула Байеса''' ([http://ru.wikipedia.org/wiki/Формула_Байеса ru:wiki]): <math>P(A|B) = \frac{P(B | A)\, P(A)}{P(B)}</math>

Случайные величины называются '''условно независимыми''' от <math>z</math>, если <math>p(x,y|z) = p(x|z)p(y|z)</math>
* это значит: вся информация о взаимосвязи между <math>x</math> и <math>y</math> содержится в <math>z</math>
* из безусловной независимости не следует условная независимость
* основное свойство условно независимых величин: <math>p(z|x,y) = \frac{1}{Z} \cdot \frac{p(z|x) p(z|y)}{p(z)}</math>, где <math>Z = p(x)p(y)p(z)</math>

== Графические модели. Основные задачи, возникающие в анализе графических моделей.==

'''Графическая модель''' -- ориентированный или неориентированный граф, в котором вершины соответствуют переменным, а ребра - вероятностным отношениям, определяющим непосредственные зависимости.

Пусть <math>X</math> -- совокупность наблюдаемых переменных, <math>T</math> -- ненаблюдаемых.

Основные задачи:
* подсчёт условного распределния на значениях отдельной скрытой переменной: <math>p(t_i | X) </math>
* нахождение наиболее вероятной конфигурации скрытых переменных при заданных наблюдаемых значениях: <math>p(T|X) \rightarrow \max_T</math>
* оценка адекватности выбранной графической модели данным <math>p(X)</math>

==Байесовские сети. Примеры.==
[http://ru.wikipedia.org/wiki/%D0%91%D0%B0%D0%B9%D0%B5%D1%81%D0%BE%D0%B2%D1%81%D0%BA%D0%B0%D1%8F_%D1%81%D0%B5%D1%82%D1%8C_%D0%B4%D0%BE%D0%B2%D0%B5%D1%80%D0%B8%D1%8F На википедии]

== Марковские сети. Примеры.==
==Скрытые марковские модели. Обучение СММ с учителем.==
* [http://ru.wikipedia.org/wiki/%D0%A1%D0%BA%D1%80%D1%8B%D1%82%D0%B0%D1%8F_%D0%BC%D0%B0%D1%80%D0%BA%D0%BE%D0%B2%D1%81%D0%BA%D0%B0%D1%8F_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%8C На википедии]
* [http://ru.wikibooks.org/wiki/%D0%A1%D0%BA%D1%80%D1%8B%D1%82%D1%8B%D0%B5_%D0%BC%D0%B0%D1%80%D0%BA%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8 Викибуки]
* '''Лекция 3, стр. 9-28'''
* [http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%92%D0%B8%D1%82%D0%B5%D1%80%D0%B1%D0%B8 Алгоритм Витерби] - очень хорошо для понимания зачем все это надо
* [http://ru.wikipedia.org/wiki/%D0%94%D0%B8%D0%BD%D0%B0%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 Динамическое программирование]

'''Общие сведения''' 
''Динамическое программирование'' в математике и теории вычислительных систем — метод решения задач с оптимальной подструктурой и перекрывающимися подзадачами, который намного эффективнее, чем решение «в лоб».

''Скрытая Марковская модель'' (первого порядка) — это вероятностная модель последовательности, которая
* Состоит из набора наблюдаемых переменных <math> X = {x_1 , \dots , x_N }, n_n \in R_d</math> и латентных (скрытых) переменных <math>T = {t_1, \dots, t_N },\;t_n \in \{0, 1\}^K,\;\sum_{j = 1}^{K}t_{nj}=1</math>.
* Латентные переменные T являются бинарными и кодируют K состояний, поэтому их иногда называют переменными состояния.
* Значение наблюдаемого вектора <math>x_n</math> , взятого в момент времени <math>n</math>, зависит только от скрытого состояния <math>t_n</math>, которое в свою очередь зависит только от скрытого состояния в предыдущий момент времени <math>t_{n-1}</math>.
* Для полного задания модели достаточно задать все условные распределения вида <math>p(x_n |t_n ),\;p(t_n |t_{n-1})</math> и априорное распределение <math>p(t_1)</math>.

Пусть имеется <math>K</math> возможных состояний. Закодируем состояние в каждый момент времени <math>n</math> бинарным вектором <math>t_n = (t_{n1},\dots, t_{nK})</math>, где <math>t_{nj} = 1</math>, если в момент <math>n</math> модель находится в состоянии <math>j</math> и <math>t_{nj} = 0</math>, иначе.

Тогда распределение <math>p(t_n |t_{n-1} )</math> можно задать матрицей перехода <math>A</math> размера <math>K \times K</math>, где <math>A_{ij} = p(t_{nj} = 1|t_{n-1,i} = 1), \sum_j A_{ij} = 1</math>, т.е. <math>
p(t_n |t_{n-1}) = \prod_{i=1}^K\prod_{j=1}^K A_{ij}^{t_{n-1,i}t_{nj}}
</math>
Пусть в первый момент времени <math>p(t_{1j} = 1) = \pi_j</math>. Тогда
<math>
p(t_1) = \prod_{j=1}^K \pi_j^{t_{1j}}
</math>

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

* Условное распределение <math>p(x_n |t_n)</math> определяется текущим состоянием <math>t_n</math>
* Обычно предполагают, что оно нам известно с точностью до параметров <math>\phi_k,\;k \in \{1,\dots, K\}</math>, т.е. если <math>t_{n1} = 1</math>, то <math>x_n</math> взят из распределения <math>p(x_n |\phi_1 )</math>, если <math>t_{n2} = 1</math>, то <math>x_n</math> взят из распределения <math>p(x_n |\phi_2 )</math>, и т.д.
* Таким образом
<math>
p(x_n |t_n) = \prod_{j=1}^K(p(x_n |\phi_k ))^{t_{nk}}
</math>

Обозначим полный набор параметров <math>\Theta = \{\pi, A, \phi\}</math>.

'''Собственно, билет''' 
* Пусть известна некоторая последовательность наблюдений <math>X</math> и набор параметров СММ <math>\Theta</math>. Требуется определить наиболее вероятную последовательность состояний <math>T</math>, т.е. найти <math>arg\;max_T p(T|X, \Theta)</math>.
* Заметим, что <math>p(X|\Theta)</math> не зависит от <math>T</math>, поэтому <math>arg\;max_T p(T|X, \Theta) = arg\;max_T \frac{p(X, T|\Theta)}{p(X|\Theta)} = arg\;max_T p(X, T|\Theta) = arg\;max_T log\,p(X, T|\Theta)</math>.
* Но это же классическая задача динамического программирования!
 
''Алгоритм Витерби'' 
Логарифм совместной плотности по распределению:
<math>
log\,p(X, T|\Theta) = \left(\sum_{j=1}^K t_{1j}log\pi_j\right) + \left(\sum_{n=2}^N\sum_{i=1}^K\sum_{j=1}^K t_{n-1,i}t_{nj}log\,A_{ij}\right) + \left(\sum_{n=1}^N\sum_{k=1}^K t_{nk}log\,p(x_n|\phi_k)\right)
</math>

Функция Беллмана <math>V(t_{1j}) = log\,\pi_j</math> 
<math>V(t_{nj}) = max_i \left[ V(t_{n-1,i}) + \left(\sum_{i=1}^K\sum_{j=1}^K t_{n-1,i}t_{nj}log\,A_{ij}\right) + log\,p(x_n, \phi_j)\right]</math> 
<math>S(t_{nj}) = arg\;max_i \left[ V(t_{n-1,i}) + \left(\sum_{i=1}^K\sum_{j=1}^K t_{n-1,i}t_{nj}log\,A_{ij}\right) + log\,p(x_n, \phi_j)\right]</math>

Выполнив прямой проход по сигналу, мы оцениваем <math>V(t_{nj})</math> и <math>S(t_{nj})</math>, а выполнив обратный проход, мы получаем оптимальные номера оптимальных состояний <math>(i^\ast(1),\dots, i^\ast(N)): i^\ast(N) = arg\;max_i\,V(t_{Ni})</math> 
<math>i^\ast(n) = S(t_{n+1},i^\ast(n+1))</math>

Легко видеть, что значения переменных <math>t_n</math> определяются так: <math>t_{n,i^\ast(n)} = 1,\;t_{ni} = 0,\;\forall{}i \neq i^\ast(n)</math>

== ЕМ-алгоритм и его применение в скрытых марковских моделях.==

=== Максимум неполного правдоподобия ===

* Предположим имеется графическая модель в которой известная только часть значений переменных.
* Атомарные распределения известны с точностью до <math>\theta</math>
* Требуется оценить параметры по наблюдаемым величинам с помощью метода максимального правдоподобия т.е найти <math> \theta_{ML} = arg max(p(X|\theta) </math>
* По правилу суммирования вероятностей неполное правдоподобие может быть получено в виде суммирования по скрытым переменным полного правдоподобия <math>p(X|\theta)=\sum_T p(X,T|\theta)</math>
* Во многих случаях(в частности в байесовских сетях) подсчет полного правдоподобия тривиален
* При оптимизации правдоподобия удобно переходить к логарифму, в частности ранее в курсе мы получили явные формулы для <math>arg max_\theta(p(X|\theta)=arg max_\theta log(p(X|\theta)</math> в СММ
* Прямая оптимизация логарифма неполного правдоподобия очень затруднительн, даже в итерационной форме, т.к. фунционал имеет вид "логарифма суммы",в то время как удобно оптимизировать "сумму логарифов".
=== Схема ЕМ-алгоритма ===
* на входе: выборка X, зависящая от набора параметров <math>\theta</math>
* Инициализируем <math>\theta</math> некоторыми начальным приближением
* Е-шаг: оцениваем распределение скрытой компоненты 
<math> p(T|X,\theta_{old})=\frac{p(T|X,\theta_{old})}{\sum_T p(X,T|\theta_{old})} </math>
* M-шаг оптимизируем
<math>\mathbb E_{T|X,\theta_{old}} log(p(X,T|\theta))=\sum_T p(X|T,\theta_{old})log( p(X,t|\theta)) \to \max_{\theta} </math>

== Условная независимость в скрытых марковских моделях. Алгоритм «вперед-назад».==
* ''Лекция 4, Слайды 16-28''
* [http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%B2%D0%BF%D0%B5%D1%80%D1%91%D0%B4-%D0%BD%D0%B0%D0%B7%D0%B0%D0%B4 вики]

'''Алгоритм «вперёд-назад»''' -- алгоритм для вычисления апостериорных вероятностей последовательности состояний при наличии последовательности наблюдений. Или по другому, алгоритм для того, чтобы вычислить вероятность специфической последовательности наблюдений. Это работает в контексте скрытых Марковских моделей.
* работает за линейное по количеству наблюдаемых переменных (<math>N</math>)

Алгоритм включает три шага:
# вычисление прямых вероятностей
# вычисление обратных вероятностей
# вычисление сглаженных значений

==Метод релевантных векторов в задаче восстановления регрессии.==
== Метод релевантных векторов в задаче классификации.==
== Метод главных компонент.==

Пусть имеется некоторая выборка <math>X = \{x_n\}_{n=1}^N~,~~ x_n \in \mathbb{R}^D</math>. Цель -- представить выборку в пространстве меньшей размерности <math>d < D</math> таким образом, чтобы в новом пространстве "схожие" объекты образовывали компактные области.

PCA (Principal Component Analysis) -- Метод главных компонент. Формулировки:
* проекция данных на гиперплоскость с наименьшей ошибкой проектирования
* поиск проекции на гиперплоскость с сохранением большей части дисперсии в данных

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

Преимущества:
* вычисление правдоподобия на тестовой выборке позволяет сравнивать различные вероятностные модели
* EM-алгоритм позволяет быстро находить решения в случае малого количества главных компонент
* EM-алгоритм позволяет избежать вычисление матрицы ковариации на промежуточном шаге
* возможность автоматического определения числа главных компонент

Вероятностная модель:
* Пусть имеется выборка <math>\{x_n\}_{n=1}^N~,~~ x_n \in \mathbb{R}^D</math>
* для каждого объекта <math>x_n</math> рассмотрим скрытую переменную <math>t_n \in \mathbb{R}^d~;~~d < D</math>
* определим распределение скрытых переменных <math>p_t = \mathcal{N}(t|0, I)</math> (многомерное нормальное распределение)
* Таким образом, модель наблюдаемой переменной <math>x</math> представляет собой линейное преобразование с добавлением гауссовского шума: <math>p(x|t) = \mathcal{N}(x | Wt + \mu , \sigma^2 I)</math>, где
** <math>W \in \mathbb{R}^{D \times d}</math>
** <math>\mu \in \mathbb{R}^D</math>

==ЕМ-алгоритм в методе главных компонент. Его преимущества.==
== Метод главных компонент. Схема автоматического выбора числа главных компонент.==
== Недостатки метода главных компонент. Метод независимых компонент.==
'' Лекция 6, слайды 42-46 ''

Недостатки метода главных компонент:
* возможны только линейные подпространства, объясняющие данные с высокой точностью. на практике часто такие поверхности могут быть сложными криволинейными.
* PCA инвариантен относительно поворота. это значит, что восстановление скрытых переменных неоднозначно. Это плохо в случае, если имеется несколько независимых источников, которые представимы линейной смесью с неизвестными коэффициентами

Метод независимых компонент -- направлен на разрешение второй проблемы PCO.
* пусть наблюдаемые переменные являются линейной комбинацией скрытых переменных, причем кол-во наблюдаемых и скрытых переменных совпадает: <math>x = Wt</math>
* если <math>W</math> невырождена, то <math>t = W^{-1}x</math>

Суть метода:
* рассматриваем отдельно каждый источник
* для каждого источника ищем ее, как линейную комбинацию наблюдаемых данных
* по [http://ru.wikipedia.org/wiki/%D0%A6%D0%B5%D0%BD%D1%82%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0 Центральной предельной теореме] сумма случайный величин приближается к нормальному распределению. А так как у нас не случайные величины, то нам нужно искать решение, которое меньше всего похоже на гауссиану

==  Нелинейные методы уменьшения размерности. Локальное линейное погружение.==
'' Лекция 6, слайды 48-50 ''

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

LLE ( локальное линейное погружение ) -- метод, основанный на поиске преобразования с учётом сохранения отношения соседства между объектами

==  Нелинейные методы уменьшения размерности. Ассоциативные нейронные сети и GTM.==
'' Лекция 6, слайды 51-55 ''

= Часть 2 (Рудаков) =

== Объекты, признаки, логические признаки, простейшие логические решающие правила. ==
Признаки объектов:
* детерминированные;
* вероятностные;
* логические;
* структурные.

''' Детерминированные признаки''' – это признаки, принимающие конкретные числовые значения, которые могут быть рассмотрены как координаты точки, соответствующей данному объекту, в n-мерном пространстве признаков.

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

'''Логические признаки''' распознаваемых объектов можно рассматривать как элементарные высказывания, принимающие два значения истинности (истина – ложь) с полной определенностью. К логическим признакам относятся прежде всего признаки, не имеющие количественного выражения. Эти признаки представляют собой суждения качественного характера типа наличия или отсутствия некоторых свойств или некоторых элементов у распознаваемых объектов или явлений. В качестве логических признаков можно рассматривать, например, такие симптомы в медицинской диагностике, как боль в горле, кашель и т.д. К логическим можно отнести также признаки, у которых важна не величина признака у распознаваемого объекта, а лишь факт попадания или непопадания ее в заданный интервал. В пределах этих интервалов появление различных значений признаков у распознаваемых объектов предполагается равновероятным. На практике логические признаки подобного рода имеют место в таких ситуациях, когда либо ошибками измерений можно пренебречь, либо интервалы значений признаков выбраны таким образом, что ошибки измерений практически не оказывают влияния на 
достоверность принимаемых решений относительно попадания измеряемой величины в заданный интервал.

'''Решающее правило'''
Decision Rule

В Data Mining это правила вида «Если …, то…», которые позволяют принять решение о принадлежности объекта или наблюдения к определенному классу, например, «Если ‘Годовой доход’ больше 200000, то ‘Кредитный рейтинг’ = ‘Высокий’. Основное применение решающих правил – деревья решений. В каждом узле дерева решений содержится решающее правило, разбивающее множество примеров в узле на подмножества, ассоциированные с классами.

Кроме этого, решающие правила применяются в методах покрытия, когда формируются наборы правил, которые последовательно относятся ко всем наблюдениям.

Остаток можно взять из файла lekcii_ama_zhuravlev.doc страница 17.

== Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей. ==

Пусть <math>\varphi : X \rightarrow \{0, 1\}</math> - некоторый предикат, определённый на множестве объектов X. Говорят, что предикат <math>\varphi</math> ''выделяет'' или ''покрывает'' (cover) объект x, если
<math>\varphi(x) = 1</math>. Предикат называют ''закономерностью'', если он выделяет достаточно много объектов какого-то одного класса <math>c</math>, и практически не выделяет объекты других классов.

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

Всякая закономерность классифицирует лишь некоторую часть объектов. Объединив определённое количество закономерностей в композицию, можно получить
алгоритм, способный классифицировать любые объекты. ''Логическими алгоритмами классификации'' будем называть композиции легко интерпретируемых закономерностей. При построении логических алгоритмов возникают три основных вопроса:
* Каков критерий информативности, позволяющий называть предикаты закономерностями?
* Как строить закономерности?
* Как строить алгоритмы классификации на основе закономерностей? Наиболее распространённые типы логических алгоритмов: Голосование правил (алгоритм Кора), Алгоритмы вычисления оценок.

Теперь поговорим об '''информативности''' (или качестве) признака.
Своими словами: предикат <math>\varphi</math> тем более информативен, чем больше он выделяет объектов "своего класса" <math>c \in Y</math> по сравнению с объектами всех остальных "чужих" классов. Свои объекты называют также ''позитивными'' (positive), а чужие ''негативными'' (negative). Введём следующие обозначения:
* <math>P_c</math> - число объектов класса c в выборке X
* <math>p_c(\varphi)</math> - из них число объектов, для которых выполняется условие <math>\varphi(x) = 1</math>;
* <math>N_c</math> - число объектов всех остальных классов Y \ {c} в выборке X
* <math>n_c(\varphi)</math> - из них число объектов, для которых выполняется условие <math>\varphi(x) = 1</math>

Введем ещё два обозначения:
* <math>E_c ( \varphi , X ) = \frac {n_c(\varphi)}{p_c(\varphi)+ n_c(\varphi)}</math> - ''доля негативных объектов'' среди всех выделяемых объектов (доля тех объектов, в которых наш логический предикат ошибся - причислил их к "своему" классу, хотя они туда и не относились)
* <math>D_c ( \varphi , X ) = \frac {p_c(\varphi)}{l}</math>, где l есть это количество элементов в выборке X - это ''доля выделенных позитивных объектов''.

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

== Методы голосования по конъюнкциям. Алгоритмы типа "Кора". ==

Для начала, поговорим об '''алгоритмах голосования'''. Пусть для каждого класса <math>c \in Y</math> построено множество логических закономерностей (правил), специализирующихся на различении объектов данного класса:
<math>R_c = { \varphi_c^t : X \rightarrow {0, 1} | t = 1, . . . , T_c}</math>, где <math>T_c</math> - количество классов свойств.

Считается, что если <math>\varphi_c^t (x) = 1</math>, то правило <math>\varphi_c^t</math> относит объект <math>x \in X</math> к классу c. Если же <math>\varphi_c^t(x) = 0 </math>, то правило <math>\varphi_c^t</math> воздерживается от классификации объекта x.
* Алгоритм простого голосования 
** подсчитывает долю правил в наборах <math>R_c</math>, относящих объект x к каждому из классов: <math>\Gamma_c(x) = \frac 1 {T_c} \sum_{t=1}^{T_c} \varphi_c^t (x) , c \in Y </math>
** относит объект x к тому классу, за который подана наибольшая доля голосов: <math>a(x) = arg \max_{c \in Y} \Gamma_c (x) </math>
** если максимум достигается одновременно на нескольких классах, выбирается тот,
для которого цена ошибки меньше.
* Алгоритм взвешенного голосования
** Каждому правилу <math>\varphi_c^t</math> приписывается вес <math>\alpha_t^c \geqslant 0 </math>
** при голосовании берётся взвешенная сумма голосов: <math>\Gamma_c(x) = \frac 1 {T_c} \sum_{t=1}^{T_c} \alpha_t^c \varphi_c^t (x) , c \in Y </math>
** веса принято нормировать на единицу: <math> \sum_{t=1}^{T_c} \alpha_c^t = 1 </math>

При построении алгоритмов взвешенного голосования правил возникает
четыре основных вопроса:
* Как построить много правил по одной и той же выборке?
* Как избежать повторов и построения почти одинаковых правил?
* Как избежать появления непокрытых объектов и обеспечить равномерное покрытие всей выборки правилами?
* Как определять веса правил при взвешенном голосовании?

'''Алгоритм Кора'''
* Дано
** множество элементарных предикатов <math>\Beta</math>
** обучающая выборка X
* Хотим получить
** набор конъюктивных закономерностей (т.е. множество конъюнкций элементарных предикатов <math>\Beta</math>, которые являлись бы закономерностями для нашей обучающей выборки X) ранга не более чем K (как правило берется число 3)
** доля ошибок <math>E_c ( \varphi ) </math> (см. предыдущий билет) для каждой из полученных конъюнкций не должна превышать <math>E_{max}</math>
** доля позитивных объектов <math>D_c ( \varphi ) </math> для каждой из полученных конъюнкций должна быть не меньше <math>D_{min}</math>
* Реализация
** перебираем все возможные конъюнкции ранга от 1 до K методом поиска в глубину:
** в процессе перебора:
*** конъюнкция перестает наращиваться (и отбрасывается), если она выделяет слишком мало объектов своего класса, т.е. <math>D_c ( \varphi ) < D_{min} </math> 
*** конъюнкция перестает наращиваться (и запоминается), если она уже удовлетворяет критериям отбора, т.е. <math>D_c ( \varphi ) > D_{min} </math> и <math>E_c ( \varphi ) < E_{max}</math>
* Достоинства алгоритма
** Короткие конъюнкции легко интерпретируются в терминах предметной области. Алгоритм способен не только классифицировать объекты, но и объяснять свои решения на языке, понятном специалистам.
** При малых K (не больше 3) алгоритм очень эффективен
** Если короткие информативные конъюнкции существуют, они обязательно будут найдены, так как алгоритм осуществляет полный перебор.
* Недостатки алгоритма
** При неудачном выборе множества предикатов <math>B</math> коротких информативных конъюнкций может просто не существовать. В то же время, увеличение числа K приводит к экспоненциальному падению эффективности.
** Алгоритм не стремится обеспечивать равномерность покрытия объектов. Это отрицательно сказывается на обобщающей способности (вероятности ошибки) алгоритма.

Пример применения данного алгоритма - motp.pdf, страница 5

== Тесты, представительные наборы, проблемы перебора. ==
Матрица эталонов <math>T_{nmi}</math>: Каждый столбец соответсвует определенному признаку. Каждая строка - эталонному объекту. Последовательно идущий набор строк - определяет класс.

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

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

Пример - алгоритм Кора, файл motp.pdf 5 страница. Фактически, характеристики классов строятся при помощи тестов.

Пусть объект <math>S_v \in K_j</math>. Набор признаков <math>u = \{x_{i1}(S_v),..., x_{i_n}(S_v)\}</math> называется <math>\epsilon</math>-представительским (или просто представительским), если <math>\forall S_p \in T_{nmi} </math> и не лежащих в классе <math>K_j</math> система неравенств <math>|x_{i}(S_p) - x_{i}(S_v)|< \varepsilon, i = i_1,...,i_n </math>несовместна.

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

== Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО. ==

''' Алгоритмы вычисления оценок '''

Дано:
* <math>S = \{s_i\},~~ i \in [1, m]</math> -- множество объектов. ''' обучающая выборка '''
* <math>\| a_{ij} \|_{m \times n}</math> -- совокупность из <math>m</math> объектов, каждый из <math>n</math> признаки
* области определения признаков -- метрические пространства <math>M_t</math> с метриками <math>\rho_t:M^2_t \rightarrow \mathbb{R^+},~~ t \in [1, n]</math>
* <math>K = \{K_i\}~,~~i \in [1, l]</math> -- можество классов, на которые разделяются объекты
* <math>\| \alpha_{ij} \|_{m \times l}</math> -- информационная матрица (таблица), с указанием того, какой из каждых <math>m</math> объектов каким классам принадлежит

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

''' Контрольная выборка ''' -- набор из q объектов, предназначенных для определения разных параметров алгоритма:
* <math>\varepsilon</math> -- параметры близости
* <math>\{\Omega\}</math> -- опорные множества
* <math>p_w</math> -- веса опорных множеств
* <math>x_1, x_2</math> -- коэффициентов для формулы вычисления оценок
* <math>\gamma_j</math> -- веса обучающих объектов

Так как пространство признаков не обязательно является числовым, то имеет смысл задавать объект через меры близости к объектам обучающей выборки ('''метрическое описание объектов''') : <math>\| \rho(a^'_{j}, a_{ij}) \|_{m \times n}</math>, где
* <math>a^'_j</math> -- j-тый признак описываемого объект
* <math>a_{ij}</math> -- j-тый признак i-того объекта базовой выборки <math>S</math>

== Опорные множества в АВО. Функции близости. Веса объектов и признаков. ==

''' Система опорных множеств ''' -- любое множество, элементы которого - непустые подмножества признаков {1,2...n}. При этом каждый признак должен входить хотя бы в одно множество:
* <math>\{\Omega\}_A ~ : ~ \Omega_j = \{u_1, u_2, \dots, u_k\},~ u_k \in [1,n]</math> -- совокупность опорных множеств, задающих алгоритм распознавания A
* <math>\forall i \in [1,k] ~~ \exists j : i \in \Omega_j</math>, каждый признак хотя бы в одном опорном множестве.
* вместо <math>\Omega_j</math> можем рассматривать характеристический вектор <math>\tilde w_j = \{\sigma_1 \dots \sigma_n\}~:~~\sigma_{u_1} = \sigma_{u_2} = \dots = \sigma_{u_k} = 1</math>, а остальные координаты равны нулю

Примеры опорных множеств:
* совокупность всех непустых подмножеств признаков {1,2...n}. его мощность: <math>2^n-1</math>
* совокупность из всех подмножеств из k элементов. его мощность: <math>C^n_k</math>

''' Функция близости ''' <math>\mathcal{N}(\tilde w S, \tilde w S_i)</math> -- задает расстояние между <math>\tilde w</math> частями распознаваемого объекта <math>S</math> и эталонного объекта <math>S_i</math>. В дальнейшем рассматриваются только такие функции, <math>\mathcal{N}</math>, которые принимают значения 0 или 1

Три вида функции близости:
# введем неотрицательные параметры <math>\varepsilon_i > 0 ~,~ i \in [1,n]</math>. Пусть <math>\tilde w S = \{\alpha_{u_1}, \dots, \alpha_{u_k}\}~,~~ \tilde w S_i = \{\alpha_{u_{i1}}, \dots, \alpha_{u_{ik}}\}</math>. Тогда <math>\mathcal{N}(\tilde w S, \tilde w S_i) = 
\begin{cases}
1,~~\rho(\alpha_{u_j}, \alpha_{u_{ij}} \leqslant \varepsilon_{u_j})~~\forall j \in [1,k]\\
0,~~else
\end{cases}</math>
# введем дополнительно к п.1 параметра <math>\nu</math> такой, что <math>\mathcal{N}(\tilde w S, \tilde w S_i) = 1</math>, если не выполнено не больше, чем <math>\nu</math> описанных неравенств. при этом имеет смысл брать <math>0 \leqslant \nu \leqslant \left[\frac{q}{2} - 1\right] </math>
# вместо <math>\nu</math> определяем <math>\nu'</math> так, что <math>\mathcal{N}(\tilde w S, \tilde w S_i) = 1</math>, если из k неравенств не выполнены r, причем <math>\frac{r}{k} < \nu'</math>

== Формулы вычисления оценок. Эвристические обоснования. ==

''' Формула вычисления оценок: '''

<math>\Gamma_1^j (s) = \sum_{w \in \Omega} \sum_{k : P_j(s_k) = 1} \gamma_k \cdot p_w \cdot \mathcal{N}(s, s_k)</math>, где:
* <math>w \in \Omega</math> -- опорные множества
* <math>k : P_j(s_k) = 1</math> -- все объекты обучающей выборки, которые входят в данный класс
* <math>\gamma_k</math> -- вес объекта
* <math>p_w</math> -- вес опорного множества

<math>\Gamma_0^j (s) = \sum_{w \in \Omega} \sum_{k : P_j(s_k) = 0} \gamma_k \cdot p_w \cdot (1 - \mathcal{N}(s, s_k))</math>, где:
* <math>k : P_j(s_k) = 0</math> -- все объекты обучающей выборки, которые ''' не ''' входят в данный класс

<math>\Gamma^j(s) = x_1 \cdot \Gamma_1^j (s) + x_2 \cdot \Gamma_0^j (s)</math>, где <math>x_1, x_2</math> -- коэффициенты, которые определяют работу с соответствующими характеристиками.

== Задачи оптимизации АВО. Совместные подсистемы систем неравенств. ==

[http://www.mipt.ru/nauka/51conf/dokl/In_prac_fupm/m_3rhk32/m_3rhknp.html оптимизация АВО по метрикам]

== Функционалы качества. Сложность моделей алгоритмов и проблема переобучения. ==

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

'''Обобщающая способность''' (generalization ability, generalization performance). Говорят, что алгоритм обучения обладает способностью к обобщению, если вероятность ошибки на тестовой выборке достаточно мала или хотя бы предсказуема, то есть не сильно отличается от ошибки на обучающей выборке. Обобщающая способность тесно связана с понятиями переобучения и недообучения.

'''Переобучение, переподгонка''' (overtraining, overfitting) — нежелательное явление, возникающее при решении задач обучения по прецедентам, когда вероятность ошибки обученного алгоритма на объектах тестовой выборки оказывается существенно выше, чем средняя ошибка на обучающей выборке. Переобучение возникает при использовании избыточно сложных моделей.

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

== Общие пространства начальных и финальных информаций. Задачи синтеза корректных алгоритмов. ==
В самой общей постановке задача синтеза алгоритмов преобразования информаций состоит в следующем. Имеется множество начальных информаций <math>\Im_i</math> и множество конечных информаций <math>\Im_j</math>. Требуется построить алгоритм реализующий отображение из <math>\Im_i</math> в <math>\Im_j</math>, удовлетворяющее заданной системе ограничений.

Одним из частных случаев является задача обучения по прецедентам, в которой система ограничений задаётся следующим образом. Фиксируется последовательность <math>I_q = \{x_k\}_{k=1}^{q}</math> элементов множества <math>\Im_i</math> и последовательность <math>\bar{I_q} = \{y_k\}_{k=1}^{q}</math> элементов множества <math>\Im_j</math>. Искомый алгоритм <math>A</math> должен точно или приближённо удовлетворять системе из <math>q</math> равенств <math>A(x_k)= y_k,\,k=1,. . .,q</math>, которую мы будем сокращённо записывать как <math>A(\Im_q) = \bar{\Im_q}</math>. Ограничения такого типа называются локальными или прецедентными.

Кроме того,обычно требуется, чтобы искомый алгоритм удовлетворял некоторым дополнительным ограничениям, которые в общем случае выражаются условием <math> A \in W^u</math> где <math>W^u</math> заданное множество отображений из <math>\Im_i</math> в <math>\Im_j</math>. Алгоритм, удовлетворяющий локальным и дополнительным ограничениям, называют корректным. Итак, рассматриваемые задачи обучения по прецедентам определяется пятёркой <math>Z = \langle \Im_i, \Im_j, W^u, I_q, \bar{I_q} \rangle </math>.

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

== Разрешимость и регулярность задач распознавания. Регулярность по Ю.И. Журавлёву ==

[http://www.ccas.ru/frc/thesis/RudakovDocDisser.pdf Диссертация Рудакова], пункт 1.5

'''Разрешимые''' задачи - это задачи, для которых множество допустимых отображений их <math>\mathfrak{I}_i</math> в <math>\mathfrak{I}_f</math> непусто, т.е. существуют семейства алгоритмов, содержащие их решения.
Задача Z из множества задач <math>\mathfrak{Z} </math> называется ''полной'' относительно семейства <math>\mathfrak{M} </math> отображений из <math>\mathfrak{I}_i</math> в <math>\mathfrak{I}_f</math>, если в <math>\mathfrak{M} </math> содержатся допустимые отображения для всех задач из класса эквивалентности, содержащего Z.
Задача Z называется '''регулярной''', если для нее существует семейство отображений <math>\mathfrak{M} </math>, относительно которого она полна.
'''Регулярность по Журавлеву''':
Пусть есть <math>q</math> объектов и <math>l</math> классов и 
<math>\hat{I}=||I_{ij}||_{q \times l}</math> - матрица информации и <math> \hat {\tilde I} = || {\tilde I}_{ij}||_{q \times l}</math> - матрица правильных ответов. 
Задаче Z соответствует пара матриц: <math> Z \leftrightarrow (\hat I , \hat{\tilde I})</math>.
Определение ''окрестности задачи по Журавлеву'' <math>O(Z)=\{Z^' \|Z^' \leftrightarrow (\hat I , \hat{\tilde I}^')</math> - т.е. это множество задач <math>Z^'</math>, получающихся всевозможным варьированием матрицы правильных ответов.

== Операции над алгоритмами. Расширение моделей. ==
http://www.ict.edu.ru/ft/004700/VoronCanDisser.pdf

Пункт 1.2

== Пространства оценок. Алгоритмы как суперпозиции. ==
http://www.ict.edu.ru/ft/004700/VoronCanDisser.pdf

Пункт 1.2

== Понятие полноты моделей алгоритмов и семейств корректирующих операций. ==
Диссертация Рудакова 1.3 + 1.5 пункты.
Диссертация Рудакова, пункт 3.5

== Дополнительные к прецедентам ограничения. Пример: перестановочность строк и столбцов в матрицах информации. ==
Прецедентная (локальная) информация - описания объектов и данные о принадлежности объектов к классам.
Дополнительные к прецедентным (универсальные) ограничения  - формальные ограничения на вид допустимых отображений.

=== '''Задачи с однородными классами''' ===

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

=== '''Задачи с однородными объектами''' ===

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

== Задачи с непересекающимися классами. ==

== Класс поэлементных операций и отображений. Условия регулярности и полноты. ==

== Полнота моделей АВО. ==

== Полнота полиномиальных семейств корректирующих операций. ==
Корректирующие операции по сути - операции над матрицами. Один из самых мощных и применяемых на практике - корректирующие полиномы некоторой степени, от матриц с Адамаровым умножением.

Основной вопрос - степень полинома, который может задать любую матрицу (и обеспечить таки образом полноту системы корректирующих операций). Было доказано, что при размерах матрицы информации <math>q * l</math>, система из полиномов степени <math>q * l - 1</math> - полна, <math>q * l - 2</math> - не полна.

== Логарифмическая граница степени корректирующих полиномов. ==

Для частного случая - матрицы информации, состоящие из нулей и единиц, оценку степени корректирующих полиномов удалось улучшить. Для таких полиномов степень может быть снижена до <math>\lceil \log_2 (q * l ) \rceil</math>

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Шаблон:Курс МОТП

Получено с http://esyr.us/wiki/%D0%9C%D0%9E%D0%A2%D0%9F%2C_%D0%91%D0%B8%D0%BB%D0%B5%D1%82%D1%8B_%282009%29

Редактирование: МОТП, Билеты (2009)

Материал из eSyr's wiki.

Просмотры

Личные инструменты

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты

@@ Строка 1: / Строка 1: @@
 = Часть 1 (Ветров) =
-== Метод максимального правдоподобия. Его достоинства и недостатки ==
+== Метод максимального правдоподобия. Его достоинства и недостатки.==
-* [http://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%BC%D0%B0%D0%BA%D1%81%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D0%B0%D0%B2%D0%B4%D0%BE%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%B8%D1%8F ru.wiki:Метод максимального правдоподобия]
+* [http://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%BC%D0%B0%D0%BA%D1%81%D0%B8%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D0%B0%D0%B2%D0%B4%D0%BE%D0%BF%D0%BE%D0%B4%D0%BE%D0%B1%D0%B8%D1%8F вики:Метод максимального правдоподобия]
-* [http://www.nsu.ru/mmf/tvims/chernova/ms/lec/node14.html Метод макс. правдоподобия по Черновой из НГУ]
+* [http://www.nsu.ru/mmf/tvims/chernova/ms/lec/node14.html метода макс. правдоподобия по Черновой из НГУ]
-<div class="definition">''' Метод максимального правдоподобия ''' — метод оценивания неизвестного параметра путём максимизации функции правдоподобия: <math>f_x (x|\theta) = \prod_{i=1}^n f_x(x_i | \theta)</math> для независимой выборки n величин.</div>
+''' Метод максимального правдоподобия ''' -- метод оценивания неизвестного параметра путём максимизации функции правдоподобия: <math>f_x (x|\theta) = \prod_{i=1}^n f_x(x_i | \theta)</math> для независимой выборки n величин
-'''Недостатки:'''
+<u>Недостатки:</u>
 * нужно знать априорное распределение (с точностью до параметров) наблюдаемой величины
 * хорошо применим при допущении, что <math>n \rightarrow \infty </math> (асимптотически оптимален), что в реальности не так
 * проблема выбора структурных параметров, позволяющих избегать переобучения (проблема вообще всех методов машинного обучения)
-* необходима [http://ru.wikipedia.org/wiki/Регуляризация_(математика) регуляризация] метода
+* необходима [http://ru.wikipedia.org/wiki/Регуляризация_(математика) регуляризация]  метода
-== Решение несовместных СЛАУ ==
+==Решение несовместных СЛАУ.==
 В статистике, машинном обучении и теории обратных задач под регуляризацией понимают добавление некоторой дополнительной информации к условию с целью решить некорректно поставленную задачу или предотвратить переобучение.
-<div class="definition">'''Несовместная СЛАУ''' — система линейных уравнений, не имеющая ни одного решения.</div>
+'''Несовместная СЛАУ''' -- система линейных уравнений, не имеющая ни одного решения.
-<div class="definition">'''Совместная СЛАУ''' — система линейных уравнений, имеющая хотя бы одно решение.</div>
+'''Совместная СЛАУ''' -- система линейных уравнений, имеющая хотя бы одно решение.
-<div class="definition">''' Ридж-регуляризация''' (ридж-регрессия, [http://en.wikipedia.org/wiki/Tikhonov_regularization регуляризация Тихонова]) матрицы <math>A^T A</math>  — матрица <math>A^T A + \lambda I</math>, где <math>\lambda</math> — коэффициент регуляризации. Всегда невырождена при <math>\lambda > 0</math>.</div>
+''' Ридж-регуляризация''' (ридж-регрессия, [http://en.wikipedia.org/wiki/Tikhonov_regularization регуляризация Тихонова]) матрицы <math>A^T A</math>  -- матрица <math>A^T A + \lambda I</math>, где <math>\lambda</math> -- коэффициент регуляризации. Всегда невырождена при <math>\lambda > 0</math>
-<div class="definition">''' Нормальное псевдорешение ''' СЛАУ <math>Ax = b</math> — вектор <math> x = (A^T A + \lambda I )^{-1} A^T b </math>.
+''' Нормальное псевдорешение ''' СЛАУ <math>Ax = b</math> -- вектор <math> x = (A^T A + \lambda I )^{-1} A^T b </math>
 * всегда единственно
 * при небольших <math>\lambda</math> определяет псевдорешение с наименьшей нормой
 * любое псевдорешение имеет минимальную невязку
-</div>
-== Задача восстановления линейной регрессии. Метод наименьших квадратов ==
+== Задача восстановления линейной регрессии. Метод наименьших квадратов.==
 * [http://www.nsu.ru/mmf/tvims/chernova/ms/lec/node60.html лекции Черновой из НГУ]
-* [http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D0%BE%D0%BD%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7 ru.wiki:Регрессионный анализ]
+* [http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D0%BE%D0%BD%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7 вики:Регрессионный анализ]
-'''Задача регрессионного анализа (неформально)''': предположим, имеется зависимость между неизвестной нам случайно величиной ''X'' (мы судим о ней по наблюдаемым признакам, т.е. по случайной выборке) и некоторой переменной (параметром) ''t''.
+'''Задача регрессионного анализа (неформально)'''.
-<div class="definition">'''Задача регрессионного анализа''' — определение наличия и характера (математического уравнения, описывающего зависимость) связи между переменными. В случае линейной регрессии, зависимость ''X'' от параметра ''t'' проявляется в изменении средних значений ''Y'' при изменении ''t'' (хотя при каждом фиксированном значении ''t'' величина ''X'' остается случайной величиной).</div>
+Предположим имеется зависимость между неизвестной нам случайно величиной X (мы судим о ней по наблюдаемым признакам, т.е. по случайной выборке) и некоторой переменной (параметром) t.
-Искомая зависимость среднего значения ''X'' от значений ''Z'' обозначается через функцию ''f''(''t''): <math>E(X | Z = t)=f(t)</math>. Проводя серии экспериментов, требуется по значениям ''t''<sub>1</sub>, &hellip;, ''t''<sub>''n''</sub> и ''X''<sub>1</sub>, &hellip;, ''X''<sub>''n''</sub> оценить как можно точнее функцию ''f''(''t'').
+'''Задача регрессионного анализа''' — определение наличия и характера (математического уравнения, описывающего зависимость) связи между переменными. В случае линейной регрессии, зависимость X от параметра t проявляется в изменении средних значений Y при изменении t (хотя при каждом фиксированном значении t величина X остается случайной величиной).
-Однако, наиболее простой и изученной является линейная регрессия, в которой неизвестные настраиваемые параметры (''w''<sub>''j''</sub>) входят в решающее правило '''линейно''' с коэффициентами <math>\psi_j(x)</math>: <math>y(x,w)=\sum_{j=1}^m w_j \psi_j(x)=w^T \psi(x)</math>/
+Искомая зависимость среднего значения X от значений Z обозначается через функцию f(t): <math>E(X | Z = t)=f(t).</math> Проводя серии экспериментов, требуется по значениям t1,...tn и X1,...,Xn оценить как можно точнее функцию f(t).
-'''Пример''' (''простой пример на пальцах''): [http://en.wikipedia.org/wiki/Linear_Regression#Example Linear Regression Example].
+Однако, наиболее простой и изученной является линейная регрессия, в которой неизвестные настраиваемые параметры (w<sub>j</sub>) входят в решающее правило '''линейно''' с коэффициентами <math>\psi_j(x)</math>: <math>y(x,w)=\sum_{j=1}^m w_j \psi_j(x)=w^T \psi(x)</math>
+'''Пример''' (''простой пример на пальцах''): [http://en.wikipedia.org/wiki/Linear_Regression#Example Linear Regression Example]
 <math>S(t, \hat{t})</math> — функция потерь от ошибки. ''На пальцах: берем найденную путем регрессии функцию <math>\hat{t}(x)</math> и сравниваем её выдачу на тех же наборах <math>x</math>, что и заданные результаты эксперимента <math>t(x)</math>.''
 * <math>S_1(t, \hat{t}) = (t - \hat{t})^2</math>
-* <math>S_2(t, \hat{t}) = |t - \hat{t}|</math>
+* <math>S_2(t, \hat{t}) = |t - \hat{t}|^2</math>
 * <math>S_3(t, \hat{t}) = \delta^{-1}(t - \hat{t})</math>
-Основная задача — минимизировать эту функцию, что значит минимизировать <math>\mathbb{E} S(t, \hat{t}(x,w)) = \int\int S(t, \hat{t}(x,w)) p(x,t) dx dt \rightarrow \min_{w}</math>.
+Основная задача — минимизировать эту функцию, что значит минимизировать <math>\mathbb{E} S(t, \hat{t}(x,w)) = \int\int S(t, \hat{t}(x,w)) p(x,t) dx dt \rightarrow \min_{w}</math>
 ----
-<div class="definition">''' Метод наименьших квадратов ''' — минимизация функции потери ошибки <math>S(t, \hat{t}) = (t - \hat{t})^2</math>.</div>
+''' Метод наименьших квадратов ''' — минимизация функции потери ошибки <math>S(t, \hat{t}) = (t - \hat{t})^2</math>
-'''Особенности квадратичной функции потерь:'''
+<u>Особенности квадратичной функции потерь:</u>
-* ''Достоинтсва'':
+* <u>Достоинтсва</u>
-** Гладкая (непрерывная и дифференцируемая);
+** гладкая (непрерывная и дифференцируемая)
-** Решение может быть получено в явном виде.
+** решение может быть получено в явном виде
-* ''Недостатки'':
+* <u>Недостатки</u>
-** Решение неустойчиво;
+** решение неустойчиво
-** Не применима к задачам классификации.
+** не применима к задачам классификации
-== Задача восстановления линейной регрессии. Вероятностная постановка ==
+==Задача восстановления линейной регрессии. Вероятностная постановка.==
 Представим регрессионную переменную как случайную величину с плотностью распределения <math>p(t|x)</math>.
-В большинстве случаев предполагается нормальное распределение относительно некоторой точки ''y''(''x''): <math>t = y(x) + \varepsilon~;~~\varepsilon \sim N(\varepsilon | 0, \sigma^2)</math>.
+В большинстве случаев предполагается нормальное распределение относительно некоторой точки y(x) : <math>t = y(x) + \varepsilon~;~~\varepsilon \sim N(\varepsilon | 0, \sigma^2)</math>.
-Максимизируя правдоподобие (оно задается следующей формулой: <math>p(t|y)=\prod_{i=1}^n \dfrac{1}{\sqrt{2\pi\sigma^2}}\, \exp\left(-\dfrac{(t_i-y_i)^2}{2\sigma^2}\right) \rightarrow \max</math>), получаем эквивалентность данного метода методу наименьших квадратов, т.&nbsp;к. взяв логарифм от формулы выше, получаем:
-<math>\sum_{i=1}^n (t_i-y_i)^2 = \sum_{i=1}^n (t_i-w^T \phi (x_i))^2 \rightarrow \min_w</math>
-== Логистическая регрессия. Вероятностная постановка ==
+Максимизируя правдоподобие (оно задается следующей формулой: <math>p(t|y)=\prod_{i=1}^n \dfrac{1}{\sqrt{2\pi\sigma^2}}\, \exp\left(-\dfrac{(t_i-y_i)^2}{2\sigma^2}\right) \rightarrow \max</math>), получаем эквивалентность данного метода методу наименьших квадратов, т.к. взяв логарифм от формулы выше, получаем:
+<math>\sum_{i=1}^n (t_i-y_i)^2 = \sum_{i=1}^n (t_i-w^T \phi (x_i))^2 \rightarrow \min_w</math>
-<div class="definition">''' Логистическая регрессия''' ([http://en.wikipedia.org/wiki/Logistic_regression en-wiki], [http://www.machinelearning.ru/wiki/index.php?title=%D0%9B%D0%BE%D0%B3%D0%B8%D1%81%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%80%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D1%8F machinelearning]) — метод [http://ru.wikipedia.org/wiki/Задача_классификации классификации объектов] на два класса, работающий при помощи логистической функции регрессии: <math>p(t|x, w) = \frac{1}{1 + e^{-t y(x)}}</math> ([http://en.wikipedia.org/wiki/Sigmoid_function сигмоид]).</div>
+== Логистическая регрессия. Вероятностная постановка.==
+''' Логистическая регрессия''' ([http://en.wikipedia.org/wiki/Logistic_regression en-wiki], [http://www.machinelearning.ru/wiki/index.php?title=%D0%9B%D0%BE%D0%B3%D0%B8%D1%81%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D1%80%D0%B5%D0%B3%D1%80%D0%B5%D1%81%D1%81%D0%B8%D1%8F machinelearning]) — метод [http://ru.wikipedia.org/wiki/Задача_классификации классификации объектов] на два класса, работающий при помощи логистической функции регрессии: <math>p(t|x, w) = \frac{1}{1 + e^{-t y(x)}}</math> ([http://en.wikipedia.org/wiki/Sigmoid_function сигмоид]).
 Эта функция является функцией правдоподобия по w и распределением вероятности по t, т.к. <math>\sum_t p(t|x,w)=1, \ \ p(t|x,w)>0</math>.
-== ЕМ-алгоритм для задачи разделения гауссовской смеси ==
+== ЕМ-алгоритм для задачи разделения гауссовской смеси.==
 Пусть имеется выборка <math>X \sim \sum_{j=1}^l w_j \mathcal{N} (x | \mu_j , \Sigma_j)</math>, где ''l'' - число компонент смеси.
-EM-алгоритм: ([http://en.wikipedia.org/wiki/Expectation-maximization_algorithm en-wiki]], [http://www.machinelearning.ru/wiki/index.php?title=EM_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_(%D0%BF%D1%80%D0%B8%D0%BC%D0%B5%D1%80) machinelearning-пример])
+<u>EM-алгоритм:</u>
-# Выбираем начальное приближение для параметров <math>\mu_j, \Sigma_j, w_j, j \isin [1, l]</math>.
+# выбираем начальное приближение для параметров <math>\mu_j, \Sigma_j, w_j, j \isin [1, l]</math>
-# E-шаг (expectation): находим для каждого элемента выборки вероятность, с которой он принадлежит каждой из компонент смеси.
+# E-шаг: вычисляем распределение скрытых переменных, которые определяют, к какой компоненте смеси на данном шаге отностися каждый объект
-# M-шаг (maximization): с учетом вероятностей на предыдущем шаге пересчитываем коэффициенты начального шага.
+# M-шаг: с учетом вероятностей на предыдущем шаге пересчитываем коэффициенты начального шага
-# Переход к E шагу до тех пор, пока не будет достигнута сходимость.
+# переход к E шагу до тех пор, пока не будет достигнута сходимость
-'''Недостатки:'''
+<u>недостатки:</u>
-* (!) Не позволяет определить количество компонент смеси (''l'').
+* (!!) не позволяет определить количество компонент смеси (''l'')
-** Величина ''l'' является структурным параметром.
+** величина ''l'' является структурным параметром
-* В зависимости от выбора начального приближения может сходиться к разным точкам.
+* в зависимости от выбора начального приближения может сходиться к разным точкам
-* может сваливаться в локальный экстремум.
+* может сваливаться в локальный экстремум
-== Основные правила работы с вероятностями. Условная независимость случайных величин ==
+==Основные правила работы с вероятностями. Условная независимость случайных величин.==
-<div class="definition">''' Случайная величина ''' — это измеримая функция, заданная на каком-либо вероятностном пространстве. ([http://ru.wikipedia.org/wiki/%D0%A1%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D0%BB%D0%B8%D1%87%D0%B8%D0%BD%D0%B0 ru.wiki])</div>
+''' Случайная величина ''' -- это измеримая функция, заданная на каком-либо вероятностном пространстве. ([http://ru.wikipedia.org/wiki/%D0%A1%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D0%B0%D1%8F_%D0%B2%D0%B5%D0%BB%D0%B8%D1%87%D0%B8%D0%BD%D0%B0 вики])
-<div class="definition">''' Функция распределения ''' <math>F_X(x)</math> — вероятность того, что случайная величина ''X'' меньше ''x'': <math>F_X(x) = \mathbb{P}(X \leqslant x)</math>.</div>
+''' Функция распределения ''' <math>F_X(x)</math> -- вероятность того, что случайная величина X меньше x: <math>F_X(x) = \mathbb{P}(X \leqslant x)</math>
-<div class="definition">''' Плотность вероятности ''':
+''' Плотность вероятности ''':
-* В дискретном случае — вероятность того, что ''X'' = ''x'';
+* в дискретном случае -- вероятность того, что X = x
-* В непрерывном случае — производная функции распределения.</div>
+* в непрерывном случае -- производная функции распределения
-Далее ''X'', ''Y'' — случайные величины с плотностями вероятности <math>p(x), p(y)</math>.
+Пусть X, Y - случайные величины с плотностями вероятности <math>p(x), p(y)</math>
-<div class="definition">Случайные величины ''X'', ''Y'' называются '''независимыми''', если <math>p(x,y) = p(x) \cdot p(y)</math>.</div>
+Случайные величины X,Y называются независимыми, если <math>p(x,y) = p(x) \cdot p(y)</math>
-<div class="definition">''' Условная плотность ''' — <math>p(x|y) = \frac{p(x,y)}{p(y)}</math>.
+''' Условная плотность ''' -- <math>p(x|y) = \frac{p(x,y)}{p(y)}</math>
-* в дискретном случае — вероятность того, что наступило событие ''x'', при условие наступления события ''y''.</div>
+* в дискретном случае - вероятность того, что наступило событие x, при условие наступления события y
-'''Правило суммирования:''' пусть <math>A_1, \dots, A_k</math> — ''k'' взаимоисключающих события, одно из которых обязательно наступает. Тогда
+<u>Правило суммирования:</u> пусть <math>A_1, \dots, A_k</math> -- k взаимоисключающих события, одно из которых обязательно наступает. Тогда
 * <math>\mathbb{P}(A_i \cup A_j) = \mathbb{P}(A_i) + \mathbb{P}(A_j)</math>
 * <math>\sum_{i=1}^k \mathbb{P}(A_i) = 1</math>
-* '''Формула полной вероятности''': <math>\sum_{i=1}^k \mathbb{P}(A_i|B) = 1</math> или <math>P(B)=\sum_{i=1}^k \mathbb{P}(B|A_i) \mathbb{P}(A_i)</math>.
+* формула полной вероятности: <math>\sum_{i=1}^k \mathbb{P}(B|A_i) = 1</math>
-* В интегральном виде: <math>p(b) =\int p(b,a)da=\int p(b|a)p(a)da</math>.
+* '''формула Байеса''' ([http://ru.wikipedia.org/wiki/Формула_Байеса ru:wiki]): <math>P(A|B) = \frac{P(B | A)\, P(A)}{P(B)}</math>
-* '''Формула Байеса''' ([http://ru.wikipedia.org/wiki/Формула_Байеса ru:wiki]): <math>P(A|B) = \frac{P(B | A)\, P(A)}{P(B)}</math>.
 Случайные величины называются '''условно независимыми''' от <math>z</math>, если <math>p(x,y|z) = p(x|z)p(y|z)</math>
-* Это значит: вся информация о взаимосвязи между <math>x</math> и <math>y</math> содержится в <math>z</math>.
+* это значит: вся информация о взаимосвязи между <math>x</math> и <math>y</math> содержится в <math>z</math>
-* Из безусловной независимости не следует условная независимость.
+* из безусловной независимости не следует условная независимость
-* '''Основное свойство условно независимых величин''': <math>p(z|x,y) = \frac{1}{Z} \cdot \frac{p(z|x) p(z|y)}{p(z)}</math>, где <math>Z = \frac{p(x)p(y)}{p(x,y)}</math><!--в презентациях ошибка, [http://www.cmcspec.ru/ipb/index.php?showtopic=536&view=findpost&p=15899 '''проверено''']-->.
+* <u>основное свойство условно независимых величин</u>: <math>p(z|x,y) = \frac{1}{Z} \cdot \frac{p(z|x) p(z|y)}{p(z)}</math>, где <math>Z = p(x)p(y)p(z)</math>
-== Графические модели. Основные задачи, возникающие в анализе графических моделей ==
+== Графические модели. Основные задачи, возникающие в анализе графических моделей.==
 '''Графическая модель''' -- ориентированный или неориентированный граф, в котором вершины соответствуют переменным, а ребра - вероятностным отношениям, определяющим непосредственные зависимости.
@@ Строка 134: / Строка 136: @@
 ==Байесовские сети. Примеры.==
-'''Байесовская сеть''' — это вероятностная модель, представляющая собой множество переменных и их вероятностных зависимостей.
+[http://ru.wikipedia.org/wiki/%D0%91%D0%B0%D0%B9%D0%B5%D1%81%D0%BE%D0%B2%D1%81%D0%BA%D0%B0%D1%8F_%D1%81%D0%B5%D1%82%D1%8C_%D0%B4%D0%BE%D0%B2%D0%B5%D1%80%D0%B8%D1%8F На википедии]
-([http://ru.wikipedia.org/wiki/%D0%91%D0%B0%D0%B9%D0%B5%D1%81%D0%BE%D0%B2%D1%81%D0%BA%D0%B0%D1%8F_%D1%81%D0%B5%D1%82%D1%8C_%D0%B4%D0%BE%D0%B2%D0%B5%D1%80%D0%B8%D1%8F wiki: опред., принципы и пример]) + '''см. презентации'''
-'''Особенности''':
-* По смыслу построения байесовские сети не могут содержать ориентированные циклы, т.к. это будет нарушать правило умножения вероятностей
-* Главным достоинством графических моделей является относительно простое выделение условно-независимых величин, которое облегчает дальнейший анализ, позволяя значительно уменьшить количество факторов, влияющих на данную переменную
 == Марковские сети. Примеры.==
 ==Скрытые марковские модели. Обучение СММ с учителем.==
 * [http://ru.wikipedia.org/wiki/%D0%A1%D0%BA%D1%80%D1%8B%D1%82%D0%B0%D1%8F_%D0%BC%D0%B0%D1%80%D0%BA%D0%BE%D0%B2%D1%81%D0%BA%D0%B0%D1%8F_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%8C На википедии]
-* [http://ru.wikibooks.org/wiki/%D0%A1%D0%BA%D1%80%D1%8B%D1%82%D1%8B%D0%B5_%D0%BC%D0%B0%D1%80%D0%BA%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8 На викибуки]
+* [http://ru.wikibooks.org/wiki/%D0%A1%D0%BA%D1%80%D1%8B%D1%82%D1%8B%D0%B5_%D0%BC%D0%B0%D1%80%D0%BA%D0%BE%D0%B2%D1%81%D0%BA%D0%B8%D0%B5_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B8 Викибуки]
+* '''Лекция 3, стр. 9-28'''
+* [http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%92%D0%B8%D1%82%D0%B5%D1%80%D0%B1%D0%B8 Алгоритм Витерби] - очень хорошо для понимания зачем все это надо
+* [http://ru.wikipedia.org/wiki/%D0%94%D0%B8%D0%BD%D0%B0%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 Динамическое программирование]
-<br/>
+'''Общие сведения'''<br>
-'''Скрытая Марковская модель''' (первого порядка) — это вероятностная модель последовательности, которая:
+''Динамическое программирование'' в математике и теории вычислительных систем — метод решения задач с оптимальной подструктурой и перекрывающимися подзадачами, который намного эффективнее, чем решение «в лоб». <br>
-# состоит из набора наблюдаемых переменных <math> X = {x_1 , \dots , x_N }, n_n \in R_d</math> и латентных (скрытых) переменных <math>T = {t_1, \dots, t_N },\;t_n \in \{0, 1\}^K,\;\sum_{j = 1}^{K}t_{nj}=1</math>.
+<br>
-# латентные переменные T являются бинарными и кодируют K состояний, поэтому их иногда называют переменными состояния.
-# значение наблюдаемого вектора <math>x_n</math> , взятого в момент времени <math>n</math>, зависит только от скрытого состояния <math>t_n</math>, которое в свою очередь зависит только от скрытого состояния в предыдущий момент времени <math>t_{n-1}</math>.
+''Скрытая Марковская модель'' (первого порядка) — это вероятностная модель последовательности, которая
-# для полного задания модели достаточно задать все условные распределения вида <math>p(x_n |t_n ),\;p(t_n |t_{n-1})</math> и априорное распределение <math>p(t_1)</math>.
+* Состоит из набора наблюдаемых переменных <math> X = {x_1 , \dots , x_N }, n_n \in R_d</math> и латентных (скрытых) переменных <math>T = {t_1, \dots, t_N },\;t_n \in \{0, 1\}^K,\;\sum_{j = 1}^{K}t_{nj}=1</math>.
+* Латентные переменные T являются бинарными и кодируют K состояний, поэтому их иногда называют переменными состояния.
+* Значение наблюдаемого вектора <math>x_n</math> , взятого в момент времени <math>n</math>, зависит только от скрытого состояния <math>t_n</math>, которое в свою очередь зависит только от скрытого состояния в предыдущий момент времени <math>t_{n-1}</math>.
+* Для полного задания модели достаточно задать все условные распределения вида <math>p(x_n |t_n ),\;p(t_n |t_{n-1})</math> и априорное распределение <math>p(t_1)</math>.
 Пусть имеется <math>K</math> возможных состояний. Закодируем состояние в каждый момент времени <math>n</math> бинарным вектором <math>t_n = (t_{n1},\dots, t_{nK})</math>, где <math>t_{nj} = 1</math>, если в момент <math>n</math> модель находится в состоянии <math>j</math> и <math>t_{nj} = 0</math>, иначе.
@@ Строка 159: / Строка 161: @@
 p(t_n |t_{n-1}) = \prod_{i=1}^K\prod_{j=1}^K A_{ij}^{t_{n-1,i}t_{nj}}
 </math>
-Пусть в первый момент времени <math>p(t_{1j} = 1) = \pi_j</math>. Тогда <math> p(t_1) = \prod_{j=1}^K \pi_j^{t_{1j}}</math>
+Пусть в первый момент времени <math>p(t_{1j} = 1) = \pi_j</math>. Тогда
+<math>
+p(t_1) = \prod_{j=1}^K \pi_j^{t_{1j}}
+</math>
 * Хотя матрица A может быть произвольного вида с учетом ограничений на неотрицательность и сумму элементов строки, с точки зрения СММ представляет интерес диагональное преобладание матрицы перехода.
@@ Строка 167: / Строка 172: @@
 * Условное распределение <math>p(x_n |t_n)</math> определяется текущим состоянием <math>t_n</math>
 * Обычно предполагают, что оно нам известно с точностью до параметров <math>\phi_k,\;k \in \{1,\dots, K\}</math>, т.е. если <math>t_{n1} = 1</math>, то <math>x_n</math> взят из распределения <math>p(x_n |\phi_1 )</math>, если <math>t_{n2} = 1</math>, то <math>x_n</math> взят из распределения <math>p(x_n |\phi_2 )</math>, и т.д.
-* Таким образом <math> p(x_n |t_n) = \prod_{j=1}^K(p(x_n |\phi_k ))^{t_{nk}} </math>
+* Таким образом
+<math>
+p(x_n |t_n) = \prod_{j=1}^K(p(x_n |\phi_k ))^{t_{nk}}
+</math>
 Обозначим полный набор параметров <math>\Theta = \{\pi, A, \phi\}</math>.
-'''Обучение с учителем'''. Известна некоторая последовательность <math>X</math>, для которой заданы <math>T</math>. '''Задача состоит''' в оценке по обучающей выборке набора параметров <math>\Theta</math>.
+'''Собственно, билет'''<br>
-==Алгоритм динамического программирования и его применение в скрытых марковских моделях.==
-* см. '''Лекция 3, стр. 9-28'''
-<br/>
-'''Динамическое программирование''' в математике и теории вычислительных систем — метод решения задач с оптимальной подструктурой и перекрывающимися подзадачами, который намного эффективнее, чем решение «в лоб». ([http://ru.wikipedia.org/wiki/%D0%94%D0%B8%D0%BD%D0%B0%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 дин. прогр. на вики])
-'''Собственно, билет'''.
 * Пусть известна некоторая последовательность наблюдений <math>X</math> и набор параметров СММ <math>\Theta</math>. Требуется определить наиболее вероятную последовательность состояний <math>T</math>, т.е. найти <math>arg\;max_T p(T|X, \Theta)</math>.
 * Заметим, что <math>p(X|\Theta)</math> не зависит от <math>T</math>, поэтому <math>arg\;max_T p(T|X, \Theta) = arg\;max_T \frac{p(X, T|\Theta)}{p(X|\Theta)} = arg\;max_T p(X, T|\Theta) = arg\;max_T log\,p(X, T|\Theta)</math>.
 * Но это же классическая задача динамического программирования!
 <br>
-''Алгоритм Витерби'' ([http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%92%D0%B8%D1%82%D0%B5%D1%80%D0%B1%D0%B8 Алгоритм Витерби на вики] - очень хорошо для понимания зачем все это надо)
+''Алгоритм Витерби''<br>
 Логарифм совместной плотности по распределению:
 <math>
@@ Строка 206: / Строка 205: @@
 * Предположим имеется графическая модель в которой известная только часть значений переменных.
 * Атомарные распределения известны с точностью до <math>\theta</math>
-* Требуется оценить параметры по наблюдаемым величинам с помощью метода максимального правдоподобия т.е найти <math> \theta_{ML} = \arg \max(p(X|\theta)) </math>
+* Требуется оценить параметры по наблюдаемым величинам с помощью метода максимального правдоподобия т.е найти <math> \theta_{ML} = arg max(p(X|\theta) </math>
 * По правилу суммирования вероятностей неполное правдоподобие может быть получено в виде суммирования по скрытым переменным полного правдоподобия <math>p(X|\theta)=\sum_T p(X,T|\theta)</math>
 * Во многих случаях(в частности в байесовских сетях) подсчет полного правдоподобия тривиален
-* При оптимизации правдоподобия удобно переходить к логарифму, в частности ранее в курсе мы получили явные формулы для <math>\arg \max_\theta(p(X|\theta)=\arg \max_\theta log(p(X|\theta)</math> в СММ
+* При оптимизации правдоподобия удобно переходить к логарифму, в частности ранее в курсе мы получили явные формулы для <math>arg max_\theta(p(X|\theta)=arg max_\theta log(p(X|\theta)</math> в СММ
 * Прямая оптимизация логарифма неполного правдоподобия очень затруднительн, даже в итерационной форме, т.к. фунционал имеет вид "логарифма суммы",в то время как удобно оптимизировать "сумму логарифов".
 === Схема  ЕМ-алгоритма ===
 * на входе: выборка X, зависящая от набора параметров <math>\theta</math>
 * Инициализируем <math>\theta</math> некоторыми начальным приближением
 * Е-шаг: оцениваем распределение скрытой компоненты
-<math> p(T|X,\theta_{old})=\frac{p(X|T,\theta_{old})}{\sum_T p(X,T|\theta_{old})} </math>
+<math> p(T|X,\theta_{old})=\frac{p(T|X,\theta_{old})}{\sum_T p(X,T|\theta_{old})} </math>
 * M-шаг оптимизируем
-<math>\mathbb E_{T|X,\theta_{old}} log(p(X,T|\theta))=\sum_T p(X|T,\theta_{old})log( p(X,t|\theta)) \to \max_{\theta}   </math> <br>
+<math>\mathbb E_{T|X,\theta_{old}} log(p(X,T|\theta))=\sum_T p(X|T,\theta_{old})log( p(X,t|\theta)) \to \max_{\theta}   </math>
-Если бы мы точно знали значение <math>T=T_0</math>, то вместо мат. ожидания по всевозможным(с учетом наблюдаемых данных) <math> T|X,\theta_{old} </math>  мы бы оптимизировали <math> log(p(X,T_0|\theta)) </math>
-*Переход к E-шагу пока процесс не сойдется
-*Оптимизация проводится итерационно методом покоординатного спуска: на каждой итерации последовательно уточняются возможные значения Т (Е-шаг), а потом пересчитываются значения <math>\theta</math> (М-шаг)
-*Во многих случаях на М-шаге можно получить явные формулы, т.к. там происходит оптимизация выпуклой комбинации логарифмов полных правдоподобий, имеющей вид взвешенной "суммы лоагрифмов"
-=== EM-алгоритм для смеси гауссовских распределений ===
-см. пункт 1.6
-недостатки:
-* В зависимости от выбора начального приближения может сходится к разным точкам
-* ЕМ-алгоритм находит  локальный экстремум, в котором значение правдоподобия может оказаться намного ниже, чем в глобальном варианте
-* ЕМ-алгоритм не позволяет определить количество компонентов смеси l
-* !!Величина l является структурным параметром(в начале лекций говорилось о них)
 == Условная независимость в скрытых марковских моделях. Алгоритм «вперед-назад».==
@@ Строка 246: / Строка 231: @@
 ==Метод релевантных векторов в задаче восстановления регрессии.==
-Лекция 5 Ветров.
 == Метод релевантных векторов в задаче классификации.==
-Лекция 5 Ветров.
-[http://courses.graphicon.ru/files/courses/smisa/2008/lectures/lecture11.pdf Еще слайды Ветрова, но не из этого круса] от того более понятными не становятся
 == Метод главных компонент.==
@@ Строка 260: / Строка 239: @@
 * проекция данных на гиперплоскость с наименьшей ошибкой проектирования
 * поиск проекции на гиперплоскость с сохранением большей части дисперсии в данных
-[http://ru.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%BE%D0%B4_%D0%B3%D0%BB%D0%B0%D0%B2%D0%BD%D1%8B%D1%85_%D0%BA%D0%BE%D0%BC%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%82 Википедия: Метод главных компонент]
 ==Вероятностная формулировка метода главных компонент.==
@@ Строка 365: / Строка 342: @@
 Для начала, поговорим об '''алгоритмах голосования'''. Пусть для каждого класса <math>c \in Y</math> построено множество логических закономерностей (правил), специализирующихся на различении объектов данного класса:
-<math>R_c = \{ \varphi_c^t : X \rightarrow \{0, 1\} | t = 1, . . . , T_c\}</math>, где <math>T_c</math> - количество классов свойств.
+<math>R_c = { \varphi_c^t : X \rightarrow {0, 1} | t = 1, . . . , T_c}</math>, где <math>T_c</math> - количество классов свойств.
 Считается, что если <math>\varphi_c^t (x) = 1</math>, то правило <math>\varphi_c^t</math> относит объект <math>x \in X</math> к классу c. Если же <math>\varphi_c^t(x) = 0 </math>, то правило <math>\varphi_c^t</math> воздерживается от классификации объекта x.
@@ Строка 456: / Строка 433: @@
 * совокупность из всех подмножеств из k элементов. его мощность: <math>C^n_k</math>
-''' Функция близости ''' <math>\mathcal{N}_{\tilde\Omega}(S_i, S_j)</math> -- задает расстояние между проекциями объектов <math>S_i</math> и <math>S_j</math> на <math>\tilde\Omega \in \Omega</math>. В дальнейшем рассматриваются только такие функции <math>\mathcal{N}_{\tilde \Omega}</math>, которые принимают значения 0 или 1 (бинарные).
+''' Функция близости ''' <math>\mathcal{N}(\tilde w S, \tilde w S_i)</math> -- задает расстояние между <math>\tilde w</math> частями распознаваемого объекта <math>S</math> и эталонного объекта <math>S_i</math>. В дальнейшем рассматриваются только такие функции, <math>\mathcal{N}</math>, которые принимают значения 0 или 1
 <u>Три вида функции близости:</u>
-# Введем неотрицательные параметры <math>\varepsilon_i > 0 ~,~ i \in [1,n]</math>. Пусть <math>\tilde\Omega=\{u_1, \dots, u_k\}</math>. Тогда <math>\mathcal{N}_{\tilde\Omega}(S_i, S_j) =
+# введем неотрицательные параметры <math>\varepsilon_i > 0 ~,~ i \in [1,n]</math>. Пусть <math>\tilde w S = \{\alpha_{u_1}, \dots, \alpha_{u_k}\}~,~~ \tilde w S_i = \{\alpha_{u_{i1}}, \dots, \alpha_{u_{ik}}\}</math>. Тогда <math>\mathcal{N}(\tilde w S, \tilde w S_i) =
 \begin{cases}
-,~~\rho(\alpha_{i,u_l}, \alpha_{j,u_l}) \leqslant \varepsilon_{u_l}~~\forall l \in [1,k]\\
+,~~\rho(\alpha_{u_j}, \alpha_{u_{ij}} \leqslant \varepsilon_{u_j})~~\forall j \in [1,k]\\
-,~~otherwise
+,~~else
 \end{cases}</math>
-# Введем дополнительно к п.1 параметр <math>\nu</math> такой, что функция близости будет определятся как <math>\mathcal{N}_{\tilde\Omega}(S_i, S_j) = 1</math>, если не выполнено не больше, чем <math>\nu</math> описанных неравенств. при этом имеет смысл брать <math>0 \leqslant \nu \leqslant \left[\frac{k}{2} - 1\right] </math>
+# введем дополнительно к п.1 параметра <math>\nu</math> такой, что <math>\mathcal{N}(\tilde w S, \tilde w S_i) = 1</math>, если не выполнено не больше, чем <math>\nu</math> описанных неравенств. при этом имеет смысл брать <math>0 \leqslant \nu \leqslant \left[\frac{q}{2} - 1\right] </math>
-# Вместо <math>\nu</math> определяем <math>\nu'</math> и функцию близости так, что <math>\mathcal{N}_{\tilde\Omega}(S_i,S_j) = 1</math>, если из k неравенств не выполнены r, причем <math>\frac{r}{k} < \nu'</math>
+# вместо <math>\nu</math> определяем <math>\nu'</math> так, что <math>\mathcal{N}(\tilde w S, \tilde w S_i) = 1</math>, если из k неравенств не выполнены r, причем <math>\frac{r}{k} < \nu'</math>
-* К билету был вопрос: какие сколько возможных выборок<math>\varepsilon_i</math> стоит рассматривать. Вообще говоря <math>\varepsilon</math> -действительно так-что континуум. Но смысл будут нести только l*m*n вариантов. где l - число признаков(колчисетво этих <math>\varepsilon</math> ),m - число компонент обучающей выборки, n - число компонент контрольной выборки. Другими словами мы <math>\varepsilon_i</math> задаем какое хотим, но обычно его задают между значениями признаков на выборке, при этом всего у нас m*n сравнений и таким образом m*n вариантов его задать(для одного <math>\varepsilon</math>  )
 == Формулы вычисления оценок. Эвристические обоснования. ==
@@ Строка 472: / Строка 448: @@
 ''' Формула вычисления оценок: '''
-<math>\Gamma_1^j (S) = \sum_{\tilde \Omega \in \Omega} \sum_{k : P_j(S_k) = 1} \gamma_k \cdot P_{\tilde \Omega} \cdot \mathcal{N}_{\tilde \Omega}(S, S_k)</math>, где:
+<math>\Gamma_1^j (s) = \sum_{w \in \Omega} \sum_{k : P_j(s_k) = 1} \gamma_k \cdot p_w \cdot \mathcal{N}(s, s_k)</math>, где:
-* <math>\tilde \Omega \in \Omega</math> -- опорные множества
+* <math>w \in \Omega</math> -- опорные множества
-* <math>P_j(S_k) = 1</math> если объект <math>S_k</math> входит в класс <math>j</math>.
+* <math>k : P_j(s_k) = 1</math> -- все объекты обучающей выборки, которые входят в данный класс
-* <math>\gamma_k</math> -- вес объекта <math>S_k</math>.
+* <math>\gamma_k</math> -- вес объекта
-* <math>P_{\tilde \Omega}</math> -- вес опорного множества.
+* <math>p_w</math> -- вес опорного множества
-<math>\Gamma_0^j (S) = \sum_{\tilde \Omega \in \Omega} \sum_{k : P_j(S_k) = 0} \gamma_k \cdot P_{\tilde \Omega} \cdot \mathcal{N}_{\tilde \Omega}(S, S_k)</math>, где:
+<math>\Gamma_0^j (s) = \sum_{w \in \Omega} \sum_{k : P_j(s_k) = 0} \gamma_k \cdot p_w \cdot (1 - \mathcal{N}(s, s_k))</math>, где:
-* <math>P_j(S_k) = 0</math> если объект <math>S_k</math> не входит в класс <math>j</math>.
+* <math>k : P_j(s_k) = 0</math> -- все объекты обучающей выборки, которые ''' не ''' входят в данный класс
-Итоговая формула для оценки принадлежности объекта <math>S</math> классу <math>j</math>:
+<math>\Gamma^j(s) = x_1 \cdot \Gamma_1^j (s) + x_2 \cdot \Gamma_0^j (s)</math>, где <math>x_1, x_2</math> -- коэффициенты, которые определяют работу с соответствующими характеристиками.
-<math>\Gamma^j(S) = x_1 \cdot \Gamma_1^j (S) + x_2 \cdot \Gamma_0^j (S)</math>, где <math>x_1, x_2</math> -- коэффициенты, которые определяют работу с соответствующими характеристиками.
 == Задачи оптимизации АВО. Совместные подсистемы систем неравенств. ==
-* [http://www.cmcspec.ru/ipb/index.php?showtopic=536&view=findpost&p=15844 lekcii_ama_zuravlev.doc], пункт 2.4
-* [http://www.mipt.ru/nauka/51conf/dokl/In_prac_fupm/m_3rhk32/m_3rhknp.html Оптимизация АВО по метрикам]
+[http://www.mipt.ru/nauka/51conf/dokl/In_prac_fupm/m_3rhk32/m_3rhknp.html оптимизация АВО по метрикам]
 == Функционалы качества. Сложность моделей алгоритмов и проблема переобучения. ==
 '''Функционал качества''' алгоритма.
-Пусть задана таблица контрольных объектов (множество объектов, на которых мы будет проверять качество работы нашего алгоритма распознавания). Для контрольных объектов мы должны знать, к какому классу свойств относится каждый из объектов (иначе как мы будет проверять корректность работы нашего алгоритма). Подаем контрольные объекты на вход алгоритму. Доля правильных ответов, выданных алгоритмов - это и есть ''функционал качества'' (в простейшем случае).
+Пусть задана таблица контрольных объектов (множество объектов, на которых мы будет проверять качество работы нашего алгоритма распознавания). Для контрольных объектов мы должны знать, как какому классу свойств относится каждый из объектов (иначе как мы будет проверять корректность работы нашего алгоритма). Подаем контрольные объекты на вход алгоритму. Доля правильных ответов, выданных алгоритмов - это и есть ''функционал качества''.
@@ Строка 503: / Строка 477: @@
 == Общие пространства начальных и финальных информаций. Задачи синтеза корректных алгоритмов. ==
-[http://www.ccas.ru/frc/thesis/RudakovDocDisser.pdf Диссертация Рудакова], пункт 1.1
 В самой общей постановке задача синтеза алгоритмов преобразования информаций состоит в следующем. Имеется множество начальных информаций <math>\Im_i</math> и множество конечных информаций <math>\Im_j</math>. Требуется построить алгоритм реализующий отображение из <math>\Im_i</math> в <math>\Im_j</math>, удовлетворяющее заданной системе ограничений.
@@ Строка 520: / Строка 492: @@
 Задача Z из множества задач <math>\mathfrak{Z} </math> называется ''полной'' относительно семейства <math>\mathfrak{M} </math> отображений из <math>\mathfrak{I}_i</math> в <math>\mathfrak{I}_f</math>, если в <math>\mathfrak{M} </math> содержатся допустимые отображения для всех задач из класса эквивалентности, содержащего Z.
 Задача Z называется '''регулярной''', если для нее существует семейство отображений <math>\mathfrak{M} </math>, относительно которого она полна.
 '''Регулярность по Журавлеву''':
 Пусть есть <math>q</math> объектов и <math>l</math> классов и
 <math>\hat{I}=||I_{ij}||_{q \times l}</math> - матрица информации и  <math> \hat {\tilde I} = || {\tilde I}_{ij}||_{q \times l}</math> - матрица правильных ответов.
 Задаче Z соответствует пара матриц: <math> Z \leftrightarrow  (\hat I , \hat{\tilde I})</math>.
-Определение ''окрестности задачи по Журавлеву'' <math>O(Z)=\{Z^' |Z^' \leftrightarrow  (\hat I , \hat{\tilde I}^')\}</math> - т.е. это множество задач <math>Z^'</math>, получающихся всевозможным варьированием матрицы правильных ответов.
+Определение ''окрестности задачи по Журавлеву'' <math>O(Z)=\{Z^' \|Z^' \leftrightarrow  (\hat I , \hat{\tilde I}^')</math> - т.е. это множество задач <math>Z^'</math>, получающихся всевозможным варьированием матрицы правильных ответов.
-* Разбиваем множество задач на классы эквивалентности. Задача называется регулярной если она разрешима и разрешимы все задачи из класса эквивалентности который она порождает.
 == Операции над алгоритмами. Расширение моделей. ==
@@ Строка 542: / Строка 511: @@
 Диссертация Рудакова 1.3 + 1.5 пункты.
 Диссертация Рудакова, пункт 3.5
-Модель алгоритмов <math>\mathfrak{M}</math> категории <math>\Phi_0</math> называется полной, если любая регулярная задача <math>Z</math> из множества <math>\mathfrak{Z}_{[R]}</math> полна относительно <math>\mathfrak{M}</math>, т.е. если для любой регулярной задачи <math>Z</math> модель алгоритмов от любой матрицы исходных информаций этой задачи приводит в множество конечных информаций.
-(т.е. в модели алгоритмов <math>\mathfrak{M}</math> для каждой регулярной задачи из множества <math>\mathfrak{Z}_{[R]}</math> содержится корректный алгоритм)
 == Дополнительные к прецедентам ограничения. Пример: перестановочность строк и столбцов в матрицах информации. ==
@@ Строка 555: / Строка 520: @@
 Пусть рассматривается задача, в которой имеется информация о том, что порядок, в котором анализируются классы несущественен, и кроме прецедентных данных нет сведений о различии классов.
 Универсальные ограничения, выражающие однородность классов, состоят в том, что отображение, реализуемое корректным алгоритмом, должно коммутировать со всеми подстановками столбцов (при любой перстановке столбцов в матрице информации точно так же должны переставляться столбцы в матрице, порожденной алгоритмом).
+=== '''Задачи с однородными объектами''' ===
+Пусть рассматривается задача, в которой имеется информация о том, что порядок, в котором анализируются объекты несущественен, и кроме прецедентных данных нет сведений о различии объектов.
+Универсальные ограничения, выражающие однородность объектов, состоят в том, что отображение, реализуемое корректным алгоритмом, должно коммутировать со всеми подстановками строк (при любой перстановке строк в матрице информации точно так же должны переставляться строки в матрице, порожденной алгоритмом).
 == Задачи с непересекающимися классами. ==
-Диссертация Рудакова, пункт 2.5
 == Класс поэлементных операций и отображений. Условия регулярности и полноты. ==
 == Полнота моделей АВО. ==
-Диссертация Рудакова, пункт 3.5
 == Полнота полиномиальных семейств корректирующих операций. ==
@@ Строка 572: / Строка 540: @@
 Для частного случая - матрицы информации, состоящие из нулей и единиц, оценку степени корректирующих полиномов удалось улучшить. Для таких полиномов степень может быть снижена до <math>\lceil \log_2 (q * l ) \rceil</math>
-Полезная информация к билету из [http://www.ccas.ru/frc/thesis/RudakovDocDisser.pdf Диссертации Рудакова]
-* Определение корректирующих операций - п. 1.3 стр 27
-* Полнота полиномиальных семейств к.о. - п. 5.6 стр 116
-* Определение 0,1-полноты -  определение 6.1.2 стр 119
-* Теорема о логарифмической границе степени корректирующих полиномов - теорема 6.1.3, стр 120
-{{Курс МОТП}}