HW 1 solutions - Vertex Cover: Data Structure: n: number of...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Vertex Cover: Data Structure: n: number of vertices m[1..n][1..n]: Adjacency matrix, B: number giving target length of dominating set Length O(n^2) elements We dont need the exact number. We just need a polynomially-related estimate. Witness w: Finite but unbounded list of labels for vertices. Note that this structure will be stored on the left of our Turing machines tape by the oracle. In our model, our verification algorithm must treat this as an essentially random string of symbols from the tape alphabet we will assume that all such strings will map to some instance of our witness data structure in an efficient (read: polynomial time) manner, and that there is an oracle string for every instance of our witness data structure. In short, just give a simple data structure and let the oracle fill in the fields. Do not put any preconditions on the witness, such as the length of the set is less than k. If the oracle does too much work, we could have a polynomial verification algorithm for a problem that is not NP!much work, we could have a polynomial verification algorithm for a problem that is not NP!...
View Full Document

This note was uploaded on 07/14/2011 for the course COT 4610 taught by Professor Dutton during the Fall '10 term at University of Central Florida.

Page1 / 3

HW 1 solutions - Vertex Cover: Data Structure: n: number of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online