Models for dependable computation with multiple inputs and some hardness results

• Autorzy: Wang Y. , Desmedt Y. , Burmester M.
• Języki publikacji: EN

Abstrakty

EN

We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR graphs to model fault tolerant computations with multiple inputs. While there is a polynomial time algorithm for finding vertex disjoint paths in networks, we will show that the equivalent problem in computation systems with multiple inputs is NP-hard. Our main results are as follows. We present a general model for fault tolerant computation systems with multiple inputs: AND/OR graphs. We show that it is NP-hard to find two vertex disjoint solution graphs in an AND/OR graph. It follows that in the general case redundancy cannot help to achieve survivability, assuming P= NP.

Słowa kluczowe

EN

dependable computation; complexity theory; NP-hardness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 42, Nr 1
• Strony: 61--73
• Opis fizyczny: bibliogr. 20 poz.

Twórcy

autor

Wang Y.

autor

Desmedt Y.

autor

Burmester M.

• Department of Combinatorics and Optimization, University of Waterloo, ON, N2L 3G1, Canada,