WorldCat Identities

Hunt, H. B.

Overview
Works: 51 works in 60 publications in 1 language and 62 library holdings
Roles: Author
Classifications: QA1 M95 V.1504,
Publication Timeline
.
Most widely held works by H. B Hunt
On the complexity of finite, pushdown, and stack automata by H. B Hunt( Book )

4 editions published in 1975 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Translation between circuit synthesis from Boolean function representations by Sreejit Chakravarty( Book )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

The complexity of structural containment and equivalence by Daniel J Rosenkrantz( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

On computing test vectors for multiple faults in gate level combinational circuits by Sreejit Chakravarty( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

The complexity of very simple Boolean formulas with applications by H. B Hunt( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

Application of planar separator theorem to counting problems by S. S Ravi( Book )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

An algebraic model for combinatorial problems by R. E Stearns( Book )

1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide

Abstract: "A new algebraic model, called the 'generalized satisfiability problem' or 'GSP' model, is introduced for representing and solving combinatorial problems. The GSP model is an alternative to the common method in the literature of representing such problems as language recognition problems. In the GSP model, a problem instance is represented by a set of variables together with a set of terms, and the computational objective is to find a certain sum of products of terms over a commutative semiring. Each Boolean satisfiability problem, each nonserial optimization problem, many [0,1] linear programming problems, and many graph problems are directly representable as GSPs. Important properties of the GSP model include the following: 1. By varying the semiring, a number of complete problems in the complexity class NP, CoNP, D[superscript P], OPT-P, MAX SNP, MAX [PI]₁, PSPACE, and #PSPACE are directly representable as GSPs. 2. In the GSP model, one can naturally discuss the structure of individual problem instances. The structure of a GSP is displayed in a 'structure tree.' The smaller the 'weighted depth' or 'channelwidth' of the structure tree for a GSP instance, the faster the instance can be solved by any one of several generic algorithms. 3. The GSP model extends easily so as to apply to heirarchically-specified problems and enables solutions to instances of such problems to be found directly from the specification rather than from the (often exponentially) larger specified object."
The complexity of equivalence for commutative rings by H. B Hunt( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

Generalized predicate sets, structure trees, and graph and hypergraph coloring problems by H. B Hunt( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

Abstract: "We show how various ideas in [SH2] can be used to solve graph and hypergraph coloring problems, including computing chromatic polynomials, for a number of sets [gamma] of graphs and hypergraphs studied in the literature. Often, our algorithms for these problems use much less than 2[superscript cn] time, for any c> 0. This is true, even for sets [gamma], for which these coloring problems are NP- or #P-hard. Our results both extend and unify ideas for solving easier instances of hard graph problems using efficient separator theorems as in [LT2], [GHT], [RaH], etc., and tree-decompositions in [RS], [ALS], [Bodl], [BLW], etc."
On the generalized probability problem with application to testing and reliability analysis by S Chakravarty( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

The complexity of processing hierarchical specifications by Daniel J Rosenkrantz( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

The problem of simulating hierarchically specified circuits is shown to be PSPACE-complete but solvable deterministically in [formula] time for acyclic circuits, and to EXPSPACE-complete for cyclic circuits. We also show that hierarchically specified acyclic circuits can be simulated deterministically in linear space in the size of the description, even when this description is not explicitly acyclic. Moreover, we show that every hierarchically specified acyclic circuit has an equivalent flat circuit of size [formula]. For binary circuits, the size of the equivalent flat circuit is [formula]."
Power indices, structure trees, and easier hard problems by R. E Stearns( Book )

1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide

Asymptotic bounds on the size of binary decision diagrams representing Boolean functions by Y Breitbart( Book )

2 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

On computing reliability measures for digital circuits by S Chakravarty( Book )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

On representations of Boolean functions for the synthesis of MOS combinational circuits by Sreejit Chakravarty( Book )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

On solving systems of linear equations and path problems for bounded treewidth graphs by Venkatesh Radhakrishnan( Book )

1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide

Efficient algorithms for solving systems of linear equations and path problems by Venkatesh Radhakrishnan( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

Abstract: "Efficient algorithms are presented for solving systems of linear equations defined on and for solving path problems [11] for treewidth k graphs [20] and for [alpha]-near-planar graphs [22]. These algorithms include the following: 1. O(nk²) and O(n[superscript (3/2)]) time algorithms for solving a system of linear equations and for solving the single source shortest path problem, 2. O(n²k) and O(n²log n) time algorithms for computing A[superscript( -1)] where A is an n x n matrix over a field or for computing A[superscript *] where A is an n x n matrix over a closed semiring, and
Matrix multiplication for finite algebraic systems by Daniel J Rosenkrantz( Book )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

Compaction of message patterns into space-efficient representations for multiprocessor interconnection networks by P. J Bernhard( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

Finally, we consider the more general problem of determining if a set of masks, which represents a set of addresses or messages, can be merged into a single mask. We show this problem to be NP-hard. We also discuss the implementation of this formalism with respect to the efficient manipulation and transmission of message patterns on interconnection networks and for SIMD computers in general."
The LBA problem and its importance in the theory of computing by Juris Hartmanis( Book )

2 editions published in 1973 in English and held by 1 WorldCat member library worldwide

In this paper we study the classic problem of determining whether the deterministic and non-deterministic context-sensitive languages are the same or, equivalently, whether the languages accepted by deterministic and non-deterministic linearly bounded automata are the same. We show that this problem is equivalent to several other natural problems in the theory of computing and that the techniques used on the LBA problem have several other applications in complexity theory. For example, we show that there exists a hardest-tape recognizable non-deterministic context-sensitive language $L_{1}$, such that $L_{1}$ is a deterministic context-sensitive language if and only if the deterministic and non-deterministic context-sensitive languages are the same. We show furthermore, that many decision problems about sets described by regular expressions are instances of these tape-hardest recognizable context-sensitive languages. Thus, it follows that non-determinism in Turing machine computations (using at least linear tape) can not save memory over deterministic Turing machine computations if and only if the equivalence of regular expressions can be decided by a deterministic linearly bounded automaton. It also follows that the equivalence of regular expressions can be decided by a non-deterministic linearly bounded automaton if and only if the family of context-sensitive languages is closed under complementation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.64 for On solving ... to 0.86 for On the com ...)

Alternative Names
Hunt, Harry Bowen.

Languages
English (25)