出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Arc Kayles and Colored Arc Kayles, two-player games on a graph, are generalized versions of well-studied combinatorial games Cram and Domineering, respectively. In Arc Kayles, players alternately choose an edge to remove with its adjacent edges, and the player who cannot move is the loser. Colored Arc Kayles is similarly played on a graph with edges colored in black, white, or gray, while the black (resp., white) player can choose only a gray or black (resp., white) edge. For Arc Kayles, the vertex cover number (i.e., the minimum size of a vertex cover) is an essential invariant because it is known that twice the vertex cover number upper bounds the number of turns of Arc Kayles, and for the winner determination of (Colored) Arc Kayles, 2O(τ2)nO(1)-time algorithms are known, where τ is the vertex cover number and n is the number of vertices. In this paper, we first give a polynomial kernel for Colored Arc Kayles parameterized by τ, which leads to a faster 2O(τlogτ)nO(1)-time algorithm for Colored Arc Kayles. We then focus on Arc Kayles on trees, and propose a 2.2361τnO(1)-time algorithm. Furthermore, we show that the winner determination Arc Kayles on a tree can be solved in O(1.3831n) time, which improves the best-known running time O(1.4143n). Finally, we show that Colored Arc Kayles is NP-hard, the first hardness result in the family of the above games.

DOI： 10.1007/978-3-031-52113-3_21

Web of Science

Scopus

記述言語：英語   出版者・発行元：IJNC Editorial Committee  

For an undirected graph G = (V,E) and a k-non-negative integer vector p = (p1, . . . , pk), a mapping l : V → N∪{0} is called an L(p)-labeling of G if |l(u) − l(v)| ≥ pd for any two distinct vertices u, v ∈ V with distance d, and the maximum value of {l(v) | v ∈ V } is called the span of l. Originally, L(p)-labeling of G for p = (2, 1) is introduced in the context of frequency assignment in radio networks, where ‘close’ transmitters must receive different frequencies and ‘very close’ transmitters must receive frequencies that are at least two frequencies apart so that they can avoid interference. L(p)-Labeling is the problem of finding the minimum span λp among L(p)-labelings of G, which is NP-hard for every non-zero p. L(p)-Labeling is well studied for specific p’s; in particular, many (exact or approximation) algorithms for general graphs or restricted classes of graphs are proposed for p = (2, 1) or more generally p = (p, q). Unfortunately, most algorithms strongly depend on the values of p, and it is not apparent to extend algorithms for p to ones for another p′ in general. In this paper, we give a simple polynomial-time reduction of L(p)-Labeling on graphs with a small diameter to Metric (Path) TSP, which enables us to use numerous results on (Metric) TSP. On the practical side, we can utilize various high-performance heuristics for TSP, such as Concordo and LKH, to solve our problem. On the theoretical side, we can see that the problem for any p under this framework is 1.5-approximable, and it can be solved by the Held-Karp algorithm in O(2nn2) time, where n is the number of vertices, and so on.

DOI： 10.15803/ijnc.14.1_26

CiNii Research

出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

The graph parameter vertex integrity measures how vulnerable a graph is to a removal of a small number of vertices. More precisely, a graph with small vertex integrity admits a small number of vertex removals to make the remaining connected components small. In this paper, we initiate a systematic study of structural parameterizations of the problem of computing the unweighted/weighted vertex integrity. As structural graph parameters, we consider well-known parameters such as clique-width, treewidth, pathwidth, treedepth, modular-width, neighborhood diversity, twin cover number, and cluster vertex deletion number. We show several positive and negative results and present sharp complexity contrasts.

DOI： 10.1007/978-981-97-0566-5_29

Web of Science

Scopus

掲載種別：研究論文（学術雑誌）  

その他リンク： https://dblp.uni-trier.de/db/journals/ijnc/ijnc14.html#HanakaOS24

掲載種別：研究論文（学術雑誌）   出版者・発行元：Discrete Applied Mathematics  

Given a graph G=(V,E), an L(2,1)-labeling of the graph is an assignment ℓ from the vertex set to the set of nonnegative integers such that for any pair of vertices (u,v), |ℓ(u)−ℓ(v)|≥2 if u and v are adjacent, and ℓ(u)≠ℓ(v) if u and v are at distance 2. The L(2,1)-labeling problem is to minimize the range of ℓ (i.e., maxu∈V(ℓ(u))−minu∈V(ℓ(u))+1). Although the problem is generally hard to approximate within any constant factor, it was known to be approximable within factor 10.67 for unit disk graphs. This paper designs a new way of partitioning the plane into squares for periodic labeling, based on which we present an 8-approximation polynomial-time algorithm for L(2,1)-labeling of unit disk graphs.

DOI： 10.1016/j.dam.2023.07.012

Web of Science

Scopus

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.48550/arXiv.2303.01290

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

We study the following variant of the 15 puzzle. Given a graph and two token placements on the vertices, we want to find a walk of the minimum length (if any exists) such that the sequence of token swappings along the walk obtains one of the given token placements from the other one. This problem was introduced as Sequential Token Swapping by Yamanaka et al. [JGAA 2019], who showed that the problem is intractable in general but polynomial-time solvable for trees, complete graphs, and cycles. In this paper, we present a polynomial-time algorithm for block-cactus graphs, which include all previously known cases. We also present general tools for showing the hardness of problem on restricted graph classes such as chordal graphs and chordal bipartite graphs. We also show that the problem is hard on grids and king’s graphs, which are the graphs corresponding to the 15 puzzle and its variant with relaxed moves.

DOI： 10.1007/978-3-031-23101-8_15

Web of Science

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/sofsem/sofsem2023.html#KiyaOOO23

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Leibniz International Proceedings in Informatics, LIPIcs  

Given a directed edge-weighted graph G = (V, E) with beer vertices B ⊆ V , a beer path between two vertices u and v is a path between u and v that visits at least one beer vertex in B, and the beer distance between two vertices is the shortest length of beer paths. We consider indexing problems on beer paths, that is, a graph is given a priori, and we construct some data structures (called indexes) for the graph. Then later, we are given two vertices, and we find the beer distance or beer path between them using the data structure. For such a scheme, efficient algorithms using indexes for the beer distance and beer path queries have been proposed for outerplanar graphs and interval graphs. For example, Bacic et al. (2021) present indexes with size O(n) for outerplanar graphs and an algorithm using them that answers the beer distance between given two vertices in O(α(n)) time, where α(·) is the inverse Ackermann function; the performance is shown to be optimal. This paper proposes indexing data structures and algorithms for beer path queries on general graphs based on two types of graph decomposition: the tree decomposition and the triconnected component decomposition. We propose indexes with size O(m + nr2) based on the triconnected component decomposition, where r is the size of the largest triconnected component. For a given query u, v ∈ V , our algorithm using the indexes can output the beer distance in query time O(α(m)). In particular, our indexing data structures and algorithms achieve the optimal performance (the space and the query time) for series-parallel graphs, which is a wider class of outerplanar graphs.

DOI： 10.4230/LIPIcs.ISAAC.2023.37

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/isaac/isaac2023.html#HanakaOSS23

出版者・発行元：2023 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2023  

For an undirected graph G=(V, E) and a k-nonnegative integer vector p=(p_1, L˙, p_k), a mapping l: V → N ∪0 is called an L(p)-labeling of G if |l(u)-l(v)| ≥ p_d for any two distinct vertices u, v in V with distance d, and the maximum value of l(v) mid v in V is called the span of l. Originally, L(p)-labeling of G for p=(2,1) is introduced in the context of frequency assignment in radio networks, where 'close' transmitters must receive different frequencies and 'very close' transmitters must receive frequencies that are at least two frequencies apart so that they can avoid interference. L(p) LABELING is the problem of finding the minimum span λp among L(p)-labelings of G, which is NP-hard for every non-zero p. L(p)-LABELING is well studied for specific p 's; in particular, many (exact or approximation) algorithms for general graphs or restricted classes of graphs are proposed for p=(2,1) or more generally p=(p, q). Unfortunately, most algorithms strongly depend on the values of p, and it is not apparent to extend algorithms for p to ones for another p' in general. In this paper, we give a simple polynomial-time reduction of L(p)-LABELING on graphs with a small diameter to METRIC (PATH) TSP, which enables us to use numerous results on (METRIC) TSP. On the practical side, we can utilize various high-performance heuristics for TSP, such as Concordo and LKH, to solve our problem. On the theoretical side, we can see that the problem for any p under this framework is 1.5 -approximable, and it can be solved by the Held-Karp algorithm in O2^n n^2) time, where n is the number of vertices, and so on.

DOI： 10.1109/IPDPSW59300.2023.00059

Web of Science

Scopus

記述言語：日本語   出版者・発行元：Discrete Applied Mathematics  

The competitive diffusion game is a game-theoretic model of information spreading on a graph proposed by Alon et al. (2010). It models the diffusion process of information in social networks where several competitive companies want to spread their information, for example. The nature of this game strongly depends on the graph topology, and the relationship is studied from several aspects. In this paper, we investigate the existence of a pure Nash equilibrium of the two-player competitive diffusion game on chordal and its related graphs. We show that a pure Nash equilibrium always exists on split graphs, block graphs, and interval graphs, all of which are well-known subclasses of chordal graphs. On the other hand, we show that a pure Nash equilibrium does not always exist on (strongly) chordal graphs; the boundary of the existence of a pure Nash equilibrium is found.

DOI： 10.1016/j.dam.2022.04.025

Web of Science

Scopus

記述言語：日本語   出版者・発行元：Leibniz International Proceedings in Informatics, LIPIcs  

The problem of computing the longest common subsequence of two sequences (LCS for short) is a classical and fundamental problem in computer science. In this paper, we study four variants of LCS: the Repetition-Bounded Longest Common Subsequence problem (RBLCS) [2], the Multiset-Restricted Common Subsequence problem (MRCS) [11], the Two-Side-Filled Longest Common Subsequence problem (2FLCS), and the One-Side-Filled Longest Common Subsequence problem (1FLCS) [5, 6]. Although the original LCS can be solved in polynomial time, all these four variants are known to be NP-hard. Recently, an exact, O(1.44225n)-time, dynamic programming (DP)-based algorithm for RBLCS was proposed [2], where the two input sequences have lengths n and poly(n). We first establish that each of MRCS, 1FLCS, and 2FLCS is polynomially equivalent to RBLCS. Then, we design a refined DP-based algorithm for RBLCS that runs in O(1.41422n) time, which implies that MRCS, 1FLCS, and 2FLCS can also be solved in O(1.41422n) time. Finally, we give a polynomial-time 2-approximation algorithm for 2FLCS.

