English
Related papers

Related papers: An n log n Alogrithm for Deterministic Kripke Stru…

200 papers

Given a sequence of integers, we want to find a longest increasing subsequence of the sequence. It is known that this problem can be solved in $O(n \log n)$ time and space. Our goal in this paper is to reduce the space consumption while…

Data Structures and Algorithms · Computer Science 2017-12-27 Masashi Kiyomi , Hirotaka Ono , Yota Otachi , Pascal Schweitzer , Jun Tarui

We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moore's state minimization algorithm is in O(n log n). Moreover this bound…

Data Structures and Algorithms · Computer Science 2009-02-09 Frédérique Bassino , Julien David , Cyril Nicaud

This paper presents a means with time complexity of at worst O(n^3) to compute the discrete logarithm on cyclic finite groups of integers modulo p. The algorithm makes use of reduction of the problem to that of finding the concurrent zeros…

Data Structures and Algorithms · Computer Science 2009-12-29 Charles Sauerbier

We present a deterministic dynamic algorithm for maintaining a $(1+\epsilon)f$-approximate minimum cost set cover with $O(f\log(Cn)/\epsilon^2)$ amortized update time, when the input set system is undergoing element insertions and…

Data Structures and Algorithms · Computer Science 2019-09-26 Sayan Bhattacharya , Monika Henzinger , Danupon Nanongkai

In this paper, we have developed a fully-dynamic algorithm for maintaining cardinality of maximum-matching in a tree using the construction of top-trees. The time complexities are as follows: 1. Initialization Time: $O(n(log(n)))$ to build…

Data Structures and Algorithms · Computer Science 2009-01-20 Manoj Gupta , Ankit Sharma

We study feature selection for $k$-means clustering. Although the literature contains many methods with good empirical performance, algorithms with provable theoretical behavior have only recently been developed. Unfortunately, these…

Machine Learning · Computer Science 2016-11-17 Christos Boutsidis , Malik Magdon-Ismail

Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest…

Data Structures and Algorithms · Computer Science 2018-04-04 Jeff Erickson , Kyle Fox , Luvsandondov Lkhamsuren

Sinkhorn's alternative minimization algorithm applied to a positive $n\times n$ matrix converges to a doubly stochastic matrix. If the algorithm, applied to a $2\times 2$ matrix, converges in a finite number of iterations, then it converges…

Combinatorics · Mathematics 2020-11-26 Melvyn B. Nathanson

We study a fundamental problem in Computational Geometry, the planar two-center problem. In this problem, the input is a set $S$ of $n$ points in the plane and the goal is to find two smallest congruent disks whose union contains all points…

Computational Geometry · Computer Science 2024-11-06 Kyungjin Cho , Eunjin Oh , Haitao Wang , Jie Xue

We present an O(nlogn) algorithm to compile a switch statement into jump tables. To generate jump tables that can be efficiently predicted by current hardware branch predictors, we added an upper bound on the number of entries for each…

Data Structures and Algorithms · Computer Science 2019-11-05 Evandro Menezes , Sebastian Pop , Aditya Kumar

A recent work by Christiansen, Nowicki, and Rotenberg provides dynamic algorithms for coloring sparse graphs, concretely as a function of the arboricity alpha of the input graph. They give two randomized algorithms: O({alpha} log {alpha})…

Data Structures and Algorithms · Computer Science 2024-10-28 Mohsen Ghaffari , Christoph Grunau

We present a new approach to the minimum-cost integral flow problem for small values of the flow. It reduces the problem to the tests of simple multi-variate polynomials over a finite field of characteristic two for non-identity with zero.…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-10-02 Andrzej Lingas , Mia Persson

The best deterministic unconditionally proven integer factorization algorithms have exponential running time complexities of O(N^(1/4)) arithmetic operations, and conditional on the Riemann hypothesis, there is a deterministic algorithm of…

Number Theory · Mathematics 2007-07-31 N. A. Carella

We propose k^2-means, a new clustering method which efficiently copes with large numbers of clusters and achieves low energy solutions. k^2-means builds upon the standard k-means (Lloyd's algorithm) and combines a new strategy to accelerate…

Machine Learning · Computer Science 2016-05-31 Eirikur Agustsson , Radu Timofte , Luc Van Gool

Choosing a suitable algorithm from the myriads of different search heuristics is difficult when faced with a novel optimization problem. In this work, we argue that the purely academic question of what could be the best possible algorithm…

Neural and Evolutionary Computing · Computer Science 2023-12-07 Shouda Wang , Weijie Zheng , Benjamin Doerr

Consider a clique of n nodes, where in each synchronous round each pair of nodes can exchange O(log n) bits. We provide deterministic constant-time solutions for two problems in this model. The first is a routing problem where each node is…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-05-13 Christoph Lenzen

We describe and analyze Zig-zag Sort--a deterministic data-oblivious sorting algorithm running in O(n log n) time that is arguably simpler than previously known algorithms with similar properties, which are based on the AKS sorting network.…

Data Structures and Algorithms · Computer Science 2014-05-19 Michael T. Goodrich

This paper considers the online machine minimization problem, a basic real time scheduling problem. The setting for this problem consists of n jobs that arrive over time, where each job has a deadline by which it must be completed. The goal…

Data Structures and Algorithms · Computer Science 2018-01-31 Sungjin Im , Benjamin Moseley , Kirk Pruhs , Clifford Stein

We consider the problem of cutting a set of edges on a polyhedral manifold surface, possibly with boundary, to obtain a single topological disk, minimizing either the total number of cut edges or their total length. We show that this…

Computational Geometry · Computer Science 2007-05-23 Jeff Erickson , Sariel Har-Peled

We study the puzzle game Buttons and Scissors in which the goal is to remove all buttons from an $n\times m$ grid by a series of horizontal and vertical cuts. We show that the corresponding parameterized problem has an algorithm with time…

Data Structures and Algorithms · Computer Science 2019-07-25 Dekel Tsur
‹ Prev 1 3 4 5 6 7 10 Next ›