Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!rutgers!sri-spam!ames!ucbcad!ucbvax!MCC.COM!AI.ELLIE From: AI.ELLIE@MCC.COM (Ellie Huck) Newsgroups: comp.ai.digest Subject: Seminar - Some Graph Theoretic Models in AI (MCC) Message-ID: <12299949861.83.AI.ELLIE@MCC.COM> Date: Tue, 5-May-87 10:02:33 EDT Article-I.D.: MCC.12299949861.83.AI.ELLIE Posted: Tue May 5 10:02:33 1987 Date-Received: Sat, 16-May-87 08:03:20 EDT Sender: daemon@ucbvax.BERKELEY.EDU Distribution: world Organization: The ARPA Internet Lines: 25 Approved: ailist@stripe.sri.com Please join the AI Program for the following speaker: Frank Harary Consultant May 7 at 10:00am MCC Auditorium "Some Graph Theoretic Models in AI" Trees and other graphs abound in AI theory, e.g., in: a) Searching trees and labeling them b) Three proofs from the apochryphal "Best Book of Mathematical Proofs": 1) The ramsly number of a triangle is 6 2) Every self-complementary graph has diameter 2 or 3 3) Every weakly connected nontrivial acryclic digraph has a receiver c) On converting a theorem into a game d) On games and game trees Thursday, May 7 10:00am MCC ConcEDUincl3 pruag