DOI： 10.4230/LIPIcs.CPM.2022.15

Scopus

記述言語：日本語   出版者・発行元：Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS  

The cost-sharing connection game is a variant of routing games on a network. In this model, given a directed graph with edge costs and capacities, each agent wants to construct a path from a source to a sink with low cost. The cost of each edge is shared by the users based on a cost-sharing function. One of simple cost-sharing functions is defined as the cost divided by the number of users. It models an ideal setting, where no overhead arises when people share things, though it might be quite rare in real life. In this paper, we model more realistic scenarios of cost-sharing connection games by generalizing the cost-sharing function. The arguments do not depend on specific cost-sharing functions and are applicable for a class of all natural cost-sharing scenarios, which include equal divisions with any natural functional overheads. We show that many bounds of the Price of Anarchy and the Price of Stability under sum-cost and max-cost criteria inherit the no-overhead case.

Scopus

記述言語：日本語   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Airport problem is a classical and well-known model of fair cost-sharing for a single facility among multiple agents. This paper extends it to the so-called assignment setting, that is, for multiple facilities and agents, each agent chooses a facility to use and shares the cost with the other agents. Such a situation can be often seen in sharing economy, such as sharing fees for office desks among workers, and taxi fare among customers of possibly different destinations on a line. Our model is regarded as a coalition formation game, based on the fair cost-sharing of the airport problem; we call our model a fair ride allocation on a line. As the criteria of solution concepts, we incorporate Nash stability and envy-freeness into our setting. We show that a Nash-stable feasible allocation that minimizes the social cost of agents can be computed efficiently if a feasible allocation exists. For envy-freeness, we provide several structural properties of envy-free allocations. Based on these, we design efficient algorithms for finding an envy-free allocation when either (1) the number of facilities, (2) the number of agent types, or (3) the capacity of facilities, is small. Moreover, we show that a consecutive envy-free allocation can be computed in polynomial time. On the negative front, we show the NP-hardness of determining the existence of an allocation under two relaxed envy-free concepts.

DOI： 10.1007/978-3-031-15714-1_24

Scopus

記述言語：日本語   出版者・発行元：Journal of Graph Algorithms and Applications  

Given a graph, an L(p, 1)-labeling of the graph is an assignment f from the vertex set to the set of nonnegative integers such that for any pair of vertices u and v, |f(u) − f(v)| ≥ p if u and v are adjacent, and f(u) ≠ f(v) if u and v are at distance 2. The L(p, 1)-labeling problem is to minimize the span of f (i.e.,maxu∈V (f(u)) − minu∈V (f(u)) + 1). It is known to be NP-hard even for graphs of maximum degree 3 or graphs with tree-width 2, whereas it is fixed-parameter tractable with respect to vertex cover number. Since the vertex cover number is a kind of the strongest parameter, there is a large gap between tractability and intractability from the viewpoint of parameterization. To fill up the gap, in this paper, we propose new fixed-parameter algorithms for L(p, 1)-Labeling by the twin cover number plus the maximum clique size and by the tree-width plus the maximum degree. These algorithms reduce the gap in terms of several combinations of parameters.

DOI： 10.7155/jgaa.00592

Scopus

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Reallocation scheduling is one of the most fundamental problems in various areas such as supply chain management, logistics, and transportation science. In this paper, we introduce the reallocation problem that models the scheduling in which products are with fixed cost (e.g., transition time), non-fungible, and reallocated among warehouses in parallel, and comprehensively study the complexity of the problem under various settings of the transition time, product size, and capacities. We show that the problem can be solved in polynomial time for a fundamental setting where the product size and transition time are both uniform. We also show that the feasibility of the problem is NP-complete even for little more general settings, which implies that no polynomial-time algorithm constructs a feasible schedule of the problem unless P = NP. We then consider to solve the problem by relaxing capacity constraints, which we call the capacity augmentation, and derive a reallocation schedule feasible with the augmentation such that the completion time is at most the optimal of the original problem. When the warehouse capacity is sufficiently large, we design constant-factor approximation algorithms. We also show the relationship between the reallocation problem and the bin packing problem when the warehouse and carry-in capacities are sufficiently large.

DOI： 10.1007/978-3-031-22105-7_26

Web of Science

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/cocoon/cocoon2022.html#IshiiKMO22

記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

DOI： 10.1587/ieiceissjournal.26.2_10

CiNii Research

出版者・発行元：Brain  

Aquaporin 4 (AQP4)-IgG-positive neuromyelitis optica spectrum disorder (AQP4-IgG+NMOSD) is an autoimmune astrocytopathic disease pathologically characterized by the massive destruction and regeneration of astrocytes with diverse types of tissue injury with or without complement deposition. However, it is unknown whether this diversity is derived from differences in pathological processes or temporal changes. Furthermore, unlike for the demyelinating lesions in multiple sclerosis, there has been no staging of astrocytopathy in AQP4-IgG+NMOSD based on astrocyte morphology. Therefore, we classified astrocytopathy of the disease by comparing the characteristic features, such as AQP4 loss, inflammatory cell infiltration, complement deposition and demyelination activity, with the clinical phase. We performed histopathological analyses in eight autopsied cases of AQP4-IgG+NMOSD. Cases comprised six females and two males, with a median age of 56.5 years (range, 46-71 years) and a median disease duration of 62.5 months (range, 0.6-252 months). Astrocytopathy in AQP4-IgG+NMOSD was classified into the following four stages defined by the astrocyte morphology and immunoreactivity for GFAP: (i) astrocyte lysis: extensive loss of astrocytes with fragmented and/or dust-like particles; (ii) progenitor recruitment: loss of astrocytes except small nucleated cells with GFAP-positive fibre-forming foot processes; (iii) protoplasmic gliosis: presence of star-shaped astrocytes with abundant GFAP-reactive cytoplasm; and (iv) fibrous gliosis: lesions composed of densely packed mature astrocytes. The astrocyte lysis and progenitor recruitment stages dominated in clinically acute cases (within 2 months after the last recurrence). Findings common to both stages were the loss of AQP4, a decreased number of oligodendrocytes, the selective loss of myelin-associated glycoprotein and active demyelination with phagocytic macrophages. The infiltration of polymorphonuclear cells and T cells (CD4-dominant) and the deposition of activated complement (C9neo), which reflects the membrane attack complex, a hallmark of acute NMOSD lesions, were selectively observed in the astrocyte lysis stage (98.4% in astrocyte lysis, 1.6% in progenitor recruitment, and 0% in protoplasmic gliosis and fibrous gliosis). Although most of the protoplasmic gliosis and fibrous gliosis lesions were accompanied by inactive demyelinated lesions with a low amount of inflammatory cell infiltration, the deposition of complement degradation product (C3d) was observed in all four stages, even in fibrous gliosis lesions, suggesting the past or chronic occurrence of complement activation, which is a useful finding to distinguish chronic lesions in NMOSD from those in multiple sclerosis. Our staging of astrocytopathy is expected to be useful for understanding the unique temporal pathology of AQP4-IgG+NMOSD.

DOI： 10.1093/brain/awab102

Scopus

記述言語：日本語   出版者・発行元：Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS  

In this paper, we study a variant of hedonic games, called Seat Arrangement. The model is defined by a bijection from agents with preferences to vertices in a graph. The utility of an agent depends on the neighbors in the graph. In this paper, we study the price of stability and fairness in Seat Arrangement, and the computational complexity and the parameterized complexity of finding certain “good” seat arrangements, say Maximum Welfare Arrangement, Maximin Utility Arrangement, Stable Arrangement, and Envy-free Arrangement.

Scopus

CiNii Research

記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人 電子情報通信学会  

In this paper, we study Ball Collecting with Limited Energy, which is a problem of scheduling robots with limited energy confined to a line to catch moving balls that eventually cross the line. For this problem, we show the NP-completeness of the general case and some algorithmic results for some cases with a small number of robots.

DOI： 10.1587/transinf.2023fcl0003

Web of Science

Scopus

CiNii Research

記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人 電子情報通信学会  

In this letter, we present a new lower bound for the treewidth of a graph in terms of the second smallest eigenvalue of its Laplacian matrix. Our bound slightly improves the lower bound given by Chandran and Subramanian [Inf. Process. Lett., 87 (2003)].

DOI： 10.1587/transinf.2023fcl0002

Web of Science

Scopus

CiNii Research

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

In this study, we investigate the computational complexity of some variants of generalized puzzles. We are provided with two sets S1 and S2 of polyominoes. The first puzzle asks us to form the same shape using polyominoes in S1 and S2. We demonstrate that this is polynomial-time solvable if S1 and S2 have constant numbers of polyominoes, and it is strongly NP-complete in general. The second puzzle allows us to make copies of the pieces in S1 and S2. That is, a polyomino in S1 can be used multiple times to form a shape. This is a generalized version of the classical puzzle known as the common multiple shape puzzle. For two polyominoes P and Q, the common multiple shape is a shape that can be formed by many copies of P and many copies of Q. We show that the second puzzle is undecidable in general. The undecidability is demonstrated by a reduction from a new type of undecidable puzzle based on tiling. Nevertheless, certain concrete instances of the common multiple shape can be solved in a practical time. We present a method for determining the common multiple shape for provided tuples of polyominoes and outline concrete results, which improve on the previously known results in the puzzle community.

DOI： 10.1007/978-3-031-52113-3_4

Web of Science

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/sofsem/sofsem2024.html#BanbaraMOU24

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

We consider a graph orientation problem that can be viewed as a generalization of Minimum Graph Coloring. Our problem takes as input an undirected graph G= (V, E) in which every edge { u, v} ∈ E has two (potentially different and not necessarily positive) weights representing the lengths of its two possible directions (u, v) and (v, u), and asks for an orientation, i.e., an assignment of a direction to each edge of G, such that the length of a longest simple directed path in the resulting directed graph is minimized. A longest path in a graph is not always a maximal path when some edges have negative lengths, so the problem has two variants depending on whether all simple directed paths or maximal simple directed paths only are taken into account in the definition. We prove that the problems are NP-hard to approximate even if restricted to subcubic planar graphs, and develop fast polynomial-time algorithms for both problem variants for three classes of graphs: path graphs, cycle graphs, and star graphs.

