scholarly journals Weighted Electoral Control

2015 ◽  
Vol 52 ◽  
pp. 507-542 ◽  
Author(s):  
Piotr Faliszewski ◽  
Edith Hemaspaandra ◽  
Lane A. Hemaspaandra

Although manipulation and bribery have been extensively studied under weighted voting, there has been almost no work done on election control under weighted voting. This is unfortunate, since weighted voting appears in many important natural settings. In this paper, we study the complexity of controlling the outcome of weighted elections through adding and deleting voters. We obtain polynomial-time algorithms, NP-completeness results, and for many NP-complete cases, approximation algorithms. In particular, for scoring rules we completely characterize the complexity of weighted voter control. Our work shows that for quite a few important cases, either polynomial-time exact algorithms or polynomial-time approximation algorithms exist.

2016 ◽  
Vol 41 (3) ◽  
pp. 163-181
Author(s):  
Takayuki Nagoya

AbstractIn this paper, we deal with two variants of graph matching, the graph isomorphism with restriction and the prefix set of graph isomorphism. The former problem is known to be NP-complete, whereas the latter problem is known to be GI-complete. We propose polynomial time exact algorithms for these problems on partial k-trees.


2015 ◽  
Vol 25 (04) ◽  
pp. 283-298
Author(s):  
Oswin Aichholzer ◽  
Franz Aurenhammer ◽  
Thomas Hackl ◽  
Clemens Huemer ◽  
Alexander Pilz ◽  
...  

Deciding 3-colorability for general plane graphs is known to be an NP-complete problem. However, for certain families of graphs, like triangulations, polynomial time algorithms exist. We consider the family of pseudo-triangulations, which are a generalization of triangulations, and prove NP-completeness for this class. This result also holds if we bound their face degree to four, or exclusively consider pointed pseudo-triangulations with maximum face degree five. In contrast to these completeness results, we show that pointed pseudo-triangulations with maximum face degree four are always 3-colorable. An according 3-coloring can be found in linear time. Some complexity results relating to the rank of pseudo-triangulations are also given.


2003 ◽  
Vol 14 (05) ◽  
pp. 853-870 ◽  
Author(s):  
HARUMICHI NISHIMURA

In this paper, we explore the power of quantum computers with restricted transition amplitudes. In 1997 Adleman, DeMarrais, and Huang showed that quantum Turing machines (QTMs) with the amplitudes from [Formula: see text] are computationally equivalent to ones with the polynomial-time computable amplitudes as machines implementing bounded-error polynomial-time algorithms. We show that QTMs with the amplitudes from [Formula: see text] is polynomial-time equivalent to deterministic Turing machines as machines implementing exact algorithms, i.e., algorithms that output correct answers with certainty. By extending this result, it is shown that exact quantum computers with rational biased coins are equivalent to classical computers. Moreover, we discuss the computational power of exact quantum computers with multiple types of coins. We also show that, from the viewpoint of zero-error polynomial-time algorithms, [Formula: see text] is not more powerful than [Formula: see text] as the set of amplitudes taken by QTMs; however, it is sufficient to solve the factoring problem.


2011 ◽  
Vol 21 (04) ◽  
pp. 431-466 ◽  
Author(s):  
MUSTAQ AHMED ◽  
ANNA LUBIW

A path from s to t on a polyhedral terrain is descending if the height of a point p never increases while we move p along the path from s to t. Although a shortest path on a terrain unfolds to a straight line, a shortest descending path (SDP) does not. We give a full characterization of the bend angles of an SDP, showing that they follow a generalized form of Snell's law of refraction of light. The complexity of finding SDPs is open—only approximation algorithms are known. We reduce the SDP problem to the problem of finding an SDP through a given sequence of faces. We give polynomial time algorithms for SDPs on two special classes of terrains, but argue that the general case will be difficult.


2020 ◽  
Vol 40 (4) ◽  
pp. 1008-1019
Author(s):  
Zhiwei Guo ◽  
Hajo Broersma ◽  
Ruonan Li ◽  
Shenggui Zhang

