FRINK Linked Data Fragments server

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

• W2088113003 abstract "The hypergraph duality problem Dual is defined as follows: given two simple hypergraphs G and H, decide whether H consists precisely of all minimal transversals of G (in which case we say that G is the dual of H). This problem is equivalent to decide whether two given non-redundant monotone DNFs are dual. It is known that DUAL, the complementary problem to Dual, is in GC (log2 n, PTIME), where GC(f(n), C) denotes the complexity class of all problems that after a nondeterministic guess of O(f(n)) bits can be decided (checked) within complexity class C. It was conjectured that DUAL is in GC(log2 n, LOGSPACE). In this paper we prove this conjecture and actually place the DUAL problem into the complexity class GC(log2 n, TC0) which is a subclass of GC(log2 n, LOGSPACE). We here refer to the logtime-uniform version of TC0, which corresponds to FO(COUNT), i.e., first order logic augmented by counting quantifiers. We achieve the latter bound in two steps. First, based on existing problem decomposition methods, we develop a new nondeterministic algorithm for DUAL that requires to guess O(log2 n) bits. We then proceed by a logical analysis of this algorithm, allowing us to formulate its deterministic part in FO(COUNT)." @default.
• W2088113003 created "2016-06-24" @default.
• W2088113003 creator A5066443441 @default.
• W2088113003 creator A5079448106 @default.
• W2088113003 date "2014-07-14" @default.
• W2088113003 modified "2023-09-27" @default.
• W2088113003 title "Achieving new upper bounds for the hypergraph duality problem through logic" @default.
• W2088113003 cites W1972004026 @default.
• W2088113003 cites W1976127067 @default.
• W2088113003 cites W2005389099 @default.
• W2088113003 cites W2025271293 @default.
• W2088113003 cites W2045519569 @default.
• W2088113003 cites W2053540099 @default.
• W2088113003 cites W2054784808 @default.
• W2088113003 cites W2065895258 @default.
• W2088113003 cites W2077053297 @default.
• W2088113003 cites W2080947358 @default.
• W2088113003 cites W2084095551 @default.
• W2088113003 cites W2087134747 @default.
• W2088113003 cites W2087502667 @default.
• W2088113003 cites W2108309071 @default.
• W2088113003 cites W2125227861 @default.
• W2088113003 cites W2142133061 @default.
• W2088113003 cites W2152927719 @default.
• W2088113003 cites W2169245654 @default.
• W2088113003 cites W2337710787 @default.
• W2088113003 cites W2963908121 @default.
• W2088113003 cites W41330591 @default.
• W2088113003 cites W4236835455 @default.
• W2088113003 doi "https://doi.org/10.1145/2603088.2603103" @default.
• W2088113003 hasPublicationYear "2014" @default.
• W2088113003 type Work @default.
• W2088113003 sameAs 2088113003 @default.
• W2088113003 citedByCount "0" @default.
• W2088113003 crossrefType "proceedings-article" @default.
• W2088113003 hasAuthorship W2088113003A5066443441 @default.
• W2088113003 hasAuthorship W2088113003A5079448106 @default.
• W2088113003 hasBestOaLocation W20881130032 @default.
• W2088113003 hasConcept C111472728 @default.
• W2088113003 hasConcept C114614502 @default.
• W2088113003 hasConcept C118615104 @default.
• W2088113003 hasConcept C134026603 @default.
• W2088113003 hasConcept C134306372 @default.
• W2088113003 hasConcept C138885662 @default.
• W2088113003 hasConcept C154945302 @default.
• W2088113003 hasConcept C176181172 @default.
• W2088113003 hasConcept C2524010 @default.
• W2088113003 hasConcept C2777212361 @default.
• W2088113003 hasConcept C2778023678 @default.
• W2088113003 hasConcept C2780586882 @default.
• W2088113003 hasConcept C2780990831 @default.
• W2088113003 hasConcept C2781221856 @default.
• W2088113003 hasConcept C2834757 @default.
• W2088113003 hasConcept C311688 @default.
• W2088113003 hasConcept C33923547 @default.
• W2088113003 hasConcept C39637292 @default.
• W2088113003 hasConcept C41008148 @default.
• W2088113003 hasConcept C77553402 @default.
• W2088113003 hasConceptScore W2088113003C111472728 @default.
• W2088113003 hasConceptScore W2088113003C114614502 @default.
• W2088113003 hasConceptScore W2088113003C118615104 @default.
• W2088113003 hasConceptScore W2088113003C134026603 @default.
• W2088113003 hasConceptScore W2088113003C134306372 @default.
• W2088113003 hasConceptScore W2088113003C138885662 @default.
• W2088113003 hasConceptScore W2088113003C154945302 @default.
• W2088113003 hasConceptScore W2088113003C176181172 @default.
• W2088113003 hasConceptScore W2088113003C2524010 @default.
• W2088113003 hasConceptScore W2088113003C2777212361 @default.
• W2088113003 hasConceptScore W2088113003C2778023678 @default.
• W2088113003 hasConceptScore W2088113003C2780586882 @default.
• W2088113003 hasConceptScore W2088113003C2780990831 @default.
• W2088113003 hasConceptScore W2088113003C2781221856 @default.
• W2088113003 hasConceptScore W2088113003C2834757 @default.
• W2088113003 hasConceptScore W2088113003C311688 @default.
• W2088113003 hasConceptScore W2088113003C33923547 @default.
• W2088113003 hasConceptScore W2088113003C39637292 @default.
• W2088113003 hasConceptScore W2088113003C41008148 @default.
• W2088113003 hasConceptScore W2088113003C77553402 @default.
• W2088113003 hasFunder F4320334678 @default.
• W2088113003 hasFunder F4320338080 @default.
• W2088113003 hasLocation W20881130031 @default.
• W2088113003 hasLocation W20881130032 @default.
• W2088113003 hasLocation W20881130033 @default.
• W2088113003 hasLocation W20881130034 @default.
• W2088113003 hasLocation W20881130035 @default.
• W2088113003 hasLocation W20881130036 @default.
• W2088113003 hasLocation W20881130037 @default.
• W2088113003 hasLocation W20881130038 @default.
• W2088113003 hasLocation W20881130039 @default.
• W2088113003 hasOpenAccess W2088113003 @default.
• W2088113003 hasPrimaryLocation W20881130031 @default.
• W2088113003 hasRelatedWork W1531835879 @default.
• W2088113003 hasRelatedWork W1629505938 @default.
• W2088113003 hasRelatedWork W1833513464 @default.
• W2088113003 hasRelatedWork W2087824917 @default.
• W2088113003 hasRelatedWork W2088113003 @default.
• W2088113003 hasRelatedWork W2103947741 @default.
• W2088113003 hasRelatedWork W2465024128 @default.
• W2088113003 hasRelatedWork W3216169553 @default.
• W2088113003 hasRelatedWork W4286851273 @default.

• next