DOI： 10.1007/978-3-031-49190-0_10

Scopus

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2404.08520

掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-031-63021-7_18

Web of Science

その他リンク： https://dblp.uni-trier.de/db/conf/iwoca/iwoca2024.html#KobayashiKMO24

担当区分：責任著者   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Fractional hedonic games are coalition formation games where the utility of a player is determined by the average value they assign to the members of their coalition. These games are a variation of graph hedonic games, which are a class of coalition formation games that can be succinctly represented. Due to their applicability in network clustering and their relationship to graph hedonic games, fractional hedonic games have been extensively studied from various perspectives. However, finding welfare-maximizing partitions in fractional hedonic games is a challenging task due to the nonlinearity of utilities. In fact, it has been proven to be NP-hard in general and can be solved in polynomial time only for a limited number of graph classes, such as trees. This paper presents (pseudo)polynomial-time algorithms to compute welfare-maximizing partitions in fractional hedonic games on tree-like graphs. We consider two types of social welfare measures: utilitarian and egalitarian. Tree-like graphs refer to graphs with bounded treewidth and block graphs. An NP-hardness result demonstrates that the pseudopolynomial-time solvability is the best possible under the assumption P ≠ NP.

DOI： 10.1007/978-3-031-49611-0_28

Scopus

掲載種別：研究論文（学術雑誌）   出版者・発行元：Discrete Applied Mathematics  

We study reconfiguration problems for cliques in a graph, which determine whether there exists a sequence of cliques that transforms a given clique into another one in a step-by-step fashion. As one step of a transformation, we consider three different types of rules, which are defined and studied in reconfiguration problems for independent sets. We first prove that all the three rules are equivalent in cliques from the viewpoint of polynomial-time solvability. We then show that the problems are PSPACE-complete for perfect graphs, while we give polynomial-time algorithms for several classes of graphs, such as even-hole-free graphs and cographs. Furthermore, we show that the shortest variant, which computes the shortest length of a desired sequence, can be solved in polynomial time for chordal graphs, bipartite graphs, planar graphs, and bounded treewidth graphs.

DOI： 10.1016/j.dam.2023.01.026

Web of Science

Scopus

掲載種別：論文集(書籍)内論文   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

A dominating set S of graph G is called an r-grouped domR such that the size of each unit is r and the subgraph of G induced by is connected. The concept of r-grouped dominating sets generalizes several well-studied variants of dominating sets with requirements for connected component sizes, such as the ordinary dominating sets , paired dominating sets), and connected dominating sets (r is arbitrary and . In this paper, we investigate the computational complexity of r -Grouped Dominating Set, which is the problem of deciding whether a given graph has an r-grouped dominating set with at most k units. For general r, r -Grouped Dominating Set is hard to solve in various senses because the hardness of the connected dominating set is inherited. We thus focus on the case in which r is a constant or a parameter, but we see that r -Grouped Dominating Set for every fixed is still hard to solve. From the observations about the hardness, we consider the parameterized complexity concerning well-studied graph structural parameters. We first see that r -Grouped Dominating Set is fixed-parameter tractable for r and treewidth, which is derived from the fact that the condition of r-grouped domination for a constant r can be represented as monadic second-order logic This fixed-parameter tractability is good news, but the running time is not practical. We then design an -time algorithm for general where is the twin cover number, which is a parameter between vertex cover number and clique-width. For paired dominating set and trio dominating set, i.e., we can speed up the algorithm, whose running time becomes We further argue the relationship between FPT results and graph parameters, which draws the parameterized complexity landscape of r -Grouped Dominating Set.

DOI： 10.1007/978-3-031-30448-4_19

Scopus

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2308.16426

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Leibniz International Proceedings in Informatics, LIPIcs  

We study the approximability of the Longest Run Subsequence problem (LRS for short). For a string S = s1 · · · sn over an alphabet Σ, a run of a symbol σ ∈ Σ in S is a maximal substring of consecutive occurrences of σ. A run subsequence S′ of S is a sequence in which every symbol σ ∈ Σ occurs in at most one run. Given a string S, the goal of LRS is to find a longest run subsequence S∗ of S such that the length |S∗| is maximized over all the run subsequences of S. It is known that LRS is APX-hard even if each symbol has at most two occurrences in the input string, and that LRS admits a polynomial-time k-approximation algorithm if the number of occurrences of every symbol in the input string is bounded by k. In this paper, we design a polynomial-time k+1/2-approximation algorithm for LRS under the k-occurrence constraint on input strings. For the case k = 2, we further improve the approximation ratio from 2/3 to 4/3.

DOI： 10.4230/LIPIcs.CPM.2023.2

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/cpm/cpm2023.html#AsahiroEG0LMOT23

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2305.10749

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2312.10599

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2307.02787

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2310.01983

記述言語：英語   掲載種別：研究論文（研究会，シンポジウム資料等）   出版者・発行元：Algorithmica  

Given a graph G= (V, E) , A⊆ V, and integers k and ℓ, the (A, ℓ) -Path Packing problem asks to find k vertex-disjoint paths of length exactly ℓ that have endpoints in A and internal points in V\ A. We study the parameterized complexity of this problem with parameters |A|, ℓ, k, treewidth, pathwidth, and their combinations. We present sharp complexity contrasts with respect to these parameters. Among other results, we show that the problem is polynomial-time solvable when ℓ≤ 3 , while it is NP-complete for constant ℓ≥ 4. We also show that the problem is W[1]-hard parameterized by pathwidth+ | A| , while it is fixed-parameter tractable parameterized by treewidth+ ℓ. Additionally, we study a variant called Short A-Path Packing that asks to find k vertex-disjoint paths of length at mostℓ. We show that all our positive results on the exact-length version can be translated to this version and show the hardness of the cases where |A| or ℓ is a constant.

DOI： 10.1007/s00453-021-00875-y

Web of Science

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Theoretical Computer Science  

In the degree-constrained graph orientation problem, the input is an unweighted, undirected graph G=(V,E) and nonnegative integers av and bv (with av≤bv) for each v∈V, and the objective is to assign a direction to every edge in E in such a way that for each v∈V, the number of outgoing edges in the resulting directed graph lies in the interval [av,bv]. When such an orientation does not exist, it is desirable to find an orientation that best fits the condition instead. In this paper, we consider the problem of finding an orientation that minimizes the total penalty ∑v∈Vcv, where cv is a penalty incurred whenever a vertex v violates its degree constraints. As penalty functions, convex, concave, and step functions are considered in this paper. We show that the problem with any convex penalty function can be solved in O(|E|1.5min⁡{log⁡(|E|⋅C),|E|0.5log⁡Δlog⁡|E|}) time, where Δ and C are the maximum degree and the largest magnitude of a penalty, respectively. In contrast, we show APX-hardness of the problem with step or concave functions. For trees and graphs with treewidth τ, the problem with any penalty function can be solved exactly in O(|V|log⁡Δ) time and O(τ2Δ2τ+2|V|) time, respectively. Finally, we consider the generalization of the problem to edge-weighted graphs and establish strong bounds on its inapproximability that hold even in the special case of stars. On the positive side, we can extend our algorithms for unweighted version of the problem to obtain pseudo-polynomial-time algorithms for the edge-weighted problem variant when restricted to trees and graphs with bounded treewidth. Also, we design a PTAS and a linear-time algorithm for stars with further restrictions on the degree constraints and edge weights.

DOI： 10.1016/j.tcs.2021.11.019

Web of Science

Scopus

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

J-GLOBAL

記述言語：日本語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Cram, Domineering, and Arc Kayles are well-studied combinatorial games. They are interpreted as edge-selecting-type games on graphs, and the selected edges during a game form a matching. In this paper, we define a generalized game called Colored Arc Kayles, which includes these games. Colored Arc Kayles is played on a graph whose edges are colored in black, white, or gray, and black (resp., white) edges can be selected only by the black (resp., white) player, although gray edges can be selected by both black and white players. We first observe that the winner determination for Colored Arc Kayles can be done in O∗(2n) time by a simple algorithm, where n is the order of a graph. We then focus on the vertex cover number, which is linearly related to the number of turns, and show that Colored Arc Kayles, BW-Arc Kayles, and Arc Kayles are solved in time O∗(1.4143τ2+3.17τ), O∗(1.3161τ2+4τ), and O∗(1.1893τ2+6.34τ), respectively, where τ is the vertex cover number. Furthermore, we present an O∗((n/ ν+ 1 )ν) -time algorithm for Arc Kayles, where ν is neighborhood diversity. We finally show that Arc Kayles on trees can be solved in O∗(2n2) (= O(1. 4143n) ) time, which improves O∗(3n3) (= O(1. 4423n) ) by a direct adjustment of the analysis of Bodlaender et al.’s O∗(3n3) -time algorithm for Node Kayles.

DOI： 10.1007/978-3-031-06678-8_37

Scopus

その他リンク： https://dblp.uni-trier.de/db/conf/iwoca/iwoca2022.html#YoshiwatariKHO22

掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)  

その他リンク： https://dl.acm.org/doi/10.5555/3535850.3536053

掲載種別：研究論文（学術雑誌）  

DOI： 10.48550/arXiv.2211.05307

記述言語：日本語   出版者・発行元：一般社団法人 システム制御情報学会  

DOI： 10.11509/isciesci.65.10_415

CiNii Research

担当区分：最終著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人 電子情報通信学会  

DAIHINMIN, which means Grand Pauper, is a popular playing-card game in Japan. TANHINMIN is a simplified variant of DAIHINMIN, which was proposed by Nishino in 2007 in order to investigate the mathematical properties of DAIHINMIN. In this paper, we consider a 2-player generalized TANHINMIN, where the deck size is arbitrary n. We present a linear-time algorithm that determines which player has a winning strategy after all cards are distributed to the players.

DOI： 10.1587/transfun.2020dmp0026

Web of Science

Scopus

