English
Related papers

Related papers: A Note on Unconditional Subexponential-time Pseudo…

200 papers

The simplicial condition and other stronger conditions that imply it have recently played a central role in developing polynomial time algorithms with provable asymptotic consistency and sample complexity guarantees for topic estimation in…

Machine Learning · Computer Science 2013-10-31 Weicong Ding , Prakash Ishwar , Mohammad H. Rohban , Venkatesh Saligrama

We show that equivalence of deterministic top-down tree-to-string transducers is decidable, thus solving a long standing open problem in formal language theory. We also present efficient algorithms for subclasses: polynomial time for total…

Formal Languages and Automata Theory · Computer Science 2017-01-30 Helmut Seidl , Sebastian Maneth , Gregor Kemper

A notion of alternating timed automata is proposed. It is shown that such automata with only one clock have decidable emptiness problem over finite words. This gives a new class of timed languages which is closed under boolean operations…

Logic in Computer Science · Computer Science 2007-05-23 Slawomir Lasota , Igor Walukiewicz

This paper introduces a deterministic algorithm for solving an instance of the Subset Sum Problem based on a new method entitled the Bipartite Synthesis Method. The algorithm is described and shown to have worst-case limiting performance…

Data Structures and Algorithms · Computer Science 2015-02-09 Scott Lilienthal

Using recent machine learning results that present an information-theoretic perspective on underfitting and overfitting, we prove that deciding whether an encodable learning algorithm will always underfit a dataset, even if given unlimited…

Machine Learning · Computer Science 2021-02-11 Sonia Sehra , David Flores , George D. Montanez

We study the problem of differentially private second moment estimation and present a new algorithm that achieve strong privacy-utility trade-offs even for worst-case inputs under subsamplability assumptions on the data. We call an input…

Machine Learning · Computer Science 2025-05-21 Bar Mahpud , Or Sheffet

In this paper a novel stochastic optimization and extremum seeking algorithm is presented, one which is based on time-delayed random perturbations and step size adaptation. For the case of a one-dimensional quadratic unconstrained…

Optimization and Control · Mathematics 2024-10-29 Naum Dimitrieski , Michael Reyer , Mohamed-Ali Belabbas , Christian Ebenbauer

In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems)…

Commutative Algebra · Mathematics 2007-05-23 David Castro , Marc Giusti , Joos Heintz , Guillermo Matera , Luis Miguel Pardo

This paper investigates the problem of bounding counterfactual queries from an arbitrary collection of observational and experimental distributions and qualitative knowledge about the underlying data-generating model represented in the form…

Artificial Intelligence · Computer Science 2021-10-13 Junzhe Zhang , Jin Tian , Elias Bareinboim

When looking for a solution, deterministic methods have the enormous advantage that they do find global optima. Unfortunately, they are very CPU-intensive, and are useless on untractable NP-hard problems that would require thousands of…

Neural and Evolutionary Computing · Computer Science 2011-12-20 Pierre Collet , Jean-Philippe Rennard

We give a finite-sample analysis of predictive inference procedures after model selection in regression with random design. The analysis is focused on a statistically challenging scenario where the number of potentially important…

Statistics Theory · Mathematics 2009-08-26 Hannes Leeb

We show that assuming the Exponential Time Hypothesis, the Partial Minimum Branching Program Size Problem (MBPSP*) requires superpolynomial time. This result also applies to the partial minimization problems for many interesting subclasses…

Computational Complexity · Computer Science 2024-07-08 Ludmila Glinskih , Artur Riazanov

We tackle the problem of planning in nondeterministic domains, by presenting a new approach to conformant planning. Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal despite the…

Artificial Intelligence · Computer Science 2011-06-02 A. Cimatti , M. Roveri

Feature subset selection, as a special case of the general subset selection problem, has been the topic of a considerable number of studies due to the growing importance of data-mining applications. In the feature subset selection problem…

Machine Learning · Computer Science 2014-11-13 Tofigh Naghibi , Sarah Hoffmann , Beat Pfister

In this paper we study the Product Partition Problem (PPP), i.e. we are given a set of $n$ natural numbers represented on $m$ bits each and we are asked if a subset exists such that the product of the numbers in the subset equals the…

Data Structures and Algorithms · Computer Science 2024-05-29 Marius Costandin

We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for individual agents such that a specified set of goal states…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-08 Holger Hermanns , Jan Krčál , Steen Vester

In the literature, besides the assumption of strict complementarity, superlinear convergence of implementable polynomial-time interior point algorithms using known search directions, namely, the HKM direction, its dual or the NT direction,…

Optimization and Control · Mathematics 2024-08-22 Chee-Khian Sim

Benchmark instances for the unbounded knapsack problem are typically generated according to specific criteria within a given constant range $R$, and these instances can be referred to as the unbounded knapsack problem with bounded…

Data Structures and Algorithms · Computer Science 2024-03-19 Yang Yang

We extend our techniques developed in our earlier paper appeared in Computational Complexity, 2017 (preprint: arXiv:1508.00690) to obtain a deterministic polynomial time algorithm for computing the non-commutative rank together with…

Computational Complexity · Computer Science 2018-02-06 Gábor Ivanyos , Youming Qiao , K. V. Subrahmanyam

We study the problem of estimating the best B term Fourier representation for a given frequency-sparse signal (i.e., vector) $\textbf{A}$ of length $N \gg B$. More explicitly, we investigate how to deterministically identify B of the…

Discrete Mathematics · Computer Science 2007-08-10 M. A. Iwen