Re: An easy one!
- From: tchow@xxxxxxxxxxxxx
- Date: 16 Aug 2006 00:20:25 GMT
In article <1155678701.344861.324240@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
D. C. <enharmonix@xxxxxxxxx> wrote:
LINEAR < P, or LINEAR <= P?
LINEAR < P. Look up the "time hierarchy theorem."
I have an algorithm that 2-SAT should be able to reduce to (I
haven't actually confirmed reductions work both ways, though), which
means that if I'm solving it in poly-time it's already about as fast as
it's going to get, right?
Not necessarily; it depends on how the reduction works. If the reduction
causes a 2-SAT instance of size n to blow up to an instance of your
problem of size n^3 for example, then potentially your problem can be
solved faster than 2-SAT by a cube root factor.
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.
- References:
- An easy one!
- From: D. C.
- An easy one!
- Prev by Date: Network Flow Inequalities
- Next by Date: Re: Is it essential to learn data structures before automata theory?
- Previous by thread: Re: An easy one!
- Next by thread: Network Flow Inequalities
- Index(es):
Relevant Pages
|