In this technical report the new version of the software Dgc tool is presented. This tool allows us to build up irregular graph pyramids by dual graph contraction. The graph pyramid consists of a stack of levels (pair of graphs), each of which has a primal level and its dual. Every successive level is a reduced version of the level below. Primal level and its dual represent a primal graph and i...

We propose a “cryptographic” interpretation for the propositional connectives of primal infon logic introduced by Y. Gurevich and I. Neeman and prove the corresponding soundness and completeness results. Primal implication φ→p ψ corresponds to the encryption of ψ with a secret key φ, primal disjunction φ ∨p ψ is a group key and ⊥ reflects some backdoor constructions such as full superuser permi...

We present a primal-dual algorithmic framework to obtain approximate solutions to a prototypical constrained convex optimization problem, and rigorously characterize how common structural assumptions affect the numerical efficiency. Our main analysis technique provides a fresh perspective on Nesterov’s excessive gap technique in a structured fashion and unifies it with smoothing and primal-dual...

Given an integer polyhedron PI ⊂ R, an integer point x̄ ∈ PI , and a point x∗ ∈ R \ PI , the primal separation problem is the problem of finding a linear inequality which is valid for PI , violated by x∗, and satisfied at equality by x̄. The primal separation problem plays a key role in the primal approach to integer programming. In this paper we examine the complexity of primal separation for se...

We propose a family of search directions based on primal-dual entropy in the context of interior point methods for linear programming. This new family contains previously proposed search directions in the context of primal-dual entropy. We analyze the new family of search directions by studying their primal-dual affine-scaling and constant-gap centering components. We then design primal-dual in...

We propose a polynomial time primal dual potential reduction algorithm for linear pro gramming The algorithm generates sequences d and v rather than a primal dual interior point xk sk where di q xi s k i and v k i q xi s k i for i n Only one element of d is changed in each iteration so that the work per iteration is bounded by O mn us ing rank one updating techniques The usual primal dual itera...

The geometric duality theory of Heyde and Löhne (2006) defines a dual to a multiple objective linear programme (MOLP). In objective space, the primal problem can be solved by Benson’s outer approximation method (Benson, 1998a,b) while the dual problem can be solved by a dual variant of Benson’s algorithm (Ehrgott et al., 2007). Duality theory then assures that it is possible to find the nondomi...

In this paper we propose two new nonsymmetric primal-dual potential-reduction methods for conic problems. The methods are based on the primal-dual lifting [5]. This procedure allows to construct a strictly feasible primal-dual pair related by an exact scaling relation even if the cones are not symmetric. It is important that all necessary elements of our methods can be obtained from the standar...

This paper presents two recurrent neural networks for solving the assignment problem. Simplifying the architecture of a recurrent neural network based on the primal assignment problem, the first recurrent neural network, called the primal assignment network, has less complex connectivity than its predecessor. The second recurrent neural network, called the dual assignment network, based on the ...

In this paper, we give a recursive formula for optimal dual barrier functions on homogeneous cones. This is done in a way similar to the primal construction of Güler and Tunçel [1] by means of the dual Siegel cone construction of Rothaus [2]. We use invariance of the primal barrier function with respect to a transitive subgroup of automorphisms and the properties of the duality mapping, which i...