wp-plugin-hostgator
domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init
action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114ol-scrapes
domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init
action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114Source:https:\/\/www.quantamagazine.org\/researchers-approach-new-speed-limit-for-seminal-problem-20240129\/#comments<\/a><\/br> That\u2019s not to say it\u2019s easy work. It wasn\u2019t until 1983 that the mathematician Hendrik Lenstra<\/a> proved<\/a> that the general problem was even solvable, providing the first algorithm that could do it. Lenstra thought about ILP geometrically. First, he turned the inequalities at the heart of ILP into a convex shape, such as any regular polygon. This shape represents the constraints of the individual problem you\u2019re solving, whether it\u2019s couch production or airline scheduling, so the shape\u2019s interior corresponds to all possible values that could solve the inequalities, and thus the problem. Lenstra called this shape the convex body. The problem\u2019s dimension influences the dimension of this shape: With two variables it takes the form of a flat polygon; in three dimensions it is a Platonic solid<\/a>, and so on.<\/p>\n Lenstra next imagined all the integers as an infinite set of grid points, known in mathematics as a lattice. A two-dimensional version looks like a sea of dots, and in three dimensions it looks like the points where steel beams in a building connect. The dimension of the lattice also depends on the dimension of a given problem.<\/p>\n To solve a given ILP problem, Lenstra showed that you just look for where the possible solutions meet the set of integers: at the intersection of the convex body and the lattice. And he came up with an algorithm that could search this space exhaustively \u2014 but to be effective, it sometimes had to break the problem up into pieces of smaller dimensions, adding many steps to the runtime.<\/p>\n In the following years, several researchers explored how to make this algorithm run faster. In 1988, Ravi Kannan and L\u00e1szl\u00f3 Lov\u00e1sz introduced a concept called the covering radius, borrowed<\/a> from the study of error-correcting codes<\/a>, to help the convex body and lattice intersect more efficiently. Roughly, the covering radius makes sure that the convex body always contains at least one integer point, no matter where you place it on the lattice. As a result, the size of the covering radius also determines how efficiently you can solve the ILP problem.<\/p>\n So it all came down to determining the size of the ideal covering radius. Unfortunately, this proved to be a hard problem on its own, and the best Kannan and Lov\u00e1sz could do was narrow down a possible value by searching for upper and lower bounds. They showed that the upper bound \u2014 the maximum size of the covering radius \u2014 scaled up linearly with the dimension.<\/em> This was pretty fast, but not enough to significantly speed up the ILP runtime. Over the next 30 years, other researchers could only do slightly better.<\/p>\n What ultimately helped Reis and Rothvoss break through was an unrelated mathematical result that focused purely on lattices. In 2016, Oded Regev and Stephens-Davidowitz showed<\/a>, in effect, how many lattice points could fit within a specific shape. Reis and Rothvoss applied this to other shapes, which allowed them to better estimate the number of lattice points contained in an ILP covering radius, lowering the upper bound. \u201cThe latest breakthrough came with the realization that you can actually do other kinds of shapes,\u201d Regev said.<\/p>\n This new tightened upper bound was a vast improvement, allowing Reis and Rothvoss to achieve a dramatic speedup of the overall ILP algorithm. Their work brings the runtime to (log n<\/em>)O<\/sup><\/em>(n<\/em>)<\/sup>, where n<\/em> is the number of variables and O(n)<\/em>means it scales linearly with n<\/em>. (This expression is considered \u201calmost\u201d the same as the run time of the binary problem.)<\/p>\n \u201cIt\u2019s a triumph at the intersection of math, computer science and geometry,\u201d said Daniel Dadush<\/a> of the national research institute CWI in the Netherlands, who helped pioneer the algorithm Reis and Rothvoss used to measure the ILP runtime.<\/p>\n For now, the new algorithm hasn\u2019t actually been used to solve any logistical problems, since it would take too much work updating today\u2019s programs to make use of it. But for Rothvoss, that\u2019s beside the point. \u201cIt\u2019s about the theoretical understanding of a problem that has fundamental applications,\u201d he said.<\/p>\n As to whether the computational efficiency of ILP could be further improved, researchers are still hopeful that they\u2019ll keep approaching the ideal runtime \u2014 but not anytime soon. \u201cThat would require a fundamentally new idea,\u201d Vempala said.<\/span><\/p>\n<\/div>\n <\/br><\/br><\/br><\/p>\n
\nResearchers Approach New Speed Limit for Seminal Problem<\/br>
\n2024-01-30 21:58:09<\/br><\/p>\n