宮野 英次

J-GLOBALへ         更新日: 15/12/18 02:58
 
アバター
研究者氏名
宮野 英次
所属
九州工業大学
部署
大学院情報工学研究院 システム創成情報工学研究系
職名
教授
学位
博士(工学)(九州大学)
その他の所属
九州工業大学

研究分野

 
 

論文

 
Kazuo Iwama, Yahiko Kambayashi, Eiji Miyano
   [査読有り]
We give two, new upper bounds for oblivious permutation routing on the mesh networks: Let N be the total number of processors in each mesh. One is an O(N^0.75) algorithm on the two-dimensional, N^0.5 by N^0.5 mesh with constant queue-size. This is...
University Interview Timetabling, Yuuki Kiyonari, Eiji Miyano, Shuichi Miyazaki
   [査読有り]
this paper we focus on restriction (2), which is a soft constraint: We want to find a feasible schedule which minimizes the total number of movements of all professors
Yuichi Asahiro, Eiji Miyano, Hirotaka Ono, Kouhei Zenmyo
   [査読有り]
We study the problem of orienting the edges of a weighted graph such that the maximum weighted outdegree of vertices is minimized. This problem, which has applications in the guard arrangement for example, can be shown to be generally. In this ...
Yuichi Asahiro, Eiji Miyano, Hirotaka Ono
   [査読有り]
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, and is a...

Misc

 
Random Generation of Satisfiable and Unsatisfiable CNF Predicates
Kazuo Iwama,Hidetoshi Abeta,Eiji Miyano
Proceedings of the IFIP 12th World Computer Congress   1 322-328   1992年
Routing Problems on the Mesh of Buses
Kazuo Iwama,Eiji Miyano,Yahiko Kambayashi
Proceedings of Third International Symposium on Algorithms and Computation (ISAAC'92)   155-164   1992年
Security of Test-Case Generation with Known Answers
Kazuo Iwama,Eiji Miyano
Proceedings of AAAI Spring Symposium Series   85-91   1993年
指定された分布パラメータを満足するSATの例題生成について
宮野英次,岩間一雄
京都大学数理解析研究所講究録   833 22-30   1993年
Test-Case Generation with Known Answers and Proved Secutities
Kazuo Iwama,Eiji Miyano
Proceedings of Second DIMACS Challenge Workshop (Satisfiability)      1993年

Works

 
各種属性を制御可能なランダムテスト例題生成技術の研究(分担)
1995年 - 1997年
ベンチマ-キングのための不自然でないランダム論理回路の高速大量生成(分担)
1996年 - 1998年
高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法(分担)
1997年 - 2000年
共有記憶型並列モデルと分散記憶型並列モデルの結合(代表)
1998年 - 2000年
広域分散システムのためのアルゴリズム工学(分担)
1998年 - 2001年

競争的資金等の研究課題

 
-

学歴

 
 
 - 
1995年
九州大学 工学研究科 情報工学専攻
 
 
 - 
1991年
九州大学 工学部 情報工学科