<--- Back to Details
First PageDocument Content
Analysis of algorithms / Computational complexity theory / Operations research / Dynamic programming / Algorithms / Sorting algorithm / Randomized algorithm / Longest increasing subsequence / Time complexity / Theoretical computer science / Applied mathematics / Mathematics
Date: 2014-12-28 08:54:15
Analysis of algorithms
Computational complexity theory
Operations research
Dynamic programming
Algorithms
Sorting algorithm
Randomized algorithm
Longest increasing subsequence
Time complexity
Theoretical computer science
Applied mathematics
Mathematics

Add to Reading List

Source URL: web.engr.illinois.edu

Download Document from Source Website

File Size: 591,28 KB

Share Document on Facebook

Similar Documents

SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time Packers Xabier Ugarte-Pedrero∗ , Davide Balzarotti† , Igor Santos∗ , Pablo G. Bringas∗ ∗ DeustoTech, University of Deusto

DocID: 1v9SC - View Document

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

DocID: 1v8bH - View Document

J Real-Time Image Proc:5–24 DOIs11554SPECIAL ISSUE PAPER Complexity control of HEVC encoders targeting real-time

DocID: 1uq0O - View Document

Software engineering / Computer programming / Computing / Functional languages / Data types / Type theory / Logic in computer science / Automated theorem proving / OCaml / Coq / Disjoint-set data structure / Proof assistant

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

DocID: 1umuY - View Document

A Gentle Introduction to the Time Complexity Analysis of Evolutionary Algorithms Pietro S. Oliveto Department of Computer Science The University of Sheffield, Sheffield, UK email:

DocID: 1uaFl - View Document