-
On the Hardness of Almost All Subset Sum Problems by Ordinary Branch-and-Bound
Authors:
Mustafa Kemal Tural
Abstract:
Given $n$ positive integers $a_1,a_2,\dots,a_n$, and a positive integer right hand side $β$, we consider the feasibility version of the subset sum problem which is the problem of determining whether a subset of $a_1,a_2,\dots,a_n$ adds up to $β$. We show that if the right hand side $β$ is chosen as $\lfloor r\sum_{j=1}^n a_j \rfloor$ for a constant $0 < r < 1$ and if the $a_j$'s are independentand…
▽ More
Given $n$ positive integers $a_1,a_2,\dots,a_n$, and a positive integer right hand side $β$, we consider the feasibility version of the subset sum problem which is the problem of determining whether a subset of $a_1,a_2,\dots,a_n$ adds up to $β$. We show that if the right hand side $β$ is chosen as $\lfloor r\sum_{j=1}^n a_j \rfloor$ for a constant $0 < r < 1$ and if the $a_j$'s are independentand identically distributed from a discrete uniform distribution taking values ${1,2,\dots,\lfloor 10^{n/2} \rfloor }$, then the probability that the instance of the subset sum problem generated requires the creation of an exponential number of branch-and-bound nodes when one branches on the individual variables in any order goes to $1$ as $n$ goes to infinity.
△ Less
Submitted 4 January, 2020;
originally announced January 2020.
-
The TAC IR FEL Oscillator Facility Project
Authors:
B. Ketenoglu,
A. Aksoy,
O. Yavas,
M. Tural,
O. Karsli,
S. Ozkorucuklu,
P. Arikan,
E. Kasap,
H. Yildiz,
B. Bilen,
H. Aksakal,
I. Tapan
Abstract:
The TAC (Turkish Accelerator Center) IR FEL Oscillator facility, which has been supported by Turkish State Planning Organization (SPO) since 2006, will be based on a 15-40 MeV electron linac accompanying two different undulators with 2.5 cm and 9 cm periods in order to obtain IR FEL ranging between 2-250 microns. The electron linac will consist of two sequenced modules, each housing two 9-cell s…
▽ More
The TAC (Turkish Accelerator Center) IR FEL Oscillator facility, which has been supported by Turkish State Planning Organization (SPO) since 2006, will be based on a 15-40 MeV electron linac accompanying two different undulators with 2.5 cm and 9 cm periods in order to obtain IR FEL ranging between 2-250 microns. The electron linac will consist of two sequenced modules, each housing two 9-cell superconducting TESLA cavities for cw operation. It is planned that the TAC IR FEL facility will be completed in 2012 at Golbasi campus of Ankara University. This facility will give an opportunity to the scientists and industry to use FEL in research and development in Turkey and our region. In this study, the results of optimization studies and present plans about construction process of the facility are presented.
△ Less
Submitted 12 November, 2009;
originally announced November 2009.
-
Technical Design Studies of TAC SASE FEL Proposal
Authors:
B. Ketenoglu,
O. Yavas,
M. Tural,
S. Ozkorucuklu,
I. Tapan,
O. Sahin,
P. Arikan
Abstract:
A SASE FEL facility was first proposed in Feasibility Report of the TAC (Turkish Accelerator Center) project in 2000. Conceptual Design Report (CDR) of the project was completed in 2005. Technical Design Report (TDR) studies of TAC were started in 2006 in frame of an inter universities project with support of State Planning Organization (SPO) of Turkey. Main goal of the SASE FEL proposal is to c…
▽ More
A SASE FEL facility was first proposed in Feasibility Report of the TAC (Turkish Accelerator Center) project in 2000. Conceptual Design Report (CDR) of the project was completed in 2005. Technical Design Report (TDR) studies of TAC were started in 2006 in frame of an inter universities project with support of State Planning Organization (SPO) of Turkey. Main goal of the SASE FEL proposal is to cover VUV and soft X-rays region of the spectrum besides IR-FEL, Bremsstrahlung and Synchrotron Radiation proposals of TAC. Up to now, optimization studies based on a special RF linac or an Energy Recovery Linac (ERL) for the SASE FEL facility, were completed. Today, ERLs provide a powerful broad range of applications like: electron cooling devices, high average brightness, high power FELs, short-pulse radiation sources and high luminosity colliders. In this study, main parameters for two linac options and SASE FEL are given.
△ Less
Submitted 12 November, 2009;
originally announced November 2009.
-
Basis Reduction, and the Complexity of Branch-and-Bound
Authors:
Gabor Pataki,
Mustafa Tural
Abstract:
The classical branch-and-bound algorithm for the integer feasibility problem has exponential worst case complexity.
We prove that it is surprisingly efficient on reformulated problems, in which the columns of the constraint matrix are short, and near orthogonal, i.e. a reduced basis of the generated lattice; when the entries of A (the dense part of the constraint matrix) are from {1, ..., M} f…
▽ More
The classical branch-and-bound algorithm for the integer feasibility problem has exponential worst case complexity.
We prove that it is surprisingly efficient on reformulated problems, in which the columns of the constraint matrix are short, and near orthogonal, i.e. a reduced basis of the generated lattice; when the entries of A (the dense part of the constraint matrix) are from {1, ..., M} for a large enough M, branch-and-bound solves almost all reformulated instances at the rootnode. We also prove an upper bound on the width of the reformulations along the last unit vector.
The analysis builds on the ideas of Furst and Kannan to bound the number of integral matrices for which the shortest vectors of certain lattices are long, and also uses a bound on the size of the branch-and-bound tree based on the norms of the Gram-Schmidt vectors of the constraint matrix.
We explore practical aspects of these results. First, we compute numerical values of M which guarantee that 90, and 99 percent of the reformulated problems solve at the root: these turn out to be surprisingly small when the problem size is moderate. Second, we confirm with a computational study that random integer programs become easier, as the coefficients grow.
△ Less
Submitted 27 July, 2009; v1 submitted 15 July, 2009;
originally announced July 2009.
-
Branching proofs of infeasibility in low density subset sum problems
Authors:
Gabor Pataki,
Mustafa Tural
Abstract:
We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a hyperplane, i.e. by a methodology dual to the one explored by Lagarias and Odlyzko; Frieze; Furst and Kannan; and Coster et. al.
The proof has two ingredients. W…
▽ More
We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a hyperplane, i.e. by a methodology dual to the one explored by Lagarias and Odlyzko; Frieze; Furst and Kannan; and Coster et. al.
The proof has two ingredients. We first prove that a vector that is near parallel to $a$ is a suitable branching direction, regardless of the density. Then we show that for a low density $a$ such a near parallel vector can be computed using diophantine approximation, via a methodology introduced by Frank and Tardos.
We also show that there is a small number of long intervals whose disjoint union covers the integer right hand sides, for which the infeasibility is proven by branching on the above hyperplane.
△ Less
Submitted 31 July, 2008;
originally announced August 2008.
-
Parallel Approximation and Integer Programming Reformulation
Authors:
Gabor Pataki,
Mustafa Tural
Abstract:
We show that in a knapsack feasibility problem an integral vector $p$, which is short, and near parallel to the constraint vector gives a branching direction with small integer width.
We use this result to analyze two computationally efficient reformulation techniques on low density knapsack problems. Both reformulations have a constraint matrix with columns reduced in the sense of Lenstra, Le…
▽ More
We show that in a knapsack feasibility problem an integral vector $p$, which is short, and near parallel to the constraint vector gives a branching direction with small integer width.
We use this result to analyze two computationally efficient reformulation techniques on low density knapsack problems. Both reformulations have a constraint matrix with columns reduced in the sense of Lenstra, Lenstra, and Lovász. We prove an upper bound on the integer width along the last variable, which becomes 1, when the density is sufficiently small.
In the proof we extract from the transformation matrices a vector which is near parallel to the constraint vector $a.$ The near parallel vector is a good branching direction in the original knapsack problem, and this transfers to the last variable in the reformulations.
△ Less
Submitted 21 July, 2008;
originally announced July 2008.
-
On sublattice determinants in reduced bases
Authors:
Gabor Pataki,
Mustafa Tural
Abstract:
We prove several inequalities on the determinants of sublattices in LLL-reduced bases. They generalize the inequalities on the length of the shortest vector proven by Lenstra, Lenstra, and Lovasz, and show that LLL-reduction finds not only a short vector, but more generally, sublattices with small determinants. We also prove new upper bounds on the product of the norms of the first few vectors.
We prove several inequalities on the determinants of sublattices in LLL-reduced bases. They generalize the inequalities on the length of the shortest vector proven by Lenstra, Lenstra, and Lovasz, and show that LLL-reduction finds not only a short vector, but more generally, sublattices with small determinants. We also prove new upper bounds on the product of the norms of the first few vectors.
△ Less
Submitted 8 May, 2008; v1 submitted 24 April, 2008;
originally announced April 2008.
