All Segments Problem
Saswat Anand
saswat@comp.nus.edu.sg
Fri, 1 Mar 2002 14:57:08 +0800
This is a multi-part message in MIME format.
------=_NextPart_000_0076_01C1C131.5C421F00
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Hi All,
This is not a haskell problem. I need some pointers which some of you =
might provide.
In program calculation community, segement problems e.g. maximum sum =
problem have been studied extensively. The problems involve finding a =
segment of the list that maximizes some objective function and satisfies =
some predicate.
But I am wondering if is there similar study on the family of problems =
where we need to find all the segments of a list that satisfy some =
predicate. I am interested in predicates involving forall and =
existential quantifiers.
Thanks for any suggestion.
Cheers,
Saswat
------=_NextPart_000_0076_01C1C131.5C421F00
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2920.0" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi All,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2> This is not a haskell =
problem. I=20
need some pointers which some of you might provide.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>In program calculation community, =
segement problems=20
e.g. maximum sum problem have been studied extensively. The =
problems=20
involve finding a segment of the list that maximizes some objective =
function and=20
satisfies some predicate.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>But I am wondering if is there =
similar=20
study on the family of problems where we need to find all the =
segments of a=20
list that satisfy some predicate. I am interested in predicates =
involving forall=20
and existential quantifiers.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>Thanks for any suggestion.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>Cheers,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>Saswat</FONT></DIV></BODY></HTML>
------=_NextPart_000_0076_01C1C131.5C421F00--