English
Related papers

Related papers: Solution to the Counterfeit Coin Problem and its G…

200 papers

In this paper, we will present a generalization for a minimization problem from I. Daubechies, M. Defrise, and C. Demol [3]. This generalization is useful for solving many practical problems in which more than one constraint are involved.…

Optimization and Control · Mathematics 2019-12-20 Saman Khoramian

In this paper, we systematize the modeling of probabilistic systems for the purpose of analyzing them with model counting techniques. Starting from unbiased coin flips, we show how to model biased coins, correlated coins, and distributions…

Logic in Computer Science · Computer Science 2019-03-29 Marcell Vazquez-Chanlatte , Markus N. Rabe , Sanjit A. Seshia

We consider the problem of determining the weights of a quantum ensemble. That is to say, given a quantum system that is in a set of possible known states according to an unknown probability law, we give strategies to estimate the…

Quantum Physics · Physics 2010-02-01 J. I. de Vicente , J. Calsamiglia , R. Munoz-Tapia , E. Bagan

Consider the coupon collector problem where each box of a brand of cereal contains a coupon and there are n different types of coupons. Suppose that the probability of a box containing a coupon of a specific type is $1/n$ and that we keep…

Probability · Mathematics 2022-06-13 J. C. Saunders

Given two points in the plane, and a set of "obstacles" given as curves through the plane with assigned weights, we consider the point-separation problem, which asks for the minimum-weight subset of the obstacles separating the two points.…

Computational Geometry · Computer Science 2025-07-15 Jack Spalding-Jamieson , Anurag Murty Naredla

We propose a novel proof technique that can be applied to attack a broad class of problems in computational complexity, when switching the order of universal and existential quantifiers is helpful. Our approach combines the standard min-max…

Cryptography and Security · Computer Science 2015-06-23 Maciej Skorski

Endeavoring to formulate an exhaustive solution to the measurement problem in view of the theory of decoherence leads to a better understanding of the status of the collapse and of the emergence of classicality, thanks to a precise…

Quantum Physics · Physics 2023-09-01 Antoine Soulas

We consider the parity variants of basic problems studied in fine-grained complexity. We show that finding the exact solution is just as hard as finding its parity (i.e. if the solution is even or odd) for a large number of classical…

Data Structures and Algorithms · Computer Science 2021-08-05 Amir Abboud , Shon Feller , Oren Weimann

This puzzle, often called the "Reverse the Triangle Puzzle," appears regularly in puzzle books. Four rows consisting of 1 coin in row 1, 2 coins in row 2, 3 coins in row 3, and 4 coins in row 4 form the shape of a triangle. What is the…

History and Overview · Mathematics 2018-10-05 Tony McCaffrey , Oscar Atwill

We study the problem of learning a most biased coin among a set of coins by tossing the coins adaptively. The goal is to minimize the number of tosses until we identify a coin i* whose posterior probability of being most biased is at least…

Data Structures and Algorithms · Computer Science 2013-09-10 Karthekeyan Chandrasekaran , Richard Karp

A convexification-based numerical method for a Coefficient Inverse Problem for a parabolic PDE is presented. The key element of this method is the presence of the so-called Carleman Weight Function in the numerical scheme. Convergence…

Numerical Analysis · Mathematics 2020-01-10 Michael V. Klibanov , Jingzhi Li , Wenlong Zhang

We study the minimum weight basis problem on matroid when elements' weights are uncertain. For each element we only know a set of possible values (an uncertainty area) that contains its real weight. In some cases there exist bases that are…

Data Structures and Algorithms · Computer Science 2019-04-29 Arturo I. Merino , José A. Soto

In the task of discriminating between nonorthogonal quantum states from multiple copies, the key parameters are the error probability and the resources (number of copies) used. Previous studies have considered the task of minimizing the…

We study the Colored Bin Packing Problem: we are given a set of items where each item has a weight and color. We must pack the items in bins of uniform capacity such that no two items of the same color may be adjacent within in a bin. The…

Data Structures and Algorithms · Computer Science 2015-09-01 Hamza Alsarhan , Davin Chia , Ananya Christman , Shannia Fu , Tony Jin

Cryptocurrencies such as Bitcoin and Ethereum have recently gained a lot of popularity, not only as a digital form of currency but also as an investment vehicle. Online marketplaces and exchanges allow users across the world to convert…

Discrete Mathematics · Computer Science 2018-07-17 Francesco Bortolussi , Zeger Hoogeboom , Frank W. Takes

The Frobenius coin problem in three variables, for three positive relatively prime integers $a_1< a_2< a_3$ asks to find the largest number not representable as $a_1x_1+a_2x_2+a_3x_3$ with non-negative integer coefficients $x_1$, $x_2$ and…

Combinatorics · Mathematics 2022-03-23 Negin Bagherpour , Amir Jafari , Amin Najafi Amin

Tossing a coin is the most elementary Monte Carlo experiment. In a computer the coin is replaced by a pseudo random number generator. It can be shown analytically and by exact enumerations that popular random number generators are not…

Statistical Mechanics · Physics 2007-05-23 Heiko Bauke , Stephan Mertens

Counterfeiting of manufactured goods is presented as the theft of intellectual property, patents, copyright etc. accompanied by identity theft. The purpose of the identity theft is to facilitate the intellectual property theft. Without it…

Cryptography and Security · Computer Science 2016-10-04 Joseph Kilcullen

We present a, hopefully, elementary mathematical treatment of the computational aspects of congruent numbers, such that an amateur could understand the problem and perform their own calculations.

Number Theory · Mathematics 2021-03-04 Allan J. MacLeod

In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them. Two efficient algorithms are developed for checking equivalence of two states in the same machine and for…

Formal Languages and Automata Theory · Computer Science 2022-09-13 Qisheng Wang , Junyi Liu , Mingsheng Ying