SudokuVis How to Explore Relationships of Mutual Exclusion
نویسنده
چکیده
In recent years, many systems for visualizing and exploring massive amounts of data have emerged. A topic that has not yet been investigated much concerns the visualization and exploration of constraints between objects such as relationships of joint contribution to a set or mutual exclusion. In this paper, we present concepts toward visualizing mutual constraints in the well-known game of Sudoku – a member of the group of np-complete exact set covering problems. In the context of our work, the game is used as a case study to visualize interactions between humans and computers in which the computer is an assistant to users, supporting them in understanding the problem rather than automatically providing the final solution.
منابع مشابه
An Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm
Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...
متن کاملInvestigating Finite Models of Non-classical Logics with Relation Algebra and RelView
In computer science, scenarios with interacting agents are often developed using modal logic. We show how to interpret modal logic of knowledge in relation algebra. This allows the use of the RelView tool for the purpose of investigating finite models and for visualizing certain properties. Our approach is illustrated with the well-known ‘muddy children’ puzzle using modal logic of knowledge. W...
متن کاملEffect of Exchange Rate Change Shocks on Systemic Risk Index Among Mutual Funds
Financial stability is amongst the issues that have been increasingly considered over the past two decades. Today, money and capital markets play a substantial role in the development of societies, but at the same time, this development will be problematic if it is not accompanied by a program, control, and supervision. The main reason is that, due to the correlation between the real and financ...
متن کاملبررسی کیفی آسیبشناسی ازدواج بر اساس طرحوارههای ناسازگار و ارضای نیازها
Every couple has a unique pattern of personality needs that enter the mutual relationship. The level of the mutual needs satisfaction should be relatively high in an intimate relationship. The Violence emerges from the anger caused by dispairment to satisfy mutual needs. The purpose of this study was a qualitative research of marriage Pathology based on deprivation of basic needs satisfaction (...
متن کاملMutual Exclusion of Roles as aMeans of
Role based access control (RBAC) is attracting increasing attention as a security mechanism for both commercial and many military systems. Much of RBAC is fundamentally diierent from multi-level security (MLS) systems, and the properties of RBAC systems have not been explored formally to the extent that MLS system properties have. This paper explores some aspects of mutual exclusion of roles as...
متن کامل