記述言語：日本語   掲載種別：論文集(書籍)内論文   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Given a graph, an L(p, 1)-labeling of the graph is an assignment f from the vertex set to the set of nonnegative integers such that for any pair of vertices (u, v), | f(u) - f(v) | ≥ p if u and v are adjacent, and f(u) ≠ f(v) if u and v are at distance 2. The L(p, 1)-labeling problem is to minimize the span of f (i.e., maxu∈V(f(u) ) - minu∈V(f(u) ) + 1 ). It is known to be NP-hard even for graphs of maximum degree 3 or graphs with tree-width 2, whereas it is fixed-parameter tractable with respect to vertex cover number. Since the vertex cover number is a kind of the strongest parameter, there is a large gap between tractability and intractability from the viewpoint of parameterization. To fill up the gap, in this paper, we propose new fixed-parameter algorithms for L(p, 1)-Labeling by the twin cover number plus the maximum clique size and by the tree-width plus the maximum degree. These algorithms reduce the gap in terms of several combinations of parameters.

DOI： 10.1007/978-3-030-68211-8_17

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：International Journal of Foundations of Computer Science  

The goal of an outdegree-constrained edge-modification problem is to find a spanning subgraph or supergraph H of an input undirected graph G such that either: (Type I) the number of edges in H is minimized or maximized and H can be oriented to satisfy some specified constraints on the vertices' resulting outdegrees; or: (Type II) among all subgraphs or supergraphs of G that can be constructed by deleting or inserting a fixed number of edges, H admits an orientation optimizing some objective involving the vertices' outdegrees. This paper introduces eight new outdegree-constrained edge-modification problems related to load balancing called (Type I) MIN-DEL-MAX, MIN-INS-MIN, MAX-INS-MAX, and MAX-DEL-MIN and (Type II) p-DEL-MAX, p-INS-MIN, p-INS-MAX, and p-DEL-MIN. In each of the eight problems, the input is a graph and the goal is to delete or insert edges so that the resulting graph has an orientation in which the maximum outdegree (taken over all vertices) is small or the minimum outdegree is large. We first present a framework that provides algorithms for solving all eight problems in polynomial time on unweighted graphs. Next we investigate the inapproximability of the edge-weighted versions of the problems, and design polynomial-time algorithms for six of the problems on edge-weighted trees.

DOI： 10.1142/S012905412150012X

Web of Science

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Computational Social Networks  

Recently there has been an increased interest in adopting game-theoretic models to social norms. Most of these approaches are generally lacking a structure linking the local level of the ‘norm’ interaction to its global ‘social’ nature. Although numerous studies examined local-interaction games, where the emphasis is placed on neighborhood relations, regarding social network as a whole unique entity seems to be quite limited. In this paper, we conduct a series of simulation experiments to examine the effects that a network topology could have on the speed of emergence of the social norm. The emphasis is placed on the fairness norm in the ultimatum game context, by considering three network type models (Barabási–Albert, Watts–Strogatz and Erdős–Rényi) and several intrinsic topological properties.

DOI： 10.1186/s40649-021-00100-4

Scopus

掲載種別：研究論文（学術雑誌）  

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-02579

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Theoretical Computer Science  

The Minimum Maximum Outdegree Problem (MMO) is to assign a direction to every edge in an input undirected, edge-weighted graph so that the maximum weighted outdegree taken over all vertices becomes as small as possible. In this paper, we introduce a new variant of MMO called the p-Split Minimum Maximum Outdegree Problem (p-Split-MMO) in which one is allowed to perform a sequence of p split operations on the vertices before orienting the edges, for some specified non-negative integer p, and study its computational complexity.

DOI： 10.1016/j.tcs.2020.07.013

Web of Science

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Theoretical Computer Science  

In this paper, we study exact, exponential-time algorithms for a variant of the classic LONGEST COMMON SUBSEQUENCE problem called the REPETITION-BOUNDED LONGEST COMMON SUBSEQUENCE problem (or RBLCS, for short): Let an alphabet S be a finite set of symbols and an occurrence constraint Cocc be a function Cocc:S→N, assigning an upper bound on the number of occurrences of each symbol in S. Given two sequences X and Y over the alphabet S and an occurrence constraint Cocc, the goal of RBLCS is to find a longest common subsequence of X and Y such that each symbol s∈S appears at most Cocc(s) times in the obtained subsequence. The special case where Cocc(s)=1 for every symbol s∈S is known as the REPETITION-FREE LONGEST COMMON SUBSEQUENCE problem (RFLCS) and has been studied previously; e.g., in [1], Adi et al. presented a simple (exponential-time) exact algorithm for RFLCS. However, they did not analyze its time complexity in detail, and to the best of our knowledge, there are no previous results on the running times of any exact algorithms for this problem. Without loss of generality, we will assume that |X|≤|Y| and |X|=n. In this paper, we first propose a simpler algorithm for RFLCS based on the strategy used in [1] and show explicitly that its running time is O(1.44225n). Next, we provide a dynamic programming (DP) based algorithm for RBLCS and prove that its running time is O(1.44225n) for any occurrence constraint Cocc, and even less in certain special cases. In particular, for RFLCS, our DP-based algorithm runs in O(1.41422n) time, which is faster than the previous one. Furthermore, we prove NP-hardness and APX-hardness results for RBLCS on restricted instances.

DOI： 10.1016/j.tcs.2020.07.042

Web of Science

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Discrete Applied Mathematics  

Suppose that we are given two independent sets I0 and Ir of a graph such that |I0|=|Ir|, and imagine that a token is placed on each vertex in I0. Then, the TOKEN JUMPING problem is to determine whether there exists a sequence of independent sets which transforms I0 into Ir so that each independent set in the sequence results from the previous one by moving exactly one token to another vertex. Therefore, all independent sets in the sequence must be of the same cardinality. This problem is PSPACE-complete even for planar graphs with maximum degree three. In this paper, we first show that the problem is W[1]-hard when parameterized only by the number of tokens. We then give an FPT algorithm for general graphs when parameterized by both the number of tokens and the maximum degree. Our FPT algorithm can be modified so that it finds an actual sequence of independent sets between I0 and Ir with the minimum number of token movements. We finally show that one of the results for TOKEN JUMPING can be extended to a more generalized reconfiguration problem for independent sets, called TOKEN ADDITION AND REMOVAL.

DOI： 10.1016/j.dam.2020.01.022

Web of Science

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Algorithmica  

Independent Set Reconfiguration is one of the most well-studied problems in the setting of combinatorial reconfiguration. It is known that the problem is PSPACE-complete even for graphs of bounded bandwidth. This fact rules out the tractability of parameterizations by most well-studied structural parameters as most of them generalize bandwidth. In this paper, we study the parameterization by modular-width, which is not comparable with bandwidth. We show that the problem parameterized by modular-width is fixed-parameter tractable under all previously studied rules TAR, TJ, and TS. The result under TAR resolves an open problem posed by Bonsma (J Graph Theory 83(2):164–195, 2016).

DOI： 10.1007/s00453-020-00700-y

Web of Science

Scopus

その他リンク： http://link.springer.com/article/10.1007/s00453-020-00700-y/fulltext.html

記述言語：日本語   掲載種別：論文集(書籍)内論文   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

Given a graph G = (V, E), (Formula Presented), and integers k and ℓ, the (A, ℓ)-Path Packing problem asks to find k vertex-disjoint paths of length ℓ that have endpoints in A and internal points in V \ A. We study the parameterized complexity of this problem with parameters |A|, ℓ, k, treewidth, pathwidth, and their combinations. We present sharp complexity contrasts with respect to these parameters. Among other results, we show that the problem is polynomial-time solvable when ℓ ≤ 3, while it is NP-complete for constant ℓ ≥ 4. We also show that the problem is W[1]-hard parameterized by pathwidth+|A|, while it is fixed-parameter tractable parameterized by treewidth + ℓ.

DOI： 10.1007/978-3-030-48966-3_4

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Journal of Graph Algorithms and Applications  

In this paper we study the problem of finding a small safe set S in a graph G, i.e., a non-empty set of vertices such that no connected component of G[S] is adjacent to a larger component in G − S. We enhance our understanding of the problem from the viewpoint of parameterized complexity by showing that (1) the problem is W[2]-hard when parameterized by the pathwidth pw and cannot be solved in time no(pw) unless the ETH is false, (2) it admits no polynomial kernel parameterized by the vertex cover number vc unless PH = Σp but (3) it is fixed-parameter tractable (FPT) when parameterized by3,the neighborhood diversity nd, and (4) it can be solved in time nf(cw) for some double exponential function f where cw is the clique-width. We also present (5) a faster fixed-parameter algorithm when parameterized by the solution size.

DOI： 10.7155/jgaa.00528

Scopus

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Theory of Computing Systems  

Given a sequence of integers, we want to find a longest increasing subsequence of the sequence. It is known that this problem can be solved in O(nlog n) time and space. Our goal in this paper is to reduce the space consumption while keeping the time complexity small. For n≤s≤n, we present algorithms that use O(slog n) bits and O(1s⋅n2⋅logn) time for computing the length of a longest increasing subsequence, and O(1s⋅n2⋅log2n) time for finding an actual subsequence. We also show that the time complexity of our algorithms is optimal up to polylogarithmic factors in the framework of sequential access algorithms with the prescribed amount of space.

DOI： 10.1007/s00224-018-09908-6

Web of Science

Scopus

その他リンク： http://link.springer.com/article/10.1007/s00224-018-09908-6/fulltext.html

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：International Foundation for Autonomous Agents and Multiagent Systems  

その他リンク： https://dblp.uni-trier.de/conf/atal/2020

記述言語：日本語   掲載種別：論文集(書籍)内論文   出版者・発行元：Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  

The competitive diffusion game is a game-theoretic model of information spreading on a graph proposed by Alon et al. (2010). In the model, a player chooses an initial vertex of the graph, from which information by the player spreads through the edges connected with the initial vertex. If a vertex that is not yet influenced by any information receives information by a player, it is influenced by the information and it diffuses it to adjacent vertices. A vertex that simultaneously receives two or more types of information does not diffuse any type of information from then on. The objective of a player is to maximize the number of vertices influenced by the player’s information. In this paper, we investigate the existence of a pure Nash equilibrium of the two-player competitive diffusion game on chordal and its related graphs. We show that a pure Nash equilibrium always exists on block graphs, split graphs and interval graphs, all of which are well-known subclasses of chordal graphs. On the other hand, we show that there is an instance with no pure Nash equilibrium on (strongly) chordal graphs; the boundary of the existence of a pure Nash equilibrium is found.

DOI： 10.1007/978-3-030-38919-2_52

Web of Science

Scopus

記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人 日本機械学会  

