«search-problem» 태그된 질문

S에 poset "S"와 monotonic predicate "P"가 있다고 가정합니다. P를 만족하는 S의 최대 요소 중 하나 또는 전부를 찾고 싶습니다. 편집 : P 의 평가 횟수를 최소화하고 싶습니다 . 이 문제에 대해 어떤 알고리즘이 있으며 S에 어떤 속성과 추가 작업이 필요합니까? 다음과 같은 중요한 특수 사례는 어떻습니까? S는 선형 순서입니다. "미들 …

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

Mike와 Ike의 "Quantum Computation and Quantum Information"에서 Grover의 알고리즘에 대해 자세히 설명합니다. 그러나 그 책과 그로버 알고리즘에 대해 온라인에서 찾은 모든 설명에서, 우리가 어떤 상태를 찾고 있는지 알지 못한다면 그로버의 오라클이 어떻게 구성되어 있는지에 대한 언급이없는 것 같습니다. 연산. 특히, 내 질문은 이것입니다 : 일부 x 값, f (x) = …

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

경우 , 다음 LOGSPACE 알고리즘 떨어져 있음을 해결해 결정 버전 2의 SAT.L=NLL=NL\mathsf{L = NL} 가요 하기 LOGSPACE 알고리즘이 있음을 암시하는 것으로 알려져 만족 할당을 얻을 때 입력으로 만족할 -2- SAT 인스턴스 주어진?L=NLL=NL\mathsf{L = NL} 그렇지 않다면, 서브 라인 공간을 사용하는 알고리즘은 어떻습니까?

15 sat  search-problem  logspace 

고려 (X,≤)(X,≤)(X, \leq) 위에 한정된 poset 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) ). 하나의 노드 x ∈ X를 제공 하고 P ( x )가 유지 되는지 여부를 알아 냄으로써 PPP …

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

여덟 명의 여왕 문제에 관한 위키 백과 기사를 읽고있었습니다. 정확한 수의 솔루션에 대한 알려진 공식은 없습니다. 몇 가지 검색을 한 후 "완전한 매핑의 계산 문제의 경도에 대해"라는 논문을 발견했습니다. 이 백서에는 #P를 넘어서는 #queens만큼이나 어려운 문제가 있습니다. Wikipedia 기사에서 철저하게 계산 된 # 여왕의 수를 엿볼 때, 그들은 상당히 지수 …

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

Ba I 's 랜드 마크 용지 에 가 준 다항식 이라는 것을 보여주는 (아주 간단하고 어리석은) 질문 이 있습니다.GIGI\mathsf{GI} Babai는 i ∈ { 1 , 2 }에 대한 두 개의 그래프 가 동형이며, v = | V i | .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| Babai는 실제로 G 1 에서 G 2 의 꼭짓점을 치환 …

13 graph-isomorphism  search-problem 

그것은 쉽게 볼 수 있습니다 그 경우 다음 거기에 총 문제를 검색 다항식 시간에 해결할 수없는 (기준 총 검색 문제를 만들 회원 증인과 비회원 증인 모두).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} 대화도 마찬가지입니까, 즉 다항식 시간에 해결할 수없는 총 검색 문제가 합니까?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

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

복잡성 등급 PPAD 는 Christos Papadimitriou가 그의 1994 년 논문 에서 발명했습니다 . 이 클래스는 "유향 그래프의 패리티 인수"에 의해 솔루션의 존재가 보장되는 검색 문제의 복잡성을 포착하도록 설계되었습니다. 유향 그래프에 불균형 정점이 있으면 다른 것이 있어야합니다. 그러나 일반적으로 클래스는 공식적으로 ANOTHER END OF THE LINEANOTHER END OF THE LINE\mathsf{ANOTHER\ END\ …

13 cc.complexity-theory  reductions  search-problem  ppad 

powerset 2에 대해 단조 술어 PPP 를 고려하십시오 | n | (포함하여 주문). "단음"이란 의미 : ∀ x , y ∈ 2 | n | 되도록 X ⊂ Y , 만약 P ( X ) 다음 P ( Y ) . P의 모든 최소 요소 , 즉 x ∈ 2 …

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

다음 문제를 고려하십시오. 있습니다 알 수없는 값 . 이 작업은 다음 형식의 쿼리 만 사용하여 가장 큰 인덱스를 찾는 것입니다. 쿼리는 세트 의해 지정되며 해당 답변은 입니다. 목표는 가능한 적은 쿼리를 사용하는 것입니다.v 1 , ⋯ , v n ∈ R S ⊆ { 1 , ⋯ , n } …

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, …

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