arXiv subjects

Haidong Wu

Publications and source records attributed to Haidong Wu.

6 recordsLinked to original sources

arXiv2026

Solving Minimal Problems Without Matrix Inversion Using FFT-Based Interpolation

Estimating camera geometry typically involves solving minimal problems formulated as systems of multivariate polynomial equations, which often pose computational challenges when using existing Gr\"obner-basis or resultant-based methods due to matrix inversion needed in the online solver. Here we propose a sampling-based, matrix inversion-free method that constructs the solvers using sparse hidden-variable resultants. The determinant polynomial in the hidden variable is efficiently reconstructed via inverse fast Fourier transform interpolation from sampled evaluations, avoiding symbolic expansion. Solving this polynomial yields the hidden variable, and the remaining unknowns are recovered by identifying rank-1 deficient submatrices and applying Cramer's rule. A greatest common divisor-based criterion ensures robust submatrix identification under noise. Experiments on diverse minimal problems demonstrate that the proposed solver achieves strong numerical stability and competitive runtime, particularly for small-scale problems, providing a practical alternative to traditional Gr\"obner-basis and resultant-based solvers.

cs.CV↗

arXiv2025

Chords of longest cycles in graphs with large circumferences

A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is a $2$-connected cubic graph, then any longest cycle must have a chord. He also showed that in any 3-connected graph with minimum degree at least four, some longest cycle must contain a chord. Harvey proved that every longest cycle has a chord for graphs with a large minimum degree. He also conjectured that any longest cycle in a 2-connected graph with minimum degree at least three has a chord. In this paper, we prove that both Thomassen's and Harvey's conjectures are true for graphs with large circumferences. We also prove a more general result for the existence of chords in longest cycles containing a linear forest.

math.CO↗

arXiv2025

A Conic Transformation Approach for Solving the Perspective-Three-Point Problem

We propose a conic transformation method to solve the Perspective-Three-Point (P3P) problem. In contrast to the current state-of-the-art solvers, which formulate the P3P problem by intersecting two conics and constructing a degenerate conic to find the intersection, our approach builds upon a new formulation based on a transformation that maps the two conics to a new coordinate system, where one of the conics becomes a standard parabola in a canonical form. This enables expressing one variable in terms of the other variable, and as a consequence, substantially simplifies the problem of finding the conic intersection. Moreover, the polynomial coefficients are fast to compute, and we only need to determine the real-valued intersection points, which avoids the requirement of using computationally expensive complex arithmetic. While the current state-of-the-art methods reduce the conic intersection problem to solving a univariate cubic equation, our approach, despite resulting in a quartic equation, is still faster thanks to this new simplified formulation. Extensive evaluations demonstrate that our method achieves higher speed while maintaining robustness and stability comparable to state-of-the-art methods.

cs.CV↗

arXiv2025

Chords of longest cycles passing through a specified small set

A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is $2$-connected and cubic, then any longest cycle must have a chord. He also showed that if $G$ is a $3$-connected graph with minimum degree at least $4$, then some of the longest cycles in $G$ must have a chord. Zhang (1987) proved that if $G$ is a $3$-connected simple planar graph which is 3-regular or has minimum degree at least $4$, then every longest cycle of $G$ must have a chord. Recently, Li and Liu showed that if $G$ is a $2$-connected cubic graph and $x, y$ are two distinct vertices of $G$, then every longest $(x,y)$-path of $G$ contains at least one internal vertex whose neighbors are all in the path. In this paper, we study chords of longest cycles passing through a specified small set and generalize Thomassen's and Zhang's above results by proving the following results. (i) Let $G$ be a $2$-connected cubic graph and $S$ be a specified set consisting of an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. (ii) Let $G$ be a $3$-connected graph with minimum degree at least $4$ and $e$ be a specified edge of $G$. Then some longest cycle of $G$ containing $e$ must have a chord. (iii) Let $G$ be a $3$-connected planar graph with minimum degree at least $4$. Suppose $S$ is a specified set consisting of either three vertices or an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. We also extend the above-mentioned result of Li and Liu for $2$-connected cubic graphs.

math.CO↗

arXiv2022

Bonds intersecting long paths in $k$-connected graphs

A well-known question of Gallai (1966) asked whether there is a vertex which passes through all longest paths of a connected graph. Although this has been verified for some special classes of graphs such as outerplanar graphs, circular arc graphs, and series-parallel graphs, the answer is negative for general graphs. In this paper, we prove among other results that if we replace the vertex by a bond, then the answer is affirmative. A bond of a graph is a minimal nonempty edge-cut. In particular, in any 2-connected graph, the set of all edges incident to a vertex is a bond, called a vertex-bond. Clearly, for a 2-connected graph, a path passes through a vertex $v$ if and only if it meets the vertex-bond with respect to $v$. Therefore, a very natural approach to Gallai's question is to study whether there is a bond meeting all longest paths. Let $p$ denote the length of a longest path of connected graphs. We show that for any 2-connected graph, there is a bond meeting all paths of length at least $p-1$. We then prove that for any 3-connected graph, there is a bond meeting all paths of length at least $p-2$. For a $k$-connected graph $(k\ge3)$, we show that there is a bond meeting all paths of length at least $p-t+1$, where $t=\Big\lfloor\sqrt{\frac{k-2}{2}}\Big\rfloor$ if $p$ is even and $t=\Big\lceil\sqrt{\frac{k-2}{2}}\Big\rceil$ if $p$ is odd. Our results provide analogs of the corresponding results of P. Wu and S. McGuinness [Bonds intersecting cycles in a graph, Combinatorica 25 (4) (2005), 439-450] also.

math.CO↗

arXiv2014

Characterizing binary matroids with no $P_9$-minor

In this paper, we give a complete characterization of binary matroids with no $P_9$-minor. A 3-connected binary matroid $M$ has no $P_9$-minor if and only if $M$ is one of the internally 4-connected non-regular minors of a special 16-element matroid $Y_{16}$, a 3-connected regular matroid, a binary spike with rank at least four, or a matroid obtained by 3-summing copies of the Fano matroid to a 3-connected cographic matroid $M^*(K_{3, n})$, $M^*(K_{3, n}^{\prime})$, $M^*(K_{3, n}^{\prime\prime})$, or $M^*(K_{3, n}^{\prime\prime\prime})$ ($n\ge 2$). Here the simple graphs $K_{3, n}^{\prime}, K_{3, n}^{\prime\prime}$, and $K_{3, n}^{\prime\prime\prime}$ are obtained from $K_{3, n}$ by adding one, two, or three edges in the color class of size three, respectively.

math.CO↗