In this paper, we analyze the complexity of the gear placement problem (GPP). In the GPP, we are given a rectangular plane, called a gearbox, on which a torque generator source and a set of gears, called target gears, are placed. The task is to find a placement of a set of gears called sub-gears, to connect every target gear to the torque generator source so that every target gear rotates in a given direction. The objective is to minimize the number of sub-gears to be used. We prove that the GPP is NP-hard by giving a reduction from the Hamiltonian path problem on 3-regular planar graphs, which is known to be NP-complete, to the GPP. We also present an upper bound for the number of sub-gears to be placed.

DOI： 10.1299/jamdsm.2020jamdsm0069

Web of Science

Scopus

CiNii Research

掲載種別：研究論文（学術雑誌）  

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-08045

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.dam.2017.10.018

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.eneco.2017.09.012

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.disopt.2016.01.003

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2016.08.016

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00224-014-9565-5

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2015.07.037

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2015.01.007

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2015.04.026

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2014.11.001

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1137/140958682

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1109/TCBB.2014.2372782

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-319-17142-5_19

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

無向グラフに対するオリエンテーション(グラフ有向化)とは,各辺に対して向き付けを行うことである.オリエンテーションによる結果として得られる有向グラフにおいて,各頂点の出次数が事前に指定された下界あるいは上界を満たす場合に,それを次数制約オリエンテーションと呼ぶ.本稿では,次数制約オリエンテーションを求める問題の一種である,2つのお互いに関連するMIN W-LIGHT問題とMAX W-HEAVY問題について考える.任意の固定された非負整数Wに対して,MIN W-LIGHT(またはMAX W-HEAVY)問題は,入力された無向グラフGのオリエンテーションのうち,出次数W以下(またはWP以上)の頂点数を最小化(または最大化)するものを発見することを目的とする.これらの問題の計算複雑さはWの値によって変化する.本稿では,これらの問題の計算複雑さ(主に近似可能性)に関するいくつかの結果を示す.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

無向グラフに対するオリエンテーション(グラフ有向化)とは,各辺に対して向き付けを行うことである.オリエンテーションによる結果として得られる有向グラフにおいて,各頂点の出次数が事前に指定された下界あるいは上界を満たす場合に,それを次数制約オリエンテーションと呼ぶ.本稿では,次数制約オリエンテーションを求める問題の一種である,2つのお互いに関連するMIN W-LIGHT問題とMAX W-HEAVY問題について考える.任意の固定された非負整数Wに対して,MIN W-LIGHT(またはMAX W-HEAVY)問題は,入力された無向グラフGのオリエンテーションのうち,出次数W以下(またはWP以上)の頂点数を最小化(または最大化)するものを発見することを目的とする.これらの問題の計算複雑さはWの値によって変化する.本稿では,これらの問題の計算複雑さ(主に近似可能性)に関するいくつかの結果を示す.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

無向グラフに対するオリエンテーション （グラフ有向化） とは，各辺に対して向き付けを行うことである．オリエンテーションによる結果として得られる有向グラフにおいて，各頂点の出次数が事前に指定された下界あるいは上界を満たす場合に，それを次数制約オリエンテーションと呼ぶ．本稿では，次数制約オリエンテーションを求める問題の一種である，2 つのお互いに関連する Min W-Light 問題と Max W-Heavy 問題について考える．任意の固定された非負整数 W に対して，Min W-Light （または Max W-Heavy） 問題は，入力された無向グラフ G のオリエンテーションのうち，出次数 W 以下 （または W 以上） の頂点数を最小化 （または最大化） するものを発見することを目的とする．これらの問題の計算複雑さは W の値によって変化する．本稿では，これらの問題の計算複雑さ （主に近似可能性） に関するいくつかの結果を示す．

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2013.11.030

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2014.04.011

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.dam.2012.11.015

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-319-07001-8_50

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-319-13075-0_44

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-319-13075-0_17

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-319-13075-0_31

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

無向グラフに対するオリエンテーション(グラフ有向化)とは,グラフ中の各辺に対して向き付けを行うことである.結果として得られる有向グラフにおいて,各頂点の出次数が事前に指定された下界あるいは上界を満たす場合に,そのオリエンテーションを次数制約オリエンテーションと呼ぶ.そのようなオリエンテーションに対して多くの研究がなされており,色々な特徴づけが知られている.本稿では,[3]において研究された,2つのお互いに関連する次の最適化問題について考える.任意の固定された非負整数Wに対して,MAX W-LIGHT(またはMIN W-HEAVY)問題は,入力された無向グラフGのオリエンテーションのうち,出次数W以下(またはW以上)の頂点数を最大化(または最小化)するものを発見することを目的とする.これらの問題の計算複雑さはWの値によって変化する.本稿では,これらの問題の多項式時間での近似可能性に関するいくつかの結果を示す.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

グラフGに対し,|I_b|=|I_r|であるような2つの独立点集合I_bとI_rが与えられたとする.また,Gにおいて,I_bに含まれる各点にはトークンが置かれているとする.スライディングトークン問題とは,I_bからI_rへのGの独立点集合の系列が存在するか判定する問題である.ただし,系列に含まれる各独立点集合は,その1つ前の独立点集合から,ただ1つのトークンをGの辺に沿ってスライドさせることで得られなければならない.この問題は,理想グラフに対してPSPACE完全であることが知られている.本論文では,理想グラフのいくつかの部分クラスに対して,この問題がO(n)時間で解けることを示す.ここで,nはグラフの点数である.また,これらのグラフに対しては,実際にI_bからI_rへ遷移させる最短の系列を多項式時間で見つけることができる.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.dam.2013.05.018

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00453-012-9657-z

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1587/transinf.E96.D.481

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00453-011-9589-z

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

掲載種別：研究論文（学術雑誌）  

Mean-Variance Portfolio optimization is highly sensitive to errors in assets means, when solved by Quadratic Programming (QP). We propose a simulation-based evaluation method for the sensitivity, applied to QP and the Evolutionary Algorithms (EA): Genetic Algorithm, Evolution Strategy, Particle Swarm Optimization and Differential Evolution. Comparisons between variants of EAs and QP are made based on assessing the performance, under multiple perturbed runs, of several 'optimal' portfolios. Computational experiments show that many individuals of EAs population outperform QP optimal solution.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1137/120900368

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00446-012-0173-9

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1145/2287718.2287723

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.disc.2012.01.007

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

本論文では,ピクセルグリッドから最大重み領域を切り出す問題を扱う.ただし,切り出された領域は,基線に対して基単調図形に分割できなければならない.n×nピクセルグリッドと基線が与えられたとき,この問題はO(n^3)時間で解けることが知られている.これに対し本論文では,ピクセルグリッドのみが与えられたとき,k本の基線を最適に配置することはNP困難であることを示す.さらに,この配置問題に対し,O(n^3)時間の2倍近似アルゴリズムを与える。また,多項式時間で求解できるいくつかのケースや問題の変種も示す.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2011.12.033

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

証明書分散問題は，与えられた通信要求をセキュアに実現するために各計算機が保有しなければいけない証明書の枚数を最小化する組み合わせ最適化問題である．本研究では，通信要求グラフ，および証明書グラフが木の場合における証明書分散問題の計算困難性について論じる．通信要求グラフが木の場合，その最大次数によって計算困難さが変化すること，および証明書グラフが木の場合は多項式時間で最適解を求めることが可能であることを示す．

記述言語：英語   掲載種別：研究論文（学術雑誌）  

In the context of designing a scalable overlay network to support decentralized topic-based pub/sub communication, the Minimum Topic-Connected Overlay problem(Min-TCO, for short) has been investigated:Given a set of t topics and a collection of n users together with the lists of topics they are intersted in, the aim is to collect these users to a network by a minimum number of edges such that every graph induced by users intersted in a common topic is connected.In this paper, we consider the complexity of Min-TCO.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

証明書分散問題は,与えられた通信要求をセキュアに実現するために各計算機が保有しなければいけない証明書の枚数を最小化する組み合わせ最適化問題である.本研究では,通信要求グラフ,および証明書グラフが木の場合における証明書分散問題の計算困難性について論じる.通信要求グラフが木の場合,その最大次数によって計算困難さが変化すること,および証明書グラフが木の場合は多項式時間で最適解を求めることが可能であることを示す.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

In the context of designing a scalable overlay network to support decentralized topic-based pub/sub communication, the Minimum Topic-Connected Overlay problem(Min-TCO, for short) has been investigated:Given a set of t topics and a collection of n users together with the lists of topics they are intersted in, the aim is to collect these users to a network by a minimum number of edges such that every graph induced by users intersted in a common topic is connected.In this paper, we consider the complexity of Min-TCO.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

ランダムウォークはインターネットのような巨大なネットワークの探索に有効な手段である．全訪問時間はグラフ上のランダムウォークの重要な指標の一つであり数多くの研究がされている．ネットワークの探索において複数のクローラを使うほうが 1 台のクローラで探索をするよりも速くネットワーク全体を探索できることは明らかである．Alon ら (2011) は k 個のトークンを使う多重ランダムウォークが完全グラフやランダムグラフなどの特定のグラフにおいて 1 台のものよりも k 倍速く全探索できることを示したが，同時にサイクルやパスなどのグラフでは log k 倍にしか高速化できないことも示してる．本研究では k 個のトークンが独立に個々の遷移確率行列に従って遷移する k トークンの多種ランダムウォークを提案する．また単一トークンのランダムウォークにおける Matthews の不等式のように，多種ランダムウォークにおいて全訪問時間の上下界を到達時間から与える不等式を導く．さらに導出した上下界の式が，完全グラフや完全二部グラフ，ランダムグラフにおいてタイトになることを示す．Random walk is a powerful tool for searching a network, especially for a very large network such as the Internet. The cover time is an important measure of a random walk on a finite graph, and has been studied well. For the purpose of searching a network, it is clear that multiple crawlers cover a network faster than a single crawler. Alon et al. (2011) showed that a multiple random walk by k crawlers covers a network k times faster than a single random walk in certain graphs such as complete graphs, random graphs, etc., while the speeding up ratio is limited only to log k times in other graphs such as cycles and paths. This paper investigates a multiplex random walk by k tokens, in which k tokens randomly walks on a graph independently according to an individual transition probability. For the cover time of a multiplex random walk, we present new inequalities similar to celebrated Matthews' inequalities for a single random walk, that provide upper and lower bounds of the cover time by its hitting times. We also show that the bounds are tight in certain graphs, namely complete graphs, bipartite complete graphs, and random graphs.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1109/IPDPSW.2012.107

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s10878-009-9276-z

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