Abstract A compatible spanning circuit in a (not necessarily properly) edge-colored graph G is a closed trail containing all vertices of G in which any two consecutively traversed edges have distinct colors. Sufficient conditions for the existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and Euler tours), and polynomial-time algorithms for finding compatible Euler tours have been considered in previous literature. More recently, sufficient conditions for the existence of more general compatible spanning circuits in specific edge-colored graphs have been established. In this paper, we consider the existence of (more general) compatible spanning circuits from an algorithmic perspective. We first show that determining whether an edge-colored connected graph contains a compatible spanning circuit is an NP-complete problem. Next, we describe two polynomial-time algorithms for finding compatible spanning circuits in edge-colored complete graphs. These results in some sense give partial support to a conjecture on the existence of compatible Hamilton cycles in edge-colored complete graphs due to Bollobás and Erdős from the 1970s.


1991 ◽  
Vol 02 (02) ◽  
pp. 83-99
Author(s):  
V. ARVIND ◽  
S. BISWAS

In this paper edge-deletion problems are studied with a new perspective. In general an edge-deletion problem is of the form: Given a graph G, does it have a subgraph H obtained by deleting zero or more edges such that H satisfies a polynomial-time verifiable property? This paper restricts attention to first-order expressible properties. If the property is expressed by π, which in prenex normal form is Q(Φ) where Q is the quantifier-prefix, then we prove results on the quantifier structure that characterize the complexity of the edge-deletion problem. In particular we give polynomial-time algorithms for problems for which Q is ‘simple’ and in other cases we encode certain NP-complete problems as edge-deletion problems, essentially using the quantifier structure of π. We also present evidence that Q alone cannot capture the complexity of the edge-deletion problem.


Author(s):  
P. Renjith ◽  
N. Sadagopan

For an optimization problem known to be NP-Hard, the dichotomy study investigates the reduction instances to determine the line separating polynomial-time solvable vs NP-Hard instances (easy vs hard instances). In this paper, we investigate the well-studied Hamiltonian cycle problem (HCYCLE), and present an interesting dichotomy result on split graphs. T. Akiyama et al. (1980) have shown that HCYCLE is NP-complete on planar bipartite graphs with maximum degree [Formula: see text]. We use this result to show that HCYCLE is NP-complete for [Formula: see text]-free split graphs. Further, we present polynomial-time algorithms for Hamiltonian cycle in [Formula: see text]-free and [Formula: see text]-free split graphs. We believe that the structural results presented in this paper can be used to show similar dichotomy result for Hamiltonian path problem and other variants of Hamiltonian cycle (path) problems.


Author(s):  
Alasdair Urquhart

The theory of computational complexity is concerned with estimating the resources a computer needs to solve a given problem. The basic resources are time (number of steps executed) and space (amount of memory used). There are problems in logic, algebra and combinatorial games that are solvable in principle by a computer, but computationally intractable because the resources required by relatively small instances are practically infeasible. The theory of NP-completeness concerns a common type of problem in which a solution is easy to check but may be hard to find. Such problems belong to the class NP; the hardest ones of this type are the NP-complete problems. The problem of determining whether a formula of propositional logic is satisfiable or not is NP-complete. The class of problems with feasible solutions is commonly identified with the class P of problems solvable in polynomial time. Assuming this identification, the conjecture that some NP problems require infeasibly long times for their solution is equivalent to the conjecture that P≠NP. Although the conjecture remains open, it is widely believed that NP-complete problems are computationally intractable.


Author(s):  
Rodolfo A.Pazos R. ◽  
Ernesto Ong C. ◽  
Héctor Fraire H. ◽  
Laura Cruz R. ◽  
José A.Martínez F.

The theory of NP-completeness provides a method for telling whether a decision/optimization problem is “easy” (i.e., it belongs to the P class) or “difficult” (i.e., it belongs to the NP-complete class). Many problems related to logistics have been proven to belong to the NP-complete class such as Bin Packing, job scheduling, timetabling, etc. The theory predicts that for any pair of NP-complete problems A and B there must exist a polynomial time transformation from A to B and also a reverse transformation (from B to A). However, for many pairs of NP-complete problems no reverse transformation has been reported in the literature; thus the following question arises: do reverse transformations exist for any pair of NP-complete problems? This chapter presents results on an ongoing investigation for clarifying this issue.


Author(s):  
B. Sinchev ◽  
◽  
A. B. Sinchev ◽  
Zh. Akzhanova ◽  
Y. Issekeshev ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document