Deterministic -server: no algorithm is -competitive for on the uniform space with points
ProvedKServer.uniform_not_competitive_below_kThe competitive ratio of deterministic -server algorithms is at least .
Let and let be the uniform metric space on points: has exactly elements (witnessed by a bijection ) and any two distinct points of are at distance . This is the paging metric space with pages of cache and distinct pages.
Then no deterministic online -server algorithm on is -competitive for any : for every algorithm and every additive constant there is a request sequence with
This is the classical lower bound of Manasse, McGeoch and Sleator: the adversary always requests the unique point not covered by the algorithm, so the algorithm pays per request, while an offline schedule that serves the requests in blocks of consecutive requests pays at most in total. It shows that the constant in the -server conjecture is the smallest possible, so the conjecture — if true — is tight.
import Definitions.Def_KServer_model
namespace KServer
theorem uniform_not_competitive_below_k (k : ℕ) (hk : 1 ≤ k) (M : Type) [MetricSpace M]
(e : Fin (k + 1) ≃ M) (hd : ∀ x y : M, x ≠ y → dist x y = 1)
(A : OnlineAlgorithm k M) (c : ℝ) (hc : c < k) :
¬ IsCompetitive A c := by sorry
end KServer