NLP for CP
Addressing Constraint Programming with Natural Language Processing
Home
Resources
Publications
Correct
predictions are in
blue
. If we detect only a subset of a labelled sentence, we highlight the caught part as
blue
, the missing part
light blue.
False positives
are in
green
and
false negatives
are in
red
.
Problem 056 (SONET (Synchronous Optical Networking) problem) — Constraint detection
In
the
SONET
problem
we
are
given
a
set
of
nodes
,
and
for
each
pair
of
nodes
we
are
given
the
demand
-LRB-
which
is
the
number
of
channels
required
to
carry
network
traffic
between
the
two
nodes
-RRB-
.
The
demand
may
be
zero
,
in
which
case
the
two
nodes
do
not
need
to
be
connected
.
A
SONET
ring
connects
a
set
of
nodes
.
A
node
is
installed
on
a
ring
using
a
piece
of
equipment
called
an
add-drop
multiplexer
-LRB-
ADM
-RRB-
.
Each
node
may
be
installed
on
more
than
one
ring
.
Network
traffic
can
be
transmitted
from
one
node
to
another
only
if
they
are
both
installed
on
the
same
ring
.
Each
ring
has
an
upper
limit
on
the
number
of
nodes
,
and
a
limit
on
the
number
of
channels
.
The
demand
of
a
pair
of
nodes
may
be
split
between
multiple
rings
.
The
objective
is
to
minimise
the
total
number
of
ADMs
used
while
satisfying
all
demands
.
Problem 056 (SONET (Synchronous Optical Networking) problem) — Detection of the decisions and objects to be modeled
In
the
SONET
problem
we
are
given
a
set
of
nodes
,
and
for
each
pair
of
nodes
we
are
given
the
demand
-LRB-
which
is
the
number
of
channels
required
to
carry
network
traffic
between
the
two
nodes
-RRB-
.
The
demand
may
be
zero
,
in
which
case
the
two
nodes
do
not
need
to
be
connected
.
A
SONET
ring
connects
a
set
of
nodes
.
A
node
is
installed
on
a
ring
using
a
piece
of
equipment
called
an
add-drop
multiplexer
-LRB-
ADM
-RRB-
.
Each
node
may
be
installed
on
more
than
one
ring
.
Network
traffic
can
be
transmitted
from
one
node
to
another
only
if
they
are
both
installed
on
the
same
ring
.
Each
ring
has
an
upper
limit
on
the
number
of
nodes
,
and
a
limit
on
the
number
of
channels
.
The
demand
of
a
pair
of
nodes
may
be
split
between
multiple
rings
.
The
objective
is
to
minimise
the
total
number
of
ADMs
used
while
satisfying
all
demands
.
Back to list