Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > CUTTING PLANE:
Reports tagged with cutting plane:
TR03-012 | 21st January 2003
Edward Hirsch, Arist Kojevnikov

#### Several notes on the power of Gomory-Chvatal cuts

We prove that the Cutting Plane proof system based on
Gomory-Chvatal cuts polynomially simulates the
lift-and-project system with integer coefficients
written in unary. The restriction on coefficients can be
omitted when using Krajicek's cut-free Gentzen-style extension
of both systems. We also prove that Tseitin tautologies
have short proofs in ... more >>>

TR05-006 | 28th December 2004
Edward Hirsch, Sergey I. Nikolenko

#### Simulating Cutting Plane proofs with restricted degree of falsity by Resolution

Goerdt (1991) considered a weakened version of the Cutting Plane proof system with a restriction on the degree of falsity of intermediate inequalities. (The degree of falsity of an inequality written in the form $\sum a_ix_i+\sum b_i(1-x_i)\ge c,\ a_i,b_i\ge0$ is its constant term $c$.) He proved a superpolynomial lower bound ... more >>>

TR16-202 | 19th December 2016
Dmitry Sokolov

#### Dag-like Communication and Its Applications

Revisions: 1

In 1990 Karchmer and Widgerson considered the following communication problem $Bit$: Alice and Bob know a function $f: \{0, 1\}^n \to \{0, 1\}$, Alice receives a point $x \in f^{-1}(1)$, Bob receives $y \in f^{-1}(0)$, and their goal is to find a position $i$ such that $x_i \neq y_i$. Karchmer ... more >>>

ISSN 1433-8092 | Imprint