-
Quantum Software Development Lifecycle
Authors:
Benjamin Weder,
Johanna Barzen,
Frank Leymann,
Daniel Vietz
Abstract:
With recent advances in the development of more powerful quantum computers, the research area of quantum software engineering is emerging, having the goal to provide concepts, principles, and guidelines to develop high-quality quantum applications. In classical software engineering, lifecycles are used to document the process of designing, implementing, maintaining, analyzing, and adapting softwar…
▽ More
With recent advances in the development of more powerful quantum computers, the research area of quantum software engineering is emerging, having the goal to provide concepts, principles, and guidelines to develop high-quality quantum applications. In classical software engineering, lifecycles are used to document the process of designing, implementing, maintaining, analyzing, and adapting software. Such lifecycles provide a common understanding of how to develop and operate an application, which is especially important due to the interdisciplinary nature of quantum computing. Since today`s quantum applications are, in most cases, hybrid, consisting of quantum and classical programs, the lifecycle for quantum applications must involve the development of both kinds of programs. However, the existing lifecycles only target the development of quantum or classical programs in isolation. Additionally, the various programs must be orchestrated, e.g., using workflows. Thus, the development of quantum applications also incorporates the workflow lifecycle. In this chapter, we analyze the software artifacts usually comprising a quantum application and present their corresponding lifecycles. Furthermore, we identify the points of connection between the various lifecycles and integrate them into the overall quantum software development lifecycle. Therefore, the integrated lifecycle serves as a basis for the development and execution of hybrid quantum applications.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
A note on the complexity of k-Metric Dimension
Authors:
Yannick Schmitz,
Duygu Vietz,
Egon Wanke
Abstract:
Two vertices $u, v \in V$ of an undirected connected graph $G=(V,E)$ are resolved by a vertex $w$ if the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A set $R \subseteq V$ of vertices is a $k$-resolving set for $G$ if for each pair of vertices $u, v \in V$ there are at least $k$ distinct vertices $w_1,\ldots,w_k \in R$ such that each of them resolves $u$ and…
▽ More
Two vertices $u, v \in V$ of an undirected connected graph $G=(V,E)$ are resolved by a vertex $w$ if the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A set $R \subseteq V$ of vertices is a $k$-resolving set for $G$ if for each pair of vertices $u, v \in V$ there are at least $k$ distinct vertices $w_1,\ldots,w_k \in R$ such that each of them resolves $u$ and $v$. The $k$-Metric Dimension of $G$ is the size of a smallest $k$-resolving set for $G$. The decision problem $k$-Metric Dimension is the question whether G has a $k$-resolving set of size at most $r$, for a given graph $G$ and a given number $r$. In this paper, we proof the NP-completeness of $k$-Metric Dimension for bipartite graphs and each $k \geq 2$.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
The Fault-Tolerant Metric Dimension of Cographs
Authors:
Duygu Vietz,
Egon Wanke
Abstract:
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a \textit{resolving set} for $G$ if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A resolving set $U$ is {\em fault-tolerant} if for every vertex $u\in U$ set $U\setminus \{u\}$ is still a resolving set. {The \em (…
▽ More
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a \textit{resolving set} for $G$ if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A resolving set $U$ is {\em fault-tolerant} if for every vertex $u\in U$ set $U\setminus \{u\}$ is still a resolving set. {The \em (fault-tolerant) Metric Dimension} of $G$ is the size of a smallest (fault-tolerant) resolving set for $G$. The {\em weighted (fault-tolerant) Metric Dimension} for a given cost function $c: V \longrightarrow \mathbb{R}_+$ is the minimum weight of all (fault-tolerant) resolving sets. Deciding whether a given graph $G$ has (fault-tolerant) Metric Dimension at most $k$ for some integer $k$ is known to be NP-complete. The weighted fault-tolerant Metric Dimension problem has not been studied extensively so far. In this paper we show that the weighted fault-tolerant metric dimension problem can be solved in linear time on cographs.
△ Less
Submitted 7 April, 2019;
originally announced April 2019.
-
Computing the metric dimension by decomposing graphs into extended biconnected components
Authors:
Duygu Vietz,
Stefan Hoffmann,
Egon Wanke
Abstract:
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a $\textit{resolving set}$ for $G$, if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distances between $u$ and $w$ and the distance between $v$ and $w$ are different. The $\textit{Metric Dimension}$ of $G$ is the size of a smallest resolving set for $G$. Deciding whether a given graph $G$ has M…
▽ More
A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a $\textit{resolving set}$ for $G$, if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distances between $u$ and $w$ and the distance between $v$ and $w$ are different. The $\textit{Metric Dimension}$ of $G$ is the size of a smallest resolving set for $G$. Deciding whether a given graph $G$ has Metric Dimension at most $k$ for some integer $k$ is well-known to be NP-complete. Many research has been done to understand the complexity of this problem on restricted graph classes. In this paper, we decompose a graph into its so called $\textit{extended biconnected components}$ and present an efficient algorithm for computing the metric dimension for a class of graphs having a minimum resolving set with a bounded number of vertices in every extended biconnected component. Further we show that the decision problem METRIC DIMENSION remains NP-complete when the above limitation is extended to usual biconnected components.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
