Главная » Просмотр файлов » Теормин (все билеты, кроме 12-14) (Мадорский)

Теормин (все билеты, кроме 12-14) (Мадорский) (1133375), страница 2

Файл №1133375 Теормин (все билеты, кроме 12-14) (Мадорский) (Теормин (все билеты, кроме 12-14) (Мадорский)) 2 страницаТеормин (все билеты, кроме 12-14) (Мадорский) (1133375) страница 22019-05-12СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

. , αs }, заключается в нахождении такого подмножества множества N , в которомЭта задача сводится к задаче о∀i ∈ [1, p] имеется хотя бы один элемент из Ni .выделении подпокрытия из покрытия отрезка [1, p] его подмножества-ми I1, . . . , Is,где Ii = {j : αi ∈ Nj } при всех i, i ∈ [1, s]. Заметим, что матрица построенной такимобразом системы подмножеств отрезка [1, p] получается из матрицы системы (N, N)в результате транспонирования.Лемма. ∀m, n ∈ N, m 6 n в кубе B n всегда найдётся подмножество мощности не болеечем n · 2m , протыкающее все грани ранга m.

Док-во: часть 1, стр. 476Задача минимизации ДНФ. Поведение функциитипичных значений для ранга и длины ДНФ.ШеннонаиоценкиНа множестве ДНФ задаётся неотрицательный функционал сложности ψ , обладающийсвойством монотонности, т. е. ∀ДНФ A ∃ψ(A) > 0 : ψ(A0) > ψ(A00), если ДНФ A00 получаетсяиз ДНФ A0 удалением букв или ЭК.Примеры: длина λ(A), ранг R(A), «формульная» сложность L(A).Задача минимизации ДНФ относительно функционала сложности ψ состоит в нахождении для заданной ФАЛ f ДНФ A, такую что ψ(A) = min ψ(A0 ), где минимум берётся повсем ДНФ A0 ФАЛ f .При этом ДНФ A называется минимальной относительно функционала ψ или ψминимальной ДНФ. Значение ψ(A) называется сложностью ФАЛ f относительнофункционала ψ или ψ-сложностью ФАЛ f в классе ДНФ.λ-минимальную (по длине) ДНФ будем называть кратчайшей, а R-минимальную (порангу) — просто минимальной.Функция Шеннона для класса ДНФ относительно функционала ψ: ψ(n) = max ψ(f ).f ∈P2 (n)n−1n−1, R(n) = n · 2.Лемма.

∀n ∈ N имеют место соотношения λ(n) = 2Рассмотрим отрезок [ψ 0 (n), ψ 00 (n)], в который попадают значения ψ(n) для почти всехФАЛ f ∈ P2 (n). Если границы ψ 0 (n) и ψ 00 (n) асимптотически равны ψ(n), то говорят, чтодля параметра ψ имеет место эффект Шеннона.Для параметров λ и R эффект Шеннона отсутствует.Лемма 7.2. Для почти всех ФАЛ f, f ∈ P2(n), выполняются неравенства:33λ(f ) 6 n · 2n−1 1 + O n · 2−n/2λ(f ) 6 2n−1 1 + O n · 2−n/2 ,447АлгоритмическиетрудностиминимизацииДНФи оценкимаксимальных значений некоторых связанных с ней параметров.Теорема Ю. И.

Журавлёва о ДНФ сумма минимальных.Функция Шеннона для параметра ψ в классе ДНФ: ψ(n) = max ψ(f ).f ∈P2 (n)Обозначим значение функции Шеннона для следующих параметров: число тупиковыхДНФ — τ (n), число минимальных ДНФ — µ(n) и длина сокращённой ДНФ у ФАЛ из P2 (n)— λсокр. (n) (ДНФ рассматриваются с точностью до перестановки ЭК и букв в них).Лемма. Для ФАЛ f из P2 (n), n > 4, вида f (x1 , .

. . , xn ) = g(x1 , x2 , x3 ) · (x4 ⊕ · · · ⊕ xn ), гдеn−4N g = {(000), (111)}, число тупиковых (минимальных) ДНФ равно 52(соответственноn−4n−4n−4Док-во: часть 1, стр. 5322 ).Следствие. τ (n) > 52 , µ(n) > 22 .Выберем множество номеров I ⊆ [0, n], зафиксируем объединение всех слоёв куба B n сномерами из I, обозначим характеристичесую функцию этого объединения как sIn. Числа изI назовём рабочими числами ФАЛ sIn.ФАЛ sIn является симметрической, т. е. не изменяет своё значение при любой перестановке аргументов. Наоборот тоже верно: любая симметрическая ФАЛ совпадает с однойиз ФАЛ вида sIn .Симметрическая ФАЛ является поясковой, еслиобразуют отрезок.

