中文
相关论文

相关论文: Bounding the trellis state complexity of algebraic…

200 篇论文

Graph pebbling is a problem in which pebbles are distributed across the vertices of a graph and moved according to a specific rule: two pebbles are removed from a vertex to place one on an adjacent vertex. The goal is to determine the…

离散数学 · 计算机科学 2025-05-23 G. A. Bridi , F. L. Marquezino , C. M. H. de Figueiredo

We complete the building-up construction for self-dual codes by resolving the open cases over $GF(q)$ with $q \equiv 3 \pmod 4$, and over $\Z_{p^m}$ and Galois rings $\GR(p^m,r)$ with an odd prime $p$ satisfying $p \equiv 3 \pmod 4$ with…

信息论 · 计算机科学 2012-01-30 Yoonjin Lee , Jon-Lark Kim

We consider the geometric problem of determining the maximum number $n_q(r,h,f;s)$ of $(h-1)$-spaces in the projective space $\operatorname{PG}(r-1,q)$ such that each subspace of codimension $f$ does contain at most $s$ elements. In coding…

组合数学 · 数学 2026-05-01 Jozefien D'haeseleer , Sascha Kurz

In this work, we investigate hyperelliptic curves of type $C: y^2 = x^{2g+1} + ax^{g+1} + bx$ over the finite field $\mathbb{F}_q, q = p^n, p > 2$. For the case of $g = 3$ and $4$ we propose algorithms to compute the number of points on the…

数论 · 数学 2020-09-30 Semyon Novoselov

In this paper, we present a deterministic algorithm to find a strong generic position for an algebraic space curve. We modify our existing algorithm for computing the topology of an algebraic space curve and analyze the bit complexity of…

符号计算 · 计算机科学 2019-01-30 Kai Jin , Jin-San Cheng

In this paper we introduce and study the weak Gorenstein global dimension of a ring $R$ with respect to a left $R$-module $C$. We provide several characterizations of when this homological invariant is bounded. Two main applications are…

交换代数 · 数学 2024-07-09 Driss Bennis , Rachid EL Maaouy , Juan Ramon Garcia Rozas , Luis Oyonarte

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the…

计算机科学中的逻辑 · 计算机科学 2024-08-07 Daniel Hausmann , Lutz Schröder

Let $X$ be a smooth projective curve over a number field $k$. Let $f\colon X \to \mathbb{P}^1$ be a non-constant morphism that realizes the gonality of $X$. In this article we study the growth rate of $\left\{P\in X\left(\overline{k}…

数论 · 数学 2025-05-09 Matias Alvarado

This paper gives new methods of constructing {\it symmetric self-dual codes} over a finite field $GF(q)$ where $q$ is a power of an odd prime. These methods are motivated by the well-known Pless symmetry codes and quadratic double circulant…

信息论 · 计算机科学 2021-02-18 Whan-Hyuk Choi , Jon-Lark Kim

We prove new lower and upper bounds on the higher gonalities of finite graphs. These bounds are generalizations of known upper and lower bounds for first gonality to higher gonalities, including upper bounds on gonality involving…

A set $S$ of vertices in a graph $G$ is a $2$-dominating set if every vertex of $G$ not in $S$ is adjacent to at least two vertices in $S$, and $S$ is a $2$-independent set if every vertex in $S$ is adjacent to at most one vertex of $S$.…

组合数学 · 数学 2023-06-22 Christoph Brause , Michael A. Henning , Marcin Krzywkowski

Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounded treewidth, or in other words, MSO is fixed-parameter…

计算机科学中的逻辑 · 计算机科学 2015-03-13 Stephan Kreutzer , Siamak Tazari

By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times…

代数拓扑 · 数学 2012-10-24 Aleksandra Franc , Petar Pavešić

Let $G$ be a graph on $n$ vertices and $\mathrm{STAB}_k(G)$ be the convex hull of characteristic vectors of its independent sets of size at most $k$. We study extension complexity of $\mathrm{STAB}_k(G)$ with respect to a fixed parameter…

计算复杂性 · 计算机科学 2017-03-08 Jakub Gajarský , Petr Hliněný , Hans Raj Tiwary

We describe a new class of list decodable codes based on Galois extensions of function fields and present a list decoding algorithm. These codes are obtained as a result of folding the set of rational places of a function field using…

信息论 · 计算机科学 2009-01-12 Ming-Deh Huang , Anand Kumar Narayanan

Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number…

离散数学 · 计算机科学 2022-01-25 Hugo Jacob , Marcin Pilipczuk

Let C be a smooth complex projective curve of genus g and let X be its second symmetric product. This paper concerns the study of some attempts at extending to X the notion of gonality. In particular, we prove that the degree of…

代数几何 · 数学 2014-10-03 Francesco Bastianelli

Suppose $C$ is a compact, $n$-edged two-cell of the centered dual decomposition of a locally finite set in the hyperbolic plane, a coarsening of the Delaunay tessellation which was introduced in the author's prior work. We describe an…

度量几何 · 数学 2017-03-02 Jason DeBlois

An $n$-crossing projection of a link $L$ is a projection of $L$ onto a plane such that $n$ points on $L$ are superimposed on top of each other at every crossing. We prove that for all $k \in \mathbb{N}$ and all links $L$, the inequality…

几何拓扑 · 数学 2020-10-30 Anshul Guha

We consider parameterised subgraph-counting problems of the following form: given a graph G, how many k-tuples of its vertices have a given property? A number of such problems are known to be #W[1]-complete; here we substantially generalise…

计算复杂性 · 计算机科学 2014-09-26 Mark Jerrum , Kitty Meeks