中文
相关论文

相关论文: Linear-Time Pointer-Machine Algorithms for Path-Ev…

200 篇论文

Linear tree constraints were introduced by Hofmann and Rodriguez in the context of amortized resource analysis for object oriented programs. More precisely, they gave a reduction from inference of resource types to constraint solving. Thus,…

计算机科学中的逻辑 · 计算机科学 2018-06-27 Sabine Bauer , Martin Hofmann

The shortest path problem in graphs is a cornerstone of AI theory and applications. Existing algorithms generally ignore edge weight computation time. We present a generalized framework for weighted directed graphs, where edge weight can be…

数据结构与算法 · 计算机科学 2024-02-20 Eyal Weiss , Ariel Felner , Gal A. Kaminka

The minimum cost flow problem is one of the most studied network optimization problems and appears in numerous applications. Some efficient algorithms exist for this problem, which are freely available in the form of libraries or software…

机器学习 · 计算机科学 2022-10-06 Philipp Herrmann , Anna Meyer , Stefan Ruzika , Luca E. Schäfer , Fabian von der Warth

We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^\alpha$ as…

数据结构与算法 · 计算机科学 2021-06-01 Alan Frieze , Tomasz Tkocz

As deep learning models continue to increase in size, the memory requirements for training have surged. While high-level techniques like offloading, recomputation, and compression can alleviate memory pressure, they also introduce…

机器学习 · 计算机科学 2023-10-31 Huiyao Shu , Ang Wang , Ziji Shi , Hanyu Zhao , Yong Li , Lu Lu

For many algorithmic problems, traditional algorithms that optimise on the number of instructions executed prove expensive on I/Os. Novel and very different design techniques, when applied to these problems, can produce algorithms that are…

数据结构与算法 · 计算机科学 2010-05-20 Alka

Linear-parametric optimization, where multiple objectives are combined into a single objective using linear combinations with parameters as coefficients, has numerous links to other fields in optimization and a wide range of application…

最优化与控制 · 数学 2025-01-22 Levin Nemesch , Stefan Ruzika , Clemens Thielen , Alina Wittmann

We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of…

数据结构与算法 · 计算机科学 2020-11-04 Markus Anders , Pascal Schweitzer

While the shortest path problem has myriad applications, the computational efficiency of suitable algorithms depends intimately on the underlying problem domain. In this paper, we focus on domains where evaluating the edge weight function…

数据结构与算法 · 计算机科学 2016-06-15 Christopher M. Dellin , Siddhartha S. Srinivasa

Kernel matrices, as well as weighted graphs represented by them, are ubiquitous objects in machine learning, statistics and other related fields. The main drawback of using kernel methods (learning and inference using kernel matrices) is…

机器学习 · 计算机科学 2022-12-02 Ainesh Bakshi , Piotr Indyk , Praneeth Kacham , Sandeep Silwal , Samson Zhou

This paper investigates convex quadratic optimization problems involving $n$ indicator variables, each associated with a continuous variable, particularly focusing on scenarios where the matrix $Q$ defining the quadratic term is positive…

最优化与控制 · 数学 2024-04-15 Aaresh Bhathena , Salar Fattahi , Andrés Gómez , Simge Küçükyavuz

In a temporal graph, each edge is available at specific points in time. Such an availability point is often represented by a ''temporal edge'' that can be traversed from its tail only at a specific departure time, for arriving in its head…

数据结构与算法 · 计算机科学 2023-01-31 Filippo Brunelli , Laurent Viennot

A rank-adaptive integrator for the approximate solution of high-order tensor differential equations by tree tensor networks is proposed and analyzed. In a recursion from the leaves to the root, the integrator updates bases and then evolves…

数值分析 · 数学 2022-07-26 Gianluca Ceruti , Christian Lubich , Dominik Sulz

Time Optimal Path Parametrization is the problem of minimizing the time interval during which an actuation constrained agent can traverse a given path. Recently, an efficient linear-time algorithm for solving this problem was proposed.…

机器人学 · 计算机科学 2019-06-24 Igor Spasojevic , Varun Murali , Sertac Karaman

We prove that some exact geometric pattern matching problems reduce in linear time to $k$-SUM when the pattern has a fixed size $k$. This holds in the real RAM model for searching for a similar copy of a set of $k\geq 3$ points within a set…

计算几何 · 计算机科学 2020-03-27 Boris Aronov , Jean Cardinal

We solve the subgraph isomorphism problem in planar graphs in linear time, for any pattern of constant size. Our results are based on a technique of partitioning the planar graph into pieces of small tree-width, and applying dynamic…

数据结构与算法 · 计算机科学 2007-05-23 David Eppstein

In numerical linear algebra, considerable effort has been devoted to obtaining faster algorithms for linear systems whose underlying matrices exhibit structural properties. A prominent success story is the method of generalized nested…

数据结构与算法 · 计算机科学 2023-10-26 Sally Dong , Gramoz Goranci , Lawrence Li , Sushant Sachdeva , Guanghao Ye

Algorithms for learning decision trees often include heuristic local-search operations such as (1) adjusting the threshold of a cut or (2) also exchanging the feature of that cut. We study minimizing the number of classification errors by…

机器学习 · 计算机科学 2025-10-15 Juha Harviainen , Frank Sommer , Manuel Sorge

The AHU-algorithm solves the computationally difficult graph isomorphism problem for rooted trees, and does so with a linear time complexity. Although the AHU-algorithm has remained state of the art for almost 50 years, it has been…

计算复杂性 · 计算机科学 2024-01-17 Anna Lindeberg

We learn sensor trees from training data to minimize sensor acquisition costs during test time. Our system adaptively selects sensors at each stage if necessary to make a confident classification. We pose the problem as empirical risk…

机器学习 · 统计学 2015-09-11 Joseph Wang , Kirill Trapeznikov , Venkatesh Saligrama