Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Algorithms and Complexity Group     Display Documents



ID: 279190.0, MPI für Informatik / Algorithms and Complexity Group
GCC-like Restrictions on the Same constraint
Authors:Beldiceanu, Nicolas; Katriel, Irit; Thiel, Sven
Editors:Faltings, Boi; Petcu, Adrian; Fages, Francois; Rossi, Francesca
Language:English
Publisher:Springer
Place of Publication:Berlin, Germany
Date of Publication (YYYY-MM-DD):2005
Title of Proceedings:Constraint Satisfaction and Constraint Logic Programming: ERCIM/CoLogNet International Workshop, CSCLP 2004
Start Page:1
End Page:11
Title of Series:Lecture Notes in Computer Science
Place of Conference/Meeting:Lausanne, Switzerland
(Start) Date of Conference/Meeting
 (YYYY-MM-DD):
2004-06-23
Audience:Experts Only
Intended Educational Use:No
Abstract / Description:The \Same\ constraint takes two sets of variables $X$ and $Z$
such that $|X|=|Z|$ and assigns values to them such that the
multiset of values assigned to the variables in $X$ is equal
to the multiset of values assigned to the variables in $Z$.
In this paper we extend the \Same\ constraint in a GCC-like
manner by adding cardinality requirements on the values.
That is, for each value we have a lower and upper bound on
the number of variables that can be assigned this value.
We show an algorithm that achieves arc-consistency for this
constraint and a faster algorithm that achieves bound-consistency
for a restricted case of it.
Last Change of the Resource (YYYY-MM-DD):2005-05-01
External Publication Status:published
Document Type:Conference-Paper
Communicated by:Kurt Mehlhorn
Affiliations:MPI für Informatik/Algorithms and Complexity Group
Identifiers:LOCALID:C1256428004B93B8-EA16F6B4E04F15B8C1256F87004743CC-...
ISSN:0302-9743
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.