Вид_её рабочие числаσn+r−p[r,p]xσi11 · · · xin+r−p.её сокращённой ДНФ: sn (x1 , . . . , xn ) =16i1 <···<in+r−p 6nσ1 +···+σn+r−p =rПоясковой ФАЛ является, в частности, ФАЛ голосования H (x1 , x2 , x3 ) = s[2,3]3а также ФАЛ g = s3[1,2], показанная на рис.x10x1x110010110011nЛемма. λсокр. (n) > e1 3n , где e1 — некоторая константа.Функция f (x1 , .

. . , xn ) называется цепной (циклической) функцией длины t, если её сокращённая ДНФ с «геометрической» т. з. представляет собой цепь (соответственно цикл)из t последовательно соединённых рёбер N1 , . . . , Nt куба B n .Теорема. ∀n ∈ N, n > 3, в P2 (n) существуют ФАЛ f 0 и f 00 , имеющие общую простуюимпликанту K, которая входит в ДНФ ΣM одной, но не входит в ДНФ ΣM другой изэтих ФАЛ и для которой Sn−3 (NK , f 0 ) = Sn−3 (NK , f 00 ).Формулы, их структура, эквивалентность и способы задания.8 Оптимизацияподобных формул по глубинеПусть X = {x1, x2, . . .

, xn, . . . } — счетный упорядоченный алфавит входных БПи пусть Б = {ϕ1, ϕ2, . . . , ϕb} — базис, где ФАЛ ϕi, i = 1, . . . , b, зависит от ki, ki > 1,БП и является существенной ФАЛ, если ki > 2. Предполагается, что Б — полныйбазис и допускается, в общем случае, наличие в нем равных ФАЛ. Чаще всего мыбудем иметь дело с базисом Б0 = {&, ∨, ¬}.Любая переменная xj из X считается формулой глубины 0 или, иначе,тривиальной формулой над базисом Б, которая реализует функцию xj . Если i ∈[1, b] и для каждого j, j ∈ [1, ki], определена формула Fj глубины qj над Б, котораяреализует ФАЛ fj , то запись F вида F = ϕi (F1 , . .

. , Fki ) является формулой глубиныq над Б, где q = max {q1 , . . . , qki } + 1, кот. реализует ф-цию f вида f = ϕi (f1, . . . , fki ).Все записи, полученные в результате указанного индуктивного построения, итолько они считаются формулами над базисом Б. При этом формулы, полученные впроцессе индуктивного построения формулы F, называются ее подформулами, а теподформулы F1, . . . , Fki , из которых на последнем шаге индуктивного построениястроится формула F (см. выше), считаются ее главными подформулами.Под сложностью (рангом) формулы F понимается число вхождений в неефункциональных символов (соответственно символов переменных), котороеобозначается через L (F) (соответственно R (F)).Графически совпадающие формулы считаются изоморфными, а формулы F′ и F′′,реализующие равные функции f′ и f′′, называются равными или, иначе, эквивалентными. При этом равенство вида t : F′ = F′′ считается тождеством.Лемма 2.1. Для формулы F, F ∈ UΦ, выполняются неравенстваR (F) = L&,∨ (F) + 1 6 L (F) + 1 6 2D(F) , где L&,∨ (F) -число ФС & и ∨ в формуле F.Док-во: часть 2, стр.

19 Следствие. D (F) > ⌈log (L (F) + 1)⌉ .лентпреобразоваФормулы из UΦ, получающиеся друг из друга эквивалентнымиAAKKниями на основе тождеств t & и t ∨ , а также тождеств t & и t ∨ , называютсяподобными.Формула, в которой все ФС ¬ встречаются только над БП, называетсяформулой с поднятыми отрицаниями.

Преобразования подобия и эквивалентныепреобразования формул на основе тождеств де Моргана не изменяют ранг этихформул и, следовательно, число ФС {&, ∨} в них.Альтернирование Alt (F) формулы F с поднятыми отрицаниями максимальное число изменений типов ФС & и ∨ в цепях дерева,соответствующего формуле F. Заметим, что альтернирование ЭК или ЭД равнонулю, а альтернирование любой (отличной от ЭК и ЭД) ДНФ или КНФ равно 1.Теорема 2.1.

