scholarly journals Kemeny Consensus Complexity

Author(s):  
Zack Fitzsimmons ◽  
Edith Hemaspaandra

The computational study of election problems generally focuses on questions related to the winner or set of winners of an election. But social preference functions such as Kemeny rule output a full ranking of the candidates (a consensus). We study the complexity of consensus-related questions, with a particular focus on Kemeny and its qualitative version Slater. The simplest of these questions is the problem of determining whether a ranking is a consensus, and we show that this problem is coNP-complete. We also study the natural question of the complexity of manipulative actions that have a specific consensus as a goal. Though determining whether a ranking is a Kemeny consensus is hard, the optimal action for manipulators is to simply vote their desired consensus. We provide evidence that this simplicity is caused by the combination of election system (Kemeny), manipulative action (manipulation), and manipulative goal (consensus). In the process we provide the first completeness results at the second level of the polynomial hierarchy for electoral manipulation and for optimal solution recognition.

Author(s):  
Jungho Park ◽  
Hadi El-Amine ◽  
Nevin Mutlu

We study a large-scale resource allocation problem with a convex, separable, not necessarily differentiable objective function that includes uncertain parameters falling under an interval uncertainty set, considering a set of deterministic constraints. We devise an exact algorithm to solve the minimax regret formulation of this problem, which is NP-hard, and we show that the proposed Benders-type decomposition algorithm converges to an [Formula: see text]-optimal solution in finite time. We evaluate the performance of the proposed algorithm via an extensive computational study, and our results show that the proposed algorithm provides efficient solutions to large-scale problems, especially when the objective function is differentiable. Although the computation time takes longer for problems with nondifferentiable objective functions as expected, we show that good quality, near-optimal solutions can be achieved in shorter runtimes by using our exact approach. We also develop two heuristic approaches, which are partially based on our exact algorithm, and show that the merit of the proposed exact approach lies in both providing an [Formula: see text]-optimal solution and providing good quality near-optimal solutions by laying the foundation for efficient heuristic approaches.


2020 ◽  
Vol 11 (2) ◽  
pp. 241-248
Author(s):  
Jaroslav Janacek ◽  
Marek Kvet

Mathematical modelling, and integer programming generally, has many practical applications in different areas of human life. Effective and fast solving approaches for various optimization problems play an important role in the decision-making process and therefore, big attention is paid to the development of many exact and approximate algorithms. This paper deals only with a special class of location problems in which given number of facilities are to be chosen to minimize the objective function value. Since the exact methods are not suitable for their unpredictable computational time or memory demands, we focus here on possible usage of a special type of a particle swarm optimization algorithm transformed by discretization and meme usage into so-called discrete self-organizing migrating algorithm. In the paper, there is confirmed that it is possible to suggest a sophisticated heuristic for zero-one programming problem, which can produce near-to-optimal solution in much smaller time than the time demanded by exact methods. We introduce a special adaptation of the discrete self-organizing migration algorithm to the $p$-location problem making use of the path-relinking method. In the theoretical part of this paper, we introduce several strategies of the migration process. To verify their features and effectiveness, a computational study with real-sized benchmarks was performed. The main goal of the experiments was to find the most efficient version of the suggested solving tool.


2009 ◽  
Vol 19 (1) ◽  
pp. 123-132 ◽  
Author(s):  
Nikolaos Samaras ◽  
Angelo Sifelaras ◽  
Charalampos Triantafyllidis

The aim of this paper is to present a new simplex type algorithm for the Linear Programming Problem. The Primal - Dual method is a Simplex - type pivoting algorithm that generates two paths in order to converge to the optimal solution. The first path is primal feasible while the second one is dual feasible for the original problem. Specifically, we use a three-phase-implementation. The first two phases construct the required primal and dual feasible solutions, using the Primal Simplex algorithm. Finally, in the third phase the Primal - Dual algorithm is applied. Moreover, a computational study has been carried out, using randomly generated sparse optimal linear problems, to compare its computational efficiency with the Primal Simplex algorithm and also with MATLAB's Interior Point Method implementation. The algorithm appears to be very promising since it clearly shows its superiority to the Primal Simplex algorithm as well as its robustness over the IPM algorithm.


2012 ◽  
Vol 74 (3) ◽  
pp. 357-382 ◽  
Author(s):  
Christoph Graf ◽  
Rudolf Vetschera ◽  
Yingchao Zhang

Author(s):  
Xin Cheng ◽  
Xiang Li

The generalized pooling problem (GPP) is a NP-hard problem for which the solution time for securing a global optimal solution heavily depends on the strength of the problem formulation. The existing GPP formulations use either quality variables (P-formulation and the variants) or split-fraction variables (SF-formulation and the variants) to model the material balance at the pools. This paper is the first attempt to develop theoretical results for comparing the strength of P-formulation and SF-formulation. It is found that, an enhanced version of P-formulation, called P-formulation, is at least as strong as SF-formulation under mild conditions. Furthermore, P-formulation becomes identical to P-formulation when the pooling network comprises only mixers and splitters. With additional conditions that are often satisfied at the root node, P-formulation is proved to be as least as strong as SF-formulation. The theoretical results are verified by the computational study of 23 problem instances.


1971 ◽  
Vol 11 (3) ◽  
pp. 101-119 ◽  
Author(s):  
P. Nykamp ◽  
W. H. Somermeyer

Methodology ◽  
2018 ◽  
Vol 14 (4) ◽  
pp. 177-188 ◽  
Author(s):  
Martin Schultze ◽  
Michael Eid

Abstract. In the construction of scales intended for the use in cross-cultural studies, the selection of items needs to be guided not only by traditional criteria of item quality, but has to take information about the measurement invariance of the scale into account. We present an approach to automated item selection which depicts the process as a combinatorial optimization problem and aims at finding a scale which fulfils predefined target criteria – such as measurement invariance across cultures. The search for an optimal solution is performed using an adaptation of the [Formula: see text] Ant System algorithm. The approach is illustrated using an application to item selection for a personality scale assuming measurement invariance across multiple countries.


Sign in / Sign up

Export Citation Format

Share Document