Quote: Original post by RagharI'm not following - what does this have to do with reductio ad absurdum? In a proof by reductio ad absurdum you show that the negation of the proposition leads to a contradiction ∴ proving the proposition.
What you are talking about is sometimes called reductionism. There are a lots of cases when so called reductionism is either useles, or harmful.
As for above problems.
It could be shown that Delaunay triangulation isn't optimal solution of Travelling salesman problem. Hovewer Delaunay triangualation could be viewed as a ruductio ad absurdum for the Travelling salesman problem.
Quote: Original post by RagharIn the Travelling Salesman problem, the point is to find the Hamiltonian cycle with the least weight. How is that easier than just finding a Hamiltonian cycle?
Now if we will look for suboptimal solutions, I remember on an algorithm that created a very nice aproximation, however it used all input data, it didn't need to partition them. From my experience solutions type global - local - global are superior to local - local - global.
Hamilton circle is just a more difficult type of a Travalling salesman problem, that is possible to convert to TSP.
Quote: Original post by RagharWhat is the Assault problem?
Assault problem is particulary nasty because all input set isn't correctly known when output should be ready, so it could be best described as an interaction with random function.
Note I said the reductionalism can't guarantee an optimal solution.
I'm not sure that you're talking about the same thing that I am. I'm talking about the process that we go through to solve problems, and the fact that (IMO) it's as an algorithmic process using abilities like pattern recognition and abstraction.
The problem solving process differs depending on the person solving the problem, but one of the things we all have in common is: we don't solve the whole thing at once. Which is my main point.
P.S. Raghar: using complex terminology doesn't make you sound more intelligent, nor does it make your argument more persuasive. "Simplicity is the ultimate sophistication." - Leonardo da Vinci
edit: fixed spelling mistake
[Edited by - lucky_monkey on January 27, 2006 1:29:07 AM]