699,315 research outputs found
The complexity of global cardinality constraints
In a constraint satisfaction problem (CSP) the goal is to find an assignment
of a given set of variables subject to specified constraints. A global
cardinality constraint is an additional requirement that prescribes how many
variables must be assigned a certain value. We study the complexity of the
problem CCSP(G), the constraint satisfaction problem with global cardinality
constraints that allows only relations from the set G. The main result of this
paper characterizes sets G that give rise to problems solvable in polynomial
time, and states that the remaining such problems are NP-complete
Tractable Combinations of Global Constraints
We study the complexity of constraint satisfaction problems involving global
constraints, i.e., special-purpose constraints provided by a solver and
represented implicitly by a parametrised algorithm. Such constraints are widely
used; indeed, they are one of the key reasons for the success of constraint
programming in solving real-world problems.
Previous work has focused on the development of efficient propagators for
individual constraints. In this paper, we identify a new tractable class of
constraint problems involving global constraints of unbounded arity. To do so,
we combine structural restrictions with the observation that some important
types of global constraint do not distinguish between large classes of
equivalent solutions.Comment: To appear in proceedings of CP'13, LNCS 8124. arXiv admin note: text
overlap with arXiv:1307.179
Dynamics and constraints of state-led global city formation in emerging economies: The case of Shanghai
This article seeks to contribute to a better understanding of the role of the state in influencing the formation of global cities in emerging economies, and highlights the complexity of this role due to challenging external environment, divergent interests of the state actors, and the socio-economic and institutional constraints that these actors are under. At an empirical level, it examines the progress of Shanghai in its state-led development as an emerging global city and the respective roles of the nationalcentral and local states in this process
- …