FRINK Linked Data Fragments server

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

• W2017271630 endingPage "26" @default.
• W2017271630 startingPage "13" @default.
• W2017271630 abstract "Producing a small DNF expression consistent with given data is a classical problem in computer science that occurs in a number of forms and has numerous applications. We consider two standard variants of this problem. The first one is two-level logic minimization or finding a minimum DNF formula consistent with a given complete truth table (TT-MinDNF). This problem was formulated by Quine in 1952 and has been since one of the key problems in logic design. It was proved NP-complete by Masek in 1979. The best known polynomial approximation algorithm is based on a reduction to the SET-COVER problem and produces a DNF formula of size O(d⋅OPT), where d is the number of variables. We prove that TT-MinDNF is NP-hard to approximate within dγ for some constant γ>0, establishing the first inapproximability result for the problem. The other DNF minimization problem we consider is PAC learning of DNF expressions when the learning algorithm must output a DNF expression as its hypothesis (referred to as proper learning). We prove that DNF expressions are NP-hard to PAC learn properly even when the learner has access to membership queries, thereby answering a long-standing open question due to Valiant [L.G. Valiant, A theory of the learnable, Comm. ACM 27 (11) (1984) 1134–1142]. Finally, we provide a concrete connection between these variants of DNF minimization problem. Specifically, we prove that inapproximability of TT-MinDNF implies hardness results for restricted proper learning of DNF expressions with membership queries even when learning with respect to the uniform distribution only." @default.
• W2017271630 created "2016-06-24" @default.
• W2017271630 creator A5054675941 @default.
• W2017271630 date "2009-01-01" @default.
• W2017271630 modified "2023-09-30" @default.
• W2017271630 title "Hardness of approximate two-level logic minimization and PAC learning with membership queries" @default.
• W2017271630 cites W1517311456 @default.
• W2017271630 cites W1846385217 @default.
• W2017271630 cites W1968160142 @default.
• W2017271630 cites W196871588 @default.
• W2017271630 cites W1972326543 @default.
• W2017271630 cites W1990948892 @default.
• W2017271630 cites W1998918799 @default.
• W2017271630 cites W2001002030 @default.
• W2017271630 cites W2001663593 @default.
• W2017271630 cites W2003159902 @default.
• W2017271630 cites W2017603160 @default.
• W2017271630 cites W2018094844 @default.
• W2017271630 cites W2026545811 @default.
• W2017271630 cites W2028265666 @default.
• W2017271630 cites W2047866469 @default.
• W2017271630 cites W2059453880 @default.
• W2017271630 cites W2088390444 @default.
• W2017271630 cites W2091401625 @default.
• W2017271630 cites W2115404728 @default.
• W2017271630 cites W2117049614 @default.
• W2017271630 cites W2130402533 @default.
• W2017271630 cites W2143996311 @default.
• W2017271630 cites W2149286688 @default.
• W2017271630 cites W2152221184 @default.
• W2017271630 cites W2157054705 @default.
• W2017271630 cites W2160227905 @default.
• W2017271630 cites W2164604747 @default.
• W2017271630 cites W3203591206 @default.
• W2017271630 cites W4210406996 @default.
• W2017271630 cites W4231510479 @default.
• W2017271630 cites W4233039852 @default.
• W2017271630 cites W4238893454 @default.
• W2017271630 cites W4253456425 @default.
• W2017271630 doi "https://doi.org/10.1016/j.jcss.2008.07.007" @default.
• W2017271630 hasPublicationYear "2009" @default.
• W2017271630 type Work @default.
• W2017271630 sameAs 2017271630 @default.
• W2017271630 citedByCount "30" @default.
• W2017271630 countsByYear W20172716302012 @default.
• W2017271630 countsByYear W20172716302013 @default.
• W2017271630 countsByYear W20172716302014 @default.
• W2017271630 countsByYear W20172716302015 @default.
• W2017271630 countsByYear W20172716302016 @default.
• W2017271630 countsByYear W20172716302017 @default.
• W2017271630 countsByYear W20172716302018 @default.
• W2017271630 countsByYear W20172716302019 @default.
• W2017271630 countsByYear W20172716302020 @default.
• W2017271630 countsByYear W20172716302021 @default.
• W2017271630 countsByYear W20172716302023 @default.
• W2017271630 crossrefType "journal-article" @default.
• W2017271630 hasAuthorship W2017271630A5054675941 @default.
• W2017271630 hasConcept C111335779 @default.
• W2017271630 hasConcept C112955886 @default.
• W2017271630 hasConcept C114614502 @default.
• W2017271630 hasConcept C118615104 @default.
• W2017271630 hasConcept C126255220 @default.
• W2017271630 hasConcept C127413603 @default.
• W2017271630 hasConcept C147764199 @default.
• W2017271630 hasConcept C148764684 @default.
• W2017271630 hasConcept C177264268 @default.
• W2017271630 hasConcept C199360897 @default.
• W2017271630 hasConcept C2524010 @default.
• W2017271630 hasConcept C2777027219 @default.
• W2017271630 hasConcept C2780428219 @default.
• W2017271630 hasConcept C311688 @default.
• W2017271630 hasConcept C33923547 @default.
• W2017271630 hasConcept C41008148 @default.
• W2017271630 hasConcept C78519656 @default.
• W2017271630 hasConcept C80444323 @default.
• W2017271630 hasConceptScore W2017271630C111335779 @default.
• W2017271630 hasConceptScore W2017271630C112955886 @default.
• W2017271630 hasConceptScore W2017271630C114614502 @default.
• W2017271630 hasConceptScore W2017271630C118615104 @default.
• W2017271630 hasConceptScore W2017271630C126255220 @default.
• W2017271630 hasConceptScore W2017271630C127413603 @default.
• W2017271630 hasConceptScore W2017271630C147764199 @default.
• W2017271630 hasConceptScore W2017271630C148764684 @default.
• W2017271630 hasConceptScore W2017271630C177264268 @default.
• W2017271630 hasConceptScore W2017271630C199360897 @default.
• W2017271630 hasConceptScore W2017271630C2524010 @default.
• W2017271630 hasConceptScore W2017271630C2777027219 @default.
• W2017271630 hasConceptScore W2017271630C2780428219 @default.
• W2017271630 hasConceptScore W2017271630C311688 @default.
• W2017271630 hasConceptScore W2017271630C33923547 @default.
• W2017271630 hasConceptScore W2017271630C41008148 @default.
• W2017271630 hasConceptScore W2017271630C78519656 @default.
• W2017271630 hasConceptScore W2017271630C80444323 @default.
• W2017271630 hasIssue "1" @default.
• W2017271630 hasLocation W20172716301 @default.
• W2017271630 hasOpenAccess W2017271630 @default.
• W2017271630 hasPrimaryLocation W20172716301 @default.
• W2017271630 hasRelatedWork W1565452214 @default.

• next