939 research outputs found
Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation
Airspace sectorisation provides a partition of a given airspace into sectors,
subject to geometric constraints and workload constraints, so that some cost
metric is minimised. We make a study of the constraints that arise in airspace
sectorisation. For each constraint, we give an analysis of what algorithms and
properties are required under systematic search and stochastic local search
Toward an automaton Constraint for Local Search
We explore the idea of using finite automata to implement new constraints for
local search (this is already a successful technique in constraint-based global
search). We show how it is possible to maintain incrementally the violations of
a constraint and its decision variables from an automaton that describes a
ground checker for that constraint. We establish the practicality of our
approach idea on real-life personnel rostering problems, and show that it is
competitive with the approach of [Pralong, 2007]
Propagating Regular Counting Constraints
Constraints over finite sequences of variables are ubiquitous in sequencing
and timetabling. Moreover, the wide variety of such constraints in practical
applications led to general modelling techniques and generic propagation
algorithms, often based on deterministic finite automata (DFA) and their
extensions. We consider counter-DFAs (cDFA), which provide concise models for
regular counting constraints, that is constraints over the number of times a
regular-language pattern occurs in a sequence. We show how to enforce domain
consistency in polynomial time for atmost and atleast regular counting
constraints based on the frequent case of a cDFA with only accepting states and
a single counter that can be incremented by transitions. We also prove that the
satisfaction of exact regular counting constraints is NP-hard and indicate that
an incomplete algorithm for exact regular counting constraints is faster and
provides more pruning than the existing propagator from [3]. Regular counting
constraints are closely related to the CostRegular constraint but contribute
both a natural abstraction and some computational advantages.Comment: Includes a SICStus Prolog source file with the propagato
Efficient structural symmetry breaking for constraint satisfaction problems
Symmetry breaking for constraint satisfaction
problems (CSPs) has attracted considerable attention
in recent years. Various general schemes have been proposed to eliminate symmetries. In general, these schemes may take exponential space or time to eliminate all the symmetries. We identify several classes of CSPs that encompass many practical problems and for which symmetry breaking for various forms of value and variable interchangeability is tractable using dedicated search procedures or symmetry-breaking constraints that allow nogoods and their symmetrically equivalent solutions to be stored and checked efficiently
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results
Using constraint-based local search, we effectively model and efficiently
solve the problem of balancing the traffic demands on portions of the European
airspace while ensuring that their capacity constraints are satisfied. The
traffic demand of a portion of airspace is the hourly number of flights planned
to enter it, and its capacity is the upper bound on this number under which
air-traffic controllers can work. Currently, the only form of demand-capacity
balancing we allow is ground holding, that is the changing of the take-off
times of not yet airborne flights. Experiments with projected European flight
plans of the year 2030 show that already this first form of demand-capacity
balancing is feasible without incurring too much total delay and that it can
lead to a significantly better demand-capacity balance
On the Reification of Global Constraints
We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on
the observation that most global constraints can be reformulated as a conjunction of pure functional dependency
constraints together with a constraint that can be easily reified. We first show how the core constraints of the
Global Constraint Catalogue can be reified and we then identify several reification categories that apply to at
least 82% of the constraints in the Global Constraint Catalogue
Influence of Aspects of Extraversion on Information Sharing Within Budget Negotiation
Managers in decentralized firms often face a fundamental information asymmetry condition which allows for budget gaming by unit managers. Unit managers (agents) often possess private information important to broader firm planning and budgeting; however, these same managers benefit through easier performance targets by keeping the information private. Firm-level managers involve lower-level managers in the budgeting process to induce the sharing of this information. The extent to which such control structures are successful may depend on the personality of the individual manager. The authors predict and find the personality aspect enthusiasm, part of the broader personality dimension extraversion, correlates with a significantly lower likelihood to share information in budget negotiation
THE RELATIONSHIP BETWEEN DRY-LAND RESISTANCE TRAINING AND START PERFORMANCE IN COMPETITIVE SWIMMING: A BRIEF REVIEW
The purpose of this study was to review the literature on the relationship between dry-land resistance training and swim start performance in competitive swimming. It is common practice in competitive swimming to use dry-land resistance training to increase muscular strength and power. Given the explosive nature of the swim start, it would appear that high levels of lower body muscular strength and power are necessary to enhance this component in swimming. Performance in total body jumping exercises shared a stronger relationship to start performance than single joint exercises. This may reflect the requirement for force and power to be developed across multiple joints in the swim start
Singular and plural non-deterministic parameters
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments
- …