English
Related papers

Related papers: Is this the simplest (and most surprising) sorting…

200 papers

The generally accepted wisdom in computational circles is that pure proof verification is a solved problem and that the computationally hard elements and fertile areas of study lie in proof discovery. This wisdom presumably does hold for…

Logic in Computer Science · Computer Science 2017-03-28 Naveen Sundar Govindarajulu , Selmer Bringsjord

We continue the study of selection and sorting of $n$ numbers under the adversarial comparator model, where comparisons can be adversarially tampered with if the arguments are sufficiently close. We derive a randomized sorting algorithm…

Data Structures and Algorithms · Computer Science 2025-09-09 Chris Trevisan

Was it fair that Harry was hired but not Barry? Was it fair that Pam was fired instead of Sam? How can one ensure fairness when an intelligent algorithm takes these decisions instead of a human? How can one ensure that the decisions were…

Machine Learning · Computer Science 2019-09-10 Tapabrata Chakraborti , Arijit Patra , Alison Noble

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

Artificial Intelligence · Computer Science 2025-11-04 Jovial Cheukam Ngouonou , Ramiz Gindullin , Claude-Guy Quimper , Nicolas Beldiceanu , Remi Douence

Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study a more general setting, in which some pairs of objects are incomparable. This generalization is relevant…

Data Structures and Algorithms · Computer Science 2007-07-12 Constantinos Daskalakis , Richard M. Karp , Elchanan Mossel , Samantha Riesenfeld , Elad Verbin

They run our lives, if you believe the hype in the news, but there is no precise definition of "algorithms" which is generally accepted by the mathematicians, logicians and computer scientists who create and study them. My main aims here…

Logic · Mathematics 2021-08-10 Yiannis N. Moschovakis

While sorting is an important procedure in computer science, the argsort operator - which takes as input a vector and returns its sorting permutation - has a discrete image and thus zero gradients almost everywhere. This prohibits…

Machine Learning · Computer Science 2020-06-30 Sebastian Prillo , Julian Martin Eisenschlos

While looking for abductive explanations of a given set of manifestations, an ordering between possible solutions is often assumed. The complexity of finding/verifying optimal solutions is already known. In this paper we consider the…

Logic in Computer Science · Computer Science 2021-04-09 Paolo Liberatore , Marco Schaerf

Modern comparison sorts like quicksort suffer from performance inconsistencies due to suboptimal pivot selection, leading to $(O(N^2))$ worst-case complexity, while in-place merge sort variants face challenges with data movement overhead.…

Data Structures and Algorithms · Computer Science 2026-01-06 Jia Xu Wei

Quantum algorithms are demonstrated to outperform classical algorithms for certain problems and thus are promising candidates for efficient information processing. Herein we aim to provide a brief and popular introduction to quantum…

Quantum Physics · Physics 2022-12-22 Shihao Zhang , Lvzhou Li

People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue…

General Literature · Computer Science 2020-06-11 Andreas Blass , Nachum Dershowitz , Yuri Gurevich

We present a conjecture about partitions, with a very elementary formulation.

Combinatorics · Mathematics 2007-05-23 Michel Lassalle

We address the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in the collection? We prove both positive and negative…

Group Theory · Mathematics 2017-10-20 Martin R. Bridson , David M. Evans , Martin W. Liebeck , Dan Segal

A system's apparent simplicity depends on whether it is represented classically or quantally. This is not so surprising, as classical and quantum physics are descriptive frameworks built on different assumptions that capture, emphasize, and…

Quantum Physics · Physics 2016-03-01 Cina Aghamohammadi , John R. Mahoney , James P. Crutchfield

In this paper, I argue that counterfactual fairness does not constitute a necessary condition for an algorithm to be fair, and subsequently suggest how the constraint can be modified in order to remedy this shortcoming. To this end, I…

Machine Learning · Computer Science 2020-11-17 Fabian Beigang

This paper revisits the well known single machine scheduling problem to minimize total weighted completion times. The twist is that job sizes are stochastic from unknown distributions, and the scheduler has access to only a single sample…

Data Structures and Algorithms · Computer Science 2023-08-23 Puck te Rietmole , Marc Uetz

We present a novel iterative algorithm for approximating the linear least squares solution with low complexity. After a motivation of the algorithm we discuss the algorithm's properties including its complexity, and we present theoretical…

Data Structures and Algorithms · Computer Science 2016-11-15 Michael Lunglmayr , Christoph Unterrieder , Mario Huemer

Algorithms are increasingly used to aid, or in some cases supplant, human decision-making, particularly for decisions that hinge on predictions. As a result, two additional features in addition to prediction quality have generated interest:…

Machine Learning · Computer Science 2019-06-04 Jon Kleinberg , Sendhil Mullainathan

Clustering algorithms aim to organize data into groups or clusters based on the inherent patterns and similarities within the data. They play an important role in today's life, such as in marketing and e-commerce, healthcare, data…

Machine Learning · Computer Science 2024-01-17 Hui Yin , Amir Aryani , Stephen Petrie , Aishwarya Nambissan , Aland Astudillo , Shengyuan Cao

In this paper we examine sorting on the assumption that we do not know in advance which way to sort a sequence of numbers and we set at work simple local comparison and swap operators whose repeating application ends up in sorted sequences.…

Artificial Intelligence · Computer Science 2009-03-11 Dimitris Kalles , Alexis Kaporis