CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 12725 > Article
Paper
14 June 2023 Research on the muddy children puzzle problem
Alysa Xu
Author Affiliations +
Proceedings Volume 12725, International Conference on Pure, Applied, and Computational Mathematics (PACM 2023); 127251A (2023) https://doi.org/10.1117/12.2679586
Event: International Conference on Pure, Applied, and Computational Mathematics (PACM 2023), 2023, Suzhou, China
Abstract
Muddy children puzzle is a well-spread mathematical puzzle. It can be solved by two ways, which are Kripke Structure and true and false statement. The model checking problem is solved by searching the state space of the system. Ideally, the verification is completely automatic. The main challenge is the state explosion problem. The problem occurs in systems with many components that can interact with each other, so that the number of global states can be enormous. This paper observes that any propositional planning problem can be modeled as an LTL model checking problem as any propositional goal g can be expressed in the form of a counterexample to the temporal formula in LTL. If the problem is solvable, the LTL model checker will return a counterexample, which manifests a solution for the planning problem. This paper shows that the puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a form of variety).
© (2023) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Alysa Xu "Research on the muddy children puzzle problem", Proc. SPIE 12725, International Conference on Pure, Applied, and Computational Mathematics (PACM 2023), 127251A (14 June 2023); https://doi.org/10.1117/12.2679586
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 6 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Systems modeling
Head
Modeling
Mathematical modeling
Neural networks
Online learning
RELATED CONTENT
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top