Matches in SemOpenAlex for { <https://semopenalex.org/work/W2756121036> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2756121036 abstract "In the Orthogonal Vectors (OV) problem, we wish to determine if there is an orthogonal pair of vectors among $n$ Boolean vectors in $d$ dimensions. The OV Conjecture (OVC) posits that OV requires $n^{2-o(1)}$ time to solve, for all $d=omega(log n)$. Assuming the OVC, optimal time lower bounds have been proved for many prominent problems in $P$. We prove that OVC is true in several computational models of interest: * For all sufficiently large $n$ and $d$, OV for $n$ vectors in ${0,1}^d$ has branching program complexity $tilde{Theta}(ncdot min(n,2^d))$. In particular, the lower bounds match the upper bounds up to polylog factors. * OV has Boolean formula complexity $tilde{Theta}(ncdot min(n,2^d))$, over all complete bases of $O(1)$ fan-in. * OV requires $tilde{Theta}(ncdot min(n,2^d))$ wires, in formulas comprised of gates computing arbitrary symmetric functions of unbounded fan-in. Our lower bounds basically match the best known (quadratic) lower bounds for any explicit function in those models. Analogous lower bounds hold for many related problems shown to be hard under OVC, such as Batch Partial Match, Batch Subset Queries, and Batch Hamming Nearest Neighbors, all of which have very succinct reductions to OV. The proofs use a certain kind of input restriction that is different from typical random restrictions where variables are assigned independently. We give a sense in which independent random restrictions cannot be used to show hardness, in that OVC is false in the average case even for $AC^0$ formulas: * For every fixed $p in (0,1)$ there is an $epsilon_p > 0$ such that for every $n$ and $d$, OV instances where input bits are independently set to $1$ with probability $p$ (and $0$ otherwise) can be solved with $AC^0$ formulas of size $O(n^{2-epsilon_p})$, on all but a $o_n(1)$ fraction of instances." @default.
- W2756121036 created "2017-09-25" @default.
- W2756121036 creator A5035962853 @default.
- W2756121036 creator A5046851838 @default.
- W2756121036 date "2017-09-15" @default.
- W2756121036 modified "2023-09-27" @default.
- W2756121036 title "The Orthogonal Vectors Conjecture for Branching Programs and Formulas" @default.
- W2756121036 cites W112858668 @default.
- W2756121036 cites W2028692275 @default.
- W2756121036 cites W2055693471 @default.
- W2756121036 cites W2056721069 @default.
- W2756121036 cites W2084732238 @default.
- W2756121036 cites W2206830592 @default.
- W2756121036 cites W2254388006 @default.
- W2756121036 cites W2263246245 @default.
- W2756121036 cites W2264676752 @default.
- W2756121036 cites W2293041988 @default.
- W2756121036 cites W2295394089 @default.
- W2756121036 cites W2401929940 @default.
- W2756121036 cites W2949358888 @default.
- W2756121036 cites W2950854729 @default.
- W2756121036 cites W2951168359 @default.
- W2756121036 cites W2964091527 @default.
- W2756121036 cites W3105727767 @default.
- W2756121036 hasPublicationYear "2017" @default.
- W2756121036 type Work @default.
- W2756121036 sameAs 2756121036 @default.
- W2756121036 citedByCount "1" @default.
- W2756121036 countsByYear W27561210362019 @default.
- W2756121036 crossrefType "posted-content" @default.
- W2756121036 hasAuthorship W2756121036A5035962853 @default.
- W2756121036 hasAuthorship W2756121036A5046851838 @default.
- W2756121036 hasConcept C108710211 @default.
- W2756121036 hasConcept C114614502 @default.
- W2756121036 hasConcept C118615104 @default.
- W2756121036 hasConcept C121332964 @default.
- W2756121036 hasConcept C134306372 @default.
- W2756121036 hasConcept C14036430 @default.
- W2756121036 hasConcept C159985019 @default.
- W2756121036 hasConcept C187455244 @default.
- W2756121036 hasConcept C192562407 @default.
- W2756121036 hasConcept C206175624 @default.
- W2756121036 hasConcept C2524010 @default.
- W2756121036 hasConcept C2779557605 @default.
- W2756121036 hasConcept C2780990831 @default.
- W2756121036 hasConcept C33923547 @default.
- W2756121036 hasConcept C62520636 @default.
- W2756121036 hasConcept C77553402 @default.
- W2756121036 hasConcept C78458016 @default.
- W2756121036 hasConcept C86803240 @default.
- W2756121036 hasConceptScore W2756121036C108710211 @default.
- W2756121036 hasConceptScore W2756121036C114614502 @default.
- W2756121036 hasConceptScore W2756121036C118615104 @default.
- W2756121036 hasConceptScore W2756121036C121332964 @default.
- W2756121036 hasConceptScore W2756121036C134306372 @default.
- W2756121036 hasConceptScore W2756121036C14036430 @default.
- W2756121036 hasConceptScore W2756121036C159985019 @default.
- W2756121036 hasConceptScore W2756121036C187455244 @default.
- W2756121036 hasConceptScore W2756121036C192562407 @default.
- W2756121036 hasConceptScore W2756121036C206175624 @default.
- W2756121036 hasConceptScore W2756121036C2524010 @default.
- W2756121036 hasConceptScore W2756121036C2779557605 @default.
- W2756121036 hasConceptScore W2756121036C2780990831 @default.
- W2756121036 hasConceptScore W2756121036C33923547 @default.
- W2756121036 hasConceptScore W2756121036C62520636 @default.
- W2756121036 hasConceptScore W2756121036C77553402 @default.
- W2756121036 hasConceptScore W2756121036C78458016 @default.
- W2756121036 hasConceptScore W2756121036C86803240 @default.
- W2756121036 hasLocation W27561210361 @default.
- W2756121036 hasOpenAccess W2756121036 @default.
- W2756121036 hasPrimaryLocation W27561210361 @default.
- W2756121036 hasRelatedWork W1205694693 @default.
- W2756121036 hasRelatedWork W1963927532 @default.
- W2756121036 hasRelatedWork W1991921929 @default.
- W2756121036 hasRelatedWork W2139991023 @default.
- W2756121036 hasRelatedWork W2185718957 @default.
- W2756121036 hasRelatedWork W2461428748 @default.
- W2756121036 hasRelatedWork W2597106350 @default.
- W2756121036 hasRelatedWork W2626013949 @default.
- W2756121036 hasRelatedWork W2910056172 @default.
- W2756121036 hasRelatedWork W2942073256 @default.
- W2756121036 hasRelatedWork W2951642689 @default.
- W2756121036 hasRelatedWork W2951718110 @default.
- W2756121036 hasRelatedWork W2963561377 @default.
- W2756121036 hasRelatedWork W3037199564 @default.
- W2756121036 hasRelatedWork W3092687058 @default.
- W2756121036 hasRelatedWork W3093211768 @default.
- W2756121036 hasRelatedWork W3101294093 @default.
- W2756121036 hasRelatedWork W3198718099 @default.
- W2756121036 hasRelatedWork W3206577904 @default.
- W2756121036 hasRelatedWork W3214092505 @default.
- W2756121036 isParatext "false" @default.
- W2756121036 isRetracted "false" @default.
- W2756121036 magId "2756121036" @default.
- W2756121036 workType "article" @default.