中文
相关论文

相关论文: Termination orders for 3-polygraphs

200 篇论文

We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…

代数拓扑 · 数学 2026-02-05 Ben Knudsen

A concept of a rectangular diagram of a foliation in the three-sphere is introduced. It is shown that any co-orientable finite depth foliation in the complement of a link admits a presentation by a rectangular diagram compatible with the…

几何拓扑 · 数学 2025-08-12 Mikhail Chernavskikh , Ivan Dynnikov

Penrose's work \cite{8} established a connection between the edge 3-colorings of cubic planar graphs and tensor algebras. We exploit this point of view in order to get algebraic representations of the category of cubic graphs with free…

组合数学 · 数学 2010-09-30 Rui Pedro Carpentier

Motivated by the theory of crystallizations, we consider an equivalence relation on the class of $3$-regular colored graphs and prove that up to this equivalence (a) there exists a unique contracted 3-regular colored graph if the number of…

组合数学 · 数学 2017-08-01 Biplab Basak

We describe the images of multilinear polynomials of arbitrary degree evaluated on the $3\times 3$ upper triangular matrix algebra over an infinite field.

环与代数 · 数学 2022-08-09 Thiago Castilho de Mello

We present exact calculations of Potts model partition functions and the equivalent Tutte polynomials for polygon chain graphs with open and cyclic boundary conditions. Special cases of the results that yield flow and reliability…

统计力学 · 物理学 2011-03-14 Robert Shrock

Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained…

组合数学 · 数学 2022-03-25 Mara Belotti , Michael Joswig , Marta Panizzut

The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e. filiform Lie (super)algebras, into the theory of Lie algebras of order F$. Thus, the concept of filiform Lie algebras of order F is…

数学物理 · 物理学 2014-04-04 Rosa Navarro

We introduce a majorization order on monomials. With the help of this order, we derive a necessary condition on the positive termination of a general successive difference substitution algorithm (KSDS) for an input form $f$.

符号计算 · 计算机科学 2014-05-19 Jia Xu , Yong Yao

We consider the problem of proving termination for triangular weakly non-linear loops (twn-loops) over some ring $\mathcal{S}$ like $\mathbb{Z}$, $\mathbb{Q}$, or $\mathbb{R}$. The guard of such a loop is an arbitrary quantifier-free…

计算机科学中的逻辑 · 计算机科学 2024-02-14 Marcel Hark , Florian Frohn , Jürgen Giesl

A new layers method is presented for multipartite separability of density matrices from simple graphs. Full separability of tripartite states is studied for graphs on degree symmetric premise. The models are generalized to multipartite…

量子物理 · 物理学 2018-09-18 Hui Zhao , Jing Yun Zhao , Naihuan Jing

A given order type in the plane can be represented by a point set. However, it might be difficult to recognize the orientations of some point triples. Recently, Aichholzer \etal \cite{abh19} introduced exit graphs for visualizing order…

计算几何 · 计算机科学 2020-12-01 Sergey Bereg , Mohammadreza Haghpanah

We provide a polynomial time 4/3 approximation algorithm for TSP on metrics arising from the metric completion of cubic 3-edge connected graphs.

数据结构与算法 · 计算机科学 2011-01-31 Nishita Aggarwal , Naveen Garg , Swati Gupta

This paper deals with graph classes characterization and recognition. A popular way to characterize a graph class is to list a minimal set of forbidden induced subgraphs. Unfortunately this strategy usually does not lead to an efficient…

数据结构与算法 · 计算机科学 2020-07-21 Laurent Feuilloley , Michel Habib

In this paper, we introduce a new tensor decomposition for third order tensors, which decomposes a third order tensor to three third order low rank tensors in a balanced way. We call such a decomposition the triple decomposition, and the…

数值分析 · 数学 2020-03-03 Liqun Qi , Yannan Chen , Mayank Bakshi , Xinzhen Zhang

The isomorphism problem for planar graphs is known to be efficiently solvable. For planar 3-connected graphs, the isomorphism problem can be solved by efficient parallel algorithms, it is in the class $AC^1$. In this paper we improve the…

数据结构与算法 · 计算机科学 2008-02-21 Thomas Thierauf , Fabian Wagner

In this paper, we give a new class of reconstructible graphs, which is an extension of my paper `A class of reconstructible graphs'.

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

In this short note we give an expression for some numbers $n$ such that the polynomial $x^{2p}-nx^p+1$ is reducible.

数论 · 数学 2013-11-06 Ralf Stephan

In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones

泛函分析 · 数学 2025-10-28 Murphy E. Egwe , Funke Yusuf

Intersection graphs of geometric objects have been extensively studied, both due to their interesting structure and their numerous applications; prominent examples include interval graphs and permutation graphs. In this paper we study a…

数据结构与算法 · 计算机科学 2014-01-29 George B. Mertzios