paper-with-me

홈 › Papers

Superconstant Inapproximability of Decision Tree Learning

2024-07-01 · Caleb Koch, Carmen Strassle, Li-Yang Tan

We consider the task of properly PAC learning decision trees with queries. Recent work of Koch, Strassle, and Tan showed that the strictest version of this task, where the hypothesis tree $T$ is required to be optimally small, is NP-hard. Their work leaves open the question of whether the task remains intractable if $T$ is only required to be close to optimal, say within a factor of 2, rather than exactly optimal. We answer this affirmatively and show that the task indeed remains NP-hard even if $T$ is allowed to be within any constant factor of optimal. More generally, our result allows for a smooth tradeoff between the hardness assumption and the inapproximability factor. As Koch et al.'s techniques do not appear to be amenable to such a strengthening, we first recover their result with a new and simpler proof, which we couple with a new XOR lemma for decision trees. While there is a large body of work on XOR lemmas for decision trees, our setting necessitates parameters that are extremely sharp, and are not known to be attainable by existing XOR lemmas. Our work also carries new implications for the related problem of Decision Tree Minimization.

📄 PDF Abstract BibTeX arXiv:2407.01402

Code (0)

등록된 구현이 없습니다.

Tasks

LEMMAPAC learning

Similar Papers 제목 키워드 기반

Inapproximability of sufficient reasons for decision trees

2023-04-05 · Alexander Kozachinskiy

In this note, we establish the hardness of approximation of the problem of computing the minimal size of a $\delta$-sufficient reason for decision trees.

Superpolynomial Lower Bounds for Decision Tree Learning and Testing

2022-10-12 · Caleb Koch, Carmen Strassle, Li-Yang Tan

We establish new hardness results for decision tree optimization problems, adding to a line of work that dates back to Hyafil and Rivest in 1976. We prove, under randomized ETH, superpolynomial lower bounds for two basic…

PAC learning

Inapproximability of a Pair of Forms Defining a Partial Boolean Function

2021-02-09 · David Stein, Bjoern Andres

We consider the problem of jointly minimizing forms of two Boolean functions $f, g \colon \{0,1\}^J \to \{0,1\}$ such that $f + g \leq 1$ and so as to separate disjoint sets $A \cup B \subseteq \{0,1\}^J$ such that $f(A)…

Fast decision tree learning solves hard coding-theoretic problems

2024-09-19 · Caleb Koch, Carmen Strassle, Li-Yang Tan

We connect the problem of properly PAC learning decision trees to the parameterized Nearest Codeword Problem ($k$-NCP). Despite significant effort by the respective communities, algorithmic progress on both problems has …

PAC learning

Precedence-Constrained Decision Trees and Coverings

2026-02-24 · Michał Szyfelbein, Dariusz Dereniowski arxiv

This work considers a number of optimization problems and reductive relations between them. The two main problems we are interested in are the Optimal Decision Tree and Set Cover. We study these two fundamental tasks und…