English
Related papers

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

200 papers

In this work, we argue for the importance of causal reasoning in creating fair algorithms for decision making. We give a review of existing approaches to fairness, describe work in causality necessary for the understanding of causal…

Artificial Intelligence · Computer Science 2018-05-16 Joshua R. Loftus , Chris Russell , Matt J. Kusner , Ricardo Silva

A simple method to produce a random order type is to take the order type of a random point set. We conjecture that many probability distributions on order types defined in this way are heavily concentrated and therefore sample inefficiently…

Computational Geometry · Computer Science 2020-06-05 Olivier Devillers , Philippe Duchon , Marc Glisse , Xavier Goaoc

We describe a formal correctness proof of RANKING, an online algorithm for online bipartite matching. An outcome of our formalisation is that it shows that there is a gap in all combinatorial proofs of the algorithm. Filling that gap…

Logic in Computer Science · Computer Science 2023-03-01 Mohammad Abdulaziz , Christoph Madlener

We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Daniel Gabric , Jeffrey Shallit

Modern parcel logistic networks are designed to ship demand between given origin, destination pairs of nodes in an underlying directed network. Efficiency dictates that volume needs to be consolidated at intermediate nodes in typical…

Discrete Mathematics · Computer Science 2023-11-10 Madison Van Dyk , Kim Klause , Jochen Koenemann , Nicole Megow

We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…

Logic · Mathematics 2023-05-02 Saharon Shelah

Discovering "good" algorithms for an operation is often considered an art best left to experts. What if there is a simple methodology, an algorithm, for systematically deriving a family of algorithms as well as their cost analyses, so that…

Programming Languages · Computer Science 2018-08-24 Devangi N. Parikh , Margaret E. Myers , Richard Vuduc , Robert A. van de Geijn

Algorithms with (machine-learned) predictions is a powerful framework for combining traditional worst-case algorithms with modern machine learning. However, the vast majority of work in this space assumes that the prediction itself is…

Machine Learning · Computer Science 2024-11-26 Michael Dinitz , Sungjin Im , Thomas Lavastida , Benjamin Moseley , Aidin Niaparast , Sergei Vassilvitskii

We explore an algorithm for approximating roots of integers, discuss its motivation and derivation, and analyze its convergence rates with varying parameters and inputs. We also perform comparisons with established methods for approximating…

Numerical Analysis · Mathematics 2021-01-11 William Gerst

The major finding, of this article, is an ensemble method, but more exactly, a novel, better ranked voting system (and other variations of it), that aims to solve the problem of finding the best candidate to represent the voters. We have…

Artificial Intelligence · Computer Science 2021-10-15 Gabriel-Claudiu Grama

Algorithm design is a laborious process and often requires many iterations of ideation and validation. In this paper, we explore automating algorithm design and present a method to learn an optimization algorithm, which we believe to be the…

Machine Learning · Computer Science 2016-06-07 Ke Li , Jitendra Malik

Inspired by the notion of surprise for unconventional discovery we introduce a general search algorithm we name surprise search as a new method of evolutionary divergent search. Surprise search is grounded in the divergent search paradigm…

Neural and Evolutionary Computing · Computer Science 2017-06-09 Daniele Gravina , Antonios Liapis , Georgios N. Yannakakis

Algorithms for searching and sorting data sets on quantum annealing systems are presented. Search algorithms for unordered data sets are developed. A sorting algorithm for data sets is provided, with a consideration of sort stability.…

Quantum Physics · Physics 2022-04-29 Robert A. Dunn

In the field of algorithmic fairness, many fairness criteria have been proposed. Oftentimes, their proposal is only accompanied by a loose link to ideas from moral philosophy -- which makes it difficult to understand when the proposed…

Computers and Society · Computer Science 2024-07-18 Corinna Hertweck , Christoph Heitz , Michele Loi

A sum where each of the $N$ summands can be independently chosen from two choices yields $2^N$ possible summation outcomes. There is an $\mathcal{O}(K^2)$-algorithm that finds the $K$ smallest/largest of these sums by evading the…

Data Structures and Algorithms · Computer Science 2017-04-20 Torsten Gross , Nils Blüthgen

In this paper, we will study the simplest kind of beauty which can be found in simple visual patterns. The proposed approach shows that aesthetically appealing patterns deliver higher amount of information over multiple levels in comparison…

Computer Vision and Pattern Recognition · Computer Science 2022-03-04 A. M. Khalili

A novel integer value-sorting technique is proposed replacing bucket sort, distribution counting sort and address calculation sort family of algorithms. It requires only constant amount of additional memory. The technique is inspired from…

Data Structures and Algorithms · Computer Science 2012-11-02 A. Emre Cetin

We present an $O(n\sqrt{\log n})$ time and linear space algorithm for sorting real numbers. This breaks the long time illusion that real numbers have to be sorted by comparison sorting and take $\Omega (n\log n)$ time to be sorted.

Data Structures and Algorithms · Computer Science 2018-12-04 Yijie Han

In this paper we study random orderings of the integers with a certain invariance property. We describe all such orders in a simple way. We define and represent random shuffles of a countable set of labels and then give an interpretation of…

Probability · Mathematics 2007-05-23 Saul Jacka , Jon Warren

I will propose the notion that the universe is digital, not as a claim about what the universe is made of but rather about the way it unfolds. Central to the argument will be the concepts of symmetry breaking and algorithmic probability,…

Information Theory · Computer Science 2011-09-13 Hector Zenil