Для любой формулы F с поднятыми отриДок-во: часть 2,цаниями из UΦ существует подобная ей формула F̌ тастр. 21-23.кая,что D F̌ 6 ⌈log (L (F) + 1)⌉ + Alt (F) .Следствие 1. Длялюбой ЭК или ЭД Kсуществует подобная формула Ǩтакая, что D Ǩ = ⌈log (L(K) + 1)⌉ , которая, минимальна по глубине.Следствие 2. Для любой ДНФ или КНФ A существуетподобная ей формула Ǎ такая, что D Ǎ 6 ⌈log (L (A) + 1)⌉ + 1.Задание формул графами, схемы из функциональных элементов.9 Оценкачисла формул и схем в базисе {&, ∨, ¬}Схемой из функциональных элементов над базисом Б называетсяориентированная ациклическая упорядоченная сеть Σ, входная выборка которойсостоит из всех истоков Σ, а вершины помечены следующим образом:1. каждому входу (выходу) Σ сопоставлена БП из X (со-ответственно Z), являющаяся пометкой связанной с ним вершины, причем различным входам (выходам) сопоставлены различные БП, а упорядоченность вер-шинво входной и выходной выборках Σ определяется упорядоченностьюсопоставленных им БП;+(v).2.

каждая отличная от истока вершина v схемы Σ помечена ФС ϕi, где ki = dΣДве СФЭ считаются изоморфными, если они изоморфны как помеченныеграфы, и эквивалентными, если они реализуют равные системы ФАЛ. Всоответствующих друг другу вершинах изоморфных (квазиизоморфных) СФЭреализуются одинаковые (соответственно подобные) формулы, а значит, иодинаковые ФАЛ. Следовательно, две изоморфные (квазиизоморфные) СФЭэквивалентны.Также как и для формул, для каждой СФЭ Σ, Σ ∈ UCБ, определим следующиепараметры (функционалы сложности):1. L (Σ) — сложность Σ, то есть число всех ее ФЭ;2. D (Σ) — глубина Σ, то есть максимальная глубина ее вершин.3.

R (Σ) — ранг Σ, то есть число дуг,исходящих из ее входов.Лемма 3.1. Для приведенной СФЭ Σ, Σ ∈ UC , с одним выходом, выполн. нер-ваR (Σ) 6 L&,∨ (Σ) + 1 6 L (Σ) + 1 6 2D(Σ) , где L&,∨ - число ФЭ & и ∨ в Σ.Имеет место включение UΦ [D, n] ⊆ UΦ 2D − 1, n .Лемма 3.2. Для любых натуральных n, L, D выполняются неравенства: ΦU (L, n) 6 (10n)L+1 , Док-во: часть 2, стр. 30-31 ΦСледствие 1.

Число попарно не квазиизоморфныхU (L, n) 6 (8n)L+1 ,формул с поднятыми отрицаниями от БП X (n) ΦU [D, n] 6 (8n)2D .ранга не больше, чем R, не превосходит (12n)R.Лемма 3.3. Для любых натуральных n и L выполняется неравенство CU (L, n) 6 (8 (L + n))L+1 . Док-во: часть 2, стр. 31-32Контактные схемы и π-схемы, оценка их числа. Особенности10 функционированиямногополюсных схемРассмотрим класс контактных схем, в которых реализация ФАЛосуществляется не с помощью преобразования входных значений в выходные,как это происходит, например, в схемах из функциональных элементов, а врезультате передачи значений по ребрам графа, проводимостью которого«управляют» входные БП.

Ребро или дуга графа с пометкой xi (xi) называетсязамыкающим (соответственно размыкающим) контактом БП xi.Сеть Σ с входами a′1, . . . , a′p и выходами a′′1, . . . , a′′q, в которой все ребра(дуги) помечены переменными x1, . . . , xn или их отрицаниями x1, . .

. , xn,называется (p, q)-контактной схемой (КС) от БП x1, ... , xn и обозначается Σ == Σ (x1, . . . , xn) или Σ = Σ (x1, . . . , xn; a′1, . . . , a′p; a′′1, . . . , a′′q ). При этом числоконтактов называется сложностью КС Σ и обозначается через L (Σ).Рассмотрим теперь некоторые оценки числа контактных схем различныхтипов. Пусть UK и Uπ — множество всех КС из неориентированных контактов имножество всех π-схем соответственно.

Характеристики

Тип файла
PDF-файл
Размер
2,98 Mb
Высшее учебное заведение

Список файлов ответов (шпаргалок)

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6439
Авторов
на СтудИзбе
306
Средний доход
с одного платного файла
Обучение Подробнее