WorldCat Identities

Khanna, Sanjeev

Overview
Works: 31 works in 56 publications in 1 language and 296 library holdings
Genres: Conference papers and proceedings  Criticism, interpretation, etc 
Roles: Author, Editor
Classifications: QA76.9.A43, 004.0151
Publication Timeline
.
Most widely held works by Sanjeev Khanna
Complexity classifications of Boolean constraint satisfaction problems by Nadia Creignou( Book )

13 editions published in 2001 in English and held by 134 WorldCat member libraries worldwide

Publisher description: "Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating global inferences about the nature of computation. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable."
Approximation algorithms for combinatorial optimization : third international workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings by Klaus Jansen( )

4 editions published in 2004 in English and held by 32 WorldCat member libraries worldwide

Selected papers from APPROX '98, held July 18-19, 1998, University of Aalborg, Denmark, in conjunction with ICALP '98
Joseph Conrad : his mind and art by Sanjeev Khanna( Book )

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

Joseph Conrad, 1857-1924, English novelist
A complete classification of the approximability of maximization problems derived from boolean constraint satisfaction by Sanjeev Khanna( Book )

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

Abstract: "In this paper we study the approximability of boolean constraint satisfaction problems. A problem in this class consists of some collection of 'constraints' (i.e., functions f: [0,1][superscript k] -> [0,1]); an instance of a problem is a set of constraints applied to specified subsets of n boolean variables. Schaefer earlier studied the question of whether one could find in polynomial time a setting of the variables satisfying all constraints; he showed that every such problem is either in P or is NP-complete. We consider optimization variants of these problems in which one either tries to maximize the number of satisfied constraints (as in MAX 3SAT or MAX CUT) or tries to find an assignment satisfying all constraints which maximizes the number of variables set to 1 (as in MAX CUT or MAX CLIQUE). We completely classify the approximability of all such problems. In the first case, we show that any such optimization problem is either in P or is MAX SNP-hard. In the second case, we show that such problems fall precisely into one of five classes: solvable in polynomial-time, approximable to within constant factors in polynomial time (but no better), approximable to within polynomial factors in polynomial time (but no better), not approximable to within any factor but decidable in polynomial time, and not decidable in polynomial time (unless P = NP). This result proves formally for this class of problems two results which to this point have only been empirical observations; namely, that NP-hard problems in MAX SNP alwyas turn out to be MAX SNP-hard, and that there seem to be no natural maximization problems approximable to within polylogarithmic factors but no better."
Special issue on STOC 2000 : [contains 6 papers whose preliminary versions appeared in the proceedings of the 32nd Annual ACM Symposium on Theory of Computing, held in Portland, Oregon, May 21-23, 2000] by Symposium on Theory of Computing( Book )

4 editions published in 2002 in English and held by 6 WorldCat member libraries worldwide

Approximation algorithms for the largest common subtree problem by Sanjeev Khanna( Book )

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

Abstract: "The largest common subtree problem is to find a largest tree which occurs as a common subgraph in a given collection of trees. Let n denote the number of vertices in the largest tree in the collection. We show that in the case of bounded degree trees, it is possible to achieve an approximation ratio of O(n(log log n)/log²n). For unbounded degree trees, we give an algorithm with approximation ratio O(n(log log n)²/log²n) when the trees are unlabeled. An approximation ratio of O(n(log log n)²/log²n) is also achieved for the case of labeled unbounded degree trees provided the number of distinct labels is O(log[superscript 0(1)]n)."
On diameter verification and boolean matrix multiplication by Julien Basch( Book )

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

Abstract: "We present a practical algorithm that verifies whether a graph has diameter 2 in time O (n³/log²n). A slight adaptation of this algorithm yields a boolean matrix multiplication algorithm which runs in the same time bound; thereby allowing us to compute transitive closure and verification of the diameter of a graph for any constant d in O (n³/log²n) time
Special issue on STOC 2003 : [... at the 35th ACM Symposium on Theory of Computing (STOC), held in San Diego on June 9-11, 2003] by Symposium on Theory of Computing( Book )

3 editions published in 2004 in English and held by 5 WorldCat member libraries worldwide

On syntactic versus computational views of approximability by S Khanna( Book )

1 edition published in 1995 in English and held by 4 WorldCat member libraries worldwide

Abstract: "We attempt to reconcile the two distinct views of approximation classes: syntactic and computational. Syntactic classes such as MAX SNP permit structural results and have natural complete problems, while computational classes such as APX allow us to work with classes of problems whose approximability is well-understood. Our results provide a syntactic characterization of computational classes, and give a computational framework for syntactic classes. We compare the syntactically defined class MAX SNP with the computationally defined class APX, and show that every problem in APX can be 'placed' (i.e., has approximation preserving reduction to a problem) in MAX SNP. Our methods introduce a general technique for creating approximation-preserving reductions which show that any 'well' approximable problem can be reduced in an approximation-preserving manner to a problem which is hard to approximate to corresponding factors. We demonstrate this technique by applying it to the classes RMAX(2) and MIN F+[pi]₂(1) which have the clique problem and the set cover problem, respectively, as complete problems. We use the syntactic nature of MAX SNP to define a general paradigm, non- oblivious local search, useful for developing simple yet efficient approximation algorithms. We show that such algorithms can find good approximations for all MAX SNP problems, yielding approximation ratios comparable to the best-known for a variety of specific MAX SNP-hard problems. Non-oblivious local search provably out-performs standard local search in both the degree of approximation achieved and the efficiency of the resulting algorithms."
New algorithms for sequential diagnosis by Sanjeev Khanna( )

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

A simulation model to determine the impact of operating conditions on an industrial hydotheating process by Sanjeev Khanna( )

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

Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms by Sanjeev Khanna( )

1 edition published in 2013 in English and held by 1 WorldCat member library worldwide

A structural view of approximation by Sanjeev Khanna( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Analysis for chaos and fractals in nonlinear dynamical systems by Sanjeev Khanna( Book )

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

STOC 2000 by ACM Symposium on Theory of Computing( )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

On multi-dimensional packing problems by Chandra Chekuri( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

On certificates and lookahead in dynamic graph problems by Sanjeev Khanna( )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Page replacement for general caching problems by Susanne Albers( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms by ACM-SIAM Symposium on Discrete Algorithms( )

1 edition published in 2013 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.54 for STOC 2000 ... to 0.99 for On multi-d ...)

Complexity classifications of Boolean constraint satisfaction problems
Alternative Names
Sanjeev Khanna American computer scientist

Sanjeev Khanna Amerikaans informaticus

Languages
English (44)

Covers
Approximation algorithms for combinatorial optimization : third international workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings