SIAM Digital Library
 
 
 

You are not logged in Logged Out Log In

SIAM J. on Computing / Volume 38 / Issue 6

SIAM J. Comput. 38, pp. 2443-2467 (25 pages)

A 2EXPTIME Complete Varietal Membership Problem

Marcin Kozik

Full Text: Download PDF | Buy PDF (US$25) | View Cart
We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000.

© 2009 Society for Industrial and Applied Mathematics

RELATED DATABASES

To view database links for this article, you need to log in.

KEYWORDS

AMS Subject Headings

68Q25, 08B15, 08A40, 68Q65

PUBLICATION DATA

ISSN

0097-5397 (print)  
1095-7111 (online)

Publisher

$abstract.society.value is a Member of CrossRef Society for Industrial and Applied Mathematics

ARTICLE DATA

History
Received January 23, 2007
Accepted December 17, 2008
Published online April 01, 2009
Digital Object Identifier
http://dx.doi.org/10.1137/070680801

For access to fully linked references, you need to log in.

Close

Your Recent History Recent History Help

Recently Viewed

  1. A 2EXPTIME Complete Varietal Membership Problem
  2. Metric Embeddings with Relaxed Guarantees
  3. Spanners of Complete $k$-Partite Geometric Graphs
  4. The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture...
  5. Short PCPs with Polylog Query Complexity
© SIAM By using SIAM Publications Online you agree to abide by the Terms and Conditions of Use. Banner art adapted from a figure by Hinke M. Osinga and Bernd Krauskopf (University of Bristol, UK).
close