• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 4,199,526
Next 10 →

Points-to Analysis in Almost Linear Time

by Bjarne Steensgaard , 1996
"... We present an interprocedural flow-insensitive points-to analysis based on type inference methods with an almost linear time cost complexity. To our knowledge, this is the asymptotically fastest non-trivial interprocedural points-to analysis algorithm yet described. The algorithm is based on a non-s ..."
Abstract - Cited by 590 (3 self) - Add to MetaCart
We present an interprocedural flow-insensitive points-to analysis based on type inference methods with an almost linear time cost complexity. To our knowledge, this is the asymptotically fastest non-trivial interprocedural points-to analysis algorithm yet described. The algorithm is based on a non

Identifying Loops In Almost Linear Time

by G. Ramalingam - ACM Transactions on Programming Languages and Systems , 1999
"... this paper, we study and improve three recently proposed algorithms for identifying loops in an irreducible graph. The first algorithm we study is due to Havlak [1997]. We show that the running time of this algorithm is quadratic in the worst-case, and not almost-linear as claimed. We then show how ..."
Abstract - Cited by 20 (1 self) - Add to MetaCart
this paper, we study and improve three recently proposed algorithms for identifying loops in an irreducible graph. The first algorithm we study is due to Havlak [1997]. We show that the running time of this algorithm is quadratic in the worst-case, and not almost-linear as claimed. We then show how

Computing maximum-scoring segments in almost linear time

by Fredrik Bengtsson, Jingsen Chen - IN PROCEEDINGS OF THE 12TH ANNUAL INTERNATIONAL COMPUTING AND COMBINATORICS CONFERENCE, VOLUME 4112 OF LNCS , 2006
"... Given a sequence, the problem studied in this paper is to find a set of k disjoint continuous subsequences such that the total sum of all elements in the set is maximized. This problem arises naturally in the analysis of DNA sequences. The previous best known algorithm requires Θ(n log n) time in th ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
in the worst case. For a given sequence of length n, we present an almost linear-time algorithm for this problem. Our algorithm uses a disjoint-set data structure and requires O(nα(n, n)) time in the worst case, where α(n, n) is the inverse Ackermann function.

Symbolic Program Analysis in Almost-Linear Time

by J. H. Reif, R. E. Tarjan , 1982
"... ..."
Abstract - Cited by 41 (1 self) - Add to MetaCart
Abstract not found

An (almost) Linear Time Algorithm For Odd Cycles Transversal

by Ken-ichi Kawarabayashi, Bruce Reed , 2009
"... We consider the following problem, which is called the odd cycles transversal problem. Input: A graph G and an integer k. Output: A vertex set X ∈ V (G) with |X | ≤ k such that G − X is bipartite. We present an O(mα(m, n)) time algorithm for this problem for any fixed k, where n, m are the number o ..."
Abstract - Cited by 11 (1 self) - Add to MetaCart
We consider the following problem, which is called the odd cycles transversal problem. Input: A graph G and an integer k. Output: A vertex set X ∈ V (G) with |X | ≤ k such that G − X is bipartite. We present an O(mα(m, n)) time algorithm for this problem for any fixed k, where n, m are the number

2 Local and Almost Linear-Time Clustering and Partitioning

by Lecturer Jonathan, Ro Chiesa , 2009
"... You should probably know that • the first problem set (due October 15) is posted on the class website, and • its hints are also posted there. Also, today in class there was a majority vote for posting problem sets earlier. Professor Kelner will post the problem sets from two years ago, but he reserv ..."
Abstract - Add to MetaCart
reserves the right to add new problems once a problem set has already been posted. Questions from last time. • What is a level set? The level set of a function corresponding to a (fixed) constant c is the set of points in the function’s domain whose image equals c. • What is a good reference

Almost linear time operations with triangular sets

