中文
相关论文

相关论文: On Invariance and Convergence in Time Complexity t…

200 篇论文

We critically review three major theories of machine learning and provide a new theory according to which machines learn a function when the machines successfully compute it. We show that this theory challenges common assumptions in the…

机器学习 · 计算机科学 2024-07-09 Jinsook Kim , Jinho Kang

This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow…

计算复杂性 · 计算机科学 2007-07-13 David Doty , Philippe Moser

The classifications of temporal and phylogeny constraint languages stand among the most seminal complexity classifications within infinite-domain Constraint Satisfaction Problems (CSPs), yet remain the most mysterious in terms of algorithms…

计算机科学中的逻辑 · 计算机科学 2026-05-07 Johanna Brunar , Michael Pinsker , Moritz Schöbi

We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $\theta$ there is a dependent theory $T$ of size $\theta$ such that for all $\kappa$ and $\delta$,…

逻辑 · 数学 2013-08-29 Itay Kaplan , Saharon Shelah

This is a philosophical paper. It claims that there is a gap to be filled in the relationship between complexity theory (CT) and quantum theory (QT). This gap concerns two very distinct understandings of time. The paper provides the ground…

物理学史与哲学 · 物理学 2016-11-23 Carlos Eduardo Maldonado

For a given language $L$, we study the languages $X$ such that for all distinct words $u, v \in L$, there exists a word $x \in X$ that appears a different number of times as a factor in $u$ and in $v$. In particular, we are interested in…

组合数学 · 数学 2019-05-20 Aleksi Saarela

It is shown by very simple arguments that the observed 3+1 dimensionality of spacetime may be understood on the basis of four fundamental principles of physics namely, Causality, General Covariance, Gauge Invariance and Renormalizability.…

综合物理 · 物理学 2013-03-25 Rajat K. Pradhan

Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for…

形式语言与自动机理论 · 计算机科学 2026-03-31 Klaus Jansen , Dirk Nowotka , Lis Pirotton , Corinna Wambsganz , Max Wiedenhöft

After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental…

综合数学 · 数学 2016-02-11 Giuseppe Raguní

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of…

计算机科学中的逻辑 · 计算机科学 2021-06-03 Duligur Ibeling , Thomas Icard

If the odd and even parts of a continued fraction converge to different values, the continued fraction may or may not converge in the general sense. We prove a theorem which settles the question of general convergence for a wide class of…

数论 · 数学 2019-01-03 Douglas Bowman , James Mc Laughlin

A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are rather modeled as so-called hyperproperties, which are sets…

计算机科学中的逻辑 · 计算机科学 2020-04-28 Martin Lück

Popular multiverse models such as the one based on the string theory landscape require an underlying set of unexplained laws containing many specific features and highly restrictive prerequisites. I explore the consequences of relaxing some…

天体物理学 · 物理学 2007-05-23 P. C. W. Davies

Quantitative linguistics has provided us with a number of empirical laws that characterise the evolution of languages and competition amongst them. In terms of language usage, one of the most influential results is Zipf's law of word…

物理与社会 · 物理学 2009-01-21 Alvaro Corral , Ramon Ferrer-i-Cancho , Gemma Boleda , Albert Diaz-Guilera , .

We study word structures of the form $(D,<,P)$ where $D$ is either $\mathbb{N}$ or $\mathbb{Z}$, $<$ is the natural linear ordering on $D$ and $P\subseteq D$ is a predicate on $D$. In particular we show: (a) The set of recursive…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Dietrich Kuske , Jiamou Liu , Anastasia Moskvina

This project contains two chapters. Chapter 2 has two sections. First, we define the well-formed formulas of the Language of Sentential Logic using Construction Sequences. Second, we prove the Truth Assignments using the Language of…

逻辑 · 数学 2023-03-21 Tianyi Sun

The invariance of the speed of light in all inertial frames - the second postulate of special theory of relativity (STR) - is shown to be an inevitable consequence of the relativity principle of special theory of relativity taken in…

科普物理 · 物理学 2011-11-29 Harihar Behera , Gautam Mukhopadhyay

We consider a quantum field theory on a spherically symmetric quantum space time described by loop quantum gravity. The spin network description of space time in such a theory leads to equations for the quantum field that are discrete. We…

广义相对论与量子宇宙学 · 物理学 2015-06-02 Rodolfo Gambini , Jorge Pullin

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

形式语言与自动机理论 · 计算机科学 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate…

组合数学 · 数学 2007-05-23 Peter Baláži , Zuzana Masáková , Edita Pelantová