Existential theory of the reals - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-08-20 13:53:08 Applied mathematics Crossing number NP Existential theory of the reals Intersection graph EXPTIME P versus NP problem Graph isomorphism problem Theoretical computer science Computational complexity theory Complexity classes		Add to Reading List Source URL: ovid.cs.depaul.edu Download Document from Source Website File Size: 147,33 KB Share Document on Facebook

	3. STRUCTURE MODEL AND ISOMORPHISM PROBLEM Structure model is also a canonical presentation of a graph. The problem of canonical presentation was established probably by Lazlo Babai [1, 2] in 1977th. It means the presen DocID: 1vjcF - View Document
	Graph Isomorphism is in SPP ? V. Arvind ∗ and Piyush P Kurur 1 Institute of Mathematical Sciences, Chennai, India Abstract We show that Graph Isomorphism is in the complexity class SPP, and hence it is DocID: 1rkqP - View Document
	Permutation groups and the graph isomorphism problem Sumanta Ghosh and Piyush P Kurur Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India DocID: 1r7bO - View Document
	CHARLES UNIVERSITY FACULTY OF MATHEMATICS AND PHYSICS LOCALLY INJECTIVE HOMOMORPHISMS DocID: 1r5we - View Document
	Open Problems from the Workshop on Algebra and CSPs August, Fields Institute, Toronto September 30, 2011 This is a list of open problems from the algebra workshop which was a part of the Summer Thematic Program DocID: 1qFWi - View Document