Random walks have been proposed as a simple method of effciently searching, or disseminating information throughout, communication and sensor networks. In nature, animals (such as ants) tend to follow correlated rando...
详细信息
the competitive diffusion game is a game-theoretic model of information spreading on a graph proposed by Alon et al. (2010). In the model, a player chooses an initial vertex of the graph, from which information by the...
详细信息
ISBN:
(纸本)9783030389192;9783030389185
the competitive diffusion game is a game-theoretic model of information spreading on a graph proposed by Alon et al. (2010). In the model, a player chooses an initial vertex of the graph, from which information by the player spreads through the edges connected withthe initial vertex. If a vertex that is not yet influenced by any information receives information by a player, it is influenced by the information and it diffuses it to adjacent vertices. A vertex that simultaneously receives two or more types of information does not diffuse any type of information from then on. the objective of a player is to maximize the number of vertices influenced by the player's information. In this paper, we investigate the existence of a pure Nash equilibrium of the two-player competitive diffusion game on chordal and its related graphs. We show that a pure Nash equilibrium always exists on block graphs, split graphs and interval graphs, all of which are well-known subclasses of chordal graphs. On the other hand, we show that there is an instance with no pure Nash equilibrium on (strongly) chordal graphs;the boundary of the existence of a pure Nash equilibrium is found.
the proceedings contain 37 papers. the special focus in this conference is on trends in theory and Core Technologies. the topics include: Quantum challenges;stability of approximation algorithms for hard optimization ...
ISBN:
(纸本)354066694X
the proceedings contain 37 papers. the special focus in this conference is on trends in theory and Core Technologies. the topics include: Quantum challenges;stability of approximation algorithms for hard optimization problems;algorithms on compressed strings and arrays;WWW based collaboration withthe BSCW system;middleware and quality of service;dynamic reconfiguration of CORBA-based applications;fast, error correcting parser combinators;java based business components, and new tools to develop applications;databases and the world wide web;exploiting formality in software engineering;biomolecular computing and programming;software change and evolution;distributed simulation with cellular automata;supporting group-by and pipelining in bitmap-enabled query processors;on interactive computation;coherent concepts, robust learning;application of artificial neural networks for different engineering problems;a new structure for pattern matching;principles of forecasting;quantum finite multitape automata;decomposable bulk synchronous parallel computers;component change and version identification in SOFA;pattern equations and equations with stuttering;garbage collection for mobile and replicated objects;randomized gossiping by packets in faulty networks;simulation problems for one-counter machines;on semantics of petri nets over partial algebra;towards possibilistic decision functions with minimum-based sugeno integrals;quantum finite one-counter automata;a performance comparison of mobile agents and RPC;cyclic cutwidth of the mesh;some afterthoughts on hopfield networks;a persistent-set approach to abstract state-space construction in verification;computational power of neuroidal nets and cellular automata with dynamically reconfigurable buses.
this book constitutes the refereed proceedings of the 37thconference on currenttrends in theory and practice of computerscience, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011.the 41 revised ful...
详细信息
ISBN:
(数字)9783642183812
ISBN:
(纸本)9783642183805
this book constitutes the refereed proceedings of the 37thconference on currenttrends in theory and practice of computerscience, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011.
the 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computerscience; software, systems, and services; processing large datasets; and cryptography, security, and trust.
Knowledge discovery, that is, to analyze a given massive data set and derive or discover some knowledge from it, has been becoming a quite important subject in several fields including computerscience. Good softwares...
详细信息
Compiler writers have always heavily relied on tools: parser generators for generating parsers out of context free grammars, attribute grammar systems for generating semantic analyzers out of attribute grammars, and s...
ISBN:
(纸本)354066694X
Compiler writers have always heavily relied on tools: parser generators for generating parsers out of context free grammars, attribute grammar systems for generating semantic analyzers out of attribute grammars, and systems for generating code generators out of descriptions of machine architectures. Since designing such special formalisms and constructing such tools deals with one of the most important issues in computerscience, courses on compiler construction have always formed part of the core computerscience curriculum.
the reconstruction of discrete two-dimensional pictures from their projection is one of the central problems in the areas of medical diagnostics, computer-aided tomography, pattern recognition, image processing, and d...
详细信息
this book constitutes the refereed proceedings of the 39th International conference on currenttrends in theory and practice of computerscience, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in Janu...
详细信息
ISBN:
(数字)9783642358432
ISBN:
(纸本)9783642358425
this book constitutes the refereed proceedings of the 39th International conference on currenttrends in theory and practice of computerscience, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. the 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. the book also contains 10 invited talks, 5 of which are in full-paper length. the contributions are organized in topical sections named: foundations of computerscience; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.
Inductive logic programming (ILP) [12] is concerned withthe induction of theories from specific examples and background knowledge, using first-order logic representations for all the three ingredients. In its early d...
详细信息
In this paper we describe a lower bounds argument for readonce branching programs which is not just a standard cut-and-paste. the argument is based on a more subtle analysis of the information flow during the individu...
详细信息
暂无评论