Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912115172> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2912115172 startingPage "162" @default.
- W2912115172 abstract "We show that there is a zero-error randomized algorithm that, when given a small constant-depth Boolean circuit C made up of gates that compute constant-degree Polynomial Threshold functions or PTFs (i.e., Boolean functions that compute signs of constant-degree polynomials), counts the number of satisfying assignments to C in significantly better than brute-force time.Formally, for any constants d,k, there is an epsilon > 0 such that the zero-error randomized algorithm counts the number of satisfying assignments to a given depth-d circuit C made up of k-PTF gates such that C has size at most n^{1+epsilon}. The algorithm runs in time 2^{n-n^{Omega(epsilon)}}.Before our result, no algorithm for beating brute-force search was known for counting the number of satisfying assignments even for a single degree-k PTF (which is a depth-1 circuit of linear size).The main new tool is the use of a learning algorithm for learning degree-1 PTFs (or Linear Threshold Functions) using comparison queries due to Kane, Lovett, Moran and Zhang (FOCS 2017). We show that their ideas fit nicely into a memoization approach that yields the #SAT algorithms." @default.
- W2912115172 created "2019-02-21" @default.
- W2912115172 creator A5025305994 @default.
- W2912115172 creator A5048611967 @default.
- W2912115172 creator A5083072245 @default.
- W2912115172 creator A5087309847 @default.
- W2912115172 creator A5091672134 @default.
- W2912115172 date "2018-01-01" @default.
- W2912115172 modified "2023-09-24" @default.
- W2912115172 title "A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates." @default.
- W2912115172 hasPublicationYear "2018" @default.
- W2912115172 type Work @default.
- W2912115172 sameAs 2912115172 @default.
- W2912115172 citedByCount "0" @default.
- W2912115172 crossrefType "journal-article" @default.
- W2912115172 hasAuthorship W2912115172A5025305994 @default.
- W2912115172 hasAuthorship W2912115172A5048611967 @default.
- W2912115172 hasAuthorship W2912115172A5083072245 @default.
- W2912115172 hasAuthorship W2912115172A5087309847 @default.
- W2912115172 hasAuthorship W2912115172A5091672134 @default.
- W2912115172 hasConcept C111797529 @default.
- W2912115172 hasConcept C11413529 @default.
- W2912115172 hasConcept C114614502 @default.
- W2912115172 hasConcept C118615104 @default.
- W2912115172 hasConcept C121332964 @default.
- W2912115172 hasConcept C128669082 @default.
- W2912115172 hasConcept C134306372 @default.
- W2912115172 hasConcept C14036430 @default.
- W2912115172 hasConcept C141796577 @default.
- W2912115172 hasConcept C187455244 @default.
- W2912115172 hasConcept C199360897 @default.
- W2912115172 hasConcept C24890656 @default.
- W2912115172 hasConcept C2775997480 @default.
- W2912115172 hasConcept C2777027219 @default.
- W2912115172 hasConcept C33923547 @default.
- W2912115172 hasConcept C41008148 @default.
- W2912115172 hasConcept C78458016 @default.
- W2912115172 hasConcept C86803240 @default.
- W2912115172 hasConcept C90119067 @default.
- W2912115172 hasConceptScore W2912115172C111797529 @default.
- W2912115172 hasConceptScore W2912115172C11413529 @default.
- W2912115172 hasConceptScore W2912115172C114614502 @default.
- W2912115172 hasConceptScore W2912115172C118615104 @default.
- W2912115172 hasConceptScore W2912115172C121332964 @default.
- W2912115172 hasConceptScore W2912115172C128669082 @default.
- W2912115172 hasConceptScore W2912115172C134306372 @default.
- W2912115172 hasConceptScore W2912115172C14036430 @default.
- W2912115172 hasConceptScore W2912115172C141796577 @default.
- W2912115172 hasConceptScore W2912115172C187455244 @default.
- W2912115172 hasConceptScore W2912115172C199360897 @default.
- W2912115172 hasConceptScore W2912115172C24890656 @default.
- W2912115172 hasConceptScore W2912115172C2775997480 @default.
- W2912115172 hasConceptScore W2912115172C2777027219 @default.
- W2912115172 hasConceptScore W2912115172C33923547 @default.
- W2912115172 hasConceptScore W2912115172C41008148 @default.
- W2912115172 hasConceptScore W2912115172C78458016 @default.
- W2912115172 hasConceptScore W2912115172C86803240 @default.
- W2912115172 hasConceptScore W2912115172C90119067 @default.
- W2912115172 hasLocation W29121151721 @default.
- W2912115172 hasOpenAccess W2912115172 @default.
- W2912115172 hasPrimaryLocation W29121151721 @default.
- W2912115172 hasRelatedWork W1544866824 @default.
- W2912115172 hasRelatedWork W1601605622 @default.
- W2912115172 hasRelatedWork W1625693084 @default.
- W2912115172 hasRelatedWork W1880954240 @default.
- W2912115172 hasRelatedWork W1915058039 @default.
- W2912115172 hasRelatedWork W2002068271 @default.
- W2912115172 hasRelatedWork W2026339776 @default.
- W2912115172 hasRelatedWork W2094783265 @default.
- W2912115172 hasRelatedWork W2102477571 @default.
- W2912115172 hasRelatedWork W2401055316 @default.
- W2912115172 hasRelatedWork W2460503887 @default.
- W2912115172 hasRelatedWork W2540343126 @default.
- W2912115172 hasRelatedWork W2624881990 @default.
- W2912115172 hasRelatedWork W2765993145 @default.
- W2912115172 hasRelatedWork W2889078076 @default.
- W2912115172 hasRelatedWork W2951586353 @default.
- W2912115172 hasRelatedWork W2952360260 @default.
- W2912115172 hasRelatedWork W2952971107 @default.
- W2912115172 hasRelatedWork W302036035 @default.
- W2912115172 hasRelatedWork W3199523595 @default.
- W2912115172 hasVolume "25" @default.
- W2912115172 isParatext "false" @default.
- W2912115172 isRetracted "false" @default.
- W2912115172 magId "2912115172" @default.
- W2912115172 workType "article" @default.