I gave an invited talk at Hong Kong PolyU. Hooray to 50-year anniversary of Department of Computing in PolyU.