Майже завжди майже правильно


11

Шукаю клас складності , яка відноситься до APX , як BPP відноситься до P. Я вже ставив це питання тут , але , можливо , ТКС буде більш плідним , місцем для відповідей.

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

Можливим кандидатом такого класу буде : проблеми, які допускають наближені рішення з обмеженими ймовірнісними підпрограмами; однак, я не впевнений, що такий клас був би відповідним параметром для класів, які ймовірно обчислювали наближеннями.APXBPP

І BPP, і APX були широко вивчені. Це у випадку з або будь-який клас був би найкращим для вирішення вищезазначених проблем?APXBPP


BPP і P - це класи проблемних рішень. Можливо, вам слід спочатку запитати, який функціональний / пошуковий клас відповідає BPP, перш ніж переходити до наближення, я думаю, якщо у нас функція / пошуковий клас, то визначення його версії наближення не повинно бути складним.
Каве

1
Я думаю, що ви шукаєте, це версія для оптимізації навчання PAC (ймовірно, приблизно коректно). В той час, як теорія навчання PAC спеціально стосується (випадковим чином, з великою часткою ймовірності правильності) навчальних функцій для опису даних, як у машинному навчанні, ви запитуєте про проблеми оптимізації. Але, можливо, PAC з вивчення літератури є гарним місцем для початку пошуку ...
Джошуа Грохов

3
Замість позначення oracle, те, що ви описуєте, ближче до оператора BP. Оператор БП визначається на класах складності вирішення проблем. Потрібно легко розширити визначення, щоб обіцяти проблеми, і таким чином визначити версію проблеми з обіцянкою вашого класу складності. Визначення версії для проблем з оптимізацією може бути складнішим.
Сашо Ніколов

Відповіді:


1

Для будь-якої заданої функції, нехай BotL (кращий із списку) є алгоритмом, який оцінює цільову функцію на наборі входів і повертає вхід із цього списку, який мав максимальний вихід (з-поміж цих входів), прив'язуючи порушено довільно. Оскільки APX включає лише проблеми , об'єктивна функція яких може бути обчислена в детермінованому поліномному часі, BotL може бути реалізований детерміновано в поліноміальний час. Крім того, значення, повернене BotL , принаймні настільки ж добре, як і будь-які вхідні дані, принаймні, за якими оцінювали BotL. Зокрема, якщо будь-який із вхідних даних у цьому списку є досить хорошим, то вихід BotL буде досить хорошим.



Тому запуск BotL на виведеннях досить великої кількості незалежних виконань базового алгоритму може посилити ймовірність успіху від 1 / poly до 1- (1 / (2 ^ poly)).

Як наслідок попереднього пункту, точний
рівень довіри по суті не впливає на результат класу.
(Ця ситуація є дуже аналогічною RP .)

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


1
ОП запитує назву класу задач, які мають алгоритми наближення постійного множника до рандомізованих факторів. Ви говорите (я думаю), що ймовірність успіху таких алгоритмів може бути посилена. Я не бачу, як це відповідає на питання?
Сашо Ніколов

Я не бачу цього питання в ОП. Майкл запитує, чи був клас "широко вивчений". Правда, мені не було про що говорити, але я (принаймні намагаюся) вирішити непорозуміння щодо того, яким буде такий клас.

Такого непорозуміння у питанні немає.
Сашо Ніколов

Правильно. Нерозуміння полягає в "Можливим кандидатом такого класу було б ... імовірнісно обчислювані наближення". абзац, який є в дописі, але не питання.

1
Що стосується уточнень, я все ще вважаю, що ваша відповідь не виправляє непорозуміння в ОП, а лише дає умовний факт про рандомізовані наближення.
Сашо Ніколов
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.