Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,236,923 papers from all fields of science
Search
Sign In
Create Free Account
Pebble game
In mathematics and computer science, a pebble game is a type of mathematical game played by moving "pebbles" or "markers" on a directed graph. A…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Computational complexity theory
Computer science
DSPACE
DTIME
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Catena: A Memory-Consuming Password Scrambler
C. Forler
,
S. Lucks
,
Jakob Wenzel
IACR Cryptology ePrint Archive
2013
Corpus ID: 15437944
It is a common wisdom that servers should better store the one-way hash of their clients’ passwords, rather than storing the…
Expand
Highly Cited
2012
Highly Cited
2012
On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity
Trinh N. D. Huynh
,
Jakob Nordström
Symposium on the Theory of Computing
2012
Corpus ID: 7675626
An active line of research in proof complexity over the last decade has been the study of proof space and trade-offs between size…
Expand
Highly Cited
2012
Highly Cited
2012
PEBBLE GAMES AND LINEAR EQUATIONS
Martin Grohe
,
M. Otto
Journal of Symbolic Logic (JSL)
2012
Corpus ID: 7624072
Abstract We give a new, simplified and detailed account of the correspondence between levels of the Sherali–Adams relaxation of…
Expand
Review
2006
Review
2006
A Pebble Game for Internet-Based Computing
G. Malewicz
,
A. Rosenberg
Essays in Memory of Shimon Even
2006
Corpus ID: 206595483
Advances in technology have rendered the Internet a viable medium for employing multiple independent computers collaboratively in…
Expand
Highly Cited
2006
Highly Cited
2006
Datalog and constraint satisfaction with infinite templates
M. Bodirsky
,
V. Dalmau
Journal of computer and system sciences (Print)
2006
Corpus ID: 2642682
Highly Cited
1999
Highly Cited
1999
Investigating a general hierarchy of polynomially decidable classes of CNF's based on short tree-like resolution proofs
O. Kullmann
Electron. Colloquium Comput. Complex.
1999
Corpus ID: 38047896
We investigate a hierarchy Gk (U; S) of classes of conjunctive normal forms, recognizable and SAT-decidable in polynomial time…
Expand
Highly Cited
1992
Highly Cited
1992
Generalized quantifiers and pebble games on finite structures
Phokion G. Kolaitis
,
J. Väänänen
[] Proceedings of the Seventh Annual IEEE…
1992
Corpus ID: 1787481
Generalized quantifiers in the realm of finite structures are studied and combined with an infinitary logic L/sub infinity omega…
Expand
1986
1986
A new pebble game that characterizes parallel complexity classes
H. Venkateswaran
,
M. Tompa
27th Annual Symposium on Foundations of Computer…
1986
Corpus ID: 12896045
A new two-person pebble game that models parallel computations is defined. This game extends the two-person pebble game defined…
Expand
1978
1978
Improved bounds on the problem of time-space trade-off in the pebble game
R. Reischuk
19th Annual Symposium on Foundations of Computer…
1978
Corpus ID: 8673404
Every family of graphs Gn with n nodes and bounded in-degree can be pebbled with o(n) pebbles in time o(n 1+c) for all c≫0. There…
Expand
Highly Cited
1977
Highly Cited
1977
Time-space trade-offs in a pebble game
Thomas Lengauer
,
R. Tarjan
JACM
1977
Corpus ID: 7256432
SummaryA certain pebble game on graphs has been studied in various contexts as a model for the time and space requirements of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE