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 006 (Golomb Rulers) — Constraint detection
These
problems
are
said
to
have
many
practical
applications
including
sensor
placements
for
x-ray
crystallography
and
radio
astronomy
.
A
Golomb
ruler
may
be
defined
as
a
set
of
$
m
$
integers
$
0
=
a_1
>
a_2
>
-
>
a_m
$
such
that
the
$
m
-LRB-
m-1
-RRB-
/
2
$
differences
$
a_j
-
a_i
,
1
>
=
i
>
j
>
=
m
$
are
distinct
.
Such
a
ruler
is
said
to
contain
m
marks
and
is
of
length
$
a_m
$
.
The
objective
is
to
find
optimal
-LRB-
minimum
length
-RRB-
or
near
optimal
rulers
.
Note
that
a
symmetry
can
be
removed
by
adding
the
constraint
that
$
a_2
-
a_1
>
a_m
-
a
_
-LCB-
m-1
-RCB-
$
,
the
first
difference
is
less
than
the
last
.
Problem 006 (Golomb Rulers) — Detection of the decisions and objects to be modeled
These
problems
are
said
to
have
many
practical
applications
including
sensor
placements
for
x-ray
crystallography
and
radio
astronomy
.
A
Golomb
ruler
may
be
defined
as
a
set
of
$
m
$
integers
$
0
=
a_1
>
a_2
>
-
>
a_m
$
such
that
the
$
m
-LRB-
m-1
-RRB-
/
2
$
differences
$
a_j
-
a_i
,
1
>
=
i
>
j
>
=
m
$
are
distinct
.
Such
a
ruler
is
said
to
contain
m
marks
and
is
of
length
$
a_m
$
.
The
objective
is
to
find
optimal
-LRB-
minimum
length
-RRB-
or
near
optimal
rulers
.
Note
that
a
symmetry
can
be
removed
by
adding
the
constraint
that
$
a_2
-
a_1
>
a_m
-
a
_
-LCB-
m-1
-RCB-
$
,
the
first
difference
is
less
than
the
last
.
Back to list