Conditional Dichotomy of Boolean Ordered Promise CSPs

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....

Celý popis

Podrobná bibliografie

Vydáno v:	TheoretiCS Ročník 2
Hlavní autoři:	Brakensiek, Joshua, Guruswami, Venkatesan, Sandeep, Sai
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	TheoretiCS Foundation e.V 25.01.2023
Témata:	computer science - computational complexity computer science - logic in computer science
ISSN:	2751-4838, 2751-4838
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!