English
Related papers

Related papers: Efficient Completion of Weighted Automata

200 papers

This doctoral thesis concerns novel distributed algorithms for weight balancing over directed (communication) topologies. A directed topology (digraph) with nonnegative (or positive) weights assigned on each edge is weight-balanced if, for…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-12 Apostolos I. Rikos

A maximum weighted matching for bipartite graphs $G=(A \cup B,E)$ can be found by using the algorithm of Edmonds and Karp with a Fibonacci Heap and a modified Dijkstra in $O(nm + n^2 \log{n})$ time where n is the number of nodes and m the…

Data Structures and Algorithms · Computer Science 2007-05-23 Daniel Etzold

Topological metrics of graphs provide a natural way to describe the prominent features of various types of networks. Graph metrics describe the structure and interplay of graph edges and have found applications in many scientific fields. In…

Data Structures and Algorithms · Computer Science 2018-06-21 Loukianos Spyrou , Javier Escudero

Graph embedding algorithms are used to efficiently represent (encode) a graph in a low-dimensional continuous vector space that preserves the most important properties of the graph. One aspect that is often overlooked is whether the graph…

Machine Learning · Computer Science 2020-01-31 Zekarias T. Kefato , Nasrullah Sheikh , Alberto Montresor

An exact algorithm is presented for solving edge weighted graph partitioning problems. The algorithm is based on a branch and bound method applied to a continuous quadratic programming formulation of the problem. Lower bounds are obtained…

Optimization and Control · Mathematics 2009-12-10 William Hager , Dzung Phan , Hongchao Zhang

Which one is better between two representative graph summarization models with and without edge weights? From web graphs to online social networks, large graphs are everywhere. Graph summarization, which is an effective graph compression…

Databases · Computer Science 2022-05-09 Shinhwan Kang , Kyuhan Lee , Kijung Shin

In this paper we consider the problem of connected edge searching of weighted trees. It is shown that there exists a polynomial-time algorithm for finding optimal connected search strategy for bounded degree trees with arbitrary weights on…

Data Structures and Algorithms · Computer Science 2021-03-05 Dariusz Dereniowski

We consider the problem of finding edges of a hidden weighted graph using a certain type of queries. Let $G$ be a weighted graph with $n$ vertices. In the most general setting, the $n$ vertices are known and no other information about $G$…

Combinatorics · Mathematics 2012-01-19 Jeong Han Kim

In this paper, we present new incremental algorithms for maintaining data structures that represent all connectivity cuts of size one in directed graphs (digraphs), and the strongly connected components that result by the removal of each of…

Data Structures and Algorithms · Computer Science 2018-03-01 Loukas Georgiadis , Giuseppe F. Italiano , Nikos Parotsidis

We extend the notion of nonbacktracking walks from unweighted graphs to graphs whose edges have a nonnegative weight. Here the weight associated with a walk is taken to be the product over the weights along the individual edges. We give two…

Combinatorics · Mathematics 2024-01-22 Francesca Arrigo , Desmond J. Higham , Vanni Noferini , Ryan Wood

We consider three variants of the problem of finding a maximum weight restricted $2$-matching in a subcubic graph $G$. (A $2$-matching is any subset of the edges such that each vertex is incident to at most two of its edges.) Depending on…

Data Structures and Algorithms · Computer Science 2021-01-01 Katarzyna Paluch , Mateusz Wasylkiewicz

Finding a maximum-cardinality or maximum-weight matching in (edge-weighted) undirected graphs is among the most prominent problems of algorithmic graph theory. For $n$-vertex and $m$-edge graphs, the best known algorithms run in…

Data Structures and Algorithms · Computer Science 2021-05-10 Tomohiro Koana , Viatcheslav Korenwein , André Nichterlein , Rolf Niedermeier , Philipp Zschoche

This paper studies reduced-order modeling of dynamic networks with strongly connected topology. Given a graph clustering of an original complex network, we construct a quotient graph with less number of vertices, where the edge weights are…

Optimization and Control · Mathematics 2020-03-10 Xiaodong Cheng , Lanlin Yu , Dingchao Ren , Jacquelien M. A. Scherpen

We study the classical weighted perfect matchings problem for bipartite graphs or sometimes referred to as the assignment problem, i.e., given a weighted bipartite graph $G = (U\cup V,E)$ with weights $w : E \rightarrow \mathcal{R}$ we are…

Data Structures and Algorithms · Computer Science 2021-01-19 Megha Khosla , Avishek Anand

The presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…

Computational Complexity · Computer Science 2012-10-22 Leonid Malinin , Natalia Malinina

We consider the problem of finding \textit{semi-matching} in bipartite graphs which is also extensively studied under various names in the scheduling literature. We give faster algorithms for both weighted and unweighted case. For the…

Data Structures and Algorithms · Computer Science 2012-06-15 Jittat Fakcharoenphol , Bundit Laekhanukit , Danupon Nanongkai

Maximum cardinality matching in bipartite graphs is an important and well-studied problem. The fully dynamic version, in which edges are inserted and deleted over time has also been the subject of much attention. Existing algorithms for…

Data Structures and Algorithms · Computer Science 2015-08-18 Aaron Bernstein , Cliff Stein

We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in…

Commutative Algebra · Mathematics 2013-02-26 Chelsey Paulsen , Sean Sather-Wagstaff

Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph.…

Discrete Mathematics · Computer Science 2021-06-25 Martin Dyer , Mark Jerrum , Haiko Muller , Kristina Vuskovic

We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the threshold problem (also known as universality problem) for…

Formal Languages and Automata Theory · Computer Science 2017-01-24 Filippo Bonchi , Barbara König , Sebastian Küpper