**Stephen P. King** (*stephenk1@home.com*)

*Mon, 10 May 1999 19:44:28 -0400*

**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Next message:**Matti Pitkanen: "[time 303] Re: [time 297] Mapping p-adic spacetime to its real counterpart"**Previous message:**Lester Zick: "[time 301] Quantum Phennomena"

**attached mail follows:**

*> Might we think of the solutions of general relativity (as
*

*> 4-manifolds) as being subject to such an (polynomial time computable)
*

*> equivalence? Would there be similar situations for finite traces
*

*> (spaning subsets?) of the two infinite groups? Would they be merely
*

*> NP-Hard?
*

The equivalence is not polynomial time equivalent or even decidable for

4-manifolds in general. Solutions to GR may have restrictions on them

that make the problem decidable, but I don't know of any such result.

- Cris

**Next message:**Matti Pitkanen: "[time 303] Re: [time 297] Mapping p-adic spacetime to its real counterpart"**Previous message:**Lester Zick: "[time 301] Quantum Phennomena"

*
This archive was generated by hypermail 2.0b3
on Sun Oct 17 1999 - 22:10:31 JST
*