FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016263640> ?p ?o ?g. }

• W2016263640 endingPage "44" @default.
• W2016263640 startingPage "1" @default.
• W2016263640 abstract "In 1990, Subramanian [1990] defined the complexity class CC as the set of problems log-space reducible to the comparator circuit value problem (CCV). He and Mayr showed that NL ⊆ CC ⊆ P, and proved that in addition to CCV several other problems are complete for CC, including the stable marriage problem, and finding the lexicographically first maximal matching in a bipartite graph. Although the class has not received much attention since then, we are interested in CC because we conjecture that it is incomparable with the parallel class NC which also satisfies NL ⊆ NC ⊆ P, and note that this conjecture implies that none of the CC-complete problems has an efficient polylog time parallel algorithm. We provide evidence for our conjecture by giving oracle settings in which relativized CC and relativized NC are incomparable. We give several alternative definitions of CC, including (among others) the class of problems computed by uniform polynomial-size families of comparator circuits supplied with copies of the input and its negation, the class of problems AC0-reducible to Ccv, and the class of problems computed by uniform AC0 circuits with AXccv gates. We also give a machine model for CC, which corresponds to its characterization as log-space uniform polynomial-size families of comparator circuits. These various characterizations show that CC is a robust class. Our techniques also show that the corresponding function class FCC is closed under composition. The main technical tool we employ is universal comparator circuits. Other results include a simpler proof of NL ⊆ CC, a more careful analysis showing the lexicographically first maximal matching problem and its variants are CC-complete under AC0 many-one reductions, and an explanation of the relation between the Gale--Shapley algorithm and Subramanian’s algorithm for stable marriage. This article continues the previous work of Cook et al. [2011], which focused on Cook-Nguyen style uniform proof complexity, answering several open questions raised in that article." @default.
• W2016263640 created "2016-06-24" @default.
• W2016263640 creator A5013798760 @default.
• W2016263640 creator A5034555443 @default.
• W2016263640 creator A5047362769 @default.
• W2016263640 date "2014-08-01" @default.
• W2016263640 modified "2023-10-18" @default.
• W2016263640 title "The complexity of the comparator circuit value problem" @default.
• W2016263640 cites W1517853613 @default.
• W2016263640 cites W1537230380 @default.
• W2016263640 cites W154638891 @default.
• W2016263640 cites W1552274388 @default.
• W2016263640 cites W1855124709 @default.
• W2016263640 cites W1982347904 @default.
• W2016263640 cites W1989751728 @default.
• W2016263640 cites W2000548547 @default.
• W2016263640 cites W2017205387 @default.
• W2016263640 cites W2026143151 @default.
• W2016263640 cites W2033701176 @default.
• W2016263640 cites W2045583484 @default.
• W2016263640 cites W2068115726 @default.
• W2016263640 cites W2127585076 @default.
• W2016263640 cites W2141389982 @default.
• W2016263640 cites W2173502887 @default.
• W2016263640 cites W2610479830 @default.
• W2016263640 cites W2610729871 @default.
• W2016263640 cites W2952126919 @default.
• W2016263640 doi "https://doi.org/10.1145/2635822" @default.
• W2016263640 hasPublicationYear "2014" @default.
• W2016263640 type Work @default.
• W2016263640 sameAs 2016263640 @default.
• W2016263640 citedByCount "10" @default.
• W2016263640 countsByYear W20162636402015 @default.
• W2016263640 countsByYear W20162636402016 @default.
• W2016263640 countsByYear W20162636402017 @default.
• W2016263640 countsByYear W20162636402018 @default.
• W2016263640 countsByYear W20162636402019 @default.
• W2016263640 countsByYear W20162636402020 @default.
• W2016263640 countsByYear W20162636402021 @default.
• W2016263640 countsByYear W20162636402023 @default.
• W2016263640 crossrefType "journal-article" @default.
• W2016263640 hasAuthorship W2016263640A5013798760 @default.
• W2016263640 hasAuthorship W2016263640A5034555443 @default.
• W2016263640 hasAuthorship W2016263640A5047362769 @default.
• W2016263640 hasBestOaLocation W20162636402 @default.
• W2016263640 hasConcept C114614502 @default.
• W2016263640 hasConcept C115903868 @default.
• W2016263640 hasConcept C118615104 @default.
• W2016263640 hasConcept C121332964 @default.
• W2016263640 hasConcept C132525143 @default.
• W2016263640 hasConcept C134026603 @default.
• W2016263640 hasConcept C154945302 @default.
• W2016263640 hasConcept C155745195 @default.
• W2016263640 hasConcept C165801399 @default.
• W2016263640 hasConcept C197657726 @default.
• W2016263640 hasConcept C2777212361 @default.
• W2016263640 hasConcept C2780990831 @default.
• W2016263640 hasConcept C311688 @default.
• W2016263640 hasConcept C33923547 @default.
• W2016263640 hasConcept C39637292 @default.
• W2016263640 hasConcept C41008148 @default.
• W2016263640 hasConcept C55166926 @default.
• W2016263640 hasConcept C62520636 @default.
• W2016263640 hasConceptScore W2016263640C114614502 @default.
• W2016263640 hasConceptScore W2016263640C115903868 @default.
• W2016263640 hasConceptScore W2016263640C118615104 @default.
• W2016263640 hasConceptScore W2016263640C121332964 @default.
• W2016263640 hasConceptScore W2016263640C132525143 @default.
• W2016263640 hasConceptScore W2016263640C134026603 @default.
• W2016263640 hasConceptScore W2016263640C154945302 @default.
• W2016263640 hasConceptScore W2016263640C155745195 @default.
• W2016263640 hasConceptScore W2016263640C165801399 @default.
• W2016263640 hasConceptScore W2016263640C197657726 @default.
• W2016263640 hasConceptScore W2016263640C2777212361 @default.
• W2016263640 hasConceptScore W2016263640C2780990831 @default.
• W2016263640 hasConceptScore W2016263640C311688 @default.
• W2016263640 hasConceptScore W2016263640C33923547 @default.
• W2016263640 hasConceptScore W2016263640C39637292 @default.
• W2016263640 hasConceptScore W2016263640C41008148 @default.
• W2016263640 hasConceptScore W2016263640C55166926 @default.
• W2016263640 hasConceptScore W2016263640C62520636 @default.
• W2016263640 hasFunder F4320334593 @default.
• W2016263640 hasFunder F4320334960 @default.
• W2016263640 hasIssue "4" @default.
• W2016263640 hasLocation W20162636401 @default.
• W2016263640 hasLocation W20162636402 @default.
• W2016263640 hasLocation W20162636403 @default.
• W2016263640 hasOpenAccess W2016263640 @default.
• W2016263640 hasPrimaryLocation W20162636401 @default.
• W2016263640 hasRelatedWork W1833513464 @default.
• W2016263640 hasRelatedWork W2016263640 @default.
• W2016263640 hasRelatedWork W2041387863 @default.
• W2016263640 hasRelatedWork W2118345845 @default.
• W2016263640 hasRelatedWork W2949460568 @default.
• W2016263640 hasRelatedWork W3005925191 @default.
• W2016263640 hasRelatedWork W3123287700 @default.
• W2016263640 hasRelatedWork W4221160330 @default.
• W2016263640 hasRelatedWork W4291143792 @default.

• next