Showing 1–3 of 3 results for author: Vesztergombi, K

Nondeterministic graph property testing

Authors: László Lovász, Katalin Vesztergombi

Abstract: A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs. Using the theory of graph limits, we prove that nondeterministicall… ▽ More A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs. Using the theory of graph limits, we prove that nondeterministically testable properties are also deterministically testable. △ Less

Submitted 29 September, 2012; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: Version 2: 11 pages; we allow orientation in the certificate, describe new applications

MSC Class: 05C85 (primary); 68R10; 05C82 (secondary)

Journal ref: Combinatorics, Probability and Computing, volume 22 (2013), issue 05, pp. 749-762

Limits of randomly grown graph sequences

Authors: C. Borgs, J. Chayes, L. Lovász, V. T. Sós, K. Vesztergombi

Abstract: Motivated in part by various sequences of graphs growing under random rules (like internet models), convergent sequences of dense graphs and their limits were introduced by Borgs, Chayes, Lovász, Sós and Vesztergombi and by Lovász and Szegedy. In this paper we use this framework to study one of the motivating class of examples, namely randomly growing graphs. We prove the (almost sure) convergen… ▽ More Motivated in part by various sequences of graphs growing under random rules (like internet models), convergent sequences of dense graphs and their limits were introduced by Borgs, Chayes, Lovász, Sós and Vesztergombi and by Lovász and Szegedy. In this paper we use this framework to study one of the motivating class of examples, namely randomly growing graphs. We prove the (almost sure) convergence of several such randomly growing graph sequences, and determine their limit. The analysis is not always straightforward: in some cases the cut distance from a limit object can be directly estimated, in other case densities of subgraphs can be shown to converge. △ Less

Submitted 23 May, 2009; originally announced May 2009.

Comments: 17 pages, 8 figures

MSC Class: 05C80

Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing

Authors: C. Borgs, J. T. Chayes, L. Lovasz, V. T. Sos, K. Vesztergombi

Abstract: We consider sequences of graphs and define various notions of convergence related to these sequences: ``left convergence'' defined in terms of the densities of homomorphisms from small graphs into the graphs of the sequence, and ``right convergence'' defined in terms of the densities of homomorphisms from the graphs of the sequence into small graphs; and convergence in a suitably defined metric.… ▽ More We consider sequences of graphs and define various notions of convergence related to these sequences: ``left convergence'' defined in terms of the densities of homomorphisms from small graphs into the graphs of the sequence, and ``right convergence'' defined in terms of the densities of homomorphisms from the graphs of the sequence into small graphs; and convergence in a suitably defined metric. In Part I of this series, we show that left convergence is equivalent to convergence in metric, both for simple graphs, and for graphs with nodeweights and edgeweights. One of the main steps here is the introduction of a cut-distance comparing graphs, not necessarily of the same size. We also show how these notions of convergence provide natural formulations of Szemeredi partitions, sampling and testing of large graphs. △ Less

Submitted 31 January, 2007; originally announced February 2007.

Comments: 57 pages. See also http://research.microsoft.com/~borgs/. This version differs from an earlier version from May 2006 in the organization of the sections, but is otherwise almost identical

MSC Class: 05; 68