Symmetry is an important feature of many combinatorial search problems. We propose a new method for dynamically posting static symmetry breaking constraints during search. This method is based on the observations that any symmetry of a set of symmetry breaking constraints can be used to break symmetry, and different symmetries pick out different solutions. We choose which symmetry to post as br...

Breaking the exponential number of all symmetries of a constraint satisfaction problem is too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries. In static symmetry breaking, the goal is to post a set of constraints to break these target symmetries in order to reduce the solution set and thus also the search space. Symmetries of...

Multi-leader multi-follower games are a class of hierarchical games in which a collection of leaders compete in a Nash game constrained by the equilibrium conditions of another Nash game amongst the followers. Much of the extant research on this topic is either model specific or relies on weaker notions of equilibria. We observe that when this original game is modified to ensure that the leader...

A probabilistic voting model with voter utility functions that are not necessarily concave is examined. When voters are polarized, there is a convexity threshold of their utility function below which policy convergence is a unique equilibrium, and above which policy divergence is a unique equilibrium. Divergent equilibrium is more likely when voters become more polarized. Social welfare is maxi...

We propose a systematic means for achieving a set of overall traac management or planning goals with respect to the performance of the traac network through the use of link tolls. The primary goals are deened by a set of link ow restrictions. The tolls that achieve these goals are obtained by solving a generalization of the classical user equilibrium model which includes a set of side constrain...

In this paper fully fuzzy linear programming (FFLP) problem with both equality and inequality constraints is considered where all the parameters and decision variables are represented by non-negative trapezoidal fuzzy numbers. According to the current approach, the FFLP problem with equality constraints first is converted into a multi–objective linear programming (MOLP) problem with crisp const...

The theory of constraints is an approach to production planning and control that emphasizes on the constraints to increase throughput by effectively managing constraint resources. One application in theory of constraints is product mix decision. Product mix influences the performance measures in multi-product manufacturing system. This paper presents an alternative approach by using of goal pro...

the redundancy allocation problem can be described as selecting the components and system configuration in order to optimize some objective function(s) without violating the system constraints. operating conditions are not constant in many advanced engineering systems. mostly, in the engineering applications selection, the number of redundancy components must be balanced among the constraints (...