by Xavier Dahan, Marc Moreno Maza, Éric Schost, Adrien Poteaux - ACM COMMUNICATIONS IN COMPUTER ALGEBRA, TBA
"... Let F be a perfect field, and let X = X1,..., Xn be indeterminates over F. A (monic) triangular set T = (T1,..., Tn) is a family of polynomials in F[X] such that for all i, Ti is in F[X1,..., Xi], monic in Xi, and reduced modulo 〈T1,..., Ti−1〉. The degree of T is the product deg(T1, X1) · · · deg ..."
Abstract - Add to MetaCart
Let F be a perfect field, and let X = X1,..., Xn be indeterminates over F. A (monic) triangular set T = (T1,..., Tn) is a family of polynomials in F[X] such that for all i, Ti is in F[X1,..., Xi], monic in Xi, and reduced modulo 〈T1,..., Ti−1〉. The degree of T is the product deg(T1, X1) · · · deg(Tn, Xn). These objects allow one to solve a variety of problems for systems of polynomial equations, see [7, 1, 10, 6, 12]. We are interested here in the complexity of operations modulo a given triangular set T. The first question is modular multiplication: given polynomials A, B reduced modulo T, compute AB mod T. Further operations involve families of triangular sets. The lexicographic Gröbner basis of an ideal I for a given variable order may not be triangular. The workaround is to decompose I as I = I1∩ · · ·∩Is, with pairwise coprime Ij, where each Ij admits a triangular basis. The decomposition is in general not unique, but there exists a canonical choice, the equiprojectable decomposition [4]. That said, the most useful notion of “inversion ” is quasi-inverses: given A reduced modulo T, we decompose the ideal 〈T 〉 as I0 ∩ I1, where A is zero modulo I0 and invertible modulo I1; the output is the equiprojectable decompositions of I0, I1, and the inverse of A modulo the triangular sets that define I1. The next question is change of order: starting from T, we output the equiprojectable

An almost-linear-time algorithm for approximate max flow in undirected graphs, and its . . .

by Jonathan A. Kelner, Yin Tat Lee, Lorenzo Orecchia, Aaron Sidford
"... In this paper we present an almost linear time algorithm for solving approximate maximum flow in undirected graphs. In particular, given a graph with m edges we show how to produce a 1−ε approximate maximum flow in time O(m 1+o(1) · ε −2). Furthermore, we present this algorithm as part of a general ..."
Abstract - Cited by 15 (7 self) - Add to MetaCart
In this paper we present an almost linear time algorithm for solving approximate maximum flow in undirected graphs. In particular, given a graph with m edges we show how to produce a 1−ε approximate maximum flow in time O(m 1+o(1) · ε −2). Furthermore, we present this algorithm as part of a

Constructing Linear-Sized Spectral Sparsification in Almost-Linear Time

by Yin Tat Lee, He Sun
"... We present the first almost-linear time algorithm for constructing linear-sized spectral sparsification for graphs. This improves all previous constructions of linear-sized spectral sparsification, which requires Ω(n2) time [1], [2], [3]. A key ingredient in our algorithm is a novel combination of t ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We present the first almost-linear time algorithm for constructing linear-sized spectral sparsification for graphs. This improves all previous constructions of linear-sized spectral sparsification, which requires Ω(n2) time [1], [2], [3]. A key ingredient in our algorithm is a novel combination

Greedy Decoding for Statistical Machine Translation in Almost Linear Time

by Ulrich Germann , 2003
"... We present improvements to a greedy decoding algorithm for statistical machine translation that reduce its time complexity from at least cubic (O(n^6) when applied navely) to practically linear time without sacrificing translation quality. We achieve this by integrating hypothesis evaluati ..."
Abstract - Cited by 33 (2 self) - Add to MetaCart
We present improvements to a greedy decoding algorithm for statistical machine translation that reduce its time complexity from at least cubic (O(n^6) when applied navely) to practically linear time without sacrificing translation quality. We achieve this by integrating hypothesis
Next 10 →
Results 1 - 10 of 4,199,526
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University