Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-14T09:30:45.206Z Has data issue: false hasContentIssue false
  • English
  • Français

On the complexity of alpha conversion

Published online by Cambridge University Press:  12 March 2014

Rick Statman
Rick Statman*
Affiliation:
Carnegie Mellon University, Department of Mathematical Sciences, Pittsburgh, PA 15213, USA. E-mail: statman@cs.cmu.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We consider three problems concerning alpha conversion of closed terms (combinators).

(1) Given a combinator M find the an alpha convert of M with a smallest number of distinct variables.

(2) Given two alpha convertible combinators M and N find a shortest alpha conversion of M to N.

(3) Given two alpha convertible combinators M and N find an alpha conversion of M to N which uses the smallest number of variables possible along the way.

We obtain the following results.

(1) There is a polynomial time algorithm for solving problem (1). It is reducible to vertex coloring of chordal graphs.

(2) Problem (2) is co-NP complete (in recognition form). The general feedback vertex set problem for digraphs is reducible to problem (2).

(3) At most one variable besides those occurring in both M and N is necessary. This appears to be the folklore but the proof is not familiar. A polynomial time algorithm for the alpha conversion of M to N using at most one extra variable is given.

There is a tradeoff between solutions to problem (2) and problem (3) which we do not fully understand.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 72 , Issue 4 , December 2007 , pp. 1197 - 1203
Copyright
Copyright © Association for Symbolic Logic 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Barendregt, , The lambda calculus, North Holland, Barendregt, 1984.Google Scholar
[2]Fulkerson, and Gross, , Incidence matrices and interval graphs, Pacific Journal of Mathematics, vol. 15 (1965), no. 3, pp. 835–855.CrossRefGoogle Scholar
[3]Gary, and Johnson, , Computers and intractibility, W. H. Freeman, 1976.Google Scholar
[4]Gavril, , Algorithm for minimum coloring … chordal graph, SIAM Journal on Computing, vol. 1 (1972), pp. 180–187.CrossRefGoogle Scholar
[5]Harary, , Graph theory, Addison-Wesley, 1969.CrossRefGoogle Scholar