An Effective Procedure for Speeding Up Algorithms: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 02:0402:04, 24 December 2023SatoshiNakamoto talk contribs 2,186 bytes +2,186 Created page with "Title: An Effective Procedure for Speeding Up Algorithms Abstract: This research aims to develop an effective procedure for speeding up algorithms, particularly for formally defined problems. The main idea is to enumerate all programs that are provably equivalent to the original problem by enumerating all proofs. This approach allows for the construction of the fastest algorithm within a factor of 5 for these problems. The algorithm can be interpreted as a generalizatio..."