中文
相关论文

相关论文: Small circuits and dual weak PHP in the universal …

200 篇论文

While it is well known that a Turing machine equipped with the ability to flip a fair coin cannot compute more that a standard Turing machine, we show that this is not true for a biased coin. Indeed, any oracle set $X$ may be coded as a…

其他计算机科学 · 计算机科学 2007-05-23 Toby Ord , Tien D. Kieu

Recently it has been proven that simple GP systems can efficiently evolve a conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the…

神经与进化计算 · 计算机科学 2023-10-09 Benjamin Doerr , Andrei Lissovoi , Pietro S. Oliveto

\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular…

表示论 · 数学 2022-06-22 Madeline Locus Dawsey , Ken Ono

Given a text $T$ of length $n$ and a pattern $P$ of length $m$, the string matching problem is a task to find all occurrences of $P$ in $T$. In this study, we propose an algorithm that solves this problem in $O((n + m)q)$ time considering…

数据结构与算法 · 计算机科学 2020-04-14 Satoshi Kobayashi , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

The Spearman footrule is a voting rule that takes as input voter preferences expressed as rankings. It outputs a ranking that minimizes the sum of the absolute differences between the position of each candidate in the ranking and in the…

计算复杂性 · 计算机科学 2026-02-26 Martin Durand

Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit $d^{O(1)}$-variate and degree $d$ polynomial $P_{d}\in VNP$ such that if any depth four circuit $C$ of bounded formal degree $d$ which computes a…

计算复杂性 · 计算机科学 2021-07-22 Suryajith Chillara

We study regular expression membership testing: Given a regular expression of size $m$ and a string of size $n$, decide whether the string is in the language described by the regular expression. Its classic $O(nm)$ algorithm is one of the…

数据结构与算法 · 计算机科学 2016-11-08 Karl Bringmann , Allan Grønlund , Kasper Green Larsen

A pseudorandom code is a keyed error-correction scheme with the property that any polynomial number of encodings appear random to any computationally bounded adversary. We show that the pseudorandomness of any code tolerating a constant…

密码学与安全 · 计算机科学 2025-10-01 Sanjam Garg , Sam Gunn , Mingyuan Wang

The class P is in fact a proper sub-class of NP. We explore topological properties of the Hamming space 2^[n] where [n]={1, 2,..., n}. With the developed theory, we show: (i) a theorem that is closely related to Erdos and Rado's sunflower…

计算复杂性 · 计算机科学 2013-10-23 Junichiro Fukuyama

The paper presents fundamental metrical theorems for a class of continued fraction-like expansions known as $\theta$-expansions. We first prove Khinchine's Weak Law of Large Numbers for the sum of digits, followed by the Diamond-Vaaler…

数论 · 数学 2026-01-21 Andreas Rusu , Gabriela Ileana Sebe , Dan Lascu

We establish an explicit link between depth-3 formulas and one-sided approximation by depth-2 formulas, which were previously studied independently. Specifically, we show that the minimum size of depth-3 formulas is (up to a factor of n)…

计算复杂性 · 计算机科学 2017-05-11 Shuichi Hirahara

We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An…

量子物理 · 物理学 2018-10-23 Sergey Bravyi , David Gosset , Robert Koenig

Given two strings $S$ and $P$, the Episode Matching problem is to find the shortest substring of $S$ that contains $P$ as a subsequence. The best known upper bound for this problem is $\tilde O(nm)$ by Das et al. (1997) , where $n,m$ are…

数据结构与算法 · 计算机科学 2024-02-15 Philip Bille , Inge Li Gørtz , Shay Mozes , Teresa Anna Steiner , Oren Weimann

We prove essentially optimal fine-grained lower bounds on the gap between a data structure and a partially retroactive version of the same data structure. Precisely, assuming any one of three standard conjectures, we describe a problem that…

数据结构与算法 · 计算机科学 2022-11-29 Lily Chung , Erik D. Demaine , Dylan Hendrickson , Jayson Lynch

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

形式语言与自动机理论 · 计算机科学 2025-10-22 Daniel G. Schwartz

We generalize the problem of coin flipping to more than two outcomes and parties. We term this problem dice rolling, and study both its weak and strong variants. We prove by construction that in quantum settings (i) weak N-sided dice…

量子物理 · 物理学 2015-05-14 N. Aharon , J. Silman

This paper is about certain string-to-string functions, called the polyregular functions. These are like the regular string-to-string functions, except that they can have polynomial (and not just linear) growth. The class has four…

形式语言与自动机理论 · 计算机科学 2018-10-23 Mikołaj Bojańczyk

In earlier work we proposed a string theory dual to two dimensional Yang-Mills theory at zero coupling (which can also be thought of as a $BF$ theory), given by a Polyakov-like generalization of Ho\v rava's topological rigid string theory,…

高能物理 - 理论 · 物理学 2025-10-28 Ofer Aharony , Suman Kundu , Tal Sheaffer

Post-Newtonian theory is considered a reliable effective expansion of General Relativity in the weak-field and slow-motion limit. We argue that such a belief is misplaced. In generic many-body relativistic dynamics, the absence of globally…

广义相对论与量子宇宙学 · 物理学 2026-05-14 Marco Galoppo , Giorgio Torrieri

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

计算复杂性 · 计算机科学 2017-03-21 Sergey V. Yakhontov