On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape turing machines

Zvi Galil, Ravi Kannan, E. Szemerédi

Research output: Contribution to journalArticle

9 Citations (Scopus)

Abstract

We show that the following statements are equivalent: 1. Statement 1. 3-pushdown graphs have sublinear separators. 2. Statement 1*. k-page graphs have sublinear separators. 3. Statement 2. A one-tape nondeterministic Turing machine can simulate a two-tape machine in subquadratic time. None of the statements is known to be true or false at present. However, our proof of equivalence is quantitative-it relates exactly the separator size of the two kinds of graphs to the running time of the simulation in Statement 2. Using this equivalence we derive several graph-theoretic corollaries. There are known examples where upper bounds on graph properties imply upper bounds on computation time or space. There are other examples where lower bounds on graph properties are used to derive lower bounds on computation time in restricted settings. However, our results may constitute the first example where a graph problem is shown to be equivalent to a problem in computational complexity. In a companion paper we construct graphs and prove a lower bound or their separators. Using the equivalence we prove an almost linear lower bound for the size of separators for 3-pushdown graphs and an almost quadratic lower bound for simulating two-tape nondeterministic Turing machines by one-tape machines. Specifically, for an integers s let ls(n), the s-iterated logarithm function, be defined inductively: l°(n)=n, ls+1(n)=log2(ls(n)) for s≥0. Then: 1. For every fixed s and all n, there is an n-vertex 3-pushdown graph whose smallest separator contains at least ω(n/ls(n)) vertices. 2. There is a language L recognizable in real time by a two-tape nondeterministic Turing machine, but every on-line one-tape nondeterministic Turing machine that recognizes L requires ω(n2/ls(n)) time for any positive integer.

Original languageEnglish
Pages (from-to)134-149
Number of pages16
JournalJournal of Computer and System Sciences
Volume38
Issue number1
DOIs
Publication statusPublished - 1989

Fingerprint

Turing machines
Separator
Turing Machine
Separators
Tapes
Graph in graph theory
Simulation
Lower bound
Equivalence
Computational complexity
Upper bound
Integer
Logarithm
Corollary
Computational Complexity

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape turing machines. / Galil, Zvi; Kannan, Ravi; Szemerédi, E.

In: Journal of Computer and System Sciences, Vol. 38, No. 1, 1989, p. 134-149.

Research output: Contribution to journalArticle

@article{2c087afe55b14c0790c419513989f9f2,
title = "On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape turing machines",
abstract = "We show that the following statements are equivalent: 1. Statement 1. 3-pushdown graphs have sublinear separators. 2. Statement 1*. k-page graphs have sublinear separators. 3. Statement 2. A one-tape nondeterministic Turing machine can simulate a two-tape machine in subquadratic time. None of the statements is known to be true or false at present. However, our proof of equivalence is quantitative-it relates exactly the separator size of the two kinds of graphs to the running time of the simulation in Statement 2. Using this equivalence we derive several graph-theoretic corollaries. There are known examples where upper bounds on graph properties imply upper bounds on computation time or space. There are other examples where lower bounds on graph properties are used to derive lower bounds on computation time in restricted settings. However, our results may constitute the first example where a graph problem is shown to be equivalent to a problem in computational complexity. In a companion paper we construct graphs and prove a lower bound or their separators. Using the equivalence we prove an almost linear lower bound for the size of separators for 3-pushdown graphs and an almost quadratic lower bound for simulating two-tape nondeterministic Turing machines by one-tape machines. Specifically, for an integers s let ls(n), the s-iterated logarithm function, be defined inductively: l°(n)=n, ls+1(n)=log2(ls(n)) for s≥0. Then: 1. For every fixed s and all n, there is an n-vertex 3-pushdown graph whose smallest separator contains at least ω(n/ls(n)) vertices. 2. There is a language L recognizable in real time by a two-tape nondeterministic Turing machine, but every on-line one-tape nondeterministic Turing machine that recognizes L requires ω(n2/ls(n)) time for any positive integer.",
author = "Zvi Galil and Ravi Kannan and E. Szemer{\'e}di",
year = "1989",
doi = "10.1016/0022-0000(89)90036-6",
language = "English",
volume = "38",
pages = "134--149",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "1",

}

