Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Determining Frictional Inconsistency for Rigid Bodies is NP-Complete

Determining Frictional Inconsistency for Rigid Bodies is NP-Complete

File(s)
90-1112.ps (306.15 KB)
90-1112.pdf (1.12 MB)
Permanent Link(s)
https://hdl.handle.net/1813/6952
Collections
Computer Science Technical Reports
Author
Baraff, David
Abstract

The computational complexity of computing the forces between bodies in contact is presented. The bodies are restricted to be perfectly rigid bodies that contact at finitely many points. It has been known for some time that under the Coulomb model of friction, some configurations of bodies are inconsistent; that is, no contact forces satisfying the constraints of the Coulomb friction model exist for the configuration. The main result of this paper is a proof that determining if a configuration is inconsistent is an NP-complete problem. An immediate corollary of this proof is that computing the contact forces for a configuration of bodies is NP-hard. Computing contact forces remains NP-hard even if configurations are restricted to be consistent.

Date Issued
1990-04
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR90-1112
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance