ﻻ يوجد ملخص باللغة العربية
In this paper, we present a new linear programming (LP) formulation of the Traveling Salesman Problem (TSP). The proposed model has O(n^8) variables and O(n^7) constraints, where n is the number of cities. Our numerical experimentation shows that computational times for the proposed linear program are several orders of magnitude smaller than those for the existing model [3].
This paper has been withdrawn because Theorem 21 and Corollary 22 are in error; The modeling idea is OK, but it needs 9-dimensional variables instead of the 8-dimensional variables defined in notations 6.9. Examples of the correct model (with 9-ind
Three related analyses of $phi^4$ theory with $O(N)$ symmetry are presented. In the first, we review the $O(N)$ model over the $p$-adic numbers and the discrete renormalization group transformations which can be understood as spin blocking in an ultr
We determine, for the first time, the scaling dimensions of a family of fixed-charge operators stemming from the critical $O(N)$ model in 4-$epsilon$ dimensions to the leading and next to leading order terms in the charge expansion but to all-orders
In this paper, we present a new, graph-based modeling approach and a polynomial-sized linear programming (LP) formulation of the Boolean satisfiability problem (SAT). The approach is illustrated with a numerical example.
A new characterisation of Hamiltonian graphs using f-cutset matrix is proposed. A new exact polynomial time algorithm for the travelling salesman problem (TSP) based on this new characterisation is developed. We then define so called ordered weighted