Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Check that the PSPACEEq-complete problem is not kernel-sparse #8

Open
jfinkels opened this Issue May 21, 2012 · 0 comments

Comments

Projects
None yet
1 participant
Owner

jfinkels commented May 21, 2012

Check that the PSPACEEq-complete problem is not kernel-sparse. This would be a contradiction with prop:density in generalcompleteness.tex.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment