🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.theory
Article #1942

Re: Suggstion: (was: Re: P=NP; the proof)

#1942
From: Claude Diderich
Date: Tue, 12 Jan 1993 12:53
39 lines
2608 bytes
In article <gordon.726823495@ningaui>, gordon@cs.uwa.oz.au (Gordon Royle) writes:
> In <pcw.726468672@digex> pcw@access.digex.com (Peter Wayner) writes:
> 
> >core of the problem. We already have neat algorithms that get close to
> >the right answer on NP-complete problems like the travelling salesman.
> >For all practical intents and realistic purposes, this is enough.It's
> >really just an academic question now.
> 
> 
> Is this true? I am not aware of any decent algorithms for Travelling 
> Salesman at all. In fact G&J show that there cannot be any polynomial
> time approximation algorithms for Travelling Salesman that achieve
> ANY given multiple of the optimal solution (page 147).   
> Does this not contradict the above statement, or am I labouring under a 
> delusion? 
> 
> 
> Gordon
Peter Wayer's statement is not true. We do have algorithms that give in general
good solutions for the TSP, but we cannot say anything about the quality in
general of any solution produced. Indeed such algorithms may in 95% of the cases
approach the optimal solution by 90%. But we cannot guarantee 100% of the cases.
Furthermore, we do not have any possibility to check if a given solution is
within the 95% of good solutions or not.

But TSP is not the only NP-complete problem. There are other problems like Max
Clique that even cannot be approximated within any constant, e.g. approxiating is
as hard as solving.

Therefore I think the P?=NP question is not ony of theoretical interesed.

Claude

---------------------------------------------------------------------------
Claude G. Diderich                            Internet: diderich@di.epfl.ch
30, Avenue S.Reymondin  --  CH-1009 Pully (VD)  --  Switzerland  --  Europe

``Imagination is more important than knowledge''            Albert Einstein
---------------------------------------------------------------------------
Technical Details
Message-ID: <1993Jan12.135311@di.epfl.ch>
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!spool.mu.edu!howland.reston.ans.net!usc!rpi!ghost.dsi.unimi.it!univ-lyon1.fr!chx400!sicsun!disuns2!/!diderich
References: <1idr1nINNrl@nunki.anu.edu.au> <1ifcmpINN11k@nunki.anu.edu.au> <1ifljqINN137@nunki.anu.edu.au> <1iicnjINNloe@uwm.edu> <pcw.726468672@digex> <gordon.726823495@ningaui>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!spool.mu.edu!howland.reston.ans.net!usc!rpi!ghost.dsi.unimi.it!univ-lyon1.fr!chx400!sicsun!disuns2!/!diderich
From: diderich@di.epfl.ch (Claude Diderich)
Newsgroups: comp.theory
Subject: Re: Suggstion: (was: Re: P=NP; the proof)
Keywords: Collapse of hierarchy
Message-ID: <1993Jan12.135311@di.epfl.ch>
Date: 12 Jan 93 12:53:11 GMT
References: <1idr1nINNrl@nunki.anu.edu.au> <1ifcmpINN11k@nunki.anu.edu.au> <1ifljqINN137@nunki.anu.edu.au> <1iicnjINNloe@uwm.edu> <pcw.726468672@digex> <gordon.726823495@ningaui>
Sender: news@disuns2.epfl.ch
Organization: Ecole Polytechnique Federale de Lausanne
Lines: 39
Nntp-Posting-Host: disun50.epfl.ch