kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On the NP-hardness of approximating ordering-constraint satisfaction problems
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.ORCID iD: 0000-0001-8217-0158
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2015 (English)In: Theory of Computing, E-ISSN 1557-2862, Vol. 11, p. 257-283Article in journal (Refereed) Published
Abstract [en]

We show improved NPNP-hardness of approximating Ordering-Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum Acyclic Subgraph and Maximum Betweenness, we prove NPNP-hard approximation factors of 14/15+ε14/15+ε and 1/2+ε1/2+ε. When it is hard to approximate an OCSP by a constant better than taking a uniformly-at-random ordering, then the OCSP is said to be approximation resistant. We show that the Maximum Non-Betweenness Problem is approximation resistant and that there are width-mm approximation-resistant OCSPs accepting only a fraction 1/(m/2)! of assignments. These results provide the first examples of approximation-resistant OCSPs subject only to P≠NP.

Place, publisher, year, edition, pages
Theory of Computing Exchange , 2015. Vol. 11, p. 257-283
Keywords [en]
Acyclic subgraph, APPROX, Approximation, Approximation resistance, Betweenness, Constraint satisfaction, CSPs, Feedback arc set, Hypercontractivity, NP-completeness, Orderings, PCP, Probabilistically checkable proofs, Hardness, NP-hard, Feedback arc sets, Probabilistically checkable proof, Constraint satisfaction problems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-314134DOI: 10.4086/toc.2015.v011a010Scopus ID: 2-s2.0-85010635643OAI: oai:DiVA.org:kth-314134DiVA, id: diva2:1674004
Note

Not duplicate with DiVA 675596 which is a conference paper

QC 20220621

Available from: 2022-06-21 Created: 2022-06-21 Last updated: 2024-02-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Austrin, PerManokaran, RajsekarWenner, Cenny

Search in DiVA

By author/editor
Austrin, PerManokaran, RajsekarWenner, Cenny
By organisation
Theoretical Computer Science, TCS
In the same journal
Theory of Computing
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 92 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf