Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293541501> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2293541501 abstract "We provide evidence for the proposition that the computational complexity of individual problems, and of whole complexity classes, hinge on the existence of certain solvable polynomial systems that are unlikely to be encountered other than by systematic explorations for them. We consider a minimalist version of Cook's 3CNF problem, namely that of monotone planar 3 CNF formulae where each variable occurs twice. We show that counting the number of solutions of these modulo 2 is oplusP-complete (hence NP-hard) but counting them modulo 7 is polynomial time computable (sic). We also show a similar dichotomy for a vertex cover problem. To derive completeness results we use a new holographic technique for proving completeness results in oplusP for problems that are in P. For example, we can show in this way that oplus2CNF, the parity problem for 2CNF, is oplusP-complete. To derive efficient algorithms we use computer algebra systems to find appropriate holographic gates. In order to explore the limits of holographic techniques we define the notion of an elementary matchgrid algorithm to capture a natural but restricted use of them. We show that for the NP-complete general 3 CNF problem no such elementary matchgrid algorithm can exist. We observe, however, that it remains open for many natural #P-complete problems whether such elementary matchgrid algorithms exist, and for the general CNF problem whether non-elementary matchgrid algorithms exist" @default.
- W2293541501 created "2016-06-24" @default.
- W2293541501 creator A5015531084 @default.
- W2293541501 date "2006-10-01" @default.
- W2293541501 modified "2023-10-18" @default.
- W2293541501 title "Accidental Algorthims" @default.
- W2293541501 cites W1872939840 @default.
- W2293541501 cites W1968653910 @default.
- W2293541501 cites W1975501803 @default.
- W2293541501 cites W1979740015 @default.
- W2293541501 cites W2006912660 @default.
- W2293541501 cites W2012041962 @default.
- W2293541501 cites W2032292489 @default.
- W2293541501 cites W2036265926 @default.
- W2293541501 cites W2043040255 @default.
- W2293541501 cites W2066577300 @default.
- W2293541501 cites W2096891389 @default.
- W2293541501 cites W2113679823 @default.
- W2293541501 cites W2115826669 @default.
- W2293541501 cites W2175558056 @default.
- W2293541501 cites W4254702493 @default.
- W2293541501 cites W4255202909 @default.
- W2293541501 doi "https://doi.org/10.1109/focs.2006.7" @default.
- W2293541501 hasPublicationYear "2006" @default.
- W2293541501 type Work @default.
- W2293541501 sameAs 2293541501 @default.
- W2293541501 citedByCount "91" @default.
- W2293541501 countsByYear W22935415012012 @default.
- W2293541501 countsByYear W22935415012013 @default.
- W2293541501 countsByYear W22935415012014 @default.
- W2293541501 countsByYear W22935415012015 @default.
- W2293541501 countsByYear W22935415012016 @default.
- W2293541501 countsByYear W22935415012017 @default.
- W2293541501 countsByYear W22935415012018 @default.
- W2293541501 countsByYear W22935415012019 @default.
- W2293541501 countsByYear W22935415012020 @default.
- W2293541501 countsByYear W22935415012021 @default.
- W2293541501 countsByYear W22935415012022 @default.
- W2293541501 countsByYear W22935415012023 @default.
- W2293541501 crossrefType "proceedings-article" @default.
- W2293541501 hasAuthorship W2293541501A5015531084 @default.
- W2293541501 hasConcept C114614502 @default.
- W2293541501 hasConcept C118615104 @default.
- W2293541501 hasConcept C132525143 @default.
- W2293541501 hasConcept C134306372 @default.
- W2293541501 hasConcept C16592021 @default.
- W2293541501 hasConcept C17231256 @default.
- W2293541501 hasConcept C311688 @default.
- W2293541501 hasConcept C33923547 @default.
- W2293541501 hasConcept C39637292 @default.
- W2293541501 hasConcept C40687702 @default.
- W2293541501 hasConcept C41008148 @default.
- W2293541501 hasConcept C54732982 @default.
- W2293541501 hasConcept C80899671 @default.
- W2293541501 hasConceptScore W2293541501C114614502 @default.
- W2293541501 hasConceptScore W2293541501C118615104 @default.
- W2293541501 hasConceptScore W2293541501C132525143 @default.
- W2293541501 hasConceptScore W2293541501C134306372 @default.
- W2293541501 hasConceptScore W2293541501C16592021 @default.
- W2293541501 hasConceptScore W2293541501C17231256 @default.
- W2293541501 hasConceptScore W2293541501C311688 @default.
- W2293541501 hasConceptScore W2293541501C33923547 @default.
- W2293541501 hasConceptScore W2293541501C39637292 @default.
- W2293541501 hasConceptScore W2293541501C40687702 @default.
- W2293541501 hasConceptScore W2293541501C41008148 @default.
- W2293541501 hasConceptScore W2293541501C54732982 @default.
- W2293541501 hasConceptScore W2293541501C80899671 @default.
- W2293541501 hasLocation W22935415011 @default.
- W2293541501 hasOpenAccess W2293541501 @default.
- W2293541501 hasPrimaryLocation W22935415011 @default.
- W2293541501 hasRelatedWork W1500521838 @default.
- W2293541501 hasRelatedWork W1559021700 @default.
- W2293541501 hasRelatedWork W1881931158 @default.
- W2293541501 hasRelatedWork W1971650774 @default.
- W2293541501 hasRelatedWork W2108136433 @default.
- W2293541501 hasRelatedWork W2152952233 @default.
- W2293541501 hasRelatedWork W2247609287 @default.
- W2293541501 hasRelatedWork W2367083919 @default.
- W2293541501 hasRelatedWork W2767824041 @default.
- W2293541501 hasRelatedWork W3101359095 @default.
- W2293541501 isParatext "false" @default.
- W2293541501 isRetracted "false" @default.
- W2293541501 magId "2293541501" @default.
- W2293541501 workType "article" @default.