MIT Department of Electrical Engineering & Computer Science
Topological Reasoning in Two Dimensions
Christos H. Papadimitriou
UC Berkeley
Friday, May 9, 1997
11:00 AM
Room NE43-308
Theory of Computation Seminar
Abstract
Suppose that you are told that region A is inside region B, region B
intersects C, C is disjoint from D, which includes A and touches B.
Is this possible --- that is, can we find actual blobs on the plane
that relate in this way --- or is there a (topo)logical contradiction
in these statements? This is an unexpectedly complex problem, an
intriguing combination of Boolean logic and planarity; it is not known
to be decidable. It even leads to an interesting alternative
definition of planarity, and some novel algorithmic questions.
Host: David Karger
URL of this page:
http://www-eecs.mit.edu/AY96-97/events/54.html
Created: May 8, 1997
|
Modified: Jun 24, 1997
This announcement is from the MIT EECS 1996-97 archive.
|
Current events
To MIT EECS home page
|
Your comments
and inquiries are welcome.
