[comp.theory] WOBCATS meeting on February 26, 1990

art@CS.SFU.CA (02/13/90)

The next WOBCATS meeting will be held in room 9896 of the new Applied Sciences
Building at Simon Fraser University in beautiful Burnaby, B. C. on Monday,
February 26, 1990.  The speakers will be Chris Wilson (U. of Oregon),
Deborah Joseph (visiting U. of Washington) and Maria Klawe (U. of British
 Columbia).
See abstracts below.

         Schedule

 11:00  coffee, juice, muffins
 11:30  talk by Maria Klawe
 12:30  lunch
  1:30  talk by Chris Wilson
  2:30  break
  3:15  talk by Deborah Joseph
  4:15  adjourn to University Club for socialism

The Applied Sciences Building is located at the southeastern edge of the
campus and is near a visitors parking lot.  From the TransCanada Highway
(Hwy 1), take the Cariboo exit and proceed on Gaglardi Way to SFU.
There is an information booth at the main entrance.  The folks there can
direct you to visitors parking and to our building.

If you are coming from far away and need accommodation, we recommend the
Best Western Coquitlam Motor Inn ((604)-931-9011) with rates in the $80-
$100 range.  (for example, two beds/two persons is $89.00)  The Inn is about
ten minutes from SFU by car and also close to an SFU-bound bus.  (You can't
get much closer since we are on top of a (small) mountain.)  Please mention
the School of Computing Science at SFU when you call for a reservation.
If you wish to stay in downtown Vancouver, there are lots of hotels but you
are on your own.

If you are flying to Vancouver, SFU (and the Coquitlam Best Western) are
about 45 minutes (by car) from the airport if there is no traffic (or snow).

Please let me know how many people from your institution will be attending
(no later than February 19, please) so that we can arrange lunch.

AND NOW, THE ABSTRACTS:

*****************************************************************************

An O(n log log n) Algorithm for Polygon Triangulation with Simple
 Data-Structures
by Maria M. Klawe

Partitioning the interior of a polygon into triangles by adding
non-intersecting diagonals of the polygon has widespread applications
in computer graphics, pattern recognition, and computational morphology,
as well as playing a fundamental role as a building block in the
solution of many problems in computational geometry.  In this talk,
we present a new O(n log log n) time algorithm for triangulating simple
n-vertex polygons, which avoids the use of complicated data-structures.
The major new technique employed is a linear time algorithm for obtaining
the horizontal visibility partition of a subchain of a polygonal chain,
from the horizontal visibility partition of the entire chain.  This
technique has other interesting applications including a linear time
algorithm to convert a Steiner triangulation of a polygon to a true
triangulation.  (The work presented is joint work with David Kirkpatrick
and Bob Tarjan.)

*****************************************************************************

Circuits with Limited Negations
by Chris Wilson

There recently have been some very nice results on the limitations of the
power of certain types of monotone circuits.  These results would answer
fundamental questions in complexity theory if they could be carried over
to the non-monotone case.  A question we address is an intermediate one:
what is the power of circuits with a limitation on the number of negation
gates?  How much can this number be limited without changing the power of
the circuit class?  A basic theorem of Markov is that the minimum number
of negation gates needed for a circuit to compute any Boolean function on
n variables is log n, but these circuits have no restriction on their size
or depth.  We show that this result holds down to NC^1: log n negations are
necessary and sufficient to compute everything within NC^1.  On the contrary,
constant depth threshold circuits (TC^0) and constant depth circuits (AC^0)
behave quite differently.  For each of these classes we derive essentially
matching upper and lower bounds on the number of negations which preserve
the class.  (This talk describes joint work with Miklos Santha.)

*****************************************************************************

The Complexity of Finding Minimum Nested Polyhedra
by Deborah Joseph

In this talk we consider the following problem. Given two nested polyhedra,
P and Q, with Q nested in P, find a third polyhedron R that encloses
Q and is contained in P such that the number of faces on R is minimal.
This problem was posed by Klee and a polynomial time algorithm was given
by  Aggarwal, Booth, O'Rourke, Suri and Yap for the 2-dimensional problem.
We show that the 3-dimensional problem is NP-hard.  (This talk describes
joint work with Gautam Das.)

*****************************************************************************

For more information, please contact:

Art Liestman (604)-291-4197   (art@cs.sfu.ca) (FAX (604)-291-3045)