Header menu link for other important links
X
On the isomorphism problem for decision trees and decision lists
, , Köbler Johannes, Kuhnert Sebastian,
Published in Elsevier BV
2015
Volume: 590
   
Pages: 38 - 54
Abstract

We study the complexity of isomorphism testing for boolean functions that are represented by decision trees or decision lists. Our results are the following:

Isomorphism testing of rank 1 decision trees is complete for logspace.

For any constant r2, isomorphism testing for rank r decision trees is polynomial-time equivalent to Graph Isomorphism. As a consequence of our reduction, we obtain our main result for decision trees: A 2n(logs)O(1) time algorithm for isomorphism testing of decision trees of size s over n variables.

The isomorphism problem for decision lists admits a Schaefer-type trichotomy: depending on the class of base functions, the isomorphism problem is either in L, or polynomial-time equivalent to Graph Isomorphism, or coNP-hard.

About the journal
JournalData powered by TypesetTheoretical Computer Science
PublisherData powered by TypesetElsevier BV
Open AccessNo