20111002 circuit complexity_seminar_lecture03_kulikov
-
Upload
computer-science-club -
Category
Documents
-
view
211 -
download
0
Transcript of 20111002 circuit complexity_seminar_lecture03_kulikov
![Page 1: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/1.jpg)
Семинар по сложности булевых функцийЛекция 3: Линейные нижние оценки на схемную
сложность и метод элиминации гейтов (продолжение)
А. Куликов
Computer Science клуб при ПОМИhttp://compsciclub.ru
02.10.2011
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 1 / 16
![Page 2: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/2.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 2 / 16
![Page 3: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/3.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 3 / 16
![Page 4: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/4.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 4 / 16
![Page 5: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/5.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 5 / 16
![Page 6: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/6.jpg)
Нижняя оценка 2.5n для симметрических функций
Теорема (Stockmeyer, 77)
Для любых m ≥ 3 и r , C (MODnm,r ) ≥ 2.5n − c. Также
C (MODn4,r ) ≤ 2.5n + O(1).
Идея доказательства
В этом доказательстве уже довольно много случаев.Как обычно, сначала рассматриваются случаи, где довольно легкоудалить три гейта одной подстановкой.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 6 / 16
![Page 7: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/7.jpg)
Нижняя оценка 2.5n для симметрических функций
Теорема (Stockmeyer, 77)
Для любых m ≥ 3 и r , C (MODnm,r ) ≥ 2.5n − c. Также
C (MODn4,r ) ≤ 2.5n + O(1).
Идея доказательстваВ этом доказательстве уже довольно много случаев.
Как обычно, сначала рассматриваются случаи, где довольно легкоудалить три гейта одной подстановкой.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 6 / 16
![Page 8: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/8.jpg)
Нижняя оценка 2.5n для симметрических функций
Теорема (Stockmeyer, 77)
Для любых m ≥ 3 и r , C (MODnm,r ) ≥ 2.5n − c. Также
C (MODn4,r ) ≤ 2.5n + O(1).
Идея доказательстваВ этом доказательстве уже довольно много случаев.Как обычно, сначала рассматриваются случаи, где довольно легкоудалить три гейта одной подстановкой.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 6 / 16
![Page 9: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/9.jpg)
Продолжение идеи
Не удаётся это сделать в случае, когда в топ-гейт типа ⊕ входятдве переменные, степень каждой из которых равна 2.
xi xjh
⊕ ⊕
Ключевой момент: сделаем подстановку xi = h, xj = h ⊕ 1.Вообще говоря, не очень понятно, почему мы можем заменять xiна функцию h. Позволяет нам это сделать тот факт, что h независит от xi и что xj мы заменяем на h ⊕ 1. Такая заменаэквивалентна тому, что xi + xj = 1, то есть мы просто убиваемзависимость симметрической функции от двух переменных.Разбором случаев показывается, что при этом можно удалитьпять гейтов.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 7 / 16
![Page 10: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/10.jpg)
Продолжение идеи
Не удаётся это сделать в случае, когда в топ-гейт типа ⊕ входятдве переменные, степень каждой из которых равна 2.
xi xjh
⊕ ⊕
Ключевой момент: сделаем подстановку xi = h, xj = h ⊕ 1.
Вообще говоря, не очень понятно, почему мы можем заменять xiна функцию h. Позволяет нам это сделать тот факт, что h независит от xi и что xj мы заменяем на h ⊕ 1. Такая заменаэквивалентна тому, что xi + xj = 1, то есть мы просто убиваемзависимость симметрической функции от двух переменных.Разбором случаев показывается, что при этом можно удалитьпять гейтов.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 7 / 16
![Page 11: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/11.jpg)
Продолжение идеи
Не удаётся это сделать в случае, когда в топ-гейт типа ⊕ входятдве переменные, степень каждой из которых равна 2.
xi xjh
⊕ ⊕
Ключевой момент: сделаем подстановку xi = h, xj = h ⊕ 1.Вообще говоря, не очень понятно, почему мы можем заменять xiна функцию h. Позволяет нам это сделать тот факт, что h независит от xi и что xj мы заменяем на h ⊕ 1. Такая заменаэквивалентна тому, что xi + xj = 1, то есть мы просто убиваемзависимость симметрической функции от двух переменных.
Разбором случаев показывается, что при этом можно удалитьпять гейтов.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 7 / 16
![Page 12: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/12.jpg)
Продолжение идеи
Не удаётся это сделать в случае, когда в топ-гейт типа ⊕ входятдве переменные, степень каждой из которых равна 2.
xi xjh
⊕ ⊕
Ключевой момент: сделаем подстановку xi = h, xj = h ⊕ 1.Вообще говоря, не очень понятно, почему мы можем заменять xiна функцию h. Позволяет нам это сделать тот факт, что h независит от xi и что xj мы заменяем на h ⊕ 1. Такая заменаэквивалентна тому, что xi + xj = 1, то есть мы просто убиваемзависимость симметрической функции от двух переменных.Разбором случаев показывается, что при этом можно удалитьпять гейтов.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 7 / 16
![Page 13: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/13.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 8 / 16
![Page 14: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/14.jpg)
Нижняя оценка 3n
Теорема (Blum, 84)
Пусть fB : {0, 1}n+3 log n+3 определяется следующим образом: дляp, q, r ∈ {0, 1}, a, b, c ∈ {0, 1}log n и x ∈ {0, 1}n
f (a, b, c , p, q, r , x) = q(xaxb ∨ px|b|xr|c|) ∨ q̄(x|a| ⊕ x|b|) .
Тогда C (f ) ≥ 3n − 3.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 9 / 16
![Page 15: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/15.jpg)
Основная идея доказательства
Как и в случае функции индексации будем подставлять толькопеременные из x .
Когда не удаётся подставить константу вместо переменной,попробуем подставить произвольную функцию вместопеременной.Если ничего из этого не помогает, то каждая переменная из xвходит ровно в один гейт, причём этот гейт типа ⊕ и у него ровноодин потомок.Покажем тогда, что в текущей схеме есть 3n − 3 гейта. Поможетнам в этом тот факт, что для любых 1 ≤ i < j ≤ n можно такподставить почти все переменные, чтобы функция превратиласькак в xixj , так и в xi ⊕ xj .
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 10 / 16
![Page 16: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/16.jpg)
Основная идея доказательства
Как и в случае функции индексации будем подставлять толькопеременные из x .Когда не удаётся подставить константу вместо переменной,попробуем подставить произвольную функцию вместопеременной.
Если ничего из этого не помогает, то каждая переменная из xвходит ровно в один гейт, причём этот гейт типа ⊕ и у него ровноодин потомок.Покажем тогда, что в текущей схеме есть 3n − 3 гейта. Поможетнам в этом тот факт, что для любых 1 ≤ i < j ≤ n можно такподставить почти все переменные, чтобы функция превратиласькак в xixj , так и в xi ⊕ xj .
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 10 / 16
![Page 17: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/17.jpg)
Основная идея доказательства
Как и в случае функции индексации будем подставлять толькопеременные из x .Когда не удаётся подставить константу вместо переменной,попробуем подставить произвольную функцию вместопеременной.Если ничего из этого не помогает, то каждая переменная из xвходит ровно в один гейт, причём этот гейт типа ⊕ и у него ровноодин потомок.
Покажем тогда, что в текущей схеме есть 3n − 3 гейта. Поможетнам в этом тот факт, что для любых 1 ≤ i < j ≤ n можно такподставить почти все переменные, чтобы функция превратиласькак в xixj , так и в xi ⊕ xj .
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 10 / 16
![Page 18: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/18.jpg)
Основная идея доказательства
Как и в случае функции индексации будем подставлять толькопеременные из x .Когда не удаётся подставить константу вместо переменной,попробуем подставить произвольную функцию вместопеременной.Если ничего из этого не помогает, то каждая переменная из xвходит ровно в один гейт, причём этот гейт типа ⊕ и у него ровноодин потомок.Покажем тогда, что в текущей схеме есть 3n − 3 гейта. Поможетнам в этом тот факт, что для любых 1 ≤ i < j ≤ n можно такподставить почти все переменные, чтобы функция превратиласькак в xixj , так и в xi ⊕ xj .
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 10 / 16
![Page 19: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/19.jpg)
План лекции
1 Метод элиминации гейтов
2 Примеры свойств функций, использующихся в доказательствахнижних оценок
2.5n для симметрических функций3n для обобщённой функции индексации3n для аффинных дисперсеров
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 11 / 16
![Page 20: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/20.jpg)
Стандартный узкий случай
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 12 / 16
![Page 21: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/21.jpg)
Стандартный узкий случай
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
так выглядит стандартный уз-кий случай
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 12 / 16
![Page 22: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/22.jpg)
Стандартный узкий случай
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
так выглядит стандартный уз-кий случай
подставляя константу вместопеременной мы не можем уда-лить больше двух гейтов
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 12 / 16
![Page 23: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/23.jpg)
Стандартный узкий случай
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
так выглядит стандартный уз-кий случай
подставляя константу вместопеременной мы не можем уда-лить больше двух гейтов
и в то же время не можем ис-ключить, что верх схемы выгля-дит так
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 12 / 16
![Page 24: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/24.jpg)
Стандартный узкий случай
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
так выглядит стандартный уз-кий случай
подставляя константу вместопеременной мы не можем уда-лить больше двух гейтов
и в то же время не можем ис-ключить, что верх схемы выгля-дит так
рассмотрим подстановку x1 ⊕x2 ⊕ x3 = 0: G5 превращается вконстанту
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 12 / 16
![Page 25: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/25.jpg)
Аффинные дисперсеры
Итак, линейные подстановки помогают при элиминации гейтов, ногде взять функцию, которая выживает относительно такихподстановок?
Непросто построить функцию, которая не обращается в константупосле любых n − o(n) линейных подстановок. Например, любаясимметрическая функция становится константой после n/2линейных подстановок: x1 ⊕ x2 = 1, x3 ⊕ x4 = 1, . . . .Объект, который мы ищем, называется аффинным дисперсером.Формально, аффинный дисперсер для размерности d — этофункция f : {0, 1}n → {0, 1}, которая не константа ни на какомаффинном подпространстве пространства {0, 1}n размерностихотя бы d .Только недавно была представлена явная конструкция аффинныхдисперсеров для d = o(n) [Ben-Sasson and Kopparty, 09].
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 13 / 16
![Page 26: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/26.jpg)
Аффинные дисперсеры
Итак, линейные подстановки помогают при элиминации гейтов, ногде взять функцию, которая выживает относительно такихподстановок?Непросто построить функцию, которая не обращается в константупосле любых n − o(n) линейных подстановок. Например, любаясимметрическая функция становится константой после n/2линейных подстановок: x1 ⊕ x2 = 1, x3 ⊕ x4 = 1, . . . .
Объект, который мы ищем, называется аффинным дисперсером.Формально, аффинный дисперсер для размерности d — этофункция f : {0, 1}n → {0, 1}, которая не константа ни на какомаффинном подпространстве пространства {0, 1}n размерностихотя бы d .Только недавно была представлена явная конструкция аффинныхдисперсеров для d = o(n) [Ben-Sasson and Kopparty, 09].
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 13 / 16
![Page 27: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/27.jpg)
Аффинные дисперсеры
Итак, линейные подстановки помогают при элиминации гейтов, ногде взять функцию, которая выживает относительно такихподстановок?Непросто построить функцию, которая не обращается в константупосле любых n − o(n) линейных подстановок. Например, любаясимметрическая функция становится константой после n/2линейных подстановок: x1 ⊕ x2 = 1, x3 ⊕ x4 = 1, . . . .Объект, который мы ищем, называется аффинным дисперсером.
Формально, аффинный дисперсер для размерности d — этофункция f : {0, 1}n → {0, 1}, которая не константа ни на какомаффинном подпространстве пространства {0, 1}n размерностихотя бы d .Только недавно была представлена явная конструкция аффинныхдисперсеров для d = o(n) [Ben-Sasson and Kopparty, 09].
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 13 / 16
![Page 28: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/28.jpg)
Аффинные дисперсеры
Итак, линейные подстановки помогают при элиминации гейтов, ногде взять функцию, которая выживает относительно такихподстановок?Непросто построить функцию, которая не обращается в константупосле любых n − o(n) линейных подстановок. Например, любаясимметрическая функция становится константой после n/2линейных подстановок: x1 ⊕ x2 = 1, x3 ⊕ x4 = 1, . . . .Объект, который мы ищем, называется аффинным дисперсером.Формально, аффинный дисперсер для размерности d — этофункция f : {0, 1}n → {0, 1}, которая не константа ни на какомаффинном подпространстве пространства {0, 1}n размерностихотя бы d .
Только недавно была представлена явная конструкция аффинныхдисперсеров для d = o(n) [Ben-Sasson and Kopparty, 09].
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 13 / 16
![Page 29: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/29.jpg)
Аффинные дисперсеры
Итак, линейные подстановки помогают при элиминации гейтов, ногде взять функцию, которая выживает относительно такихподстановок?Непросто построить функцию, которая не обращается в константупосле любых n − o(n) линейных подстановок. Например, любаясимметрическая функция становится константой после n/2линейных подстановок: x1 ⊕ x2 = 1, x3 ⊕ x4 = 1, . . . .Объект, который мы ищем, называется аффинным дисперсером.Формально, аффинный дисперсер для размерности d — этофункция f : {0, 1}n → {0, 1}, которая не константа ни на какомаффинном подпространстве пространства {0, 1}n размерностихотя бы d .Только недавно была представлена явная конструкция аффинныхдисперсеров для d = o(n) [Ben-Sasson and Kopparty, 09].
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 13 / 16
![Page 30: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/30.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 31: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/31.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 32: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/32.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 33: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/33.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 34: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/34.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 35: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/35.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
сделаем подстановкуx1 ⊕ x2 ⊕ x3 ⊕ x5 ⊕ x6 = 1
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 36: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/36.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
сделаем подстановкуx1 ⊕ x2 ⊕ x3 ⊕ x5 ⊕ x6 = 1
это убивает рассматриваемыйгейт и его потомков
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 37: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/37.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
сделаем подстановкуx1 ⊕ x2 ⊕ x3 ⊕ x5 ⊕ x6 = 1
это убивает рассматриваемыйгейт и его потомков
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 38: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/38.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
сделаем подстановкуx1 ⊕ x2 ⊕ x3 ⊕ x5 ⊕ x6 = 1
это убивает рассматриваемыйгейт и его потомков
более того, его предшественни-ки больше не нужны тоже
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 39: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/39.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
возьмём первый гейт, не явля-ющийся гейтом типа ⊕ исходя-щей степени 1
на обоих его входах вычисляют-ся линейные функции
сделаем подстановкуx1 ⊕ x2 ⊕ x3 ⊕ x5 ⊕ x6 = 1
это убивает рассматриваемыйгейт и его потомков
более того, его предшественни-ки больше не нужны тоже
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 40: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/40.jpg)
Идея доказательства нижней оценки 3n
x1 x2 x3 x4 x5 x6
⊕G1
⊕G2
⊕G3
⊕G4
∧G5 ⊕G6
небольшим разбором слу-чае можно показать, чтотак всегда можно удалить3 гейта; поскольку мыможем сделать n − o(n)таких подстановок, по-лучаем нижнюю оценку3n − o(n)
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 14 / 16
![Page 41: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/41.jpg)
Открытая задача
Открытая задачаДоказать нижнюю оценку 3.1n на схемную сложность явно заданнойбулевой функции.
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 15 / 16
![Page 42: 20111002 circuit complexity_seminar_lecture03_kulikov](https://reader035.fdocuments.in/reader035/viewer/2022081404/5594aaef1a28ab920e8b4589/html5/thumbnails/42.jpg)
Спасибо за внимание!
А. Куликов (Computer Science клуб)3. Метод элиминации гейтов 02.10.2011 16 / 16