-
Algorithmic aspects of semistability of quiver representations
Authors:
Yuni Iwamasa,
Taihei Oki,
Tasuku Soma
Abstract:
We study the semistability of quiver representations from an algorithmic perspective. We present efficient algorithms for several fundamental computational problems on the semistability of quiver representations: deciding semistability and $σ$-semistability, finding maximizers of King's criterion, and finding the Harder-Narasimhan filtration. We also investigate a class of polyhedral cones defined…
▽ More
We study the semistability of quiver representations from an algorithmic perspective. We present efficient algorithms for several fundamental computational problems on the semistability of quiver representations: deciding semistability and $σ$-semistability, finding maximizers of King's criterion, and finding the Harder-Narasimhan filtration. We also investigate a class of polyhedral cones defined by the linear system in King's criterion, which we call King cones. We demonstrate that the King cones for rank-one representations can be encoded by submodular flow polytopes, allowing us to decide the $σ$-semistability of rank-one representations in strongly polynomial time. Our argument employs submodularity in quiver representations, which may be of independent interest.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
On the sizes of BDDs and ZDDs representing matroids
Authors:
Hiromi Emoto,
Yuni Iwamasa,
Shin-ichi Minato
Abstract:
Matroids are often represented as oracles since there are no unified and compact representations for general matroids. This paper initiates the study of binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) as relatively compact data structures for representing matroids in a computer. This study particularly focuses on the sizes of BDDs and ZDDs representing matroids.…
▽ More
Matroids are often represented as oracles since there are no unified and compact representations for general matroids. This paper initiates the study of binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) as relatively compact data structures for representing matroids in a computer. This study particularly focuses on the sizes of BDDs and ZDDs representing matroids. First, we compare the sizes of different variations of BDDs and ZDDs for a matroid. These comparisons involve concise transformations between specific decision diagrams. Second, we provide upper bounds on the size of BDDs and ZDDs for several classes of matroids. These bounds are closely related to the number of minors of the matroid and depend only on the connectivity function or pathwidth of the matroid, which deeply relates to the classes of matroids called strongly pigeonhole classes. In essence, these results indicate upper bounds on the number of minors for specific classes of matroids and new strongly pigeonhole classes.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Finding a Maximum Restricted $t$-Matching via Boolean Edge-CSP
Authors:
Yuni Iwamasa,
Yusuke Kobayashi,
Kenjiro Takazawa
Abstract:
The problem of finding a maximum $2$-matching without short cycles has received significant attention due to its relevance to the Hamilton cycle problem. This problem is generalized to finding a maximum $t$-matching which excludes specified complete $t$-partite subgraphs, where $t$ is a fixed positive integer. The polynomial solvability of this generalized problem remains an open question. In this…
▽ More
The problem of finding a maximum $2$-matching without short cycles has received significant attention due to its relevance to the Hamilton cycle problem. This problem is generalized to finding a maximum $t$-matching which excludes specified complete $t$-partite subgraphs, where $t$ is a fixed positive integer. The polynomial solvability of this generalized problem remains an open question. In this paper, we present polynomial-time algorithms for the following two cases of this problem: in the first case the forbidden complete $t$-partite subgraphs are edge-disjoint; and in the second case the maximum degree of the input graph is at most $2t-1$. Our result for the first case extends the previous work of Nam (1994) showing the polynomial solvability of the problem of finding a maximum $2$-matching without cycles of length four, where the cycles of length four are vertex-disjoint. The second result expands upon the works of Bérczi and Végh (2010) and Kobayashi and Yin (2012), which focused on graphs with maximum degree at most $t+1$. Our algorithms are obtained from exploiting the discrete structure of restricted $t$-matchings and employing an algorithm for the Boolean edge-CSP.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Authors:
Hiroshi Hirai,
Yuni Iwamasa,
Taihei Oki,
Tasuku Soma
Abstract:
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can form…
▽ More
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Reconfiguration of Time-Respecting Arborescences
Authors:
Takehiro Ito,
Yuni Iwamasa,
Naoyuki Kamiyama,
Yasuaki Kobayashi,
Yusuke Kobayashi,
Shun-ichi Maezawa,
Akira Suzuki
Abstract:
An arborescence, which is a directed analogue of a spanning tree in an undirected graph, is one of the most fundamental combinatorial objects in a digraph. In this paper, we study arborescences in digraphs from the viewpoint of combinatorial reconfiguration, which is the field where we study reachability between two configurations of some combinatorial objects via some specified operations. Especi…
▽ More
An arborescence, which is a directed analogue of a spanning tree in an undirected graph, is one of the most fundamental combinatorial objects in a digraph. In this paper, we study arborescences in digraphs from the viewpoint of combinatorial reconfiguration, which is the field where we study reachability between two configurations of some combinatorial objects via some specified operations. Especially, we consider reconfiguration problems for time-respecting arborescences, which were introduced by Kempe, Kleinberg, and Kumar. We first prove that if the roots of the initial and target time-respecting arborescences are the same, then the target arborescence is always reachable from the initial one and we can find a shortest reconfiguration sequence in polynomial time. Furthermore, we show if the roots are not the same, then the target arborescence may not be reachable from the initial one. On the other hand, we show that we can determine whether the target arborescence is reachable form the initial one in polynomial time. Finally, we prove that it is NP-hard to find a shortest reconfiguration sequence in the case where the roots are not the same. Our results show an interesting contrast to the previous results for (ordinary) arborescences reconfiguration problems.
△ Less
Submitted 27 June, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
Characterizations of the set of integer points in an integral bisubmodular polyhedron
Authors:
Yuni Iwamasa
Abstract:
In this note, we provide two characterizations of the set of integer points in an integral bisubmodular polyhedron. Our characterizations do not require the assumption that a given set satisfies the hole-freeness, i.e., the set of integer points in its convex hull coincides with the original set. One is a natural multiset generalization of the exchange axiom of a delta-matroid, and the other comes…
▽ More
In this note, we provide two characterizations of the set of integer points in an integral bisubmodular polyhedron. Our characterizations do not require the assumption that a given set satisfies the hole-freeness, i.e., the set of integer points in its convex hull coincides with the original set. One is a natural multiset generalization of the exchange axiom of a delta-matroid, and the other comes from the notion of the tangent cone of an integral bisubmodular polyhedron.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
Reconfiguration of colorings in triangulations of the sphere
Authors:
Takehiro Ito,
Yuni Iwamasa,
Yusuke Kobayashi,
Shun-ichi Maezawa,
Yuta Nozaki,
Yoshio Okamoto,
Kenta Ozeki
Abstract:
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we pr…
▽ More
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we present a characterization of a $4$-coloring of a $3$-colorable triangulation of the $2$-sphere that can be obtained from a $3$-coloring by a sequence of recoloring operations at single vertices, and a criterion for a $3$-colorable triangulation of the $2$-sphere that all $4$-colorings can be obtained from a $3$-coloring by such a sequence. Moreover, our first result can be generalized to a high-dimensional case, in which ``$4$-coloring,'' ``$3$-colorable,'' and ``$2$-sphere'' above are replaced with ``$k$-coloring,'' ``$(k-1)$-colorable,'' and ``$(k-2)$-sphere'' for $k \geq 4$, respectively. In addition, we show that the problem of deciding whether, for given two $(k+1)$-colorings, one can be obtained from the other by such a sequence is PSPACE-complete for any fixed $k \geq 4$. Our results above can be rephrased as new results on the computational problems named {\sc $k$-Recoloring} and {\sc Connectedness of $k$-Coloring Reconfiguration Graph}, which are fundamental problems in the field of combinatorial reconfiguration.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
Rerouting Planar Curves and Disjoint Paths
Authors:
Takehiro Ito,
Yuni Iwamasa,
Naonori Kakimura,
Yusuke Kobayashi,
Shun-ichi Maezawa,
Yuta Nozaki,
Yoshio Okamoto,
Kenta Ozeki
Abstract:
In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is cal…
▽ More
In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Reforming an Envy-Free Matching
Authors:
Takehiro Ito,
Yuni Iwamasa,
Naonori Kakimura,
Naoyuki Kamiyama,
Yusuke Kobayashi,
Yuta Nozaki,
Yoshio Okamoto,
Kenta Ozeki
Abstract:
We consider the problem of reforming an envy-free matching when each agent is assigned a single item. Given an envy-free matching, we consider an operation to exchange the item of an agent with an unassigned item preferred by the agent that results in another envy-free matching. We repeat this operation as long as we can. We prove that the resulting envy-free matching is uniquely determined up to…
▽ More
We consider the problem of reforming an envy-free matching when each agent is assigned a single item. Given an envy-free matching, we consider an operation to exchange the item of an agent with an unassigned item preferred by the agent that results in another envy-free matching. We repeat this operation as long as we can. We prove that the resulting envy-free matching is uniquely determined up to the choice of an initial envy-free matching, and can be found in polynomial time. We call the resulting matching a reformist envy-free matching, and then we study a shortest sequence to obtain the reformist envy-free matching from an initial envy-free matching. We prove that a shortest sequence is computationally hard to obtain even when each agent accepts at most four items and each item is accepted by at most three agents. On the other hand, we give polynomial-time algorithms when each agent accepts at most three items or each item is accepted by at most two agents. Inapproximability and fixed-parameter (in)tractability are also discussed.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Independent set reconfiguration on directed graphs
Authors:
Takehiro Ito,
Yuni Iwamasa,
Yasuaki Kobayashi,
Yu Nakahata,
Yota Otachi,
Masahiro Takahashi,
Kunihiro Wasa
Abstract:
\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set with one of its out-neighbors, while kee** the nonadjacency. It can be seen as a reconfiguration process where a token is placed on each vertex in the current…
▽ More
\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set with one of its out-neighbors, while kee** the nonadjacency. It can be seen as a reconfiguration process where a token is placed on each vertex in the current set, and the local operation slides a token along an arc respecting its direction. Previously, such a problem was extensively studied on undirected graphs, where the edges have no directions and thus the local operation is symmetric. \textsc{Directed Token Sliding} is a generalization of its undirected variant since an undirected edge can be simulated by two arcs of opposite directions.
In this paper, we initiate the algorithmic study of \textsc{Directed Token Sliding}. We first observe that the problem is PSPACE-complete even if we forbid parallel arcs in opposite directions and that the problem on directed acyclic graphs is NP-complete and W[1]-hard parameterized by the size of the sets in consideration. We then show our main result: a linear-time algorithm for the problem on directed graphs whose underlying undirected graphs are trees, which are called polytrees. Such a result is also known for the undirected variant of the problem on trees~[Demaine et al.~TCS 2015], but the techniques used here are quite different because of the asymmetric nature of the directed problem. We present a characterization of yes-instances based on the existence of a certain set of directed paths, and then derive simple equivalent conditions from it by some observations, which admits an efficient algorithm. For the polytree case, we also present a quadratic-time algorithm that outputs, if the input is a yes-instance, one of the shortest reconfiguration sequences.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
Monotone edge flips to an orientation of maximum edge-connectivity à la Nash-Williams
Authors:
Takehiro Ito,
Yuni Iwamasa,
Naonori Kakimura,
Naoyuki Kamiyama,
Yusuke Kobayashi,
Shun-ichi Maezawa,
Yuta Nozaki,
Yoshio Okamoto,
Kenta Ozeki
Abstract:
We initiate the study of $k$-edge-connected orientations of undirected graphs through edge flips for $k \geq 2$. We prove that in every orientation of an undirected $2k$-edge-connected graph, there exists a sequence of edges such that flip** their directions one by one does not decrease the edge-connectivity, and the final orientation is $k$-edge-connected. This yields an ``edge-flip based'' new…
▽ More
We initiate the study of $k$-edge-connected orientations of undirected graphs through edge flips for $k \geq 2$. We prove that in every orientation of an undirected $2k$-edge-connected graph, there exists a sequence of edges such that flip** their directions one by one does not decrease the edge-connectivity, and the final orientation is $k$-edge-connected. This yields an ``edge-flip based'' new proof of Nash-Williams' theorem: an undirected graph $G$ has a $k$-edge-connected orientation if and only if $G$ is $2k$-edge-connected. As another consequence of the theorem, we prove that the edge-flip graph of $k$-edge-connected orientations of an undirected graph $G$ is connected if $G$ is $(2k+2)$-edge-connected. This has been known to be true only when $k=1$.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Reconfiguring (non-spanning) arborescences
Authors:
Takehiro Ito,
Yuni Iwamasa,
Yasuaki Kobayashi,
Yu Nakahata,
Yota Otachi,
Kunihiro Wasa
Abstract:
In this paper, we investigate the computational complexity of subgraph reconfiguration problems in directed graphs. More specifically, we focus on the problem of reconfiguring arborescences in a digraph, where an arborescence is a directed graph such that its underlying undirected graph forms a tree and all vertices have in-degree at most 1. Given two arborescences in a digraph, the goal of the pr…
▽ More
In this paper, we investigate the computational complexity of subgraph reconfiguration problems in directed graphs. More specifically, we focus on the problem of reconfiguring arborescences in a digraph, where an arborescence is a directed graph such that its underlying undirected graph forms a tree and all vertices have in-degree at most 1. Given two arborescences in a digraph, the goal of the problem is to determine whether there is a (reconfiguration) sequence of arborescences between the given arborescences such that each arborescence in the sequence can be obtained from the previous one by removing an arc and then adding another arc. We show that this problem can be solved in polynomial time, whereas the problem is PSPACE-complete when we restrict arborescences in a reconfiguration sequence to directed paths or relax to directed acyclic graphs. We also show that there is a polynomial-time algorithm for finding a shortest reconfiguration sequence between two spanning arborescences.
△ Less
Submitted 14 March, 2023; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Quantaloidal Approach to Constraint Satisfaction
Authors:
Soichiro Fujii,
Yuni Iwamasa,
Kei Kimura
Abstract:
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and t…
▽ More
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.
△ Less
Submitted 3 November, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
A combinatorial algorithm for computing the entire sequence of the maximum degree of minors of a generic partitioned polynomial matrix with $2 \times 2$ submatrices
Authors:
Yuni Iwamasa
Abstract:
In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{αβ} x_{αβ} t^{d_{αβ}})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{αβ}$ is an indeterminate, and $d_{αβ}$ is an integer for $α= 1,2,\dots, μ$ and $β= 1,2,\dots,ν$, and $t$ is an…
▽ More
In this paper, we consider the problem of computing the entire sequence of the maximum degree of minors of a block-structured symbolic matrix (a generic partitioned polynomial matrix) $A = (A_{αβ} x_{αβ} t^{d_{αβ}})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$, $x_{αβ}$ is an indeterminate, and $d_{αβ}$ is an integer for $α= 1,2,\dots, μ$ and $β= 1,2,\dots,ν$, and $t$ is an additional indeterminate. This problem can be viewed as an algebraic generalization of the maximum weight bipartite matching problem.
The main result of this paper is a combinatorial $O(μν\min\{μ, ν\}^2)$-time algorithm for computing the entire sequence of the maximum degree of minors of a $(2 \times 2)$-type generic partitioned polynomial matrix of size $2μ\times 2ν$. We also present a minimax theorem, which can be used as a good characterization (NP $\cap$ co-NP characterization) for the computation of the maximum degree of minors of order $k$. Our results generalize the classical primal-dual algorithm (the Hungarian method) and minimax formula (Egerváry's theorem) for the maximum weight bipartite matching problem.
△ Less
Submitted 2 November, 2021; v1 submitted 30 April, 2021;
originally announced April 2021.
-
A combinatorial algorithm for computing the rank of a generic partitioned matrix with $2 \times 2$ submatrices
Authors:
Hiroshi Hirai,
Yuni Iwamasa
Abstract:
In this paper, we consider the problem of computing the rank of a block-structured symbolic matrix (a generic partitioned matrix) $A = (A_{αβ} x_{αβ})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$ and $x_{αβ}$ is an indeterminate for $α= 1,2,\dots, μ$ and $β= 1,2, \dots, ν$. This problem can be viewed as an algebraic generalization of the bipartite matching problem and was co…
▽ More
In this paper, we consider the problem of computing the rank of a block-structured symbolic matrix (a generic partitioned matrix) $A = (A_{αβ} x_{αβ})$, where $A_{αβ}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$ and $x_{αβ}$ is an indeterminate for $α= 1,2,\dots, μ$ and $β= 1,2, \dots, ν$. This problem can be viewed as an algebraic generalization of the bipartite matching problem and was considered by Iwata and Murota (1995). Recent interests in this problem lie in the connection with non-commutative Edmonds' problem by Ivanyos, Qiao, and Subrahamanyam (2018) and Garg, Gurvits, Oliveiva, and Wigderson (2019), where a result by Iwata and Murota implicitly states that the rank and non-commutative rank (nc-rank) are the same for this class of symbolic matrices.
The main result of this paper is a simple and combinatorial $O((μν)^2 \min \{ μ, ν\})$-time algorithm for computing the symbolic rank of a $(2 \times 2)$-type generic partitioned matrix of size $2μ\times 2ν$. Our algorithm is inspired by the Wong sequence algorithm by Ivanyos, Qiao, and Subrahamanyam for the nc-rank of a general symbolic matrix, and requires no blow-up operation, no field extension, and no additional care for bounding the bit-size. Moreover it naturally provides a maximum rank completion of $A$ for an arbitrary field $\mathbf{F}$.
△ Less
Submitted 21 June, 2021; v1 submitted 22 April, 2020;
originally announced April 2020.
-
Optimal matroid bases with intersection constraints: Valuated matroids, M-convex functions, and their applications
Authors:
Yuni Iwamasa,
Kenjiro Takazawa
Abstract:
For two matroids $M_1$ and $M_2$ with the same ground set $V$ and two cost functions $w_1$ and $w_2$ on $2^V$, we consider the problem of finding bases $X_1$ of $M_1$ and $X_2$ of $M_2$ minimizing $w_1(X_1)+w_2(X_2)$ subject to a certain cardinality constraint on their intersection $X_1 \cap X_2$. For this problem, Lendl, Peis, and Timmermans (2019) discussed modular cost functions: they reduced t…
▽ More
For two matroids $M_1$ and $M_2$ with the same ground set $V$ and two cost functions $w_1$ and $w_2$ on $2^V$, we consider the problem of finding bases $X_1$ of $M_1$ and $X_2$ of $M_2$ minimizing $w_1(X_1)+w_2(X_2)$ subject to a certain cardinality constraint on their intersection $X_1 \cap X_2$. For this problem, Lendl, Peis, and Timmermans (2019) discussed modular cost functions: they reduced the problem to weighted matroid intersection for the case where the cardinality constraint is $|X_1 \cap X_2|\le k$ or $|X_1 \cap X_2|\ge k$; and designed a new primal-dual algorithm for the case where the constraint is $|X_1 \cap X_2|=k$.
The aim of this paper is to generalize the problems to have nonlinear convex cost functions, and to comprehend them from the viewpoint of discrete convex analysis. We prove that each generalized problem can be solved via valuated independent assignment, valuated matroid intersection, or $\mathrm{M}$-convex submodular flow, to offer a comprehensive understanding of weighted matroid intersection with intersection constraints. We also show the NP-hardness of some variants of these problems, which clarifies the coverage of discrete convex analysis for those problems. Finally, we present applications of our generalized problems in the recoverable robust matroid basis problem, combinatorial optimization problems with interaction costs, and matroid congestion games.
△ Less
Submitted 25 February, 2021; v1 submitted 4 March, 2020;
originally announced March 2020.
-
Reconstructing phylogenetic trees from multipartite quartet systems
Authors:
Hiroshi Hirai,
Yuni Iwamasa
Abstract:
A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a…
▽ More
A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a phylogenetic tree inducing a given collection of quartet trees, and to construct such a phylogenetic tree if it exists. It is known that {\sc Quartet Compatibility} is NP-hard and that there are only a few results known for polynomial-time solvable subclasses. In this paper, we introduce two novel classes of quartet systems, called complete multipartite quartet system and full multipartite quartet system, and present polynomial-time algorithms for {\sc Quartet Compatibility} for these systems.
△ Less
Submitted 23 February, 2022; v1 submitted 3 April, 2019;
originally announced April 2019.
-
A tractable class of binary VCSPs via M-convex intersection
Authors:
Hiroshi Hirai,
Yuni Iwamasa,
Kazuo Murota,
Stanislav Zivny
Abstract:
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable ca…
▽ More
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable case is the one induced by the joint winner property (JWP). Recently, Iwamasa, Murota, and Živný made a link between VCSP and discrete convex analysis, showing that a function satisfying the JWP can be transformed into a function represented as the sum of two quadratic M-convex functions, which can be minimized in polynomial time via an M-convex intersection algorithm if the value oracle of each M-convex function is given. In this paper, we give an algorithmic answer to a natural question: What binary finite-valued CSP instances can be represented as the sum of two quadratic M-convex functions and can be solved in polynomial time via an M-convex intersection algorithm? We solve this problem by devising a polynomial-time algorithm for obtaining a concrete form of the representation in the representable case. Our result presents a larger tractable class of binary finite-valued CSPs, which properly contains the JWP class.
△ Less
Submitted 11 July, 2019; v1 submitted 7 January, 2018;
originally announced January 2018.
-
The quadratic M-convexity testing problem
Authors:
Yuni Iwamasa
Abstract:
M-convex functions, which are a generalization of valuated matroids, play a central role in discrete convex analysis. Quadratic M-convex functions constitute a basic and important subclass of M-convex functions, which has a close relationship with phylogenetics as well as valued constraint satisfaction problems. In this paper, we consider the quadratic M-convexity testing problem (QMCTP), which is…
▽ More
M-convex functions, which are a generalization of valuated matroids, play a central role in discrete convex analysis. Quadratic M-convex functions constitute a basic and important subclass of M-convex functions, which has a close relationship with phylogenetics as well as valued constraint satisfaction problems. In this paper, we consider the quadratic M-convexity testing problem (QMCTP), which is the problem of deciding whether a given quadratic function on $\{0,1\}^n$ is M-convex. We show that QMCTP is co-NP-complete in general, but is polynomial-time solvable under a natural assumption. Furthermore, we propose an $O(n^2)$-time algorithm for solving QMCTP in the polynomial-time solvable case.
△ Less
Submitted 15 February, 2018; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Discrete Convexity in Joint Winner Property
Authors:
Yuni Iwamasa,
Kazuo Murota,
Stanislav Zivny
Abstract:
In this paper, we reveal a relation between joint winner property (JWP) in the field of valued constraint satisfaction problems (VCSPs) and M${}^\natural$-convexity in the field of discrete convex analysis (DCA). We introduce the M${}^\natural$-convex completion problem, and show that a function $f$ satisfying the JWP is Z-free if and only if a certain function $\overline{f}$ associated with $f$ i…
▽ More
In this paper, we reveal a relation between joint winner property (JWP) in the field of valued constraint satisfaction problems (VCSPs) and M${}^\natural$-convexity in the field of discrete convex analysis (DCA). We introduce the M${}^\natural$-convex completion problem, and show that a function $f$ satisfying the JWP is Z-free if and only if a certain function $\overline{f}$ associated with $f$ is M${}^\natural$-convex completable. This means that if a function is Z-free, then the function can be minimized in polynomial time via M${}^\natural$-convex intersection algorithms. Furthermore we propose a new algorithm for Z-free function minimization, which is faster than previous algorithms for some parameter values.
△ Less
Submitted 8 May, 2018; v1 submitted 26 January, 2017;
originally announced January 2017.
-
On a general framework for network representability in discrete optimization
Authors:
Yuni Iwamasa
Abstract:
In discrete optimization, representing an objective function as an $s$-$t$ cut function of a network is a basic technique to design an efficient minimization algorithm. A network representable function can be minimized by computing a minimum $s$-$t$ cut of a directed network, which is a very easy and fastly solved problem. Hence it is natural to ask what functions are network representable. In the…
▽ More
In discrete optimization, representing an objective function as an $s$-$t$ cut function of a network is a basic technique to design an efficient minimization algorithm. A network representable function can be minimized by computing a minimum $s$-$t$ cut of a directed network, which is a very easy and fastly solved problem. Hence it is natural to ask what functions are network representable. In the case of pseudo Boolean functions (functions on $\{0,1\}^n$), it is known that any submodular function on $\{0,1\}^3$ is network representable. Živný--Cohen--Jeavons showed by using the theory of expressive power that a certain submodular function on $\{0,1\}^4$ is not network representable.
In this paper, we introduce a general framework for the network representability of functions on $D^n$, where $D$ is an arbitrary finite set. We completely characterize network representable functions on $\{0,1\}^n$ in our new definition. We can apply the expressive power theory to the network representability in the proposed definition. We prove that some ternary bisubmodular function and some binary $k$-submodular function are not network representable.
△ Less
Submitted 27 May, 2017; v1 submitted 11 September, 2016;
originally announced September 2016.
-
On k-Submodular Relaxation
Authors:
Hiroshi Hirai,
Yuni Iwamasa
Abstract:
$k$-submodular functions, introduced by Huber and Kolmogorov, are functions defined on $\{0, 1, 2, \dots, k\}^n$ satisfying certain submodular-type inequalities. $k$-submodular functions typically arise as relaxations of NP-hard problems, and the relaxations by $k…
▽ More
$k$-submodular functions, introduced by Huber and Kolmogorov, are functions defined on $\{0, 1, 2, \dots, k\}^n$ satisfying certain submodular-type inequalities. $k$-submodular functions typically arise as relaxations of NP-hard problems, and the relaxations by $k$-submodular functions play key roles in design of efficient, approximation, or fixed-parameter tractable algorithms. Motivated by this, we consider the following problem: Given a function $f : \{1, 2, \dots, k\}^n \rightarrow \mathbb{R} \cup \{\infty\}$, determine whether $f$ is extended to a $k$-submodular function $g : \{0, 1, 2, \dots, k\}^n \rightarrow \mathbb{R} \cup \{\infty\}$, where $g$ is called a $k$-submodular relaxation of $f$.
We give a polymorphic characterization of those functions which admit a $k$-submodular relaxation, and also give a combinatorial $O((k^n)^2)$-time algorithm to find a $k$-submodular relaxation or establish that a $k$-submodular relaxation does not exist. Our algorithm has interesting properties: (1) If the input function is integer valued, then our algorithm outputs a half-integral relaxation, and (2) if the input function is binary, then our algorithm outputs the unique optimal relaxation. We present applications of our algorithm to valued constraint satisfaction problems.
△ Less
Submitted 9 September, 2016; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Networks maximizing the consensus time of voter models
Authors:
Yuni Iwamasa,
Naoki Masuda
Abstract:
We explore the networks that yield the largest mean consensus time of voter models under different update rules. By analytical and numerical means, we show that the so-called lollipop graph, barbell graph, and double star graph maximise the mean consensus time under the update rules called the link dynamics, voter model, and invasion process, respectively. For each update rule, the largest mean co…
▽ More
We explore the networks that yield the largest mean consensus time of voter models under different update rules. By analytical and numerical means, we show that the so-called lollipop graph, barbell graph, and double star graph maximise the mean consensus time under the update rules called the link dynamics, voter model, and invasion process, respectively. For each update rule, the largest mean consensus time scales as O(N^3), where N is the number of nodes in the network.
△ Less
Submitted 2 August, 2014; v1 submitted 25 April, 2014;
originally announced April 2014.