TY - JOUR

T1 - On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape turing machines

AU - Galil, Zvi

AU - Kannan, Ravi

AU - Szemerédi, E.

PY - 1989

Y1 - 1989

N2 - We show that the following statements are equivalent: 1. Statement 1. 3-pushdown graphs have sublinear separators. 2. Statement 1*. k-page graphs have sublinear separators. 3. Statement 2. A one-tape nondeterministic Turing machine can simulate a two-tape machine in subquadratic time. None of the statements is known to be true or false at present. However, our proof of equivalence is quantitative-it relates exactly the separator size of the two kinds of graphs to the running time of the simulation in Statement 2. Using this equivalence we derive several graph-theoretic corollaries. There are known examples where upper bounds on graph properties imply upper bounds on computation time or space. There are other examples where lower bounds on graph properties are used to derive lower bounds on computation time in restricted settings. However, our results may constitute the first example where a graph problem is shown to be equivalent to a problem in computational complexity. In a companion paper we construct graphs and prove a lower bound or their separators. Using the equivalence we prove an almost linear lower bound for the size of separators for 3-pushdown graphs and an almost quadratic lower bound for simulating two-tape nondeterministic Turing machines by one-tape machines. Specifically, for an integers s let ls(n), the s-iterated logarithm function, be defined inductively: l°(n)=n, ls+1(n)=log2(ls(n)) for s≥0. Then: 1. For every fixed s and all n, there is an n-vertex 3-pushdown graph whose smallest separator contains at least ω(n/ls(n)) vertices. 2. There is a language L recognizable in real time by a two-tape nondeterministic Turing machine, but every on-line one-tape nondeterministic Turing machine that recognizes L requires ω(n2/ls(n)) time for any positive integer.

AB - We show that the following statements are equivalent: 1. Statement 1. 3-pushdown graphs have sublinear separators. 2. Statement 1*. k-page graphs have sublinear separators. 3. Statement 2. A one-tape nondeterministic Turing machine can simulate a two-tape machine in subquadratic time. None of the statements is known to be true or false at present. However, our proof of equivalence is quantitative-it relates exactly the separator size of the two kinds of graphs to the running time of the simulation in Statement 2. Using this equivalence we derive several graph-theoretic corollaries. There are known examples where upper bounds on graph properties imply upper bounds on computation time or space. There are other examples where lower bounds on graph properties are used to derive lower bounds on computation time in restricted settings. However, our results may constitute the first example where a graph problem is shown to be equivalent to a problem in computational complexity. In a companion paper we construct graphs and prove a lower bound or their separators. Using the equivalence we prove an almost linear lower bound for the size of separators for 3-pushdown graphs and an almost quadratic lower bound for simulating two-tape nondeterministic Turing machines by one-tape machines. Specifically, for an integers s let ls(n), the s-iterated logarithm function, be defined inductively: l°(n)=n, ls+1(n)=log2(ls(n)) for s≥0. Then: 1. For every fixed s and all n, there is an n-vertex 3-pushdown graph whose smallest separator contains at least ω(n/ls(n)) vertices. 2. There is a language L recognizable in real time by a two-tape nondeterministic Turing machine, but every on-line one-tape nondeterministic Turing machine that recognizes L requires ω(n2/ls(n)) time for any positive integer.

UR - http://www.scopus.com/inward/record.url?scp=0024605867&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024605867&partnerID=8YFLogxK

U2 - 10.1016/0022-0000(89)90036-6

DO - 10.1016/0022-0000(89)90036-6

M3 - Article

AN - SCOPUS:0024605867

VL - 38

SP - 134

EP - 149

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

SN - 0022-0000

IS - 1

ER -