Computer science/Algorithms/Randomized

Subject Classification

ACM: Mathematics of computing~Probabilistic algorithms

AMS: Computer science / Algorithms in computer science / Randomized algorithms

2025

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan and Seng Joe Watt

Feb 05

2024

Rabin's Closest Pair of Points Algorithm

by Emin Karayel and Zixuan Fan

Sep 08

Derandomization with Conditional Expectations

by Emin Karayel

Mar 24

Approximate Model Counting

by Yong Kiam Tan and Jiong Yang

Mar 15

The Sumcheck Protocol

by Azucena Garvia, Christoph Sprenger and Jonathan Bootle

Feb 02

2023

Executable Randomized Algorithms

by Emin Karayel and Manuel Eberl

Jun 19

The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan

Apr 27

Distributed Distinct Elements

by Emin Karayel

Apr 03

Expander Graphs

by Emin Karayel

Mar 03

2022

Formalization of Randomized Approximation Algorithms for Frequency Moments

by Emin Karayel

Apr 08

Universal Hash Families

by Emin Karayel

Feb 20

Median Method

by Emin Karayel

Jan 25

2020

Skip Lists

by Max W. Haslbeck and Manuel Eberl

Jan 09

2019

Probabilistic Primality Testing

by Daniel Stüwe and Manuel Eberl

Feb 11

2018

Randomised Binary Search Trees

by Manuel Eberl

Oct 19

2017

Probabilistic while loop

by Andreas Lochbihler

May 05

Expected Shape of Random Binary Search Trees

by Manuel Eberl

Apr 04

The number of comparisons in QuickSort

by Manuel Eberl

Mar 15

2016

Fisher–Yates shuffle

by Manuel Eberl

Sep 30

Analysis of List Update Algorithms

by Maximilian P. L. Haslbeck and Tobias Nipkow

Feb 17