IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev COMP Conf / Next COMP Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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.)

Thu, Mar 14, 2024 10:30 - 17:00

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)

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) ===

Wed, May 8, 2024 - Thu, May 9, 2024: Kyoto University (Rakuyu-kaikan) [Wed, Mar 13], Topics: Theoretical Computer Science, etc.

COMP Secretaries
E-mail: comp-n

Last modified: 2024-01-21 16:22:27

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]

[Presentation and Participation FAQ] (in Japanese)

[Return to COMP Schedule Page]   /  
 Go Top  Go Back   Prev COMP Conf / Next COMP Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan