English
Related papers

Related papers: A constructive solution to the Oberwolfach Problem…

200 papers

A matrix factorization problem is considered. The matrix to be factorized is algebraic, has dimension 2 X 2 and belongs to Moiseev's class. A new method of factorization is proposed. First, the matrix factorization problem is reduced to a…

Analysis of PDEs · Mathematics 2015-12-24 A. V. Shanin

We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness. Moreover, our…

Computational Complexity · Computer Science 2026-02-10 Pin-Hsian Lee , Te-Cheng Liu , Meng-Tsung Tsai

The study of graph discrepancy problems, initiated by Erd\H{o}s in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with…

Combinatorics · Mathematics 2024-06-28 Andrea Freschi , Allan Lo

We study the problem of transforming bipartite graphs into bicluster graphs. Abu-Khzam, Isenmann, and Merchad [IWOCA '25] introduced two variants of this problem. In both problems, the goal is to transform a bipartite graph into a bicluster…

Data Structures and Algorithms · Computer Science 2025-12-02 Matthias Bentert , Pål Grønås Drange , Erlend Haugen

It is a challenging open problem to construct an explicit 1-factorization of the bipartite Kneser graph $H(v,t)$, which contains as vertices all $t$-element and $(v-t)$-element subsets of $[v]:=\{1,\ldots,v\}$ and an edge between any two…

Discrete Mathematics · Computer Science 2019-04-04 Kai Jin

Let $G$ be a graph and $F:V(G)\to2^N$ be a set function. The graph $G$ is said to be \emph{F-avoiding} if there exists an orientation $O$ of $G$ such that $d^+_O(v)\notin F(v)$ for every $v\in V(G)$, where $d^+_O(v)$ denotes the out-degree…

Combinatorics · Mathematics 2023-10-25 Xinxin Ma , Hongliang Lu

We introduce a subalgebra $\overline F$ of the Clifford vertex superalgebra ($bc$ system) which is completely reducible as a $L^{Vir} (-2,0)$-module, $C_2$-cofinite, but it is not conformal and it is not isomorphic to the symplectic fermion…

Quantum Algebra · Mathematics 2021-09-15 Drazen Adamovic , Qing Wang

Optimal power flow (OPF) is an important problem for power generation and it is in general non-convex. With the employment of renewable energy, it will be desirable if OPF can be solved very efficiently so its solution can be used in real…

Optimization and Control · Mathematics 2011-09-27 Albert Y. S. Lam , Baosen Zhang , David Tse

Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for…

Combinatorics · Mathematics 2026-04-09 Jiangdong Ai , Hui Lei , Bo Ning , Yongtang Shi

The Honeymoon Oberwolfach Problem HOP$(2m_1,2m_2,\ldots,2m_t)$ asks the following question. Given $n=m_1+m_2+\ldots +m_t$ newlywed couples at a conference and $t$ round tables of sizes $2m_1,2m_2,\ldots,2m_t$, is it possible to arrange the…

Combinatorics · Mathematics 2024-07-02 Marie Rose Jerade , Mateja Šajna

We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices,…

Data Structures and Algorithms · Computer Science 2017-04-25 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We devise constant-factor approximation algorithms for finding as many disjoint cycles as possible from a certain family of cycles in a given planar or bounded-genus graph. Here disjoint can mean vertex-disjoint or edge-disjoint, and the…

Combinatorics · Mathematics 2023-02-06 Niklas Schlomberg , Hanjo Thiele , Jens Vygen

Recently, the saturation problem of $0$-$1$ matrices gained a lot of attention. This problem can be regarded as a saturation problem of ordered bipartite graphs. Motivated by this, we initiate the study of the saturation problem of ordered…

Combinatorics · Mathematics 2022-03-11 Vladimir Bošković , Balázs Keszegh

Resolving a conjecture of Bollob\'{a}s and Erd\H{o}s, Gy\'{a}rf\'{a}s proved that every graph $G$ of chromatic number $k+1\geq 3$ contains cycles of $\lfloor\frac{k}{2}\rfloor$ distinct odd lengths. We strengthen this prominent result by…

Combinatorics · Mathematics 2021-04-07 Jun Gao , Qingyi Huo , Jie Ma

The partial representation extension problem is a recently introduced generalization of the recognition problem. A circle graph is an intersection graph of chords of a circle. We study the partial representation extension problem for circle…

Discrete Mathematics · Computer Science 2017-10-03 Steven Chaplick , Radoslav Fulek , Pavel Klavík

The NP-complete $k$-Path problem asks whether a given undirected graph has a (simple) path of length at least $k$. We prove that $k$-Path has polynomial-size Turing kernels when restricted to planar graphs, graphs of bounded degree,…

Data Structures and Algorithms · Computer Science 2017-04-21 Bart M. P. Jansen

We consider a variation of the spectral sparsification problem where we are required to keep a subgraph of the original graph. Formally, given a union of two weighted graphs $G$ and $W$ and an integer $k$, we are asked to find a $k$-edge…

Discrete Mathematics · Computer Science 2009-12-10 Alexandra Kolla , Yury Makarychev , Amin Saberi , Shanghua Teng

Ball, Ortega--Moreno, and Prodromou asked whether, for every odd prime $p$, one can find a $1$-factor of the complete graph $K_{p+1}$ with some arithmetic restrictions related to quadratic residues. This problem is motivated by…

Combinatorics · Mathematics 2026-01-21 Chi Hoi Yip , Semin Yoo

We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4…

Discrete Mathematics · Computer Science 2025-07-01 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

Given a formal context, an ordinal factor is a subset of its incidence relation that forms a chain in the concept lattice, i.e., a part of the dataset that corresponds to a linear order. To visualize the data in a formal context, Ganter and…

Artificial Intelligence · Computer Science 2023-06-21 Dominik Dürrschnabel , Gerd Stumme