Abstract:In this paper, we study arbitrary infinite binary information systems each of which consists of an infinite set called universe and an infinite set of two-valued functions (attributes) defined on the universe. We consider the notion of a problem over information system, which is described by a finite number of attributes and a mapping associating a decision to each tuple of attribute values. As algorithms for problem solving, we investigate deterministic and nondeterministic decision trees that use only attributes from the problem description. Nondeterministic decision trees are representations of decision rule systems that sometimes have less space complexity than the original rule systems. As time and space complexity, we study the depth and the number of nodes in the decision trees. In the worst case, with the growth of the number of attributes in the problem description, (i) the minimum depth of deterministic decision trees grows either as a logarithm or linearly, (ii) the minimum depth of nondeterministic decision trees either is bounded from above by a constant or grows linearly, (iii) the minimum number of nodes in deterministic decision trees has either polynomial or exponential growth, and (iv) the minimum number of nodes in nondeterministic decision trees has either polynomial or exponential growth. Based on these results, we divide the set of all infinite binary information systems into three complexity classes. This allows us to identify nontrivial relationships between deterministic decision trees and decision rules systems represented by nondeterministic decision trees. For each class, we study issues related to time-space trade-off for deterministic and nondeterministic decision trees.

Nondeterministic infinite time Turing machines

Cardinal-Recognizing Infinite Time Turing Machines

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

On the questions P ?= NP $\cap$ co-NP and NP ?= co-NP for infinite time Turing machines

Infinite Time Turing Machines: Supertask Computation

Verifying Time Complexity of Deterministic Turing Machines

Nondeterministic Structure of Computation

Internal Turing Machines

Computability vs. Nondeterministic and P vs. NP

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Towards a Church-Turing-Thesis for Infinitary Computations

On $NP$ versus ${\rm co}NP$ and Frege Systems

A Busy Beaver Problem for Infinite-Time Turing Machines

Randomness and Degree Theory for Infinite Time Register Machines

A Local Approach to Studying the Time and Space Complexity of Deterministic and Nondeterministic Decision Trees

Non-deterministic Structures of Computation

Bounded Nondeterminism and Alternation in Parameterized Complexity Theory

History-deterministic Timed Automata

Multiway Turing Machines

Time and space complexity of deterministic and nondeterministic decision trees