# 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">
<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>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi All,</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>&nbsp;&nbsp; This is not a haskell =
problem.&nbsp;I=20
need some pointers which some of you might provide.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>In program calculation community, =
segement problems=20
e.g. maximum sum problem&nbsp;have been studied&nbsp;extensively. The =
problems=20
involve finding a segment of the list that maximizes some objective =
function and=20
satisfies some predicate.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>But I am wondering if&nbsp; is there =
similar=20
study&nbsp;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>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Thanks for any suggestion.</FONT></DIV>
<DIV>&nbsp;</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--

```