Matches in SemOpenAlex for { <https://semopenalex.org/work/W109561861> ?p ?o ?g. }
- W109561861 abstract "Intractable problems are hard to solve. Since the work “has to be done”, various solutions have been developed. The two classical ones are the language restriction and the approximation. The first solution is to admit input strings only if they have a certain form. The second one is to find a solution that can be sometimes incorrect. In this dissertation we concentrate on compilation. The basic scenario is the following one: we have an intractable problem, thus a problem for which it is believed no polynomial algorithm exists. However, each instance of this problem is composed of two parts, one (called the fixed part is known in advance, while the other (called the varying part) only comes at execution time. Our idea is to solve the problem in two steps: 1. Take the fixed part and compile it into a new data structure; 2. Take the new data structure and the varying part, and produce the output. If the second step can be accomplished in polynomial time, the problem is said to be compilable to polynomial time, that is, after a preprocessing, the cost of solving it is only polynomial. The dissertation contains a formal definition of compilation and compilability of hard problems. Namely, two hierarchies of classes of problems (similar to the polynomial hierarchy) are defined. One of them is used to prove that problems are compilable, while the other one is mainly used to prove that some problems are not compilable. Applications of this framework includes: compilability of AI problems, problems on graphs, compact representation of AI operators. A comparison with the non-uniform polynomial hierarchy and with the FPT classes are given." @default.
- W109561861 created "2016-06-24" @default.
- W109561861 creator A5008581096 @default.
- W109561861 date "2004-01-01" @default.
- W109561861 modified "2023-09-27" @default.
- W109561861 title "Compilation of Intractable Problems and Its Application to Artificial Intelligence" @default.
- W109561861 cites W111945848 @default.
- W109561861 cites W116450752 @default.
- W109561861 cites W1216620507 @default.
- W109561861 cites W128812405 @default.
- W109561861 cites W137603104 @default.
- W109561861 cites W1505432843 @default.
- W109561861 cites W1540422960 @default.
- W109561861 cites W1543451444 @default.
- W109561861 cites W1575886793 @default.
- W109561861 cites W1593890373 @default.
- W109561861 cites W1598141101 @default.
- W109561861 cites W164606784 @default.
- W109561861 cites W175768675 @default.
- W109561861 cites W1784873952 @default.
- W109561861 cites W178964078 @default.
- W109561861 cites W183418742 @default.
- W109561861 cites W1883191840 @default.
- W109561861 cites W1970089350 @default.
- W109561861 cites W1975442866 @default.
- W109561861 cites W1982345710 @default.
- W109561861 cites W1986602165 @default.
- W109561861 cites W1989492347 @default.
- W109561861 cites W1993512664 @default.
- W109561861 cites W2007457223 @default.
- W109561861 cites W2008294142 @default.
- W109561861 cites W2011039300 @default.
- W109561861 cites W2011992362 @default.
- W109561861 cites W2017956822 @default.
- W109561861 cites W2022841964 @default.
- W109561861 cites W2023141722 @default.
- W109561861 cites W2024971746 @default.
- W109561861 cites W2030335628 @default.
- W109561861 cites W2036900631 @default.
- W109561861 cites W2057052228 @default.
- W109561861 cites W2067590843 @default.
- W109561861 cites W2083568285 @default.
- W109561861 cites W2085022454 @default.
- W109561861 cites W2088631785 @default.
- W109561861 cites W2124299249 @default.
- W109561861 cites W2129345658 @default.
- W109561861 cites W2138162238 @default.
- W109561861 cites W2138359650 @default.
- W109561861 cites W2146394036 @default.
- W109561861 cites W2149420462 @default.
- W109561861 cites W2155322595 @default.
- W109561861 cites W2159800242 @default.
- W109561861 cites W2160579271 @default.
- W109561861 cites W22705001 @default.
- W109561861 cites W2575431418 @default.
- W109561861 cites W2666015 @default.
- W109561861 cites W2945259913 @default.
- W109561861 cites W54673468 @default.
- W109561861 cites W68974267 @default.
- W109561861 cites W81942528 @default.
- W109561861 cites W84120850 @default.
- W109561861 cites W2891212941 @default.
- W109561861 cites W8785928 @default.
- W109561861 hasPublicationYear "2004" @default.
- W109561861 type Work @default.
- W109561861 sameAs 109561861 @default.
- W109561861 citedByCount "3" @default.
- W109561861 countsByYear W1095618612016 @default.
- W109561861 crossrefType "journal-article" @default.
- W109561861 hasAuthorship W109561861A5008581096 @default.
- W109561861 hasConcept C11413529 @default.
- W109561861 hasConcept C134306372 @default.
- W109561861 hasConcept C162324750 @default.
- W109561861 hasConcept C169590947 @default.
- W109561861 hasConcept C199360897 @default.
- W109561861 hasConcept C2776013622 @default.
- W109561861 hasConcept C311688 @default.
- W109561861 hasConcept C31170391 @default.
- W109561861 hasConcept C33923547 @default.
- W109561861 hasConcept C34447519 @default.
- W109561861 hasConcept C41008148 @default.
- W109561861 hasConcept C80444323 @default.
- W109561861 hasConcept C90119067 @default.
- W109561861 hasConceptScore W109561861C11413529 @default.
- W109561861 hasConceptScore W109561861C134306372 @default.
- W109561861 hasConceptScore W109561861C162324750 @default.
- W109561861 hasConceptScore W109561861C169590947 @default.
- W109561861 hasConceptScore W109561861C199360897 @default.
- W109561861 hasConceptScore W109561861C2776013622 @default.
- W109561861 hasConceptScore W109561861C311688 @default.
- W109561861 hasConceptScore W109561861C31170391 @default.
- W109561861 hasConceptScore W109561861C33923547 @default.
- W109561861 hasConceptScore W109561861C34447519 @default.
- W109561861 hasConceptScore W109561861C41008148 @default.
- W109561861 hasConceptScore W109561861C80444323 @default.
- W109561861 hasConceptScore W109561861C90119067 @default.
- W109561861 hasLocation W1095618611 @default.
- W109561861 hasOpenAccess W109561861 @default.
- W109561861 hasPrimaryLocation W1095618611 @default.
- W109561861 hasRelatedWork W1994780908 @default.