Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577891761> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1577891761 abstract "An instance of a Boolean constraint satisfaction problem, CSP, consists of a set of constraints acting over a set of Boolean variables. The objective is to find an assignment to the variables that satisfies all the constraints. In the maximization version, Max CSP, each constraint has a weight and the objective is to find an assignment such that the weight of satisfied constraints is maximized. By specifying which types of constraints that are allowed we create subproblems to Max CSP. For example, an instance of Max kCSP only contains constraints that act over at most k different variables. Another problem is Max CSP(P), where P is a predicate, i.e., a Boolean function. In such an instance P is used to determine if a constraint is satisfied or not. Both Max kCSP and Max CSP(P) are NP-hard to solve optimally for k ≥ 2 and predicates P that depend on at least two input values. Therefore, we consider efficient approximation algorithms for these two problems. A trivial algorithm is to assign all variables a random value. Somewhat surprisingly, Hastad showed that using this random assignment approach is essentially optimal for approximating Max CSP(P), for some predicates P. We call such predicates approximation resistant. Goemans and Williamson introduced an approximation method that relaxes problems into semidefinite programs. Using this method they show that for predicates P of arity two, it is possible to outperform a random assignment in approximating Max CSP(P). By extending this technique Zwick characterized all predicates of arity three as either approximation resistant or not. In this thesis we consider predicates of arity larger than three. We extend the work of Hastad and the work of Samorodnitsky and Trevisan in order to show predicates to be approximation resistant. We also use semidefinite relaxation algorithms in order to show that predicates are not approximation resistant. In particular we show that predicates with few non-accepting inputs are approximation resistant and that predicates with few accepting inputs are not approximation resistant. We study predicates of arity four more closely and characterize 354 out of 400 predicate types. Max kCSP is 2-k-approximated by a random assignment and previously no algorithms were known to outperform such an algorithm with more than a small constant factor. In this thesis a probabilistic Ω (2k+log k-log log k)-approximation for Max kCSP is presented." @default.
- W1577891761 created "2016-06-24" @default.
- W1577891761 creator A5039548377 @default.
- W1577891761 date "2005-01-01" @default.
- W1577891761 modified "2023-09-24" @default.
- W1577891761 title "Beating a Random Assignment : Approximating Constraint Satisfaction Problems" @default.
- W1577891761 cites W1967935161 @default.
- W1577891761 cites W1983592887 @default.
- W1577891761 cites W2026820987 @default.
- W1577891761 cites W2094135928 @default.
- W1577891761 cites W2126160338 @default.
- W1577891761 cites W2146489710 @default.
- W1577891761 hasPublicationYear "2005" @default.
- W1577891761 type Work @default.
- W1577891761 sameAs 1577891761 @default.
- W1577891761 citedByCount "4" @default.
- W1577891761 countsByYear W15778917612019 @default.
- W1577891761 crossrefType "journal-article" @default.
- W1577891761 hasAuthorship W1577891761A5039548377 @default.
- W1577891761 hasConcept C105795698 @default.
- W1577891761 hasConcept C110546421 @default.
- W1577891761 hasConcept C111797529 @default.
- W1577891761 hasConcept C114614502 @default.
- W1577891761 hasConcept C118615104 @default.
- W1577891761 hasConcept C122123141 @default.
- W1577891761 hasConcept C126255220 @default.
- W1577891761 hasConcept C148764684 @default.
- W1577891761 hasConcept C177264268 @default.
- W1577891761 hasConcept C187455244 @default.
- W1577891761 hasConcept C199360897 @default.
- W1577891761 hasConcept C199622910 @default.
- W1577891761 hasConcept C2524010 @default.
- W1577891761 hasConcept C2776036281 @default.
- W1577891761 hasConcept C33923547 @default.
- W1577891761 hasConcept C41008148 @default.
- W1577891761 hasConcept C44616089 @default.
- W1577891761 hasConcept C49937458 @default.
- W1577891761 hasConcept C7342684 @default.
- W1577891761 hasConceptScore W1577891761C105795698 @default.
- W1577891761 hasConceptScore W1577891761C110546421 @default.
- W1577891761 hasConceptScore W1577891761C111797529 @default.
- W1577891761 hasConceptScore W1577891761C114614502 @default.
- W1577891761 hasConceptScore W1577891761C118615104 @default.
- W1577891761 hasConceptScore W1577891761C122123141 @default.
- W1577891761 hasConceptScore W1577891761C126255220 @default.
- W1577891761 hasConceptScore W1577891761C148764684 @default.
- W1577891761 hasConceptScore W1577891761C177264268 @default.
- W1577891761 hasConceptScore W1577891761C187455244 @default.
- W1577891761 hasConceptScore W1577891761C199360897 @default.
- W1577891761 hasConceptScore W1577891761C199622910 @default.
- W1577891761 hasConceptScore W1577891761C2524010 @default.
- W1577891761 hasConceptScore W1577891761C2776036281 @default.
- W1577891761 hasConceptScore W1577891761C33923547 @default.
- W1577891761 hasConceptScore W1577891761C41008148 @default.
- W1577891761 hasConceptScore W1577891761C44616089 @default.
- W1577891761 hasConceptScore W1577891761C49937458 @default.
- W1577891761 hasConceptScore W1577891761C7342684 @default.
- W1577891761 hasLocation W15778917611 @default.
- W1577891761 hasOpenAccess W1577891761 @default.
- W1577891761 hasPrimaryLocation W15778917611 @default.
- W1577891761 hasRelatedWork W1967935161 @default.
- W1577891761 hasRelatedWork W1975810219 @default.
- W1577891761 hasRelatedWork W1999032440 @default.
- W1577891761 hasRelatedWork W2091921997 @default.
- W1577891761 hasRelatedWork W2110871651 @default.
- W1577891761 hasRelatedWork W2120358419 @default.
- W1577891761 hasRelatedWork W2179897858 @default.
- W1577891761 hasRelatedWork W2225611404 @default.
- W1577891761 hasRelatedWork W2395203423 @default.
- W1577891761 hasRelatedWork W2810234934 @default.
- W1577891761 hasRelatedWork W2891511423 @default.
- W1577891761 hasRelatedWork W2897832227 @default.
- W1577891761 hasRelatedWork W2949361196 @default.
- W1577891761 hasRelatedWork W2950771174 @default.
- W1577891761 hasRelatedWork W2952881406 @default.
- W1577891761 hasRelatedWork W2952981805 @default.
- W1577891761 hasRelatedWork W3037538996 @default.
- W1577891761 hasRelatedWork W3081740732 @default.
- W1577891761 hasRelatedWork W3157355167 @default.
- W1577891761 hasRelatedWork W2186768006 @default.
- W1577891761 isParatext "false" @default.
- W1577891761 isRetracted "false" @default.
- W1577891761 magId "1577891761" @default.
- W1577891761 workType "article" @default.