English
Related papers

Related papers: An Efficient Simulation Algorithm on Kripke Struct…

200 papers

The quantum approximate optimisation algorithm was proposed as a heuristic method for solving combinatorial optimisation problems on near-term quantum computers and may be among the first algorithms to perform useful computations in the…

Quantum Physics · Physics 2022-11-10 David Headley , Thorge Müller , Ana Martin , Enrique Solano , Mikel Sanz , Frank K. Wilhelm

How can we plan efficiently in a large and complex environment when the time budget is limited? Given the original simulator of the environment, which may be computationally very demanding, we propose to learn online an approximate but much…

Artificial Intelligence · Computer Science 2022-12-14 Jinke He , Miguel Suau , Hendrik Baier , Michael Kaisers , Frans A. Oliehoek

We consider the problem of detecting change-points in univariate time series by fitting a continuous piecewise linear signal using the residual sum of squares. Values of the inferred signal at slope breaks are restricted to a finite set of…

Computation · Statistics 2022-04-08 Vincent Runge , Marco Pascucci , Nicolas Deschamps de Boishebert

Quantum circuit simulations are essential for the verification of quantum algorithms on behalf of real quantum devices. However, the memory requirements for such simulations grow exponentially with the number of qubits involved in quantum…

Quantum Physics · Physics 2025-03-04 Dongin Lee , Enhyeok Jang , Seungwoo Choi , Junwoong An , Cheolhwan Kim , Won Woo Ro

We establish an efficient approximation algorithm for the partition functions of a class of quantum spin systems at low temperature, which can be viewed as stable quantum perturbations of classical spin systems. Our algorithm is based on…

Quantum Physics · Physics 2023-10-25 Tyler Helmuth , Ryan L. Mann

Nowadays, various memory-hungry applications like machine learning algorithms are knocking "the memory wall". Toward this, emerging memories featuring computational capacity are foreseen as a promising solution that performs data process…

Hardware Architecture · Computer Science 2023-03-28 Jia-Hui Su , Chen-Hua Lu , Jenq Kuen Lee , Andrea Coluccio , Fabrizio Riente , Marco Vacca , Marco Ottavi , Kuan-Hsun Chen

Spatial photonic Ising machines (SPIMs) based on spatial light modulators (SLMs) have emerged as highly effective solvers for many tasks, including combinatorial optimization problems and spin-glass simulations. However, traditional SPIMs…

The Bin Packing Problem is one of the most important Combinatorial Optimization problems in optimization and has a lot of real-world applications. Many approximation algorithms have been presented for this problem because of its NP-hard…

Data Structures and Algorithms · Computer Science 2015-09-22 Abdolahad Noori Zehmakan , Mojtaba Eslahi

Von Neumann architecture based computers isolate/physically separate computation and storage units i.e. data is shuttled between computation unit (processor) and memory unit to realize logic/ arithmetic and storage functions. This…

Emerging Technologies · Computer Science 2020-02-17 Sandeep Kaur Kingra , Vivek Parmar , Che-Chia Chang , Boris Hudec , Tuo-Hung Hou , Manan Suri

We study a path-planning problem amid a set $\mathcal{O}$ of obstacles in $\mathbb{R}^2$, in which we wish to compute a short path between two points while also maintaining a high clearance from $\mathcal{O}$; the clearance of a point is…

Computational Geometry · Computer Science 2017-06-12 Pankaj K. Agarwal , Kyle Fox , Oren Salzman

Optimization is finding the best solution, which mathematically amounts to locating the global minimum of some cost function. Optimization is traditionally automated with digital or quantum computers, each having their limitations and none…

Statistical Mechanics · Physics 2021-11-16 Natalia B. Janson , Christopher J. Marsden

In this paper we suggest analytical methods and associated algorithms for determining the sum of the subsets $X_m$ of the set $X_n$ (subset sum problem). Our algorithm has time complexity $T=O(C_{n}^{k})$ ($k=[m/2]$, which significantly…

Information Theory · Computer Science 2020-05-05 B. Sinchev , A. B. Sinchev , J. Akzhanova , A. M. Mukhanova , Y. Issekeshev

We study quantum algorithms for spatial search on finite dimensional grids. Patel et al. and Falk have proposed algorithms based on a quantum walk without a coin, with different operators applied at even and odd steps. Until now, such…

Quantum Physics · Physics 2015-10-14 Andris Ambainis , Renato Portugal , Nikolay Nahimov

Let $A$ and $B$ be two point sets in the plane of sizes $r$ and $n$ respectively (assume $r \leq n$), and let $k$ be a parameter. A matching between $A$ and $B$ is a family of pairs in $A \times B$ so that any point of $A \cup B$ appears in…

Data Structures and Algorithms · Computer Science 2019-03-25 Pankaj K. Agarwal , Hsien-Chih Chang , Allen Xiao

A key principle in string processing is local consistency: using short contexts to handle matching fragments of a string consistently. String synchronizing sets [Kempa, Kociumaka; STOC 2019] are an influential instantiation of this…

Data Structures and Algorithms · Computer Science 2026-02-13 Jonas Ellert , Tomasz Kociumaka

As the demand for efficient data processing escalates, reconfigurable analog hardware which implements novel analog compute paradigms, is promising for energy-efficient computing at the sensing and actuation boundaries. These analog…

Emerging Technologies · Computer Science 2024-11-07 Yu-Neng Wang , Sara Achour

Compute-in-memory (CiM) is a promising approach to improving the computing speed and energy efficiency in dataintensive applications. Beyond existing CiM techniques of bitwise logic-in-memory operations and dot product operations, this…

Hardware Architecture · Computer Science 2023-01-03 Yiming Chen , Yushen Fu , Mingyen Lee , Sumitha George , Yongpan Liu , Vijaykrishnan Narayanan , Huazhong Yang , Xueqing Li

Subset-Sum is an NP-complete problem where one must decide if a multiset of $n$ integers contains a subset whose elements sum to a target value $m$. The best-known classical and quantum algorithms run in time $\tilde{O}(2^{n/2})$ and…

Quantum Physics · Physics 2022-09-12 Jonathan Allcock , Yassine Hamoudi , Antoine Joux , Felix Klingelhöfer , Miklos Santha

Management of disk scheduling is a very important aspect of operating system. Performance of the disk scheduling completely depends on how efficient is the scheduling algorithm to allocate services to the request in a better manner. Many…

Operating Systems · Computer Science 2014-03-04 Sourav Kumar Bhoi , Sanjaya Kumar Panda , Imran Hossain Faruk

We consider online scheduling to minimize weighted completion time on related machines, where each job consists of several tasks that can be concurrently executed. A job gets completed when all its component tasks finish. We obtain an…

Data Structures and Algorithms · Computer Science 2021-07-14 Anupam Gupta , Amit Kumar , Sahil Singla