-
Noise-reduction techniques for 1H-FID-MRSI at 14.1T: Monte-Carlo validation & in vivo application
Authors:
Brayan Alves,
Dunja Simicic,
Jessie Mosso,
Thanh Phong Lê,
Guillaume Briand,
Wolfgang Bogner,
Bernard Lanz,
Bernhard Strasser,
Antoine Klauser,
Cristina Cudalbu
Abstract:
Proton magnetic resonance spectroscopic imaging (1H-MRSI) is a powerful tool that enables the multidimensional non-invasive map** of the neurochemical profile at high-resolution over the entire brain. The constant demand for higher spatial resolution in 1H-MRSI led to increased interest in post-processing-based denoising methods aimed at reducing noise variance. The aim of the present study was…
▽ More
Proton magnetic resonance spectroscopic imaging (1H-MRSI) is a powerful tool that enables the multidimensional non-invasive map** of the neurochemical profile at high-resolution over the entire brain. The constant demand for higher spatial resolution in 1H-MRSI led to increased interest in post-processing-based denoising methods aimed at reducing noise variance. The aim of the present study was to implement two noise-reduction techniques, the Marchenko-Pastur principal component analysis (MP-PCA) based denoising and the low-rank total generalized variation (LR-TGV) reconstruction, and to test their potential and impact on preclinical 14.1T fast in vivo 1H-FID-MRSI datasets. Since there is no known ground truth for in vivo metabolite maps, additional evaluations of the performance of both noise-reduction strategies were conducted using Monte-Carlo simulations. Results showed that both denoising techniques increased the apparent signal-to-noise ratio SNR while preserving noise properties in each spectrum for both in vivo and Monte-Carlo datasets. Relative metabolite concentrations were not significantly altered by either methods and brain regional differences were preserved in both synthetic and in vivo datasets. Increased precision of metabolite estimates was observed for the two methods, with inconsistencies noted on lower concentrated metabolites. Our study provided a framework on how to evaluate the performance of MP-PCA and LR-TGV methods for preclinical 1H-FID MRSI data at 14.1T. While gains in apparent SNR and precision were observed, concentration estimations ought to be treated with care especially for low-concentrated metabolites.
△ Less
Submitted 28 March, 2024; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Fast high-resolution metabolite map** in the rat brain using 1H-FID-MRSI at 14.1T
Authors:
Dunja Simicic,
Brayan Alves,
Jessie Mosso,
Guillaume Briand,
Thanh Phong Lê,
Ruud B. van Heeswijk,
Jana Starčuková,
Bernard Lanz,
Antoine Klauser,
Bernhard Strasser,
Wolfgang Bogner,
Cristina Cudalbu
Abstract:
Magnetic resonance spectroscopic imaging (MRSI) enables the simultaneous non-invasive acquisition of MR spectra from multiple spatial locations inside the brain. While 1H-MRSI is increasingly used in the human brain, it is not yet widely applied in the preclinical settings, mostly because of difficulties specifically related to very small nominal voxel size in the rodent brain and low concentratio…
▽ More
Magnetic resonance spectroscopic imaging (MRSI) enables the simultaneous non-invasive acquisition of MR spectra from multiple spatial locations inside the brain. While 1H-MRSI is increasingly used in the human brain, it is not yet widely applied in the preclinical settings, mostly because of difficulties specifically related to very small nominal voxel size in the rodent brain and low concentration of brain metabolites, resulting in low signal-to-noise ratio SNR.
In this context, we implemented a free induction decay 1H-MRSI sequence (1H-FID-MRSI) in the rat brain at 14.1T. We combined the advantages of 1H-FID-MRSI with the ultra-high magnetic field to achieve higher SNR, coverage and spatial resolution in the rodent brain, and developed a custom dedicated processing pipeline with a graphical user interface: MRS4Brain toolbox.
LCModel fit, using the simulated metabolite basis-set and in-vivo measured MM, provided reliable fits for the data at acquisition delays of 1.3 and 0.94 ms. The resulting Cramér-Rao lower bounds were sufficiently low (<30%) for eight metabolites of interest, leading to highly reproducible metabolic maps. Similar spectral quality and metabolic maps were obtained between 1 and 2 averages, with slightly better contrast and brain coverage due to increased SNR in the latter case. Furthermore, the obtained metabolic maps were accurate enough to confirm the previously known brain regional distribution of some metabolites. The acquisitions proved high reproducibility over time.
We demonstrated that the increased SNR and spectral resolution at 14.1T can be translated into high spatial resolution in 1H-FID-MRSI of the rat brain in 13 minutes, using the sequence and processing pipeline described herein. High-resolution 1H-FID-MRSI at 14.1T provided reproducible and high-quality metabolic map** of brain metabolites with significantly reduced technical limitations.
△ Less
Submitted 11 March, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
ECCENTRIC: a fast and unrestrained approach for high-resolution in vivo metabolic imaging at ultra-high field MR
Authors:
Antoine Klauser,
Bernhard Strasser,
Wolfgang Bogner,
Lukas Hingerl,
Sebastien Courvoisier,
Claudiu Schirda,
Francois Lazeyras,
Ovidiu C. Andronesi
Abstract:
A novel method for fast and high-resolution metabolic imaging, called ECcentric Circle ENcoding TRajectorIes for Compressed sensing (ECCENTRIC), has been developed and implemented at 7 Tesla MRI. ECCENTRIC is a non-Cartesian spatial-spectral encoding method optimized to accelerate magnetic resonance spectroscopic imaging (MRSI) with high signal-to-noise at ultra-high field. The approach provides f…
▽ More
A novel method for fast and high-resolution metabolic imaging, called ECcentric Circle ENcoding TRajectorIes for Compressed sensing (ECCENTRIC), has been developed and implemented at 7 Tesla MRI. ECCENTRIC is a non-Cartesian spatial-spectral encoding method optimized to accelerate magnetic resonance spectroscopic imaging (MRSI) with high signal-to-noise at ultra-high field. The approach provides flexible and random ($k,t$) sampling without temporal interleaving to improve spatial response function and spectral quality. ECCENTRIC needs low gradient amplitudes and slew-rates that reduces electrical, mechanical and thermal stress of the scanner hardware, and is robust to timing imperfection and eddy-current delays. Combined with a model-based low-rank reconstruction, this approach enables simultaneous imaging of up to 14 metabolites over the whole-brain at 2-3mm isotropic resolution in 4-10 minutes. In healthy volunteers ECCENTRIC demonstrated unprecedented spatial map** of fine structural details of human brain neurochemistry. This innovative tool introduces a novel approach to neuroscience, providing new insights into the exploration of brain activity and physiology.
△ Less
Submitted 21 December, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Predicting dynamic, motion-related changes in B0 field in the brain at a 7 T MRI using a subject-specific fine-tuned U-net
Authors:
Stanislav Motyka,
Paul Weiser,
Beata Bachrata,
Lukas Hingerl,
Bernhard Strasser,
Gilbert Hangel,
Eva Niess,
Dario Goranovic,
Fabian Niess,
Maxim Zaitsev,
Simon Daniel Robinson,
Georg Langs,
Siegfried Trattnig,
Wolfgang Bogner
Abstract:
Subject movement during the magnetic resonance examination is inevitable and causes not only image artefacts but also deteriorates the homogeneity of the main magnetic field (B0), which is a prerequisite for high quality data. Thus, characterization of changes to B0, e.g. induced by patient movement, is important for MR applications that are prone to B0 inhomogeneities. We propose a deep learning…
▽ More
Subject movement during the magnetic resonance examination is inevitable and causes not only image artefacts but also deteriorates the homogeneity of the main magnetic field (B0), which is a prerequisite for high quality data. Thus, characterization of changes to B0, e.g. induced by patient movement, is important for MR applications that are prone to B0 inhomogeneities. We propose a deep learning based method to predict such changes within the brain from the change of the head position to facilitate retrospective or even real-time correction. A 3D U-net was trained on in vivo brain 7T MRI data. The input consisted of B0 maps and anatomical images at an initial position, and anatomical images at a different head position (obtained by applying a rigid-body transformation on the initial anatomical image). The output consisted of B0 maps at the new head positions. We further fine-tuned the network weights to each subject by measuring a limited number of head positions of the given subject, and trained the U-net with these data. Our approach was compared to established dynamic B0 field map** via interleaved navigators, which suffer from limited spatial resolution and the need for undesirable sequence modifications. Qualitative and quantitative comparison showed similar performance between an interleaved navigator-equivalent method and proposed method. We therefore conclude that it is feasible to predict B0 maps from rigid subject movement and, when combined with external tracking hardware, this information could be used to improve the quality of magnetic resonance acquisitions without the use of navigators.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
A comparison of 7 Tesla MR spectroscopic imaging and 3 Tesla MR fingerprinting for tumor localization in glioma patients
Authors:
Philipp Lazen,
Pedro Lima Cardoso,
Sukrit Sharma,
Cornelius Cadrien,
Thomas Roetzer-Pejrimovsky,
Julia Furtner,
Bernhard Strasser,
Lukas Hingerl,
Alexandra Lipka,
Matthias Preusser,
Wolfgang Marik,
Wolfgang Bogner,
Georg Widhalm,
Karl Rössler,
Siegfried Trattnig,
Gilbert Hangel
Abstract:
This paper investigates the correlation between magnetic resonance spectroscopic imaging (MRSI) and magnetic resonance fingerprinting (MRF) in glioma patients by comparing neuro-oncological markers obtained from MRSI to T1/T2 maps from MRF.
Data from 12 consenting patients with gliomas were analyzed by defining hotspots for T1, T2 and various metabolic ratios, and comparing them using Sørensen-D…
▽ More
This paper investigates the correlation between magnetic resonance spectroscopic imaging (MRSI) and magnetic resonance fingerprinting (MRF) in glioma patients by comparing neuro-oncological markers obtained from MRSI to T1/T2 maps from MRF.
Data from 12 consenting patients with gliomas were analyzed by defining hotspots for T1, T2 and various metabolic ratios, and comparing them using Sørensen-Dice Similarity Coefficients (DSCs) and the distances between their centers of intensity (COIDs).
Median DSCs between MRF and the tumor segmentation were 0.73 (T1) and 0.79 (T2). The DSCs between MRSI and MRF were highest for Gln/tNAA (T1: 0.75, T2: 0.80, tumor: 0.78), followed by Gly/tNAA (T1: 0.57, T2: 0.62, tumor: 0.54) and tCho/tNAA (T1: 0.61, T2: 0.58, tumor: 0.45). The median values in the tumor hotspot were T1=1724 ms, T2=86 ms, Gln/tNAA=0.61, Gly/tNAA=0.28, Ins/tNAA=1.15, and tCho/tNAA=0.48, and, in the peritumoral region, were T1=1756 ms, T2=102ms, Gln/tNAA=0.38, Gly/tNAA=0.20, Ins/tNAA=1.06, and tCho/tNAA=0.38, and, in the NAWM, were T1=950 ms, T2=43 ms, Gln/tNAA=0.16, Gly/tNAA=0.07, Ins/tNAA=0.54, and tCho/tNAA=0.20.
The results of this study constitute the first comparison of 7T MRSI and 3T MRF, showing a good correspondence between these methods.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Engineering Exact Quasi-Threshold Editing
Authors:
Lars Gottesbüren,
Michael Hamann,
Philipp Schoch,
Ben Strasser,
Dorothea Wagner,
Sven Zühlsdorf
Abstract:
Quasi-threshold graphs are $\{C_4, P_4\}$-free graphs, i.e., they do not contain any cycle or path of four nodes as an induced subgraph. We study the $\{C_4, P_4\}$-free editing problem, which is the problem of finding a minimum number of edge insertions or deletions to transform an input graph into a quasi-threshold graph. This problem is NP-hard but fixed-parameter tractable (FPT) in the number…
▽ More
Quasi-threshold graphs are $\{C_4, P_4\}$-free graphs, i.e., they do not contain any cycle or path of four nodes as an induced subgraph. We study the $\{C_4, P_4\}$-free editing problem, which is the problem of finding a minimum number of edge insertions or deletions to transform an input graph into a quasi-threshold graph. This problem is NP-hard but fixed-parameter tractable (FPT) in the number of edits by using a branch-and-bound algorithm and admits a simple integer linear programming formulation (ILP). Both methods are also applicable to the general $F$-free editing problem for any finite set of graphs $F$. For the FPT algorithm, we introduce a fast heuristic for computing high-quality lower bounds and an improved branching strategy. For the ILP, we engineer several variants of row generation. We evaluate both methods for quasi-threshold editing on a large set of protein similarity graphs. For most instances, our optimizations speed up the FPT algorithm by one to three orders of magnitude. The running time of the ILP, that we solve using Gurobi, becomes only slightly faster. With all optimizations, the FPT algorithm is slightly faster than the ILP, even when listing all solutions. Additionally, we show that for almost all graphs, solutions of the previously proposed quasi-threshold editing heuristic QTM are close to optimal.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Space-Efficient, Fast and Exact Routing in Time-Dependent Road Networks
Authors:
Ben Strasser,
Dorothea Wagner,
Tim Zeitz
Abstract:
We study the problem of quickly computing point-to-point shortest paths in massive road networks with traffic predictions. Incorporating traffic predictions into routing allows, for example, to avoid commuter traffic congestions. Existing techniques follow a two-phase approach: In a preprocessing step, an index is built. The index depends on the road network and the traffic patterns but not on the…
▽ More
We study the problem of quickly computing point-to-point shortest paths in massive road networks with traffic predictions. Incorporating traffic predictions into routing allows, for example, to avoid commuter traffic congestions. Existing techniques follow a two-phase approach: In a preprocessing step, an index is built. The index depends on the road network and the traffic patterns but not on the path start and end. The latter are the input of the query phase, in which shortest paths are computed. All existing techniques have large index size, slow query running times or may compute suboptimal paths. In this work, we introduce CATCHUp (Customizable Approximated Time-dependent Contraction Hierarchies through Unpacking), the first algorithm that simultaneously achieves all three objectives.The core idea of CATCHUp is to store paths instead of travel times at shortcuts. Shortcut travel times are derived lazily from the stored paths. We perform an experimental study on a set of real world instances and compare our approach with state-of-the-art techniques. Our approach achieves the fastest preprocessing, competitive query running times and up to 38 times smaller indexes than competing approaches.
△ Less
Submitted 26 March, 2021; v1 submitted 28 October, 2019;
originally announced October 2019.
-
A Fast and Tight Heuristic for A* in Road Networks
Authors:
Ben Strasser,
Tim Zeitz
Abstract:
We study exact, efficient and practical algorithms for route planning in large road networks. Routing applications often require integrating the current traffic situation, planning ahead with traffic predictions for the future, respecting forbidden turns, and many other features depending on the exact application. While Dijkstra's algorithm can be used to solve these problems, it is too slow for m…
▽ More
We study exact, efficient and practical algorithms for route planning in large road networks. Routing applications often require integrating the current traffic situation, planning ahead with traffic predictions for the future, respecting forbidden turns, and many other features depending on the exact application. While Dijkstra's algorithm can be used to solve these problems, it is too slow for many applications. A* is a classical approach to accelerate Dijkstra's algorithm. A* can support many extended scenarios without much additional implementation complexity. However, A*'s performance depends on the availability of a good heuristic that estimates distances. Computing tight distance estimates is a challenge on its own. On road networks, shortest paths can also be quickly computed using hierarchical speedup techniques. They achieve speed and exactness but sacrifice A*'s flexibility. Extending them to certain practical applications can be hard. In this paper, we present an algorithm to efficiently extract distance estimates for A* from Contraction Hierarchies (CH), a hierarchical technique. We call our heuristic CH-Potentials. Our approach allows decoupling the supported extensions from the hierarchical speed-up technique. Additionally, we describe A* optimizations to accelerate the processing of low degree nodes, which often occur in road networks.
△ Less
Submitted 26 March, 2021; v1 submitted 28 October, 2019;
originally announced October 2019.
-
An orbit model for the spectra of nilpotent Gelfand pairs
Authors:
Holley Friedlander,
William Grodzicki,
Wayne Johnson,
Gail Ratcliff,
Anna Romanov,
Benjamin Strasser,
Brent Wessel
Abstract:
Let $N$ be a connected and simply connected nilpotent Lie group, and let $K$ be a subgroup of the automorphism group of $N$. We say that the pair $(K,N)$ is a nilpotent Gelfand pair if $L^1_K(N)$ is an abelian algebra under convolution. In this document we establish a geometric model for the Gelfand spectra of nilpotent Gelfand pairs $(K,N)$ where the $K$-orbits in the center of $N$ have a one-par…
▽ More
Let $N$ be a connected and simply connected nilpotent Lie group, and let $K$ be a subgroup of the automorphism group of $N$. We say that the pair $(K,N)$ is a nilpotent Gelfand pair if $L^1_K(N)$ is an abelian algebra under convolution. In this document we establish a geometric model for the Gelfand spectra of nilpotent Gelfand pairs $(K,N)$ where the $K$-orbits in the center of $N$ have a one-parameter cross section and satisfy a certain non-degeneracy condition. More specifically, we show that the one-to-one correspondence between the set $Δ(K,N)$ of bounded $K$-spherical functions on $N$ and the set $\mathcal{A}(K,N)$ of $K$-orbits in the dual $\mathfrak{n}^*$ of the Lie algebra for $N$ established by Benson and Ratcliff is a homeomorphism for this class of nilpotent Gelfand pairs. This result had previously been shown for $N$ a free group and $N$ a Heisenberg group, and was conjectured to hold for all nilpotent Gelfand pairs.
△ Less
Submitted 11 August, 2019; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Distributed Graph Clustering using Modularity and Map Equation
Authors:
Michael Hamann,
Ben Strasser,
Dorothea Wagner,
Tim Zeitz
Abstract:
We study large-scale, distributed graph clustering. Given an undirected graph, our objective is to partition the nodes into disjoint sets called clusters. A cluster should contain many internal edges while being sparsely connected to other clusters. In the context of a social network, a cluster could be a group of friends. Modularity and map equation are established formalizations of this internal…
▽ More
We study large-scale, distributed graph clustering. Given an undirected graph, our objective is to partition the nodes into disjoint sets called clusters. A cluster should contain many internal edges while being sparsely connected to other clusters. In the context of a social network, a cluster could be a group of friends. Modularity and map equation are established formalizations of this internally-dense-externally-sparse principle. We present two versions of a simple distributed algorithm to optimize both measures. They are based on Thrill, a distributed big data processing framework that implements an extended MapReduce model. The algorithms for the two measures, DSLM-Mod and DSLM-Map, differ only slightly. Adapting them for similar quality measures is straight-forward. We conduct an extensive experimental study on real-world graphs and on synthetic benchmark graphs with up to 68 billion edges. Our algorithms are fast while detecting clusterings similar to those detected by other sequential, parallel and distributed clustering algorithms. Compared to the distributed GossipMap algorithm, DSLM-Map needs less memory, is up to an order of magnitude faster and achieves better quality.
△ Less
Submitted 7 June, 2018; v1 submitted 26 October, 2017;
originally announced October 2017.
-
Computing Tree Decompositions with FlowCutter: PACE 2017 Submission
Authors:
Ben Strasser
Abstract:
We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree dec…
▽ More
We describe the algorithm behind our PACE 2017 submission to the heuristic tree decomposition computation track. It was the only competitor to solve all instances and won a tight second place. The algorithm was originally developed in the context of accelerating shortest path computation on road graphs using multilevel partitions. We illustrate how this seemingly unrelated field fits into tree decomposition and parameterized complexity theory.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Connection Scan Algorithm
Authors:
Julian Dibbelt,
Thomas Pajor,
Ben Strasser,
Dorothea Wagner
Abstract:
We introduce the Connection Scan Algorithm (CSA) to efficiently answer queries to timetable information systems. The input consists, in the simplest setting, of a source position and a desired target position. The output consist is a sequence of vehicles such as trains or buses that a traveler should take to get from the source to the target. We study several problem variations such as the earlies…
▽ More
We introduce the Connection Scan Algorithm (CSA) to efficiently answer queries to timetable information systems. The input consists, in the simplest setting, of a source position and a desired target position. The output consist is a sequence of vehicles such as trains or buses that a traveler should take to get from the source to the target. We study several problem variations such as the earliest arrival and profile problems. We present algorithm variants that only optimize the arrival time or additionally optimize the number of transfers in the Pareto sense. An advantage of CSA is that is can easily adjust to changes in the timetable, allowing the easy incorporation of known vehicle delays. We additionally introduce the Minimum Expected Arrival Time (MEAT) problem to handle possible, uncertain, future vehicle delays. We present a solution to the MEAT problem that is based upon CSA. Finally, we extend CSA using the multilevel overlay paradigm to answer complex queries on nation-wide integrated timetables with trains and buses.
△ Less
Submitted 17 March, 2017;
originally announced March 2017.
-
Intriguingly Simple and Efficient Time-Dependent Routing in Road Networks
Authors:
Ben Strasser
Abstract:
We study the earliest arrival problem in road networks with static time-dependent functions as arc weights. We propose and evaluate the following simple algorithm: (1) average the travel time in k time windows, (2) compute a shortest time-independent path within each window and mark the edges in these paths, and (3) compute a shortest time-dependent path in the original graph restricted to the mar…
▽ More
We study the earliest arrival problem in road networks with static time-dependent functions as arc weights. We propose and evaluate the following simple algorithm: (1) average the travel time in k time windows, (2) compute a shortest time-independent path within each window and mark the edges in these paths, and (3) compute a shortest time-dependent path in the original graph restricted to the marked edges. Our experimental evaluation shows that this simple algorithm yields near optimal results on well-established benchmark instances. We additionally demonstrate that the error can be further reduced by additionally considering alternative routes at the expense of more marked edges. Finally, we show that the achieved subgraphs are small enough to be able to efficiently implement profile queries using a simple sampling-based approach. A highlight of our introduced algorithms is that they do not rely on linking and merging profile functions.
△ Less
Submitted 30 June, 2017; v1 submitted 21 June, 2016;
originally announced June 2016.
-
Fast Exact Shortest Path and Distance Queries on Road Networks with Parametrized Costs
Authors:
Julian Dibbelt,
Ben Strasser,
Dorothea Wagner
Abstract:
We study a scenario for route planning in road networks, where the objective to be optimized may change between every shortest path query. Since this invalidates many of the known speedup techniques for road networks that are based on preprocessing of shortest path structures, we investigate optimizations exploiting solely the topological structure of networks. We experimentally evaluate our techn…
▽ More
We study a scenario for route planning in road networks, where the objective to be optimized may change between every shortest path query. Since this invalidates many of the known speedup techniques for road networks that are based on preprocessing of shortest path structures, we investigate optimizations exploiting solely the topological structure of networks. We experimentally evaluate our technique on a large set of real-world road networks of various data sources. With lightweight preprocessing our technique answers long-distance queries across continental networks significantly faster than previous approaches towards the same problem formulation.
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
Fast Quasi-Threshold Editing
Authors:
Ulrik Brandes,
Michael Hamann,
Ben Strasser,
Dorothea Wagner
Abstract:
We introduce Quasi-Threshold Mover (QTM), an algorithm to solve the quasi-threshold (also called trivially perfect) graph editing problem with edge insertion and deletion. Given a graph it computes a quasi-threshold graph which is close in terms of edit count. This edit problem is NP-hard. We present an extensive experimental study, in which we show that QTM is the first algorithm that is able to…
▽ More
We introduce Quasi-Threshold Mover (QTM), an algorithm to solve the quasi-threshold (also called trivially perfect) graph editing problem with edge insertion and deletion. Given a graph it computes a quasi-threshold graph which is close in terms of edit count. This edit problem is NP-hard. We present an extensive experimental study, in which we show that QTM is the first algorithm that is able to scale to large real-world graphs in practice. As a side result we further present a simple linear-time algorithm for the quasi-threshold recognition problem.
△ Less
Submitted 28 April, 2015;
originally announced April 2015.
-
Graph Bisection with Pareto-Optimization
Authors:
Michael Hamann,
Ben Strasser
Abstract:
We introduce FlowCutter, a novel algorithm to compute a set of edge cuts or node separators that optimize cut size and balance in the Pareto-sense. Our core algorithm solves the balanced connected st-edge-cut problem, where two given nodes s and t must be separated by removing edges to obtain two connected parts. Using the core algorithm we build variants that compute node separators and are indep…
▽ More
We introduce FlowCutter, a novel algorithm to compute a set of edge cuts or node separators that optimize cut size and balance in the Pareto-sense. Our core algorithm solves the balanced connected st-edge-cut problem, where two given nodes s and t must be separated by removing edges to obtain two connected parts. Using the core algorithm we build variants that compute node separators and are independent of s and t. Using the Pareto-set we can identify cuts with a particularly good trade-off between cut size and balance that can be used to compute contraction and minimum fill-in orders, which can be used in Customizable Contraction Hierarchies (CCH), a speed-up technique for shortest path computations. Our core algorithm runs in O(cm) time where m is the number of edges and c the cut size. This makes it well-suited for large graphs with small cuts, such as road graphs, which are our primary application. For road graphs we present an extensive experimental study demonstrating that FlowCutter outperforms the current state of the art both in terms of cut sizes as well as CCH performance.
△ Less
Submitted 22 November, 2017; v1 submitted 15 April, 2015;
originally announced April 2015.
-
Customizable Contraction Hierarchies
Authors:
Julian Dibbelt,
Ben Strasser,
Dorothea Wagner
Abstract:
We consider the problem of quickly computing shortest paths in weighted graphs given auxiliary data derived in an expensive preprocessing phase. By adding a fast weight-customization phase, we extend Contraction Hierarchies by Geisberger et al to support the three-phase workflow introduced by Delling et al. Our Customizable Contraction Hierarchies use nested dissection orders as suggested by Bauer…
▽ More
We consider the problem of quickly computing shortest paths in weighted graphs given auxiliary data derived in an expensive preprocessing phase. By adding a fast weight-customization phase, we extend Contraction Hierarchies by Geisberger et al to support the three-phase workflow introduced by Delling et al. Our Customizable Contraction Hierarchies use nested dissection orders as suggested by Bauer et al. We provide an in-depth experimental analysis on large road and game maps that clearly shows that Customizable Contraction Hierarchies are a very practicable solution in scenarios where edge weights often change.
△ Less
Submitted 21 August, 2015; v1 submitted 3 February, 2014;
originally announced February 2014.
-
A Characterization of the Prime Graphs of Solvable Groups
Authors:
Alexander Gruber,
Thomas Keller,
Mark Lewis,
Keeley Naughton,
Benjamin Strasser
Abstract:
Let π(G) denote the set of prime divisors of the order of a finite group G. The prime graph of G is the graph with vertex set π(G) with edges {p,q} if and only if there exists an element of order pq in G. In this paper, we prove that a graph is isomorphic to the prime graph of a solvable group if and only if its complement is 3-colorable and triangle free. We then introduce the idea of a minimal p…
▽ More
Let π(G) denote the set of prime divisors of the order of a finite group G. The prime graph of G is the graph with vertex set π(G) with edges {p,q} if and only if there exists an element of order pq in G. In this paper, we prove that a graph is isomorphic to the prime graph of a solvable group if and only if its complement is 3-colorable and triangle free. We then introduce the idea of a minimal prime graph. We prove that there exists an infinite class of solvable groups whose prime graphs are minimal. We prove the 3k-conjecture on prime divisors in element orders for solvable groups with minimal prime graphs, and we show that solvable groups whose prime graphs are minimal have Fitting length 3 or 4.
△ Less
Submitted 10 May, 2013;
originally announced May 2013.