中文
相关论文

相关论文: Pivotal decomposition schemes inducing clones of o…

200 篇论文

We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon…

环与代数 · 数学 2014-06-10 Jean-Luc Marichal , Bruno Teheux

Function clones are sets of functions on a fixed domain that are closed under composition and contain the projections. They carry a natural algebraic structure, provided by the laws of composition which hold in them, as well as a natural…

逻辑 · 数学 2016-05-17 Manuel Bodirsky , Michael Pinsker , András Pongrácz

There are continuum many clones on a three-element set even if they are considered up to \emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \emph{self-dual operations}, i.e., operations that…

环与代数 · 数学 2023-05-01 Manuel Bodirsky , Albert Vucaj , Dmitriy Zhuk

Clones are specializations of operads forming powerful instruments to describe varieties of algebras wherein repeating variables are allowed in their equations. They allow us in this way to realize and study a large range of algebraic…

组合数学 · 数学 2026-04-08 Samuele Giraudo

We determine all majority operations on a four-element set that generate a minimal clone.

环与代数 · 数学 2011-02-09 Tamás Waldhauser

We exhibit a way of "forcing a functional to be an effective operation" for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones for some fixed functional, where the new partial functions can…

逻辑 · 数学 2014-08-22 Eric Faber , Jaap van Oosten

Action operads and cloning systems are, respectively, the main ingredients in two approaches for axiomatically constructing Thompson-like groups due to Thumann and Witzel-Zaremsky. In this paper, we prove that action operads are equivalent…

We introduce "fractalization", a procedure by which spin models are extended to higher-dimensional "fractal" spin models. This allows us to interpret type-II fracton phases, fractal symmetry-protected topological phases, and more, in terms…

量子物理 · 物理学 2021-04-28 Trithep Devakul , Dominic J. Williamson

We prove a conjecture of Crapo and Penne which characterizes isotopy classes of skew configurations with spindle-structure. We use this result in order to define an invariant, spindle-genus, for spindle-configurations. We also slightly…

几何拓扑 · 数学 2014-11-11 Roland Bacher , David Garber

Decomposable dependency models and their graphical counterparts, i.e., chordal graphs, possess a number of interesting and useful properties. On the basis of two characterizations of decomposable models in terms of independence…

人工智能 · 计算机科学 2013-02-08 Luis M. de Campos , Juan F. Huete

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions $\{0,1\}^k\to\mathbb{R}_{\geq 0}$) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice…

离散数学 · 计算机科学 2018-04-13 Andrei Bulatov , Leslie Ann Goldberg , Mark Jerrum , David Richerby , Stanislav Živný

The C-minor partial orders determined by the clones generated by a semilattice operation (and possibly the constant operations corresponding to its identity or zero elements) are shown to satisfy the descending chain condition.

环与代数 · 数学 2016-05-17 Erkko Lehtonen

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas…

组合数学 · 数学 2016-11-22 Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel

A mathematical method for constructing fractal curves and surfaces, termed the $p\lambda n$ fractal decomposition, is presented. It allows any function to be split into a finite set of fractal discontinuous functions whose sum is equal…

统计力学 · 物理学 2015-12-15 Vladimir Garcia-Morales

No-Cloning and No-Deleting theorems are verified with the constraint on local state transformations via the existence of incomparable states. Assuming the existence of exact cloning or deleting operation defined on a minimum number of two…

量子物理 · 物理学 2007-11-04 Amit Bhar , Indrani Chattopadhyay , Debasis Sarkar

We give a full description of all sets of functions on the group $(\mathbb{ Z}_p, +)$ of prime order which are closed under the composition with the clone generated by $+$ from both sides. Thereby, we also get a description of all iterative…

环与代数 · 数学 2019-09-16 Sebastian Kreinecker

A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this paper we prove that finite processes of the pi-calculus,…

计算机科学中的逻辑 · 计算机科学 2016-08-11 Matias David Lee , Bas Luttik

Programmers often reuse code from source code repositories to reduce the development effort. Code clones are candidates for reuse in exploratory or rapid development, as they represent often repeated functionality in software systems. To…

软件工程 · 计算机科学 2020-12-08 Muhammad Hammad , Önder Babur , Hamid Abdul Basit , Mark van den Brand

Large deviations for additive path functionals of stochastic processes have attracted significant research interest, in particular in the context of stochastic particle systems and statistical physics. Efficient numerical `cloning'…

概率论 · 数学 2021-07-21 Letizia Angeli , Stefan Grosskinsky , Adam M. Johansen
‹ 上一页 1 2 3 10 下一页 ›