A Simpler NP-Hardness Proof for Familial Graph Compression

research

∙ 07/08/2019

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]:...

research

∙ 02/03/2022

This paper provides a one-line proof of Frequent Directions (FD) for ske...

research

∙ 11/02/2018

The aim of this article is to employ the Lazy Set algorithm as an exampl...

research

∙ 02/04/2022

Building on the results published in arxiv:2004.12849 we present a gener...

research

∙ 04/02/2018

The notion of critical tuple was introduced by Miklau and Suciu (Gerome ...

research

∙ 03/20/2020

We show that for every integer k ≥ 2, the Res(k) propositional proof sys...

research

∙ 03/04/2014

These notes pose a "proof challenge": a proof, or disproof, of the propo...

Related Research