Re: Question on computational complexity
- From: "Artyom" <Artyom.Chernikov@xxxxxxxxx>
- Date: 28 Nov 2006 09:30:06 -0800
The construction I described encodes an arbitrary tally language into a
set of graphs satisfying your uniformity condition. You can easily
adapt it to encode languages over a binary alphabet and that will give
you what you want. Here is one way you could do it.
Suppose you have a binary string w of length n. Define the graph G_w to
consist of a disjoint union of cliques of different sizes.
Specifically, it contains one clique of size k and in addition a clique
of size k+i for each i such that the i-th bit of w is 1 and finally a
clique of size k+n+1.
Now, for any language A of binary strings take the class of graphs S_A =
{G_w | w in A}. There is an easy reduction from A to S_A. Moreover,
S_A clearly has the property you wanted. So, if you start with A that
is hard for the complexity class you want, so is S_A.
This one works fine, thank you very much!
.
- References:
- Question on computational complexity
- From: Artyom
- Re: Question on computational complexity
- From: Anuj Dawar
- Re: Question on computational complexity
- From: Artyom
- Re: Question on computational complexity
- From: Anuj Dawar
- Re: Question on computational complexity
- From: Artyom
- Re: Question on computational complexity
- From: Anuj Dawar
- Question on computational complexity
- Prev by Date: Re: Discussion about transformation TSP to UniqueTSP
- Next by Date: Re: Water surface in hexahedron
- Previous by thread: Re: Question on computational complexity
- Next by thread: Re: Question on computational complexity
- Index(es):
Relevant Pages
|