Yes, for arbitrary signed weights. A hyperedge meets both and exactly when it meets both and . Therefore , and their weighted sums agree. The hypergraph cut function is a symmetric set function regardless of the signs of its weights.
No. Take the hypergraph with and its single hyperedge of weight . Then but , violating the monotone set function property. This example already has strictly positive weights.
No for arbitrary signed weights. Give the same single hyperedge weight . For and ,
This directly violates the defining inequality for a submodular set function.
With nonnegative weights, the hypergraph cut function is a symmetric set function and a submodular set function, but need not be a monotone set function. The proofs of symmetry and failure of monotonicity in (i) and (ii) still apply.
For submodularity, write , where is the indicator function that meets both sides. Fix . If , its marginal increment is zero. If , let and . Its marginal increment is
For , the middle case is absent. As grows without acquiring , can only increase, so these marginal increments can only decrease. Each therefore satisfies diminishing returns. Multiplying by and summing preserves the inequality, proving submodularity of .

Articles by others on the same topic (0)

There are currently no matching articles.