Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Source. Section 8, printed pp. 129–130 (published original).

Scope. These are announced results. The introduction explicitly assigns the degree-constrained extension to another paper. Section 8 states them but does not prove them. No full-proof credit is attached to this page.

Let each vertex have an integer capacity dvd_v. In the usual nonempty case dv≥0d_v\ge0: a negative capacity contradicts nonnegativity of its incident sum. A zero capacity forces all incident coordinates to zero. Use E(S)E(S) for internal edges and δ(S)\delta(S) for edges with exactly one endpoint in SS.

Polyhedron I has the inequalities

xe≥0,∑e∋vxe≤dv,∑e∈E(S)xe≤r(∑v∈Sdv=2r+1, r≥1).x_e\ge0,\qquad \sum_{e\ni v}x_e\le d_v,\qquad \sum_{e\in E(S)}x_e\le r \quad\left(\sum_{v\in S}d_v=2r+1,\ r\ge1\right).

The announcement says all its extreme points have integer coordinates. They are edge multiplicities; no bound xe≤1x_e\le1 is imposed in this first polyhedron.

Polyhedron II has

0≤xe≤1,∑e∋vxe≤dv,0\le x_e\le1,\qquad \sum_{e\ni v}x_e\le d_v,

and, for every F⊆δ(S)F\subseteq\delta(S) with t=∣F∣t=|F| satisfying

∣{e∈F:e∋v}∣<dv(v∈S),t+∑v∈Sdv=2r+1,r≥1,|\{e\in F:e\ni v\}|<d_v\quad(v\in S),\qquad t+\sum_{v\in S}d_v=2r+1,\quad r\ge1,

the inequality

∑e∈E(S)∪Fxe≤r.\sum_{e\in E(S)\cup F}x_e\le r.

The announcement again says that all extreme points are integral; here they are zero-one. The local strict restriction on selected boundary-edge counts and the source's positive integer rr are retained. In particular, the displayed restriction admits no such SS containing a zero-capacity vertex.

When every dv=1d_v=1, Polyhedron I becomes the matching polytope, and in Polyhedron II the boundary restriction forces FF empty. The vertex inequalities already imply the individual upper bounds. Thus both specialize to Theorem P.

The last paragraph also announces an efficient algorithm for maximum-weight degree-constrained subgraphs. Neither its algorithm nor either general integrality proof is supplied by this six-page article. The present compilation does not replace those missing proofs by an appeal to the matching special case.