scispace - formally typeset
C

Craig A. Tovey

Researcher at Georgia Institute of Technology

Publications -  137
Citations -  6752

Craig A. Tovey is an academic researcher from Georgia Institute of Technology. The author has contributed to research in topics: Time complexity & Upper and lower bounds. The author has an hindex of 37, co-authored 137 publications receiving 6242 citations. Previous affiliations of Craig A. Tovey include Carnegie Mellon University & Naval Postgraduate School.

Papers
More filters
Journal ArticleDOI

The computational difficulty of manipulating an election

TL;DR: A voting rule is exhibited that efficiently computes winners but is computationally resistant to strategic manipulation, showing how computational complexity might protect the integrity of social choice.
Journal ArticleDOI

Voting schemes for which it can be difficult to tell who won the election

TL;DR: It is shown that a voting scheme suggested by Lewis Carroll can be impractical in that it can be computationally prohibitive to determine whether any particular candidate has won an election, and a class of "impracticality theorems" are suggested which say that any fair voting scheme must, in the worst-case, require excessive computation to determine a winner.
Journal ArticleDOI

How hard is it to control an election

TL;DR: In this paper, the authors show that some voting schemes that are in principle susceptible to control are nevertheless resistant in practice due to excessive computational costs; others are vulnerable due to their computational complexity.
Journal ArticleDOI

A simplified np-complete satisfiability problem

TL;DR: 3-SAT is NP-complete when restricted to instances where each variable appears in at most four clauses, and SAT may be solved in linear time.
Journal ArticleDOI

Individual differences versus social dynamics in the formation of animal dominance hierarchies

TL;DR: The results suggest that dominance hierarchy formation is a much richer and more complex phenomenon than previously thought and the implications for evolutionary biology, the social sciences, and the use of animal models in understanding human social organization are explored.