本論文では，パターン形成問題と呼ばれる，非同期的に動くロボット群を幾何的な配置に並ばせる問題を考察する．ここでは，各ロボットは各自固有の座標系に従って，他のロボットの配置と目的の配置を観測するできるものとする．n 点の座標からなる集合の対 A,B の間のマッチングを求めるアルゴリズム "clockwise matching" を構成し，"clockwise matching" によって任意のパターン形成問題を解くことができることを示す．A geometric pattern formation problem by autonomous mobile robots is investigated in this paper. In the "embedded pattern formation problem" disscussed in this paper, the target pattern is assumed to be visible from the robots via their own (local) coordinate system. We show that our matching algorithm "clockwise matching" which calculates the matching between a pair of patterns A and B both comprising of n coordinates, solves any embedded pattern formation problem.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.dam.2010.11.003

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1142/S0129054111008246

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2010.09.028

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

グラフにおける頂点/辺支配集合問題の新しい亜種について考える.ある頂点はその頂点自身と隣接点を支配すると言い,同様にある辺はその辺自身と隣接する辺を支配すると言う.グラフG=(V,E)と正整数kが与えられたとき,k-頂点(k-辺)支配問題(それぞれ以下k-MaxVD, k-MaxEDと呼ぶ)は高々サイズkの頂点の部分集合D_V⫅V(D_E⫅E)の中で,支配する頂点集合(また辺集合)のサイズを最大化するものを求める問題である.本論文では,まずこの問題に対して単純な貪欲アルゴリズムがk-MaxVD, k-MaxEDいずれに対しても近似比(1-1/e)を達成することを示す.次にP≠NPの条件下で,k-MaxVEに対してこの近似比が多項式時間アルゴリズムの最善であることを示す.さらにP≠NPの条件下で,k-MaxEDに対して1303/1304よりも良い近似比の多項式時間アルゴリズムが存在しないことを示す.一方,kがグラフの最小最大マッチングのサイズを超えないという条件下では,k-MaxEDに対して近似比3/4の多項式時間アルゴリズムが存在することを示す.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

本論文は，自己安定リーダー選挙メディエイテッドポピュレーションプロトコル (SS-LE MPP) の領域複雑度に関する研究結果である．Cai，Izumi and Wada (2009) は n エージェントに対する自己安定リーダー選挙ポピュレーションプロトコル (SS-LE PP) は少なくとも n 個のエージェント状態を必要とすることを示した．さらに n エージェントに対する SS-LE MPP のうちエージェント状態数が n であるプロトコルを与えた．MPP は Chatzigiannakis，Michail and Spirakis (2009) によって紹介された．MPP は分散ネットワークモデルの 1 つで，各エージェント間に局所的なメモリを追加した PP の拡張モデルである．一般的に MPP は PP よりも計算能力が高いことが知られている．一方で SS-LE のエージェント状態に対する空間複雑度の減少可能性については知られていない．本稿では，n エージェントの SS-LE MPP のうちエージェント状態数が n-1 であり，各エージェント間に 1 ビットのメモリが与えられたプロトコルを与える．This paper investigates the space complexity of a self stabilizing leader election in a mediated population protocol (SS-LE MPP). Cai, Izumi and Wada (2009) showed that SS-LE in a population protocol (SS-LE PP) for n agents requires at least n agent-states, and gave a SS-LE PP with n agent-states for n agents. MPP is a model of distributed computation, introduced by Chatzigiannakis, Michail and Spirakis (2009) as an extension of PP allowing an extra memory on every agents pair. While they showed that MPP is stronger than PP in general, it was not known if a MPP can really reduce the space complexity of SS-LE with respect to agent-states. We in this paper give a SS-LE MPP with n - 1 agent-states and a single bit memory on every agents pair for n agents.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

グラフ G の k-(p,q)-全ラベリングとは，G の節点と辺への 0 から k までの整数値の割当てであり，節点とそれに接続する辺の間では少なくとも p，隣接する 2 節点間または 2 辺間では少なくとも q の差があるもののことをいう．G の (p, q)-全ラベリング数 λTp;q(G) は，k がとりうる値の最小値として定義される．G の (p, q)-全ラベリング問題とは，ラベリング数 λTp;q(G) を求める問題である．本研究では，いくつかのグラフクラスのグラフの (p, q)-全ラベリング数に対して新しい上界と下界を与える．とくに，グラフが木の場合にはタイトな上界と下界を与える．また，グラフが木で p≦3q/2 の場合に (p, q)-全ラベリング問題を解く線形時間アルゴリズムを与え，さらに最大次数が 4 以上という仮定が加わった場合，λTp;q(T) を実現する木Tを完全に特徴づけられることも示す．この結果は，(p; q)-全ラベリング問題の一般化である L (p; q)-ラベリング問題が q が p の約数でないすべての (p; q) の組に対し NP 困難であることと対照的である．A (p,q)-total labeling of a graph G is an assignment f from the vertex set V(G) and the edge set E(G) to the set of nonnegative integers such that |f(x)-f(y)| ≧ p if x is a vertex and y is an edge incident to x, and |f(x)-f(y)| ≧ q if x and y are a pair of adjacent vertices or a pair of adjacent edges, for all x and y in V(G) ∪ E(G). A k-(p,q)-total labeling is a (p,q)-total labeling f:V(G) ∪ E(G) → {0,...,k}, and the (p,q)-total labeling problem asks the minimum k, which we denote by λTp,q(G), among all possible assignments. In this paper, we first give new upper and lower bounds on λTp,q(G) for some classes of graphs G, in particular, tight bounds on λTp,q(T) for trees T. We then show that if p ≦ 3q/2, the problem for trees T is linearly solvable, and give a complete characterization of trees achieving λTp,q(T) if in addition Δ ≧ 4 holds, where Δ is the maximum degree of T. It is contrasting to the fact that the L(p,q)-labeling problem, which is a generalization of the (p,q)-total labeling problem, is NP-hard for any two positive integers p and q such that q is not a divisor of p.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

大規模文字列データに対する高速な文字列検索は接尾辞配列(SA)を用いて実現できるが,SAには多くの容量が必要になってしまう.SAを圧縮する様々な方法が提案されているが,本論文では出現頻度の高いフレーズの検索が既存の圧縮法に比べて高速な圧縮法を提案する.提案手法では,SAをブロックに分割し,そのブロック内でソートを行い,差分をとったものを保存し,検索時は差分からソート後のSAを取り戻し,区間内をすべて逐次的に検索する.これで検索フレーズのすべての出現位置を得ることができる.実験により,特に検索フレーズの頻度が高い場合,多くの入力データで提案手法の性能が既存の方法より優れていることを示す.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.disc.2010.02.015

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2010.03.029

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1142/S0129054110007349

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2010.01.032

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

大規模なデータを効率よく扱うために圧縮されたデータ上で高速な操作を行える簡潔データ構造が提案されてきた．本稿ではパトリシアトライなどに使われる全二分木に焦点を当てる．提案する全二分木の簡潔表現のサイズは n+o(n) ビットであり，右の子へ巡回するといった操作を定数時間で行うことができる．また接尾辞木 (ST) を全二分木に変換することで圧縮可能であることを示す．To take large-scale data efficiently, succinct data structures that support highspeed operations on compressed data have been developed. In this paper, we focus on full binary trees which are used as patricia tries. We propose for a succinct data structure whose size is n+o(n) bits. This representation enables constant time operations such as traversing from a internal node to its right child node. Then, we show that a suffix tree (ST) is compressible by converting it to a full binary tree.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

大規模データに対する高速な文字列検索は接尾辞配列 (SA) を用いて実現できるが，SA には多くの容量が必要になってしまう．SA を圧縮する様々な方法が提案されているが，提案手法は，SA と転置インデックスを組み合わせることで，出現頻度の高いフレーズの検索が既存の索引に比べ高速な索引を実現する．最終的には実験により，以前提案した別手法5) と似た性能で，ある程度検索時間を調整可能であることを示す．String pattern matching for large-scale data is efficiently achieved by suffix array (SA), but SA requires a large space. Therefore, various methods to compress SA have been proposed. In this paper, we combine SA and Inverted index. As a result, performance of the proposed method is better than existing ones when searching frequent phrases. Experiments show that the proposed method is similar to one which is proposed by us in other times, and able to control search time at some level.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

グラフの k-L(2, 1) -ラベリングとは，頂点への 0 から k までの整数値の割り当てであり，隣接頂点間では少なくとも 2，距離 2 の頂点間では少なくとも 1 の差があるもののことを言う．L(2, 1) -ラベリング問題とは，グラフに対する k-L(2, 1) ラベリングの中で最小の k を求めるものである．この問題は，木幅が 2 のグラフに対してでも NP 困難であることが知られている．一方，多項式時間アルゴリズムは，路や閉路，木といった限られたクラスにしか知られておらず，木に対するアルゴリズムの計算量も 10 年以上 O(Δ4.5n) 時間であった （ただし，Δ はグラフの最大次数，n は木の頂点数）．この計算量は最近になって O(min{n1.75, Δ1.5n}) 時間へと改善されたが，線形時間で解けるかどうかは未解決であった．本論文では，これを解決する木の L(2, 1) -ラベリングに対する線形時間アルゴリズムを提案する．An L(2, 1)-labeling of a graph G is an assignment f from the vertex set V(G) to the set of nonnegative integers such that |f (x)− f (y)| ≥ 2 if x and y are adjacent and |f (x)− f (y)| ≥ 1 if x and y are at distance 2, for all x and y in V(G). A k-L(2, 1)-labeling is an L(2, 1)-labeling f : V(G) → {0, . . . , k}, and the L(2, 1)-labeling problem asks the minimum k, which we denote by λ(G), among all possible assignments. It is known that this problem is NP-hard even for graphs of treewidth 2, and tree is one of very few classes for which the problem is polynomially solvable. The running time of the best known algorithm for trees had been O(Δ4.5n) for more than a decade, and an O(min{n1.75, Δ1.5n})-time algorithm has appeared recently, where Δ is the maximum degree of T and n = |V(T)|, however, it has been open if it is solvable in linear time. In this paper, we finally settle this problem for L(2, 1)-labeling of trees by establishing a linear time algorithm.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.tcs.2009.04.025

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

