KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12...
Transcript of KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12...
![Page 1: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/1.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu
KINARI-Lib A library for Combinatorial Rigidity analysis and applications
Linkage Lab http://linkage.cs.umass.edu
Department of Computer Science Smith College and University of Massachusetts Amherst
Naomi Fox Filip Jagodzinski Ileana Streinu
![Page 2: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/2.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 2
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 3: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/3.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 3
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 4: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/4.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 4
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 5: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/5.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 5
Proline Tryptophan Alanine
Proteins are sequences of amino-acids …
![Page 6: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/6.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 6
Proline Tryptophan Alanine
Proteins are sequences of amino-acids …
![Page 7: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/7.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 7
Proline Tryptophan Alanine
Backbone
Proteins are sequences of amino-acids …
![Page 8: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/8.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 8
… folded into 3D shapes
![Page 9: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/9.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 9
… with additional structure
![Page 10: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/10.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 10
… held together by additional interatomic interactions
![Page 11: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/11.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 11
Proteins flex, bend, move, undergo conformational changes
![Page 12: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/12.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 12
Motion can be observed in simulations…
… but these are very slow
![Page 13: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/13.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 13
Rigidity analysis provides a computational method that:
• is fast to compute (avoids simulations) • gives qualitative information on the “potential for motion” of the molecule
![Page 14: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/14.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 14
How does Rigidity Analysis work?
![Page 15: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/15.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 15
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 16: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/16.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 16 Demo of KINARI software: Naomi
Run Rigidity Analysis
![Page 17: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/17.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 17
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 18: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/18.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 18
Protein Rigidity Analysis pipeline
![Page 19: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/19.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 19
From molecule to mechanical model
![Page 20: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/20.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 20
Covalent bonds impose constraints
fix bond length
fix angle between bonds
peptide and double bonds fix dihedral angle
Mechanical Modeling of molecules
Use molecular props
![Page 21: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/21.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 21
proline
Bar-and-joint Modeling (distance constraints)
![Page 22: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/22.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 22
An atom and its covalent-bonded neighbors: form a rigid body. Rotatable covalent bonds: act as hinges.
rigid
mechanical equivalence
flexible
hinge
body
Use hinged props
Body-and-hinge Modeling (rigid bodies connected by hinges)
![Page 23: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/23.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 23
proline
Body-and-hinge Modeling
![Page 24: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/24.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 24
proline
Body-and-hinge Modeling
![Page 25: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/25.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 25
Proline has 6 rigid bodies and 6 hinges.
Body-and-hinge Modeling
![Page 26: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/26.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 26
A body or rigid cluster is a maximal set of atoms and all bonds and interactions that hold the atoms rigidly together.
rotatable bond
proline
rigid cluster 1
rigid cluster 2
Rigid Cluster Decomposition
![Page 27: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/27.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 27
Stronger Weaker
hydrophobic interactions
covalent bonds hydrogen bonds
Chemical interaction:
Modeling Bonds and Interactions
![Page 28: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/28.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 28
Stronger Weaker
hydrophobic interactions
covalent bonds hydrogen bonds
Default Model:
Chemical interaction:
2 bars Hinge Hinge
Modeling Bonds and Interactions
![Page 29: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/29.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 29
Stronger Weaker
hydrophobic interactions
covalent bonds hydrogen bonds
Default Model:
Chemical interaction:
2 bars Hinge Hinge
Removes 5 DOFs Removes 5 DOFs Removes 2 DOFs
Modeling Bonds and Interactions
![Page 30: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/30.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 30
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 31: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/31.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 31
KINARI-Web
![Page 32: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/32.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 32
KINARI-Lib
![Page 33: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/33.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 33
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 34: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/34.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 34
2D Bar-and-Joint Frameworks
A framework is rigid if it has no continuous deformation.
![Page 35: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/35.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 35
2D Bar-and-Joint Frameworks
A framework is rigid if it has no continuous deformation.
Flexible, with 2 degrees-of-freedom
![Page 36: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/36.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 36
2D Bar-and-Joint Rigidity
How to tell apart rigid from flexible frameworks?
![Page 37: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/37.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 37
Is this rigid?
2D Bar-and-Joint Rigidity
Is this framework rigid, or flexible?
![Page 38: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/38.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 38
Exercise: Counting Degrees of Freedom
n points, no bars: 2n degrees of freedom (DOFs). Here: 8 DOFs
2D Bar-and-Joint Rigidity
![Page 39: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/39.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 39
Adding a bar reduces the number of degrees of freedom by 1.
Here: 7 DOFs
2D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 2D
![Page 40: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/40.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 40
2D Bar-and-Joint Rigidity
Add a new bar: reduce degrees of freedom by 1. Now: 6 DOFs
Exercise: Counting Degrees of Freedom in 2D
![Page 41: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/41.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 41
2D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 2D
Add a new bar: reduce degrees of freedom by 1. Now: 5 DOFs
![Page 42: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/42.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 42
2D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 2D
Add a new bar: reduce degrees of freedom by 1. Now: 4 DOFs
![Page 43: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/43.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 43
2D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 2D
Add a new bar: reduce degrees of freedom by 1. Now: 3 DOFs
![Page 44: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/44.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 44
Exercise: Counting degrees of freedom in 2D
7 DOF 6 DOF 5 DOF 4 DOF 3 DOF 3 DOF
2D Bar-and-Joint Rigidity
![Page 45: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/45.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 45
Exercise: Counting degrees of freedom in 2D
7 DOF 6 DOF 5 DOF 4 DOF 3 DOF 3 DOF
2D Bar-and-Joint Rigidity
![Page 46: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/46.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 46
7 DOF 6 DOF 5 DOF 4 DOF 3 DOF 3 DOF
2D Bar-and-Joint Rigidity
Rigid Rigid
Minimally rigid
Redundantly rigid
![Page 47: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/47.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 47
Maxwell (1864) – Laman (1970) Theorem
A 2D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 2n’ – 3 edges m = 2n-3
n = 4 m = 4 m < 2n-3
2D Bar-and-Joint Rigidity
![Page 48: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/48.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 48
Maxwell (1864) – Laman (1970) Theorem
A 2D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 2n’ – 3 edges m = 2n-3
n = 4 m = 4 m < 2n-3
2D Bar-and-Joint Rigidity
Flexible
![Page 49: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/49.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 49
Maxwell (1864) – Laman (1970) Theorem
A 2D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 2n’ – 3 edges m = 2n-3
n = 4 m = 5 m = 2n-3
2D Bar-and-Joint Rigidity
Minimally rigid
![Page 50: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/50.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 50
Rigid components
Rigid? Flexible?
2D Bar-and-Joint Rigidity
![Page 51: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/51.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 51
Rigid components
n = 6 m = 9 2n-3 = 9
2D Bar-and-Joint Rigidity
Rigid? Flexible?
![Page 52: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/52.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 52
Rigid component: maximal set of vertices which are rigid relative to each other.
2D Bar-and-Joint Rigidity
![Page 53: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/53.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 53
Rigid component: maximal set of vertices which are rigid relative to each other.
2D Bar-and-Joint Rigidity
![Page 54: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/54.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 54
Rigid components
n = 6 m = 9 2n-3 = 9
2D Bar-and-Joint Rigidity
Rigid? Flexible?
Flexible, and dependent
![Page 55: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/55.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 55
3D Bar-and-joint Rigidity
![Page 56: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/56.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 56
How do we extend Maxwell-Laman's Theorem to 3D?
3D Bar-and-Joint Rigidity
![Page 57: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/57.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 57
Exercise: Counting Degrees of Freedom in 3D
n points, no edges: 3n DOFs Here: 12 DOFs
3D Bar-and-Joint Rigidity
![Page 58: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/58.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 58
11 DOF 10 DOF 9 DOF 8 DOF 7 DOF 6 DOF
3D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 3D
![Page 59: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/59.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 59
14 dofs 13 dofs 12 dofs 11 dofs 10 dofs 9 dofs
8 dofs 7 dofs 6 dofs 6 dofs
3D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 3D
![Page 60: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/60.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 60
14 dofs 13 dofs 12 dofs 11 dofs 10 dofs 9 dofs
8 dofs 7 dofs 6 dofs 6 dofs
3D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 3D
![Page 61: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/61.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 61
14 dofs 13 dofs 12 dofs 11 dofs 10 dofs 9 dofs
8 dofs 7 dofs 6 dofs 6 dofs
3D Bar-and-Joint Rigidity
Exercise: Counting Degrees of Freedom in 3D
Rigid Rigid
Minimally rigid Redundantly rigid
![Page 62: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/62.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 62
Maxwell (1864) – ??? Theorem
A 3D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 3n’ – 6 edges m = 3n-6
3D Bar-and-Joint Rigidity
![Page 63: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/63.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 63
Maxwell (1864) – ??? Theorem
A 3D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 3n’ – 6 edges m = 3n-6
n = 5 m = 8 m < 3n-6
3D Bar-and-Joint Rigidity
flexible
![Page 64: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/64.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 64
Maxwell (1864) – ??? Theorem
A 3D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 3n’ – 6 edges m = 3n-6
n = 5 m = 9 M = 3n-6
3D Bar-and-Joint Rigidity
flexible rigid
![Page 65: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/65.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 65
Maxwell (1864) – ??? Theorem
A 3D framework with n vertices and m edges is generically minimally rigid iff
Every subset of n’ vertices spans at most 3n’ – 6 edges m = 3n-6
n = 5 m = 9 M = 3n-6
3D Bar-and-Joint Rigidity
flexible rigid
FALSE
![Page 66: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/66.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 66
Counterexample to “3n-6”-counts: the double banana
Not rigid
n=8
m=18 = 3n-6
Edges satisfy “3n-6”-counts, but framework is NOT rigid
3D Bar-and-Joint Rigidity
![Page 67: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/67.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 67
The triple banana
What are the rigid components?
Triple banana
3D Bar-and-Joint Rigidity
![Page 68: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/68.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 68
For body-bar-hinge frameworks:
“Maxwell” counts are valid
![Page 69: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/69.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 69
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 70: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/70.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 70
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 71: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/71.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 71
A body-bar-hinge framework: collection of bodies connected by hinges and rigid bars
Tay 84, 89; White and Whiteley 87; Katoh and Tanigawa 09
3D Body-Bar-Hinge modeling
![Page 72: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/72.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 72
A body-bar-hinge framework: collection of bodies connected by hinges and rigid bars
3D Body-Bar-Hinge modeling
Associate a multi-graph to a body-bar-hinge framework
1
5 6
Tay 84, 89; White and Whiteley 87; Katoh and Tanigawa 09
![Page 73: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/73.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 73
A body-bar-hinge framework: collection of bodies connected by hinges and rigid bars
3D Body-Bar-Hinge modeling
Associate a multi-graph to a body-bar-hinge framework
1
5 6
Tay 84, 89; White and Whiteley 87; Katoh and Tanigawa 09
![Page 74: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/74.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 74
A body-bar-hinge framework: collection of bodies connected by hinges and rigid bars
3D Body-Bar-Hinge modeling
Associate a multi-graph to a body-bar-hinge framework
1
5 6
Tay 84, 89; White and Whiteley 87; Katoh and Tanigawa 09
![Page 75: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/75.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 75
A body-bar-hinge framework is generically minimally rigid iff:
• its associated (multi) graph has exactly 6n-6 edges • and every subgraph has at most 6n’-6 edges
1
5 6
Theorem (3D Body-Bar-Hinge rigidity) (Tay 1984)
Tay 84, 89; White and Whiteley 87; Katoh and Tanigawa 09
![Page 76: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/76.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 76
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 77: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/77.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 77
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 78: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/78.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 78
Demo (by Audrey Lee-St John) http://linkage.cs.umass.edu/pg/
Pebble Game
![Page 79: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/79.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 79
Summary: KINARI-Web and KINARI-Lib
Live demos during the Tutorial were done using the code available from the KINARI web site:
http://kinari.cs.umass.edu/Downloads/kernel/
by selecting the Examples menu.
![Page 80: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/80.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 80
KINARI KINematic And RIgidity analysis
http://kinari.cs.umass.edu
• Introduction to KINARI
• Motivation: protein flexibility
• Mechanical modeling of molecules
• Mechanical frameworks
• Associated multi-graph
• Algorithms: the pebble game
• KINARI site
• KINARI-Web demo • I/O files and formats
• KINARI-Lib downloads site
• KINARI-Lib demos • Body-bar-hinge demo • Pebble Game demo
![Page 81: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/81.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 81
Other tools, extensions, future work
TOOLS • Protein specific: curation, mutations, case studies, biological unit and crystals, modeling tools, statistics. • Available through web interface
FUTURE WORK • Other molecular formats • Algorithmic engine: new algorithms to be built in • Mathematical experimentation and algorithm development
LIBRARY DISTRIBUTION Now: kernel. Next: molecular tools. Other platforms
![Page 82: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/82.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 82
Acknowledgements
KINARI-Web V1.0 team: Naomi Fox, Yang Li, Ileana Streinu, Diana Jaunzeikare, Filip Jagodzinski
![Page 83: KINARI-Lib - GTS 2012gts2012.tem.uoc.gr/files/kinari-slides.pdf · KINARI-Lib Tutorial ... 6/19/12 KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 18 ... 6/19/12 KINARI-Lib Tutorial](https://reader031.fdocuments.us/reader031/viewer/2022021801/5b33e8937f8b9abc218b8e9c/html5/thumbnails/83.jpg)
KINARI-Lib Tutorial - SoCG'12 - Fox and Streinu 6/19/12 83
Thank you