Адлеман показав у 1978 році, що : якщо булева функція f з n змінних може бути обчислена імовірнісною булевою схемою розміром M , то f також може бути обчислена детермінованою булевою схемою розміру многочлен в M і n ; насправді, розміром O ( n M ) .
Загальне запитання: Над якими іншими (крім булевими) піврізами проводиться ?
Якщо бути більш конкретним, імовірнісний ланцюг над семіруванням ( S , + , ⋅ , 0 , 1 ) використовує свої операції "додавання" ( + ) та "множення" ( ⋅ ) як ворота. Вхідні дані є вхідними змінними x 1 , ... , х п , і , можливо , деяка кількість додаткових випадкових величин, які приймають значення 0 і 1 незалежно один від одного з ймовірністю 1 / 2 ; тут і 1 є, відповідно, адитивною та мультиплікативною тотожностями семірінгу. Така схема З обчислюєзадану функцію F : S п → S , якщо для кожного х ∈ S п , Р г [ З ( х ) = е ( х ) ] ≥ 2 / 3 .
Функція голосування від т змінних є частковою функцією, значення якого у якщо елемент у з'являється більш м / 2 рази серед у 1 , ... , у м , а не визначене , якщо такого елемента y не існує. Просте застосування меж Черноффа та союзу дає наступне.
Більшість Пастка: Якщо імовірнісний контур обчислює функцію F : S п → S на кінцеве безлічі X ⊆ S п , тобто м = O ( журнал | X | ) реалізації З 1 , ... , С м про З таким чином, що f ( x ) = M a j ( C 1 ( x ) , … виконується для всіх х ∈ Х .
Упродовж булевого семірування функція голосування є функцією більшості та має невеликі (навіть монотонні) кола. Отже, теорема Адлемана випливає, приймаючи X = { 0 , 1 } n .
А як щодо інших (особливо нескінченних) піврічок? Що з арифметичним семіруванням (із звичайним складанням і множенням)?
Питання 1: Чи утримується над арифметичним семіруванням?
Хоча я ставлю на "так", я не можу цього показати.
Зауваження: мені відомий цей документ, де автори стверджують, що над реальним полем ( R , + , ⋅ , 0 , 1 ) . Вони мають справу з немонотонними арифметичними ланцюгами, а також надходять (у теоремі 4) до ланцюгів з функцією голосування M a j як вихідний затвор. Але як імітувати цей M a j -гайт арифметичним ланцюгом (будь він монотонним чи ні)? Тобто як отримати їх слідство 3?
Власне, наступний простий аргумент, який мені розповів Сергій Гашков (з Московського університету), здається, показує, що це неможливо (принаймні для схем, здатних обчислити лише поліноми ). Припустимо, ми можемо виразити як многочлен f ( x , y , z ) = a x + b y + c z + h ( x , y , z ) . Тоді f ( означає c = 0 , f ( x , y , x ) = x означає b = 0 , а f ( x , y , y ) = y означає a = 0 . Це справедливо тому, що над полями нульової характеристики рівність поліном-функцій означає рівність коефіцієнтів. Зауважимо, що у питанні 1 діапазон ймовірнісних схем, а значить, і область M -gate єнескінченним. Тому у мене складається враження, що зв'язаний документ має справу лише з обчислювальними функціями арифметичних схем f : R n → Y з невеликими кінцевими діапазонами Y , як Y = { 0 , 1 } . Тоді M a j : Y m → Y насправді легко обчислити арифметичним контуром. Але що робити, якщо Y = R ?
Виправлення [6.03.2017]: Паскаль Койран (один з авторів цього документу) вказував мені, що їх модель є більш потужною, ніж просто арифметичні схеми: вони дозволяють вхідні ворота (виводити або 1 залежно від того, чи вхід негативний ні). Отже, функцію голосування Майж можна моделювати в цій моделі, і я повертаю свою «плутанину».
( N ∪ { - ∞ } , max , + , - ∞ , 0 )
Питання 2: Чи зберігає тропічні піврінги?
Утримувати у цих двох семирінгах, це означатиме, що випадковість не може прискорити так звані "чисті" алгоритми динамічного програмування! Ці алгоритми використовують лише операції Min / Max та Sum у своїх рекурсіях; Беллмана-Форд, Флойд-Воршалл, утримувані Карпи, і багато інших алгоритми видатним DP є чистими.
Поки що я можу відповісти на запитання 2 (ствердно) лише за сценарієм односторонньої помилки, коли ми додатково вимагаємо протягом min- плюс семірінг (мінімізація) або за семімінг max-plus (максимізація). Тобто зараз ми вимагаємо, щоб рандомізований тропічний контур ніколи не міг отримати кращого за оптимальне значення; однак це може помилитися, подавши деякі гірші, ніж оптимальні значення. Мої запитання, однак, під сценарієм двосторонньої помилки .P r [ C ( x ) > f ( x ) ] = 0
PS [додано 27.02.2017]: Ось моя спроба відповісти на питання 1 (ствердно). Ідея полягає у поєднанні найпростішої версії "комбінаторного Nullstellensatz" з оцінкою проблеми Заранкевича для n-партійних гіперграпів, завдяки Ердосу та Спенсеру. Модулюючи цей останній результат, весь аргумент елементарний.
Зауважимо, що питання 2 все ще залишається відкритим: "наївний Nullstellensatz" (принаймні у формі, яку я використав) не втримується в тропічних півколах.