MAXMINO という無向グラフの向き付け問題の一種について考える．無向枝重みつきグラフの向き付けを与えることにより，重み付き出次数を定義する （枝重みは正整数であるとする）．この問題は，グラフ中の最小重み付き出次数を最大化する問題である．本研究ではまず，MAXMINO は枝重みを {1 , 2} に限定し，かつ各頂点の （重みなし） 次数が高々 3，さらにグラフが平面二部であるような場合でも強 NP 困難であり，P= NP でない限り，任意の定数 E ＞ 0 に対して多項式時間では 2 - E 近似不可能であることを示す．次にすべての枝重みが 1 である場合には，多項式時間で解くことができることを示す．これにより，枝重みが wmin よりも大きい枝数が O (log n)であるときにも，多項式時間で解くことができる．さらに，この手法により MAXMINO に対する単純な wmax / wmin 近似多項式時間アルゴリズムを得ることができる （wmax，wmin はそれぞれ枝重みの最大値，最小値)．最後に，入力グラフがカクタスである場合にも MAXMINO は多項式時間で解くことができることを示す．We study a new variant of the graph orientation problem called MAXMINO where the input is an undirected, edge-weighted graph and the objective is to assign a direction to each edge so that the minimum weighted outdegree (taken over all vertices in the resulting directed graph) is maximized. All edge weights are assumed to be positive integers. First, we prove that MAXMINO is strongly NP-hard and cannot be approximated within a ratio of 2 - E for any constant E > 0 in polynomial time unless P=NP, even if all edge weights belong to {1, 2}, every vertex has degree at most three, and the input graph is bipartite or planar. Next, we show how to solve MAXMINO exactly in polynomial time for the special case in which all edge weights are equal to 1. This technique gives us a simple polynomial-time wmax / wmin -approximation algorithm for MAXMINO where wmax and wmin denote the maximum and minimum weights among all the input edges. Furthermore, we also observe that this approach yields an exact algorithm for the general case of MAXMINO whose running time is polynomial whenever the number of edges having weight larger than wmin is at most logarithmic in the number of vertices. Finally, we show that MAXMINO is solvable in polynomial time if the input is a cactus graph.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

証明書分散問題(Minimum Certificate Dispersal Problem, MCD)とは，グラフGと要求集合Rが与えられたときに，Rに含まれるすべての要求を満たすよう各ノードにGの辺を割り当て，各ノードに割り当てられる辺の総数を最小化する問題である．要求とはグラフG上の異なる2つのノードの順序対で表され，要求(u, v)を満たすにはノードu, vに割り当てる辺の和集合にGにおけるuからvへの経路が含まれる必要がある．MCDは与えられるグラフが強連結の場合においてもNP-困難であることが既に示されている．本研究では，MCDの近似可能性について議論する．まず，強連結グラフにおいてMCDの近似率の下界がOmega(log n)(nはGのノード数)であることを示し，さらに任意のグラフにおけるMCDに対する多項式時間O(log n)-近似アルゴリズムが構成可能であることを示す．また，既存研究において多項式時間2-近似アルゴリズムであると評価されていたアルゴリズムが，無向グラフを入力とするMCDに対しては多項式時間3/2-近似アルゴリズムであることを示す．Assume that G is a graph and that R is a set of requests which is represented by a reachable ordered pair of nodes in G. The problem discussed in this paper requires us to assign edges to each node such that all requests in R are satisfied and the total number of edges all nodes have is minimized for a given G and R. To satisfy a request (u, v), a set of assigned edges to u and v must contain a path from u to v in G. This problem is called the Minimum Certificate Dispersal problem (MCD) and is NP-hard even if the input graph is restricted to a strongly connected one. In this paper, we consider approximability of MCD. We clarify an optimal approximability / inapproximability bound in terms of order: we prove the approximation ratio of MCD for strongly connected graphs is Omega (log n) and MCD has a polynomial time approximation algorithm whose factor is O(log n) (n is the number of nodes in G). In addition, we prove that when a given graph is restricted to an undirected graph, the MCD algorithm proposed in [11] guarantees 3/2 approximation ratio.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

A spreadsheet, especially MS Excel, is probably one of the most popular software applications for personal-computer users and gives us convenient and user-friendly tools for drawing tables. Using spreadsheets, we often wish to draw several vertical and horizontal black lines on selective gridlines to enhance the readability of our spreadsheet. Such situations we frequently encounter are formulated as the Border Drawing Problem (BDP). Given a layout of black line segments, we study how to draw it efficiently from an algorithmic view point, by using a set of border styles and investigate its complexity. (i) We first define a formal model based on MS Excel, under which the drawability and the efficiency of border styles are discussed, and then (ii) show that unfortunately the problem is -hard for the set of the Excel border styles and for any reasonable subset of the styles. Moreover, in order to provide potentially more efficient drawing, (iii) we propose a new compact set of border styles and show a necessary and sufficient condition of its drawability.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00224-008-9117-y

Web of Science

掲載種別：研究論文（学術雑誌）  

通信ネットワークをノードとエッジと情報源を使って表す.ここで,ノード間の接続は多段階層化されており,根を最上位として,高さiのノード全体を第i層とする.データは情報源から最下位層のノードに対して与えられ,上位層に対しての一方向のみに送られる.ただし,各上位層のあるノードが単位時間当たり受け取ることができる情報の量は最下位層のあるノードが単位時間当たり受け取ることができる量と同じであるとする.本研究はこのような条件と各ノードのメモリを制限した場合に,情報源から得られた全てのデータの中で頻出したデータを最上位のノードが検出するためのストリームアルゴリズムの設計と解析である.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

掲載種別：研究論文（学術雑誌）  

大規模データに対する高速な文字列検索は接尾辞配列 (SA) を用いて実現できるが, SAには多くの容量が必要になってしまう. SAを圧縮する様々な方法が提案されているが, 本論文では出現頻度の高いフレーズの検索が既存の圧縮法に比べて性能が良いような圧縮方法を提案する. 提案手法では, SAを大きさSのブロックに分割し, そのブロック内でソートを行い, 差分を取ったものを保存し, 検索時は差分からソート後のSAを取り戻し, 区間S内を全て逐次的に検索する. 最終的には実験により特に検索フレーズの頻度が高い場合, 多くの入力データで提案手法の性能が既存の方法より優れていることを示す.

掲載種別：研究論文（学術雑誌）  

検索などに用いる順序木にはLOUDS, BP, DFUDSなどの簡潔表現が提案されている。これらはノード数nの順序木を表現する情報理論的下限2n-Θ(lgn)ビットにかなり近いものである。これらにo(n)ビットの補助データ構造を追加することで定数時間操作をサポートすることができる。簡潔表現としては他にTree Covering(TC)というのも存在する。本発表では順序木の中でもPaCB木などで用いられる全二分木に焦点を当て、これに対する簡潔データ構造を提案する。このデータ構造はDFUDSを基本としてTCを応用している。サイズはn+o(n)ビットとなり全二分木の情報理論的下限に近くなっている。

掲載種別：研究論文（学術雑誌）  

ChienとSinclairは, 非協力対称渋滞ゲームにおける分散的なローカルダイナミクスによって, プレイヤー数n, プレイヤーの遷移への動機を制限する係数α, 辺の遅延関数の増加を制限する係数εの多項式回数以下の遷移ステップ数で近似的ナッシュ均衡状態を実現できることを示した.本論文は, その結果を拡張し, 分散的なコスト計算において個々のプレイヤーが他のプレイヤーの戦略についてある種の不完全な情報しか持たない場合にも同様の遷移回数によって必ず遷移を収束させることができる場合があるということを示し, そのために必要十分な条件について考察する.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

ゲノム配列から，ある機能発現に関わる遺伝子を発見したいという要望がある．このような遺伝子は対象となるゲノム配列集合においてエラーを含んだ形で頻出する配列パターンの形をとることがしばしばある．本研究では，エラーを含む文字列集合から，ある長さの頻出部分文字列パターンを高速に全列挙するアルゴリズムを提案する．エラーの影響から通常のパターン列挙と異なり，入力文字列には現れないパターンも列挙の対象となる．提案手法ではパターン頻出性の必要条件を利用して最小限の候補パターンをハッシュ格納することにより，高速な全列挙を実現する．We propose a practically fast algorithm that enumerates all m-length substring patterns appearing in at least θ sequences among a given set of string sequences, where at most k errors are allowed for each appearance. The problem of enumerating such substring patterns is derived from the genome science, where frequent substring patterns allowing errors are candidates of a gene related to a certain function. From this context, some pattern should be enumerated even if it does not appear in any sequence, because it may match a sufficient number of sequences by allowing errors. In order to prevent overlooking such potential patterns, we propose a hash-based enumeration algorithm. The algorithm stores not only a substring pattern appearing in a sequence but also its neighboring patterns. By using several techniques/conditions to exclude non-frequent patterns, our algorithm achieves an efficient enumeration of frequent substring patterns allowing errors.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

