Matches in SemOpenAlex for { <https://semopenalex.org/work/W3129403085> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3129403085 abstract "Promise Constraint Satisfaction Problems (PCSPs) are a generalization of Constraint Satisfaction Problems (CSPs) where each predicate has a strong and a weak form and given a CSP instance, the objective is to distinguish if the strong form can be satisfied vs. even the weak form cannot be satisfied. Since their formal introduction by Austrin, Guruswami, and Haa stad, there has been a flurry of works on PCSPs [BBKO19,KO19,WZ20]. The key tool in studying PCSPs is the algebraic framework developed in the context of CSPs where the closure properties of the satisfying solutions known as the polymorphisms are analyzed. The polymorphisms of PCSPs are much richer than CSPs. In the Boolean case, we still do not know if dichotomy for PCSPs exists analogous to Schaefer's dichotomy result for CSPs. In this paper, we study a special case of Boolean PCSPs, namely Boolean Ordered PCSPs where the Boolean PCSPs have the predicate $x leq y$. In the algebraic framework, this is the special case of Boolean PCSPs when the polymorphisms are monotone functions. We prove that Boolean Ordered PCSPs exhibit a computational dichotomy assuming the Rich 2-to-1 Conjecture [BKM21] which is a perfect completeness surrogate of the Unique Games Conjecture. Assuming the Rich 2-to-1 Conjecture, we prove that a Boolean Ordered PCSP can be solved in polynomial time if for every $epsilon>0$, it has polymorphisms where each coordinate has Shapley value at most $epsilon$, else it is NP-hard. The algorithmic part of our dichotomy is based on a structural lemma that Boolean monotone functions with each coordinate having low Shapley value have arbitrarily large threshold functions as minors. The hardness part proceeds by showing that the Shapley value is consistent under a uniformly random 2-to-1 minor. Of independent interest, we show that the Shapley value can be inconsistent under an adversarial 2-to-1 minor." @default.
- W3129403085 created "2021-03-01" @default.
- W3129403085 creator A5028220417 @default.
- W3129403085 creator A5037047447 @default.
- W3129403085 creator A5068388812 @default.
- W3129403085 date "2023-01-25" @default.
- W3129403085 modified "2023-10-07" @default.
- W3129403085 title "Conditional Dichotomy of Boolean Ordered Promise CSPs" @default.
- W3129403085 cites W1891181203 @default.
- W3129403085 cites W2096478102 @default.
- W3129403085 cites W2120358419 @default.
- W3129403085 cites W2150339067 @default.
- W3129403085 cites W2776885602 @default.
- W3129403085 cites W3133822674 @default.
- W3129403085 doi "https://doi.org/10.46298/theoretics.23.2" @default.
- W3129403085 hasPublicationYear "2023" @default.
- W3129403085 type Work @default.
- W3129403085 sameAs 3129403085 @default.
- W3129403085 citedByCount "1" @default.
- W3129403085 countsByYear W31294030852023 @default.
- W3129403085 crossrefType "journal-article" @default.
- W3129403085 hasAuthorship W3129403085A5028220417 @default.
- W3129403085 hasAuthorship W3129403085A5037047447 @default.
- W3129403085 hasAuthorship W3129403085A5068388812 @default.
- W3129403085 hasBestOaLocation W31294030851 @default.
- W3129403085 hasConcept C105795698 @default.
- W3129403085 hasConcept C111797529 @default.
- W3129403085 hasConcept C114614502 @default.
- W3129403085 hasConcept C118615104 @default.
- W3129403085 hasConcept C134306372 @default.
- W3129403085 hasConcept C187455244 @default.
- W3129403085 hasConcept C199622910 @default.
- W3129403085 hasConcept C2524010 @default.
- W3129403085 hasConcept C2780990831 @default.
- W3129403085 hasConcept C2834757 @default.
- W3129403085 hasConcept C33923547 @default.
- W3129403085 hasConcept C49937458 @default.
- W3129403085 hasConcept C9376300 @default.
- W3129403085 hasConceptScore W3129403085C105795698 @default.
- W3129403085 hasConceptScore W3129403085C111797529 @default.
- W3129403085 hasConceptScore W3129403085C114614502 @default.
- W3129403085 hasConceptScore W3129403085C118615104 @default.
- W3129403085 hasConceptScore W3129403085C134306372 @default.
- W3129403085 hasConceptScore W3129403085C187455244 @default.
- W3129403085 hasConceptScore W3129403085C199622910 @default.
- W3129403085 hasConceptScore W3129403085C2524010 @default.
- W3129403085 hasConceptScore W3129403085C2780990831 @default.
- W3129403085 hasConceptScore W3129403085C2834757 @default.
- W3129403085 hasConceptScore W3129403085C33923547 @default.
- W3129403085 hasConceptScore W3129403085C49937458 @default.
- W3129403085 hasConceptScore W3129403085C9376300 @default.
- W3129403085 hasLocation W31294030851 @default.
- W3129403085 hasLocation W31294030852 @default.
- W3129403085 hasOpenAccess W3129403085 @default.
- W3129403085 hasPrimaryLocation W31294030851 @default.
- W3129403085 hasRelatedWork W1495791143 @default.
- W3129403085 hasRelatedWork W1714759042 @default.
- W3129403085 hasRelatedWork W1957393600 @default.
- W3129403085 hasRelatedWork W1985196773 @default.
- W3129403085 hasRelatedWork W1993828478 @default.
- W3129403085 hasRelatedWork W2006534764 @default.
- W3129403085 hasRelatedWork W2090188355 @default.
- W3129403085 hasRelatedWork W2474705870 @default.
- W3129403085 hasRelatedWork W2765984615 @default.
- W3129403085 hasRelatedWork W3029403467 @default.
- W3129403085 hasVolume "Volume 2" @default.
- W3129403085 isParatext "false" @default.
- W3129403085 isRetracted "false" @default.
- W3129403085 magId "3129403085" @default.
- W3129403085 workType "article" @default.