activity
20122023
most citedExact Algorithms for Maximum Independent Set

143 citations · 198 across the 19 of their papers we have counts for

collaborators

19 papers

cs.CE2023

Molecular Design Based on Integer Programming and Splitting Data Sets by Hyperplanes

Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi +3

A novel framework for designing the molecular structure of chemical compounds with a desired chemical property has recently been proposed. The framework infers a desired chemical g…

q-bio.BM2022★ 2 cited

Molecular Design Based on Integer Programming and Quadratic Descriptors in a Two-layered Model

Jianshen Zhu, Naveed Ahmed Azam, Shengjuan Cao +5

A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property, where design of novel drugs is an importa…

cs.LG2021★ 3 cited

A Method for Inferring Polymers Based on Linear Regression and Integer Programming

Ryota Ido, Shengjuan Cao, Jianshen Zhu +5

A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property using both artificial neural networks and…

cs.LG2021

Molecular Design Based on Artificial Neural Networks, Integer Programming and Grid Neighbor Search

Naveed Ahmed Azam, Jianshen Zhu, Kazuya Haraguchi +3

A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property using both artificial neural networks and…

cs.LG2021

An Inverse QSAR Method Based on Linear Regression and Integer Programming

Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi +3

Recently a novel framework has been proposed for designing the molecular structure of chemical compounds using both artificial neural networks (ANNs) and mixed integer linear progr…

cs.DS2020

Bounded-Degree Cut is Fixed-Parameter Tractable

Mingyu Xiao, Hiroshi Nagamochi

In the bounded-degree cut problem, we are given a multigraph , two disjoint vertex subsets , two functions $\mathrm{u}_A, \mathrm{u}_B:V\to \{0,1,\ldots,|E…

cs.CE2020★ 7 cited

A novel method for inference of chemical compounds with prescribed topological substructures based on integer programming

Tatsuya Akutsu, Hiroshi Nagamochi

Analysis of chemical graphs is becoming a major research topic in computational molecular biology due to its potential applications to drug design. One of the major approaches in s…

cs.DS2020★ 3 cited

A Novel Method for Inference of Acyclic Chemical Compounds with Bounded Branch-height Based on Artificial Neural Networks and Integer Programming

Naveed Ahmed Azam, Jianshen Zhu, Yanming Sun +5

Analysis of chemical graphs is a major research topic in computational molecular biology due to its potential applications to drug design. One approach is inverse quantitative stru…

cs.DS2020★ 3 cited

Enumerating Chemical Graphs with Two Disjoint Cycles Satisfying Given Path Frequency Specifications

Kyousuke Yamashita, Ryuji Masui, Xiang Zhou +4

Enumerating chemical graphs satisfying given constraints is a fundamental problem in mathematical and computational chemistry, and plays an essential part in a recently proposed fr…

cs.DS2020★ 5 cited

Enumerating Chemical Graphs with Mono-block 2-Augmented Tree Structure from Given Upper and Lower Bounds on Path Frequencies

Yuui Tamura, Yuhei Nishiyama, Chenxi Wang +4

We consider a problem of enumerating chemical graphs from given constraints concerning their structures, which has an important application to a novel method for the inverse QSAR/Q…

cs.DM2020★ 2 cited

Design of Polynomial-delay Enumeration Algorithms in Transitive Systems

Kazuya Haraguchi, Hiroshi Nagamochi

In this paper, as a new notion, we define a transitive system to be a set system on a finite set of elements such that every three sets $X,Y,Z\…

cs.DM2020

Polynomial-delay Enumeration Algorithms in Set Systems

Kazuya Haraguchi, Hiroshi Nagamochi

We consider a set system on a finite set of elements, where we call a set a component. We assume that two oracles $\mathrm{…

cs.DS2018★ 11 cited

Characterizing Star-PCGs

Mingyu Xiao, Hiroshi Nagamochi

A graph is called a pairwise compatibility graph (PCG, for short) if it admits a tuple of a tree whose leaf set is equal to the vertex set of …

cs.DS2018★ 1 cited

Some Reduction Operations to Pairwise Compatibility Graphs

Mingyu Xiao, Hiroshi Nagamochi

A graph with a vertex set and an edge set is called a pairwise compatibility graph (PCG, for short) if there are a tree whose leaf set is , a non-negative…

cs.DS2016

A Linear-time Algorithm for Integral Multiterminal Flows in Trees

Mingyu Xiao, Hiroshi Nagamochi

In this paper, we study the problem of finding an integral multiflow which maximizes the sum of flow values between every two terminals in an undirected tree with a nonnegative int…

cs.CG2016

Re-embedding a 1-Plane Graph into a Straight-line Drawing in Linear Time

Seok-Hee Hong, Hiroshi Nagamochi

Thomassen characterized some 1-plane embedding as the forbidden configuration such that a given 1-plane embedding of a graph is drawable in straight-lines if and only if it does no…

cs.DS2014★ 1 cited

Exact Algorithms for Dominating Induced Matching Based on Graph Partition

Mingyu Xiao, Hiroshi Nagamochi

A dominating induced matching, also called an efficient edge domination, of a graph with vertices and edges is a subset of edges in the gr…

cs.DS2013★ 143 cited

Exact Algorithms for Maximum Independent Set

Mingyu Xiao, Hiroshi Nagamochi

We show that the maximum independent set problem (MIS) on an -vertex graph can be solved in time and polynomial space, which even is faster than Robson's $1.2…

cs.DS2012★ 17 cited

An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure

Mingyu Xiao, Hiroshi Nagamochi

The paper presents an O^*(1.2312^n)-time and polynomial-space algorithm for the traveling salesman problem in an n-vertex graph with maximum degree 3. This improves the previous ti…