無向グラフ G＝(V E)に対し，V の全ての点を被覆するような枝集合のことを枝被覆と呼ぶ．最小の枝被覆はスターグラフの集合の形をとり，また多項式時間で得られることが知られている．以前著者らは，負荷分散枝被覆問題，すなわち枝被覆が与えるスターグラフの中心頂点の次数が均等化されたような枝被覆を求める問題を考え，これを求める O(n1/2m log△)時間アルゴリズムを提案している．本論文では，枝に重みが付加されたグラフに対し最小重みの負荷分散枝被覆を求める問題について考える．最適解に対する特徴づけとしてある性質を持ったパス構造の存在性の形で与え，それに基づいた O(n3m）時間アルゴリズムを与える．For an undirected graph G = (V, E), an edge cover is defined as a set of edges that covers all vertices of V. It is known that a minimum edge cover can be found in polynomial time and forms a collection of star graphs. Previously, the authors of this paper consider the problem of finding a balanced edge cover where the degrees of star center vertices are balanced, and present an O(n1/2m log△)-time polynomial time algorithm, where n, m and A are the number of vertices, the number of edges and the maximum degree of vertices, respectively. In this paper, for an edge-weighted graph, we consider the problem of finding a minimum weight balanced edge cover, that is, a balanced edge cover in which the total weights of edges is minimized. By characterizing the optimality as the existence of a certain path structure, we develop an O(n3m)-time algorithm.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

有限グラフ上のランダムウォークとは,グラフ上に置かれた粒子が,その隣接点へとある確率にしたがってランダムに遷移するモデルである.ランダムウォークの速さの指標として,cover timeがある.これはある頂点を出発した粒子が,全ての頂点を訪問するために要する遷移数の期待値である.本研究の目的は,グラフが与えられたときよりcover timeの小さなランダムウォークを設計することである.本発表では,n頂点からなるグラフに対してcover timeがO(n)であるランダムウォークを設計可能であるための必要条件を示す.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

辺重みつき無向グラフが与えられ，辺の向き付けを求める問題 MMO を考える．MMO の目的は重みつき出次数の最大値を最小化することである．MMO は木に対してはΡ，平面二部グラフに対しては強 ΝΡ- 困難，一般のグラフに対してはNP- 困難であることが，過去の研究により知られている．しかし，これらのグラフクラス間には隔たりがあり，困難さの境界が厳密でない本稿の目的は，MMO の困難さの境界を明らかにすることであり，カクタス(木はカクタスの部分クラス）に対しては Ρ，多重辺を持つ外平面グラフや直並列グラフに対しては弱ΝΡ- 困難，平面グラフと二部グラフに対しては強ΝΡ- 困難であることを示す．Given an undirected graph with edge weights, we are asked to find an orientation, i.e., an assignment of a direction to each edge, so as to minimize the weighted maximum outdegree in the resulted directed graph. The problem is called MMO. As previous studies, it is shown that MMO is in Ρfor trees, weak .ΝΡ- hard for planar bipartite graphs, and strong ΝΡ- hard for general graphs. There are still gaps between those graph classes. The objective of this paper is to show tight thresholds of complexity: We show that MMO is (i) in Ρ for cactuses, (ii) weakly ΝΡ- hard for multi outerplanar graphs and series-parallel graphs, and also (iii) strongly ΝΡ-hard for planar graphs and bipartite graphs.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

掲載種別：研究論文（学術雑誌）  

グラフ上のランダムウォークにおいて,隣接頂点への遷移確率をメトロポリス・ヘイスティングアルゴリズムに基づいて定義することで,到達時間がO(n^2)となるランダムウォークを実現することが出来る.ここで,nはグラフの頂点数でる.また,到達時間とはある頂点を出発し,別のある頂点へ達するまでに要する遷移数の期待値である.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

正方-八方格子の双対グラフ上の単連結部分グラフにおける完全マッチングについて,局所変形連結性の観点から研究する.これらのグラフは二部性を持たずある意味で不純物を含んでいるため,従来の研究で使われてきた高さ関数を用いた手法を利用することは出来ない.本研究では組合せ的手法を用いて,連結性を保証する最小の局所変形集合を与える:すなわち,これらのグラフ上の任意の完全マッチング同士が,二辺だけを動かす局所変形を繰り返すことにより移りあうことを示す.この結果から完全マッチング全体を状態集合とする簡易なマルコフ連鎖を構成でき,またその定常状態を一様とすることができる.計算シミュレーションでは顕著な統計的性質が観測された.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

本論文ではホーン知識ベースの内包・外包に対する演繹推論について考える.知識ベースの内包・外包はその安定性を測るものとして,Makino, Ibaraki [11]により提案された.本論文ではホーン関数(式表現)の内包に対する演繹推論を行う線形時間アルゴリズムを与え,外包に対する演繹推論がco-NP完全であることを示す.またホーン知識がモデル表現で与えられた場合,演繹推論は内包・外包共に計算困難であることを示す.外包のホーン包絡に関しては,モデル表現においては線形時間で解くことができる一方,式表現においてはco-NP完全となることを示す.また各計算困難なクラスにおいて,多項式時間で解ける部分クラスについても議論する.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

無向グラフG=(V,E)において,全ての頂点が少なくとも1つの枝に接しているような枝の集合を枝被覆と呼ぶ.特に最小枝被覆は多項式時間で得られ,またスターグラフの集合により構成されることが知られている.本研究では,各スターの枝数が均等になるような枝被覆を求める負荷分散枝被覆問題を扱う.この問題の応用例として,センサーネットワークの構造最適化などが挙げられる.この目的達成のために,被覆枝における次数に関する狭義単調増加凸関数の和の最小化問題として問題を定式化し,その最適性がある種の交互パスの非存在として特徴付けられることを示す.またこの特徴付けを利用し,最適な枝被覆が最小枝被覆であること,被覆枝における次数列の辞書順が最小となること,最大次数が最小化されることを示す.さらに,この特徴を基にしたO(|V||E|)時間のアルゴリズムを提案する.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

ハイパーリンクの集合Eで連結されたウェブページの集合Vを表した根付き有向非巡回グラフG=(V,E)を考える.それぞれのノードvは,ユーザがノードvを閲覧するアクセス頻度を持っている.アクセスコストは,根ノードrからあるノードvに到達するためのステップ数の期待値で定義される.ブックマークは,グラフGの根ノードrに付加するショートカットリンクであり,アクセスコストを小さくする効果がある.ブックマーク問題は,アクセスコストを最も改善するようなブックマーク集合を求める問題である.本稿では,ブックマーク問題に対する(1-1/e)近似アルゴリズムを示す.またNP&subE;DTIME(N^<o(loglogN)>)を満たさない場合には,(1-1/e)よりも良い近似比を持つ多項式時間のアルゴリズムは存在しないことを示す.ここで,Nは入力サイズを表している.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

故障検知器は分散システムにおいて各プロセスごとに備わった他のプロセスの故障状況を教えるオラクルである.故障が起きる際には非可解とされている問題に対して,どの程度の故障検知能力を有する故障検知器が備わればそれが可解となるかが広く研究されている.特に,問題を解くために必要十分な最弱の故障検知器が重要である.本稿では重要な分散問題の1つである合意問題を一般化したk-集合合意問題を解く故障検知器を考察する.合意問題に対する最弱の故障検知器であるクラス(Ω,Σ)を拡張したクラス(k-Ω,Σ)と(Ω,Σ_k)を定義し,プロセスの故障数が任意の環境下でこれらの検知器を用いてk-集合合意問題を解けることを示す.また,関連研究において同様にk-集合合意問題を解くと示されている故障検知器との強弱関係の比較を行う.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

掲載種別：研究論文（学術雑誌）  

掲載種別：研究論文（学術雑誌）  

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.dam.2006.04.020

Web of Science

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

近年,DNA塩基配列集合を利用したナノコンピューティング・ナノテクノロジーが注目されている.これらの技術に用いられる塩基配列集合は,利用目的に応じた制約を満たす必要がある.いくつかの制約は組合せ的であるので,本論文では塩基配列集合問題を組合せ最適化問題と捉える.さらに,他の制約より組合せ的なオーバーラップ指標に着目し,局所探索法に基づくアルゴリズムを提案する.このアルゴリズムでは組合せ的制約を局所探索法で充足させるために,可変近傍探索法・可変深度探索近傍法と呼ばれる動的近傍操作を採用する.計算機実験において,提案手法は同様の制約を満たす他の手法と同等以上の配列集合の設計に成功した.

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DNAコンピューティングとは,DNA同士の反応過程を計算として見なした新しい計算パラダイムである.DNAコンピューティングでは,計算に使用するDNA分子の塩基配列を設計することが重要な研究テーマのひとつとなっている.DNA分子が意図したように反応するには,様々な制約をできるだけ満たす配列を準備する必要がある.このため従来様々な塩基配列の設計手法が研究されてきたが,本研究では隠れマルコフモデルを用いた配列設計を提案する.隠れマルコフモデルはマルコフ過程を利用した確率モデルである.本論文では,試験的な配列設計として行った,DNAのもつ最小自由エネルギーが小さい配列の設計の実験と結果について述べる.

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

記述言語：英語   掲載種別：研究論文（学術雑誌）  

Web of Science

担当区分：最終著者   記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

記述言語：英語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

J-GLOBAL

担当区分：最終著者   記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

J-GLOBAL

記述言語：日本語   出版者・発行元：システム制御情報学会  

CiNii Books

担当区分：最終著者   記述言語：英語   掲載種別：機関テクニカルレポート，技術報告書，プレプリント等  

記述言語：英語   掲載種別：機関テクニカルレポート，技術報告書，プレプリント等  

その他リンク： https://dl.acm.org/doi/10.5555/3535850.3536053

担当区分：最終著者   記述言語：英語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

その他リンク： https://dl.acm.org/doi/10.5555/3535850.3536053

担当区分：最終著者   記述言語：英語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

担当区分：最終著者   記述言語：日本語   掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）  

J-GLOBAL

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2024年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年12月

記述言語：英語  

開催年月日： 2023年10月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年10月

記述言語：日本語  

開催年月日： 2023年10月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年7月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年6月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年6月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年6月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年5月

記述言語：英語   会議種別：口頭発表（招待・特別）  

開催年月日： 2023年5月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年3月

記述言語：日本語   会議種別：口頭発表（招待・特別）  

開催年月日： 2023年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年1月 - 2023年2月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2023年1月 - 2023年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年1月 - 2023年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年1月 - 2023年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2023年1月 - 2023年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年12月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2022年11月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年7月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2022年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年7月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年7月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2022年6月

会議種別：口頭発表（一般）  

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

開催年月日： 2022年3月

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

開催年月日： 2022年3月

開催年月日： 2022年3月

開催年月日： 2022年3月

開催年月日： 2022年3月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年3月

開催年月日： 2022年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年2月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2022年2月

開催年月日： 2022年2月

開催年月日： 2022年2月

開催年月日： 2022年2月

開催年月日： 2021年11月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年11月

開催年月日： 2021年10月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2021年10月

開催年月日： 2021年10月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年10月

開催年月日： 2021年10月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年10月

開催年月日： 2021年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年9月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2021年9月

開催年月日： 2021年9月

開催年月日： 2021年9月

開催年月日： 2021年9月

開催年月日： 2021年9月

開催年月日： 2021年9月

記述言語：英語   会議種別：口頭発表（一般）  

開催年月日： 2021年6月

記述言語：日本語   会議種別：口頭発表（一般）  

開催年月日： 2020年11月

記述言語：日本語   会議種別：口頭発表（一般）  

記述言語：日本語   会議種別：口頭発表（一般）  

記述言語：英語   会議種別：口頭発表（一般）  

種別：大会・シンポジウム等 

種別：学会・研究会等 

種別：学会・研究会等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：学会・研究会等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等 

種別：大会・シンポジウム等