===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
Chair: Hiroyuki Uno (Osaka Metropolitan Univ.) Vice Chair: Shuji Kijima (Shiga Univ.)
Secretary: Kunihiro Wasa (Hosei Univ.), Yu Yokoi (Tokyo Inst. of Tech)
Assistant: Ei Ando (Senshu Univ.)
DATE:
Thu, Mar 14, 2024 10:30 - 17:00
PLACE:
Room 335, Building W-9, The University of Electro-Communications(1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, Japan. School of Informatics and Engineering, The University of Electro-Communications, ITO Hiro)
TOPICS:
Theoretical Computer Science, etc
----------------------------------------
Thu, Mar 14 AM (10:30 - 17:00)
----------------------------------------
(1) 10:30 - 11:00
Number of Solutions of Pentahex and Heptiamond Puzzles
Toshihiro Shirakawa
(2) 11:00 - 11:30
Proof of NP-completeness of Tasukuea
Chiho Fukunaga, Seiya Okubo (Univ. of Shizuoka)
(3) 11:30 - 12:00
Masyu is Constant-Time Testable
Kotaro Kabutoishi, Hiro Ito (UEC)
----- Lunch Break ( 90 min. ) -----
(4) 13:30 - 14:30
[Invited Talk]
Gap Amplification for Reconfiguration Problems
Naoto Ohsaka (CyberAgent)
----- Break ( 15 min. ) -----
(5) 14:45 - 15:15
Reforming an Envy-Free Matching with Ties
Yuni Iwamasa, Jun Kawahara, Yuito Ueda (Kyoto Univ.)
(6) 15:15 - 15:45
A proof of recurrence of a random walk on a growing network by a coupling technique
Shuma Kumamoto (Kyushu U), Shuji Kijima (Shiga U), Tomoyuki Shirai (Kyushu U)
----- Break ( 15 min. ) -----
(7) 16:00 - 16:30
Time Analysis of Space Efficient Uniform Partitioning in Population Protocols
Pascal Sahner (NAIST/RWTH Aachen), Ryota Eguchi (NAIST), Fukuhito Ooshita (FUT), Michiko Inoue (NAIST)
(8) 16:30 - 17:00
A consideration on the spannig polytope volume using the recurrence representation and its computation
Ei Ando (Senshu Univ.)
# Information for speakers
General Talk will have 25 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:
Wed, May 8, 2024 - Thu, May 9, 2024: Kyoto University (Rakuyu-kaikan) [Wed, Mar 13], Topics: Theoretical Computer Science, etc.
# SECRETARY:
COMP Secretaries
E-mail: comp- n![](/ken/images/new/1217ij.bmp) ![](/ken/images/new/ta.gif) ![](/ken/images/new/liam.gif) ![](/ken/images/new/groeciei.gif)
Last modified: 2024-01-21 16:22:27
|
Notification: Mail addresses are partially hidden against SPAM.
|