中文
相关论文

相关论文: Termination orders for 3-polygraphs

200 篇论文

The article presents a complete classification of $n$-valued monoids and groups of order 3. Important corollaries of this result are discussed.

群论 · 数学 2025-11-26 Mikhail Kornev

We study the perfect $3$-colorings on 4-regular graphs of order 8.

组合数学 · 数学 2018-07-03 Sk Rabiul Islam , Sayantan Maity , Ashish Kumar Upadhyay

This paper grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we define a new class of groups. These…

几何拓扑 · 数学 2007-05-23 S. K. Roushon

A variational equation of the third order in three-dimensional space is proposed which describes autoparallel curves of some connection.

微分几何 · 数学 2014-06-25 R. Ya. Matsyuk

We present polygraphic programs, a subclass of Albert Burroni's polygraphs, as a computational model, showing how these objects can be seen as first-order functional programs. We prove that the model is Turing complete. We use polygraphic…

计算机科学中的逻辑 · 计算机科学 2008-10-07 Guillaume Bonfante , Yves Guiraud

We classify and construct all line graphs that are $3$-polytopes (planar and $3$-connected). Apart from a few special cases, they are all obtained starting from the medial graphs of cubic (i.e., $3$-regular) $3$-polytopes, by applying two…

组合数学 · 数学 2024-04-12 Phoebe Hollowbread-Smith , Riccardo W. Maffucci

In this paper, we give a class of reconstructible graphs.

组合数学 · 数学 2007-05-23 Tetsuya Hosaka

We classify all finite order invariants of immersions of a closed orientable surface into R^3, with values in any Abelian group. We show that they are all functions of order one invariants.

几何拓扑 · 数学 2007-05-23 Tahl Nowik

This paper is a short introduction to the theory of tangles, both in graphs and general connectivity systems. An emphasis is put on the correspondence between tangles of order k and k-connected components. In particular, we prove that there…

离散数学 · 计算机科学 2016-02-16 Martin Grohe

This paper discusses the method of formative rules for first-order term rewriting, which was previously defined for a higher-order setting. Dual to the well-known usable rules, formative rules allow dropping some of the term constraints…

计算机科学中的逻辑 · 计算机科学 2014-05-01 Carsten Fuhs , Cynthia Kop

This is the first one of a series of papers on association of orientations, lattice polytopes, and abelian group arrangements to graphs. The purpose is to interpret the integral and modular tension polynomials of graphs at zero and negative…

组合数学 · 数学 2007-06-25 Beifang Chen

In this paper we firstly review how to \textit{explicitly} solve a system of $3$ \textit{first-order linear recursions }and outline the main properties of these solutions. Next, via a change of variables, we identify a class of systems of…

可精确求解与可积系统 · 物理学 2024-09-10 Francesco Calogero

The main goal in this manuscript is to present a class of functions satisfying a certain orthogonality property for which there also exists a three term recurrence formula. This class of functions, which can be considered as an extension to…

数值分析 · 数学 2016-06-28 Cleonice F. Bracciali , John H. McCabe , Teresa E. Pérez , A. Sri Ranga

This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.

几何拓扑 · 数学 2022-06-23 Ailsa Keating , Oscar Randal-Williams

In this note, we give a proof of the fact that we can efficiently find degree-3 planar graphs as topological minors of sufficiently large wall graphs. The result is needed as an intermediate step to fix a proof in my PhD thesis.

离散数学 · 计算机科学 2023-02-23 Antoine Amarilli

In this paper, we reveal an intriguing relationship between two seemingly unrelated notions: letter graphs and geometric grid classes of permutations. An important property common for both of them is well-quasi-orderability, implying, in a…

组合数学 · 数学 2018-05-01 Bogdan Alecu , Vadim Lozin , Dominique de Werra , Viktor Zamaraev

This paper presents algorithms and pseudocode for encoding and decoding 3D Hilbert orderings.

数据结构与算法 · 计算机科学 2023-09-26 David Walker

This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal…

alg-geom · 数学 2007-05-23 János Kollár

A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for…

几何拓扑 · 数学 2015-06-26 Tim D. Cochran , Paul Melvin

A generalization of the already studied transformations of the linear differential equation into a system of the first order equations is given. The proposed transformation gives possibility to get new forms of the N-dimensional system of…

经典分析与常微分方程 · 数学 2018-04-20 M. I. Ayzatsky