English
Related papers

Related papers: Binary Decision Diagrams: from Tree Compaction to …

200 papers

We investigate the randomized decision tree complexity of a specific class of read-once threshold functions. A read-once threshold formula can be defined by a rooted tree, every internal node of which is labeled by a threshold function…

Computational Complexity · Computer Science 2023-10-19 Nikos Leonardos

We show that an algorithmic construction of sequences of recursive trees leads to a direct proof of the convergence of random recursive trees in an associated Doob-Martin compactification; it also gives a representation of the limit in…

Probability · Mathematics 2014-07-01 Rudolf Grübel , Igor Michailow

In this paper we show that a CNF cannot be compiled into an Ordered Binary Decision Diagram (OBDD) of fixed-parameter size parameterized by the primal graph treewidth of the CNF. Thus we provide a parameterized separation between OBDDs and…

Logic in Computer Science · Computer Science 2014-07-31 Igor Razgon

The use of machine learning algorithms in finance, medicine, and criminal justice can deeply impact human lives. As a consequence, research into interpretable machine learning has rapidly grown in an attempt to better control and fix…

Machine Learning · Computer Science 2021-02-02 Thibaut Vidal , Toni Pacheco , Maximilian Schiffer

The election is a classical problem in distributed algorithmic. It aims to design and to analyze a distributed algorithm choosing a node in a graph, here, in a tree. In this paper, a class of randomized algorithms for the election is…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-07-20 Jean-François Marckert , Nasser Saheb-Djahromi , Akka Zemmari

The decision tree is one of the most fundamental programming abstractions. A commonly used type of decision tree is the alphabetic binary tree, which uses (without loss of generality) ``less than'' versus ''greater than or equal to'' tests…

Performance · Computer Science 2007-07-13 Michael B. Baer

Tree rotations (left and right) are basic local deformations allowing to transform between two unlabeled binary trees of the same size. Hence, there is a natural problem of practically finding such transformation path with low number of…

Data Structures and Algorithms · Computer Science 2016-10-20 Jarek Duda

Tree graphs are routinely used in statistics. When estimating a Bayesian model with a tree component, sampling the posterior remains a core difficulty. Existing Markov chain Monte Carlo methods tend to rely on local moves, often leading to…

Methodology · Statistics 2025-02-05 Edric Tam , David B. Dunson , Leo L. Duan

We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset…

Dynamical Systems · Mathematics 2024-04-08 Godofredo Iommi , Mario Ponce

Approximate Bayesian computation (ABC) methods provide an elaborate approach to Bayesian inference on complex models, including model choice. Both theoretical arguments and simulation experiments indicate, however, that model posterior…

Decision trees and systems of decision rules are widely used as classifiers, as a means for knowledge representation, and as algorithms. They are among the most interpretable models for data analysis. The study of the relationships between…

Artificial Intelligence · Computer Science 2023-05-04 Kerven Durdymyradov , Mikhail Moshkov

We consider the problem of representing multidimensional data where the domain of each dimension is organized hierarchically, and the queries require summary information at a different node in the hierarchy of each dimension. This is the…

Data Structures and Algorithms · Computer Science 2016-12-14 Nieves R. Brisaboa , Ana Cerdeira-Pena , Narciso López-López , Gonzalo Navarro , Miguel R. Penabad , Fernando Silva-Coira

Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for…

Software Engineering · Computer Science 2019-07-04 Tatsuhiro Tsuchiya

We use some of the largest order statistics of the random projections of a reference signal to construct a binary embedding that is adapted to signals correlated with such signal. The embedding is characterized from the analytical…

Machine Learning · Computer Science 2017-01-31 Diego Valsesia , Enrico Magli

Biclustering involves the simultaneous clustering of objects and their attributes, thus defining local two-way clustering models. Recently, efficient algorithms were conceived to enumerate all biclusters in real-valued datasets. In this…

Machine Learning · Computer Science 2015-06-04 Saullo Haniell Galvão de Oliveira , Rosana Veroneze , Fernando José Von Zuben

We consider algorithms for going from a "full" matrix to a condensed "band bidiagonal" form using orthogonal transformations. We use the framework of "algorithms by tiles". Within this framework, we study: (i) the tiled bidiagonalization…

Mathematical Software · Computer Science 2016-11-23 Mathieu Faverge , Julien Langou , Yves Robert , Jack Dongarra

We present an algorithm that enumerates all the minimal triangulations of a graph in incremental polynomial time. Consequently, we get an algorithm for enumerating all the proper tree decompositions, in incremental polynomial time, where…

Data Structures and Algorithms · Computer Science 2023-07-28 Nofar Carmeli , Batya Kenig , Benny Kimelfeld , Markus Kröll

Classification of datasets into two or more distinct classes is an important machine learning task. Many methods are able to classify binary classification tasks with a very high accuracy on test data, but cannot provide any easily…

Machine Learning · Computer Science 2020-08-26 Yashesh Dhebar , Sparsh Gupta , Kalyanmoy Deb

We present a constraint model for the problem of producing a tree decomposition of a graph. The inputs to the model are a simple graph G, the number of nodes in the desired tree decomposition and the maximum cardinality of each node in that…

Discrete Mathematics · Computer Science 2019-08-08 Benjamin Bumpus , Patrick Prosser , James Trimble

We propose a novel technique, termed compact shape trees, for computing correspondences of single-boundary 2-D shapes in O(n2) time. Together with zero or more features defined at each of n sample points on the shape's boundary, the compact…

Computer Vision and Pattern Recognition · Computer Science 2015-06-10 Abdulrahman Oladipupo Ibraheem