PCP Theorems, SETH and More: Towards Proving Sub-linear Time Inapproximability

11/04/2020
by   Hengzhao Ma, et al.
0

In this paper we propose the PCP-like theorem for sub-linear time inapproximability. Abboud et al. have devised the distributed PCP framework for sub-quadratic time inapproximability. We show that the distributed PCP theorem can be generalized for proving arbitrary polynomial time inapproximability, but fails in the linear case. We prove the sub-linear PCP theorem by adapting from an MA-protocol for the Set Containment problem, and show how to use the theorem to prove both existing and new inapproximability results, exhibiting the power of the sub-linear PCP theorem. Considering the emerging research works on sub-linear time algorithms, the sub-linear PCP theorem is important in guiding the research in sub-linear time approximation algorithms.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/04/2021

The PCP-like Theorem for Sub-linear Time Inapproximability

In this paper we propose the PCP-like theorem for sub-linear time inappr...
10/01/2020

Erratum to "Frequency Linear-time Temporal Logic"

We correct our proof of a theorem stating that satisfiability of frequen...
11/14/2019

Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six

We consider the problem of counting all k-vertex subgraphs in an input g...
06/20/2019

Designing Game of Theorems

"Theorem proving is similar to the game of Go. So, we can probably impro...
11/17/2020

Optimizing Offer Sets in Sub-Linear Time

Personalization and recommendations are now accepted as core competencie...
04/08/2019

Minimum Enclosing Ball Revisited: Stability and Sub-linear Time Algorithms

In this paper, we revisit the Minimum Enclosing Ball (MEB) problem and i...
05/26/2021

Boltzmann sampling of irreducible context-free structures in linear time

We continue our program of improving the complexity of so-called Boltzma...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.