SW-type puzzles and their graphs

In this paper, we present the SW-type of truth-tellers and liars puzzles. We examine the SW-type puzzles where each person can utter a sentence about the person's type and in which he uses only the "and" connective. We make the graphs of these puzzles. The graph of a puzzle has all in...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Nagy Benedek
Testületi szerző: Conference for PhD Students in Computer Science (3.) (2002) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2003
Sorozat:Acta cybernetica 16 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12710
Leíró adatok
Tartalmi kivonat:In this paper, we present the SW-type of truth-tellers and liars puzzles. We examine the SW-type puzzles where each person can utter a sentence about the person's type and in which he uses only the "and" connective. We make the graphs of these puzzles. The graph of a puzzle has all information about the puzzle if we have no other information to solve the puzzle than the statements given (clear puzzles). We analyze the graphs of the possible puzzles. We give some transformations of graphs based on local information, for instance arrow-adding steps. These local steps are very helpful to solve these puzzles. We show an example that we can solve using these local steps. After this, we examine into the global properties of the graphs. We show a special example when the local steps do not help, but the puzzle is solvable by using global information. Finally we show a graph-algorithm which is a combination of local and global information, and show that it can solve the SW-type puzzles.
Terjedelem/Fizikai jellemzők:67-82
ISSN:0324-721X