Запитання з тегом «search-problem»

Припустимо, у мене є позиція "S" і монотонний предикат "P" на S. Я хочу знайти один або всі максимальні елементи S, що задовольняють P. EDIT : Я зацікавлений в мінімізації кількості оцінок P . Які алгоритми існують для цієї проблеми та які властивості та додаткові операції вони вимагають на S? …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

У «Квантових обчисленнях та квантовій інформації» Майка та Айка дуже детально пояснюється алгоритм Гровера. Однак у книзі та у всіх поясненнях, які я знайшов в Інтернеті щодо алгоритму Гровера, начебто не згадується про те, як побудований Oracle Grover, якщо ми вже не знаємо, в якому стані це шукаємо, перемагаючи мету …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Якщо L=NLL=NL\mathsf{L = NL} , то існує алгоритм журналу простору, який вирішує версію рішення 2-SAT. Чи відомо, що L=NLL=NL\mathsf{L = NL} означає, що існує алгоритм простору журналу для отримання задовольняючого завдання , коли в якості вхідного даних задається задоволений екземпляр 2-SAT? Якщо ні, то що з алгоритмами, які використовують підлінійний …

15 sat  search-problem  logspace 

Розглянемо (X,≤)(X,≤)(X, \leq) кінцевий набір для nnn предметів, а PPP - невідомий монотонний предикат над XXX (тобто для будь-якого xxx , y∈Xy∈Xy \in X , якщо P(x)P(x)P(x) і x≤yx≤yx \leq y тоді P(y)P(y)P(y) ). Я можу оцінити PPP , надавши один вузол x∈Xx∈Xx \in X і з’ясувавши, чи P(x)P(x)P(x) утримує …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Я читав статтю у вікіпедії про проблему восьми королей. Зазначено, що не існує відомої формули для точної кількості рішень. Після деяких пошуків я знайшов документ під назвою "Про твердість підрахунку проблем повних відображень". У цьому документі є проблема, яка, як показано, є настільки ж важкою, як #queens, яка перевищує # …

14 cc.complexity-theory  counting-complexity  search-problem 

У мене (сподіваюсь, просте, можливо, німе) запитання на знаковому папері Бабая, що показує, що є квазіполіноміальним.GIGI\mathsf{GI} Бабай показав, як скласти сертифікат, що два графіки для є ізоморфними, квазіполіноміальними за часом у.Gi=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Чи дійсно Бабай показав, як знайти елемент який переставляє вершини від до , або сертифікат є лише твердженням про …

13 graph-isomorphism  search-problem 

Неважко помітити, що якщо то виникають загальні проблеми пошуку, які неможливо вирішити за багаточлен (створити загальну проблему пошуку за наявність як свідків щодо членства, так і свідків щодо не членів).N PNP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Чи справедливо і зворотне, тобто Чи означає існування загальної задачі пошуку нерозв'язуваної в поліноміальний час, ?N P …

13 cc.complexity-theory  reference-request  search-problem 

Клас складності PPAD був винайдений Крістосом Пападімітріу у своїй роботі з 1994 року . Клас призначений для відображення складності задач пошуку, коли існування рішення гарантується "аргументом паритету у спрямованих графах": якщо в спрямованому графіку є неврівноважена вершина, то повинна існувати ще одна. Але зазвичай клас формально визначається з точки зору …

13 cc.complexity-theory  reductions  search-problem  ppad 

Розглянемо монотонний предикат PPP над силовим набором 2|n|2|n|2^{|n|}(упорядковано включенням). Під "монотонним" я маю на увазі: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}такий, що x⊂yx⊂yx \subset y , якщо P(x)P(x)P(x) то P(y)P(y)P(y) . Я шукаю алгоритм, щоб знайти всі мінімальні елементи PPP , тобто x∈2|n|x∈2|n|x \in 2^{|n|}такий, що P(x)P(x)P(x)але ∀y⊂x∀y⊂x\forall y \subset x …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Розглянемо наступну проблему. nнnv1,⋯,vn∈Rv1,⋯,vн∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆{1,⋯,n}S⊆{1,⋯,н}S \subseteq \{1,\cdots,n\}maxi∈Sviмаксi∈Svi\max_{i \in S} v_i Ця проблема проста: ми можемо використовувати двійковий пошук, щоб знайти аргмакс із запитами . тобто побудуйте повне двійкове дерево з листами, що відповідають індексам. Почніть з кореня і спустіться до листа так. На кожному вузлі запитуйте максимальне …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Я роздумував над цим питанням у різні часи, відколи бачив це питання на криптографії . Питання Дозволяє RRRбути відношенням TFNP . Чи може випадковий оракул допомогти P / poly зламатисьRRRз незначною ймовірністю? Більш формально, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Чи для всіх P / полі алгоритмів , є незначнимAAAPrx[R(x,A(x))]Prx⁡[R(x,A(x))]\Pr_x [R(x, A(x))] …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles