Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:


New methods of solving ’hard’ computer problems


There are some computer problems so hard that computer scientists consider them out of reach. They label them "intractable" and move on.

But researchers at Cornell University, Ithaca, N.Y., have developed tools to solve such problems, at least in certain practical situations. Mostly their approach is to have the computer do what a human being might do: stop, go back and start over and try something different.

"Even though these problems are intractable in the worst cases, we can find structure in real-world problems that we can exploit so that the problems do not fall into the worst-case scenario," explains Carla Gomes, Cornell associate professor of computing and information science and applied economics and management.

Gomes and coworker Bart Selman, Cornell associate professor of computer science, have studied these hard problems for several years. Gomes will describe the work and outline some new techniques for dealing with hard problems in a talk at today (Feb. 21) at 2 p.m. at the annual meeting of the American Association for the Advancement of Science at the Marriott Wardman Park hotel, Washington, DC. Her talk is part of a symposium on "The Pervasiveness of Extreme Events in Science, Economics and Engineering." Selman is the moderator of the session. Gomes is director of the Cornell Intelligent Information Systems Institute.

The hard problems are "combinatorial," in that the computer is given a large set of variables and is programmed to come up with the most effective combination of values to assign to the variables to meet certain constraints. Examples include scheduling airline flights, routing electric power through a grid, predicting economic trends, proving that a computer program performs as intended in every case, and of course the classic: playing chess.

Computers attack these problems by trying every possible combination and selecting the one with the best outcome -- or, sometimes, the first decent answer that shows up. An airline, for example, might want the best way to route its 24 aircraft over the next two weeks with six flights a day into 15 airports, using 50 pilots and 65 co-pilots, choosing a result that uses the least fuel. The computer starts choosing different combinations of value settings, creating an ever-expanding tree of possibilities, repeating the process until all possibilities have been compared, or an adequate solution is found. Computers can do this a lot faster than human beings.

The catch is that sometimes the computer chooses a tree that takes too long to complete, even by computer standards. For some problems, a graph of the time it takes to evaluate each of the many possible trees is a skewed version of the traditional "bell curve," with a tail that extends very far to the right. In other words, there are a large number of possible combinations that take a long time to try. If the computer gets lucky and finds a good solution before it gets around to trying one of those difficult ones, the answer comes up in a few minutes or seconds. But if it happens to hit a combination in the "heavy tail" of the graph, the analysis could take anywhere from days to millennia.

This explains why parallel cluster computers often can solve combinatorial problems more easily, Gomes notes. Each processor is trying a different path, and while some may be stuck on the heavy tails, sometimes one processor gets lucky. Computer scientists refer to this as a "super-linear speedup."

Gomes, Selman and others have come up with a number of strategies to deal with heavy-tailed phenomena in computational problems. One of the most effective approaches is to find a "backdoor set" -- a small number of key variables whose values can be fixed in advance. In an airline scheduling problem with 10,000 variables, Gomes says, sometimes fixing just 12 of them ahead of time makes the problem easy. Most airline scheduling is still done by hand, she notes, and the people who do it use a similar approach, nailing down certain key flights and then filling in the rest of the schedule.

"Humans are very good at seeing the big picture and seeing what’s critical," she explains, Chess-playing computers, she points out, analyze every possible move and its consequences many moves ahead, while chess master Gary Kasparov only analyzes a few possible lines of play that his experience suggests.

The mathematical models of heavy-tailed phenomena, Gomes says, have applications outside computer science. In natural language, for example, word frequency is heavy-tailed: the center of the bell curve represents common words, but there are many, many words used infrequently. Statistics of hits on the World Wide Web exhibit heavy-tails because there are a few sites that are very popular, and many that are rarely visited. Massive power blackouts are one demonstration that the probability of extreme events is more real than previously thought.

Bill Steele | EurekAlert!
Further information:

More articles from Information Technology:

nachricht Next Generation Cryptography
20.03.2018 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

nachricht TIB’s Visual Analytics Research Group to develop methods for person detection and visualisation
19.03.2018 | Technische Informationsbibliothek (TIB)

All articles from Information Technology >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Space observation with radar to secure Germany's space infrastructure

Satellites in near-Earth orbit are at risk due to the steady increase in space debris. But their mission in the areas of telecommunications, navigation or weather forecasts is essential for society. Fraunhofer FHR therefore develops radar-based systems which allow the detection, tracking and cataloging of even the smallest particles of debris. Satellite operators who have access to our data are in a better position to plan evasive maneuvers and prevent destructive collisions. From April, 25-29 2018, Fraunhofer FHR and its partners will exhibit the complementary radar systems TIRA and GESTRA as well as the latest radar techniques for space observation across three stands at the ILA Berlin.

The "traffic situation" in space is very tense: the Earth is currently being orbited not only by countless satellites but also by a large volume of space...

Im Focus: Researchers Discover New Anti-Cancer Protein

An international team of researchers has discovered a new anti-cancer protein. The protein, called LHPP, prevents the uncontrolled proliferation of cancer cells in the liver. The researchers led by Prof. Michael N. Hall from the Biozentrum, University of Basel, report in “Nature” that LHPP can also serve as a biomarker for the diagnosis and prognosis of liver cancer.

The incidence of liver cancer, also known as hepatocellular carcinoma, is steadily increasing. In the last twenty years, the number of cases has almost doubled...

Im Focus: Researchers at Fraunhofer monitor re-entry of Chinese space station Tiangong-1

In just a few weeks from now, the Chinese space station Tiangong-1 will re-enter the Earth's atmosphere where it will to a large extent burn up. It is possible that some debris will reach the Earth's surface. Tiangong-1 is orbiting the Earth uncontrolled at a speed of approx. 29,000 km/h.Currently the prognosis relating to the time of impact currently lies within a window of several days. The scientists at Fraunhofer FHR have already been monitoring Tiangong-1 for a number of weeks with their TIRA system, one of the most powerful space observation radars in the world, with a view to supporting the German Space Situational Awareness Center and the ESA with their re-entry forecasts.

Following the loss of radio contact with Tiangong-1 in 2016 and due to the low orbital height, it is now inevitable that the Chinese space station will...

Im Focus: Alliance „OLED Licht Forum“ – Key partner for OLED lighting solutions

Fraunhofer Institute for Organic Electronics, Electron Beam and Plasma Technology FEP, provider of research and development services for OLED lighting solutions, announces the founding of the “OLED Licht Forum” and presents latest OLED design and lighting solutions during light+building, from March 18th – 23rd, 2018 in Frankfurt a.M./Germany, at booth no. F91 in Hall 4.0.

They are united in their passion for OLED (organic light emitting diodes) lighting with all of its unique facets and application possibilities. Thus experts in...

Im Focus: Mars' oceans formed early, possibly aided by massive volcanic eruptions

Oceans formed before Tharsis and evolved together, shaping climate history of Mars

A new scenario seeking to explain how Mars' putative oceans came and went over the last 4 billion years implies that the oceans formed several hundred million...

All Focus news of the innovation-report >>>



Industry & Economy
Event News

New solar solutions for sustainable buildings and cities

23.03.2018 | Event News

Virtual reality conference comes to Reutlingen

19.03.2018 | Event News

Ultrafast Wireless and Chip Design at the DATE Conference in Dresden

16.03.2018 | Event News

Latest News

For graphite pellets, just add elbow grease

23.03.2018 | Materials Sciences

Unique communication strategy discovered in stem cell pathway controlling plant growth

23.03.2018 | Agricultural and Forestry Science

Sharpening the X-ray view of the nanocosm

23.03.2018 | Physics and Astronomy

Science & Research
Overview of more VideoLinks >>>