Search results
Results from the WOW.Com Content Network
What is the lowest possible average-case time complexity of Shellsort with a deterministic fixed gap sequence? Can 3SUM be solved in strongly sub-quadratic time, that is, in time O(n 2−ϵ) for some ϵ>0? Can the edit distance between two strings of length n be computed in strongly sub-quadratic time?
For functions in certain classes, the problem of determining: whether two functions are equal, known as the zero-equivalence problem (see Richardson's theorem); [5] the zeroes of a function; whether the indefinite integral of a function is also in the class. [6]
[1] [2] The Two Generals' Problem was the first computer communication problem to be proven to be unsolvable. [3] An important consequence of this proof is that generalizations like the Byzantine Generals problem are also unsolvable in the face of arbitrary communication failures, thus providing a base of realistic expectations for any ...
The impossibility of the case A = 1 or B = 1 is implied by Catalan's conjecture, proven in 2002 by Preda Mihăilescu. (Notice C cannot be 1, or one of A and B must be 0, which is not permitted.) A potential class of solutions to the equation, namely those with A, B, C also forming a Pythagorean triple, were considered by L. Jesmanowicz in the ...
The expression problem is a challenging problem in programming languages that concerns the extensibility and modularity of statically typed data abstractions. The goal is to define a data abstraction that is extensible both in its representations and its behaviors, where one can add new representations and new behaviors to the data abstraction, without recompiling existing code, and while ...
where the product is over all primes p, and γ c,p (n) is the number of solutions to the equation n = q 1 + ⋯ + q c mod p in modular arithmetic, subject to the constraints q 1, …, q c ≠ 0 mod p. This formula has been rigorously proven to be asymptotically valid for c ≥ 3 from the work of Ivan Matveevich Vinogradov, but is still only a ...
Solution of a travelling salesman problem: the black line shows the shortest possible loop that connects every red dot. In the theory of computational complexity, the travelling salesman problem (TSP) asks the following question: "Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each city exactly once and returns to the ...
In these bounds, K 1 and K 3 are constants that do not depend on a, b, or c, and K 2 is a constant that depends on ε (in an effectively computable way) but not on a, b, or c. The bounds apply to any triple for which c > 2. There are also theoretical results that provide a lower bound on the best possible form of the abc conjecture.