English
Related papers

Related papers: A Proof of the MV Matching Algorithm

200 papers

A bipartite graph $G=(U,V,E)$ is convex if the vertices in $V$ can be linearly ordered such that for each vertex $u\in U$, the neighbors of $u$ are consecutive in the ordering of $V$. An induced matching $H$ of $G$ is a matching such that…

Data Structures and Algorithms · Computer Science 2023-05-17 Boris Klemz , Günter Rote

We present the first formal correctness proof of Edmonds' blossom shrinking algorithm for maximum cardinality matching in general graphs. We focus on formalising the mathematical structures and properties that allow the algorithm to run in…

Logic in Computer Science · Computer Science 2025-12-22 Mohammad Abdulaziz , Kurt Mehlhorn

As two fundamental problems, graph cuts and graph matching have been investigated over decades, resulting in vast literature in these two topics respectively. However the way of jointly applying and solving graph cuts and matching receives…

Computer Vision and Pattern Recognition · Computer Science 2017-11-28 Tianshu Yu , Junchi Yan , Jieyi Zhao , Baoxin Li

Graph clustering, a fundamental and challenging task in graph mining, aims to classify nodes in a graph into several disjoint clusters. In recent years, graph contrastive learning (GCL) has emerged as a dominant line of research in graph…

Machine Learning · Computer Science 2024-06-21 Yunfei Liu , Jintang Li , Yuehe Chen , Ruofan Wu , Ericbk Wang , Jing Zhou , Sheng Tian , Shuheng Shen , Xing Fu , Changhua Meng , Weiqiang Wang , Liang Chen

We present an algorithm for maintaining maximal matching in a graph under addition and deletion of edges. Our data structure is randomized that takes O(log n) expected amortized time for each edge update where n is the number of vertices in…

Data Structures and Algorithms · Computer Science 2016-08-03 Surender Baswana , Manoj Gupta , Sandeep Sen

For an arbitrary tree we investigate the problems of constructing a maximum matching which minimizes or maximizes the cardinality of a maximum matching of the graph obtained from original one by its removal and present corresponding…

Discrete Mathematics · Computer Science 2007-07-17 R. R. Kamalian , V. V. Mkrtchyan

Graph matching---aligning a pair of graphs to minimize their edge disagreements---has received wide-spread attention from both theoretical and applied communities over the past several decades, including combinatorics, computer vision, and…

In this paper we study the problem of fully dynamic maximal matching with lookahead. In a fully dynamic $n$-vertex graph setting, we have to handle updates (insertions and removals of edges), and answer queries regarding the current graph,…

Data Structures and Algorithms · Computer Science 2018-07-16 Kitti Gelle , Szabolcs Ivan

This work studies fundamental limits for recovering the underlying correspondence among multiple correlated graphs. In the setting of inhomogeneous random graphs, we present and analyze a matching algorithm: first partially match the graphs…

Data Structures and Algorithms · Computer Science 2025-07-01 Taha Ameen , Bruce Hajek

We contribute to approximate algorithms for the quadratic assignment problem also known as graph matching. Inspired by the success of the fusion moves technique developed for multilabel discrete Markov random fields, we investigate its…

Computer Vision and Pattern Recognition · Computer Science 2021-08-23 Lisa Hutschenreiter , Stefan Haller , Lorenz Feineis , Carsten Rother , Dagmar Kainmüller , Bogdan Savchynskyy

We consider the Maximum-weight Matching (MWM) problem in the streaming sliding window model of computation. In this model, the input consists of a sequence of weighted edges on a given vertex set $V$ of size $n$. The objective is to…

Data Structures and Algorithms · Computer Science 2023-01-11 Cezar-Mihail Alexandru , Pavel Dvořák , Christian Konrad , Kheeran K. Naidu

The graph alignment problem, which considers the optimal node correspondence across networks, has recently gained significant attention due to its wide applications. There are graph alignment methods suited for various network types, but we…

Social and Information Networks · Computer Science 2025-05-15 Ashley Wang , Peter Chin

We consider the problem of characterizing graphs with the maximum spectral radius among the connected graphs with given numbers of vertices and edges. It is well-known that the candidates for extremal graphs are threshold graphs, but only a…

In this paper we introduce a new algorithm to study some NP-complete problems. This algorithm is a Markov Chain Monte Carlo (MCMC) inspired by the cavity method developed in the study of spin glass. We will focus on the maximum clique…

Statistical Mechanics · Physics 2015-06-25 Antonio Iovanella , Benedetto Scoppola , Elisabetta Scoppola

A plethora of multi-view subspace clustering (MVSC) methods have been proposed over the past few years. Researchers manage to boost clustering accuracy from different points of view. However, many state-of-the-art MVSC algorithms, typically…

Machine Learning · Computer Science 2019-11-22 Zhao Kang , Wangtao Zhou , Zhitong Zhao , Junming Shao , Meng Han , Zenglin Xu

We describe approximation algorithms in Linial's classic LOCAL model of distributed computing to find maximum-weight matchings in a hypergraph of rank $r$. Our main result is a deterministic algorithm to generate a matching which is an…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

A pair of complementary algorithms are presented. One of the pair is a fast method for connecting graphs with an edge. The other is a fast method for removing edges from a graph. Both algorithms employ the same tree based graph…

Data Structures and Algorithms · Computer Science 2009-11-13 Michael J. Lee

The classic algorithm of Viterbi computes the most likely path in a Hidden Markov Model (HMM) that results in a given sequence of observations. It runs in time $O(Tn^2)$ given a sequence of $T$ observations from a HMM with $n$ states.…

Computational Complexity · Computer Science 2016-11-04 Arturs Backurs , Christos Tzamos

The decomposition of undirected graphs simplifies complex problems by breaking them into solvable subgraphs, following the philosophy of divide and conquer. This paper investigates the relationship between atom decomposition and the maximum…

Data Structures and Algorithms · Computer Science 2026-02-24 Pei Heng , Yi Sun , Jianhua Guo

We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, F\"urst, Henning, Mohr and Rautenbach (2019) on regular…

Combinatorics · Mathematics 2021-08-10 Wouter Cames van Batenburg